19 karma · joined January 7, 2022
I help AI labs and researchers experiment across the design -> implement -> evaluate feedback cycle building digital and physical systems for humans and agents.
I've switched a lot of things to WASM and use way less RAM.
I'm fortunate I don't rely on any forge for my solo work except for backups. In my personal stack I just have a log and content-addressed object kv storage, which can project to git if needed, or can be committed to git as files. And docker if I need isolation for CI/CD.
The most interesting alternative to me is atomic.dev (check their very informative blog posts) but I'll be keeping an eye on all of them.
I believe auth.md is also a recent example that uses .well-known
Ron stakes out their position that AI workflows should maximize human effectiveness and understanding rather than replacing humans entirely. At Jane Street, many traditional (aka pre-Claude) software engineering practices have become more important rather than less. Type systems help provide fast feedback and enforce invariants that agents can understand. Expect tests allow developers to see system behavior and create deterministic simulations at the library level. Code review remains crucial for maintaining code quality and human understanding, even though agents change the dynamics. Finally, he touches on Jane Street’s growing interest in formal verification, and the impact of agents making previously expensive approaches, like formal methods, more practical.
(quoted from the youtube video description)