There's been a lot of chatter recently on HN and LW about how formal verification is the obvious use-case for AI. While I broadly agree, I think much of the discourse is kinda wrong because it incorrectly presumes formal = slopless. 🧵

I can’t wrap my head around on how they managed to pull this off

Holy fuck yes!! +1000 points for documenting history. This is a sick timeline of electronic music, really puts it in perspective. where do you think it’s heading next

This is a great idea -- love the simplicity of outputting text that you copy-paste into your agent Making it easier for humans and AIs to point to stuff with each other is very valuable

Interesting process case study in the reply

Thanks for the helpful auto-complete, Gmail.

substance doesnt come from art itself. It is a product of the memory, conversation and language that accumulate when works are lived with for extended time in societies. By technologically destroying this time, we destroy the possibility of new art. It is not the works fault

If you ever wondered where those crazy choir samples in philly drill beats come from:

yo so i didnt really wanna reveal this yet but ive been working on realtime multiplayer ableton here's a test i recorded at 1am with midi clips, notes, stock devices, changing parameters a few things are broken but its taken so long to get here to begin with

LLMs let you scale up use of "soft patterns" in a code base - you can build bigger things (or change them) more safely before you need to commit to a "hard pattern" - feels like this extra time makes it more likely that the "hard pattern" you settle on will be the right one

I will simply never recover from reading this sentence: "Since Georgia implemented work requirements in 2020, they have spent twice as much on Deloitte consultants and administrative costs as on healthcare for people."

Yearly reminder that Bret Victor has a frequently updated catalog of some of the very best material relevant to computation / user interface design over here: worrydream.com/refs/

I like to think about extinction events when it comes to media. Analog Zero: (Born ~2005) Generation who will likely never touch analog encoded media. Physical Zero: (Born ~2012) Generation who will never interact with non-bitstream media. Past this it get’s more

when you learn too much about how to make electronic music it kind of ruins things, you hear a strange sound and think “ah yeah filter sweep with a ring mod, short decay on the envelope” as opposed to “Wow god is in everything and is Beautiful”

For all of us who were confused about that scene in "Good Will Hunting" when the professor taught Fourier analysis on the board, but assigned an exercise in graph theory at the end of the class.

Is software dead now? A 4-part blog series: 1/ Malleable software in the age of LLMs (2023). Why GUIs still matter when we have ChatGPT, and how spreadsheets illuminate the path forward: geoffreylitt.com/2023/03/25/llm…

We take randomness for granted. Early PRNGs were BAD. Thousands of scientific papers used to rely on RANDU, created by IBM in the 1960s. In 1D space, it looks ok! Map in 3D…you start to see the issues. Now, there *was* a better solution...but it would cost you.

J Cole sampled Andrew Wiles’ interview talking about his work on Fermat’s Last Theorem lol

"AI code review" should be about teaching people how the code works, not just verifying that it's correct We can now generate essays, diagrams, and explorable explanations on demand!! Why are we still reading raw code diffs as the primary UI?

I really like this sort of thing, think it's the most meaningful work we can do with AI