ascent817
Re:Online Z3 Guide
on Thursday September 17, 2026 @12:53PM (#49743447)
I’m working on a DO-178C compliant verification suite for avionics software with Z3 at work, criminally underrated
Re:Inkling: Our Open-Weights Model
on Thursday July 16, 2026 @10:19AM (#48934966)
Yeah, they’re focused on selling to government and defense contractors. I first encountered poolside at my aerospace internship.
Re:Inkling: Our Open-Weights Model
on Wednesday July 15, 2026 @10:02PM (#48929569)
There's also poolside.ai
Architecture Description Languages [pdf]
AST and LLM Navigation Tool
Re:Schemesh – Unix shell and Lisp REPL, now with structured pipelines
on Monday March 16, 2026 @11:55AM (#47400700)
I'm not too familiar, but is this similar to nushell?
Re:The Dopamine Trap of Vibe Coding
on Thursday March 12, 2026 @04:06PM (#47356325)
This really hit home for me. Before vibe coding, I'd only go on coding binges maybe once a month (coding for 8 hours straight). Now with AI, the velocity is addictive. My coding binges have become much more frequent but sadly less satisfying.