Aaron A. Glenn

@networkservice.bsky.social

programmable packet forwarding and packet forwarding accessories human rights over property rights owner/operator of world renowned AS7007

Vibe coding with Erik Meijer using LLMs to generate circuits specified and formally verified in Agda and Lean, LLM transliterated into SystemVerilog with corresponding UVM tests and SVA formal properties for model checking, as well as LLM generated FSM Mermaid diagrams.

BildBild

2021: There is no AI, you're doing your own laundry. 2023: CEOs are saying that AI is coming and will do your laundry. 2025: There is AI. You're still doing your own laundry. 2027: You're doing the AI's laundry.