Stories by polyglotfacto

Show HN: A malleable and formally verified Web engine

How to build fast and responsive agentic (coding) UIs

Show HN: Always responsive UI for a coding agent

Lean and AI caught a bug in my 2-year-old TLA+ spec

Implementing WebNN with the Help of AI

Federal Reserve use of AI coding

Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun'

Show HN: Prompt-injection‑resistant agent runtime that writes web apps

Study on positive use of AI in academic writing; challenges brain rot narrative

AI Coding: Conversations and Bottlenecks

How I am learning distributed systems

Programming Servo: just hanging around

Programming Servo: the bird’s-eyes view

Rust: Regret-Less Concurrency (2019)

Rust concurrency: the archetype of a message-passing bug

Rust concurrency: the archetype of a message-passing bug

Programming Servo: Integrating Streams

Rust concurrency: the single-writer principle

Rust concurrency: a streaming workflow, served with a side of back-pressure