| Interjected Blogging | https://interjectedfuture.com |
| Technium Podcast | https://youtube.com/@techniumpod |
I read it as warning for writing software industrially. It's inevitable, but as people wrestle with the reviewer's bottleneck, there's not an awareness of the flip side of this friction. The core mantra of any ML data scientist is, "Look at the data!"
This was genuinely surprising to me. It's a basis for describing the space of (some aspect) different logic systems. But, the *enforcement* of logic in the type system is a different beast altogether.
One of many things I have to put down gingerly, so I don't get nerdsniped.
The most interesting part of this is actually how he leveraged AI to do the tedious manual work of verifying the Typescript code against what the browser would report.
Coding agents should make us all more ambitious, and this is a good example.
https://x.com/_chenglou/status/2037713766205608234
When we get light AR glasses (or neural implants), maybe DLSS-neural-like rendering can make our interior decoration look better than it actually is. It's a bit dystopian. Live in a brutalist apartment, render it as fluffy unicorn cloud room.
As it turns out, @sridatta told me that the first people to lose their jobs to AI are often AI researchers. Well no. It was linguists first, and then AI researchers.
I wouldn't feel bad for them. AI researchers are laughing all the way to the bank.
Ok, nice. Quint caught a design bug. Not a huge one, but at least the agent was able to use it to change its design.
The general thesis, I think is right. You can use formal methods as guardrails for agents to steer a design, in part, by themselves.
Usual reactions:
1. Wow. this is beyond what I thought they can do. It's not there yet, but it seems like it'll be AlphaGo for all sports. (curve-orientated)
2. Wow. this is cool, but it's simply not good enough to play against professional athletes today. (utility-orientated).
This is true for the short term. I can't tell what'll happen in the long term.
File this under more of "The future is weird, for anyone paying attention."
