Bartosz MilewskiUltrafinitists wanted to organize a conference but the only place that still had rooms available was the Hilbert Hotel
Monoid Mary
@argumatronic
- 563 Followers
- 170 Following
- 471 Posts
manic pixie lambda girl. libertarian trash, obligate carnivore. i like children, whiskey, and disjunction. http://argumatronic.com/
the quote in the first tweet is from this Verge piece, which i am not taking issue with, just that people should have realized this fundamental problem with pursuing AI via LLMs long ago
i am *very* cutting edge, it's just a lifestyle for me
"Cutting edge research shows language is not the same as intelligence." Oh? You don't say? I could have told them this a long time ago!
https://ctrlshifted.substack.com/p/vignette-corpus-linguistics-1999
Terence TaoHowever, recent advances in both AI and proof formalization have begun to vastly accelerate and automate the first two components of this process. This is leading to a new type of "impedance mismatch": problems for which solutions can be rapidly generated and verified in a mostly automated process, but for which no human author has understood the arguments well enough to initiate the (much slower) digestion process.
In fact, with the current cultural incentives that reward the first authors to "solve" the problem, rather than the later authors who "digest" the solution, one may end up with the perverse situation in which an AI-generated (and formally verified) solution to an problem that is presented to the community without any significant digestion may actually *inhibit* the progress of the field that the problem lies in, by discouraging any further attempts to work on the problem, simplify and explain the proof, and extract broader insights. (2/3)
there was a moment in time when we had the gasoline and the level of development such that fairly ordinary people could do things like raft the Grand Canyon or climb a mountain in Glacier but not everyone had started to do it yet, so the things you would see were still somewhat wild and free. there was still wildlife around. you could see the stars.
that moment is gone, most people don't know. but we're reading The Monkey Wrench Gang right now and it's making me nostalgic for that brief time.
when you have planted and nurtured young fruit trees and you spend a few years waiting for them to finally flower (and hopefully, maybe, produce fruit), the feeling when they finally do is not dissimilar from watching your child take his first few steps
"And here’s the pattern that makes it sustainable, temporarily: when you have billions in revenue and functionally unlimited compute, you feed technical debt with resources instead of fixing it. The function is 3,167 lines? Don’t refactor, add more RAM."
https://techtrenches.dev/p/the-snake-that-ate-itself-what-claude
haven't logged on here in a long time, apparently, so i figure i owe everyone a cat picture
I'd been wanting to turn some of my conversations with @chris_martin into blog posts, because over the course of conversation we've covered some topics pretty thoroughly, this is how we're writing The Joy of Haskell, and also it allows for presentation of two perspectives on a subject naturally. First one is about do-notation:
https://joyofhaskell.com/posts/2017-05-07-do-notation.html
https://joyofhaskell.com/posts/2017-05-07-do-notation.html