sai retweeted
"Why is formal verification exploding NOW?"
1. Nobody understands the code LLMs write
2. Everybody hopes for some deus ex machina
1. Nobody understands the code LLMs write
2. Everybody hopes for some deus ex machina
"Why is formal verification exploding NOW?"
1. Cost of proofs is going DOWN (as AI gets more capable)
2. Cost of exploits is going UP (as AI gets more dangerous)
3. Proofs exterminate exploits
4. Bonus: proof checking = perfect math/coding RL reward
The rest is economics
12
45
736
20,505
sai retweeted
@Plague_FPS Bun has become too sloppy recently. They lost my trust.
100% node and pnpm compat should have come before a new type checker. There’s just too many bugs not being fixed.
100% node and pnpm compat should have come before a new type checker. There’s just too many bugs not being fixed.
8
6
64
2,849
one of the many things that have come about as a result of Eva (nikelborm on github) and I throwing around crazy ideas when we should really be sleeping github.com/nikelborm/
0
0
3
43
sai retweeted
I’ve spent eight months obsessing over a new notes app
- high performance
- cross platform (iOS, web, android)
- real time multiplayer
- offline
- perfect
- high performance
- cross platform (iOS, web, android)
- real time multiplayer
- offline
- perfect
72
35
1,229
77,360
sai retweeted
ok I think the main thing we've learned this month is that computer programs get faster whenever they're ported to another programming language, and all we need to do is keep porting back and forth until every program only needs one CPU cycle to finish
45
75
2,234
28,471
sai retweeted
Introducing my new side project - Fai.
github.com/Krzysztof-Cies…
It’s a functional programming language with which I try to explore how we can design better “classical” software engineering tools specifically for AI agents.
A couple of design choices I've made are described ⬇️
github.com/Krzysztof-Cies…
It’s a functional programming language with which I try to explore how we can design better “classical” software engineering tools specifically for AI agents.
A couple of design choices I've made are described ⬇️
14
21
209
24,666
🐐
I'm looking for my next role 👀
TS SDKs, DX, agent tooling. remote/hybrid from Boston.
if you've enjoyed ArkType, Standard Schema or my TypeScript perf work, a repost would mean a ton 🙏
ssalbdivad.com
0
0
5
232
