polyglotfacto
- Karma
- 0
- Created
- ()
- Submissions
- 0
-
In my limited personal experience, I find the UI of coding agents, or rather their clients, unsatisfying for the following reasons: - They tend to have poor performance characteristics - They make it hard to actually…
- Lean and AI caught a bug in my 2-year-old TLA+ spec (medium.com)
- Implementing WebNN with the Help of AI (medium.com)
- Federal Reserve use of AI coding (federalreserve.gov)
-
I built a PoC of an agent runtime designed to reduce prompt‑injection blast radius. Instead of doing tasks directly, the agent writes a web app to do the work. The app can run sub‑inference (model calls without tool…
- Study on positive use of AI in academic writing; challenges brain rot narrative (sciencedirect.com)
- AI Coding: Conversations and Bottlenecks (medium.com)
- How I am learning distributed systems (medium.com)
- Programming Servo: just hanging around (medium.com)
- Programming Servo: the bird’s-eyes view (medium.com)
- Rust: Regret-Less Concurrency (2019) (medium.com)
- Programming Servo: Integrating Streams (medium.com)
- Rust concurrency: the single-writer principle (medium.com)
- Rust concurrency: five easy pieces (medium.com)
- Programming Servo: My own private runtime (medium.com)