Fermat's Last Theorem is go!

leanprover-community.github.io/blog/posts/FLT…

It seems to me that the Fermi paradox can be at least partly explained if either relativistic interstellar travel is relatively easy, or any kind of interstellar travel is basically impossible.

I favor the first explanation. The implication is that the night sky is not full of…

Management and Product don't see much issue in a team/project switch because their day-to-day changes very little regardless - they interact with abstractions that are the same for almost any project - yet for ICs, it can change almost everything.

been following Rewind (the software-only product from the same company) for a long time, but this really does take it to a whole new level of augmenting the capabilities of humans

I have great confidence in this team and their vision

I'm starting to believe that to avoid bias in decision-making and help steer the conversation in a direction that best reveals the pros and cons of competing opinions, there should be an additional person who doesn't benefit from either outcome.

'I did nothing wrong and checked all of the boxes, yet it was all just bullshit'

The line between vanity metrics and honest and impactful research is thin, and yet, many researchers' hearts got broken on it.

Lovely video.

Still building toward a strong vision I had ~4 years ago on what doing science could look like.

Now on the 9th major iteration of Unfold Research.
Here are some of the previous versions:

This is similar to how I found Eric Steinberger. He was just an undergrad, but he did research on his own and put a solo paper on arxiv that followed up on my work. I was impressed, so I invited him to work with me. There's a lot of talent out there with non-traditional backgrounds.

all of us building tft software are like 'nEw CoMpuTaIoNal PaRaDiGmEs' and our users are like 'i have no idea what i need to click to get started'

Nat Friedman's Vesuvius Challenge confirms the central insight of metascience:

It’s not about how much we spend, it’s about how we spend it.

words have become even cheaper, yet we aren't saying enough nice things

It's so sad that this AI movement never even considers solving problems for humans. They solve problems for companies.

There are so many problems in the world that tech can solve. Heck, do you have to look far to see how disproportionate even the tech is evolving?

But we…

i wanna start a company that deals with 2d graphs and visualizations, and call it 'link&stitch'

You have to love terms such as 'impact' and 'productivity' that relieve you from any responsibility of precisely specifying them, and any accountability for when things go wrong. It's a good shield to hide behind, yet it glistens ever so brightly in the limelight.

I feel like the discussion around AI and copyright will eventually disappear, and is misguided.

In science as well, you have authors' names there mostly to honor them and their work, but you're still allowed to use theorems. Objectively, the world doesn't care about who authored…