Jimmy on Software
jimmyonsoftware.com
Software design and AI coding, animated: code that doesn’t break, even when AI writes it. By Jimmy Koppel. Narrated by me (sometimes my AI voice clone). Blog: pathsensitive.com
👤 Joined on 09 October 2026
8
Followers
24
Following
13
Total Posts
📜 Kullanıcı Geçmişi
- 09 Eki 2026, 21:28
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@jimmyonsoftware.bsky.social - 09 Eki 2026, 21:36
✏️ Kullanıcı adı değişti:
@jimmyonsoftware.bsky.social→@jimmyonsoftware.com
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
After months of getting things done w/ Claude Code, I've spent ~5 days programming by hand in Lean and a liquid typed language and it's…SO GREAT? I love living in a world where I can get 1000s of mindless LOC in a minute, but also spend an hour on 10 gorgeous handcrafted lines.
Show Post
I created an AI model that takes ANY software system and produces a TLA+ model that satisfies ALL its properties. Software engineering is solved forever!
Show Post