ascent817

6 ms·

1. 1.▲
   by ascent817 12d ago

   I’m working on a DO-178C compliant verification suite for avionics software with Z3 at work, criminally underrated
2. 2.▲
   Peter Thiel: The Education of a Libertarian(cato-unbound.org)

   2 points by ascent817 2mo ago|3 comments
3. 3.▲
   by ascent817 3mo ago

   Yeah, they’re focused on selling to government and defense contractors. I first encountered poolside at my aerospace internship.
4. 4.▲
   by ascent817 3mo ago

   There's also poolside.ai
5. 5.▲
   Architecture Description Languages [pdf](ics.uci.edu)

   32 points by ascent817 3mo ago|3 comments
6. 6.▲
   AST and LLM Navigation Tool(analect.dev)

   1 points by ascent817 6mo ago|0 comments
7. 7.▲
   by ascent817 7mo ago

   I'm not too familiar, but is this similar to nushell?
8. 8.▲
   by ascent817 7mo ago

   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 sati
9. 9.▲
   Multi-Player Game Networking, Explained(gabrielgambetta.com)

   2 points by ascent817 7mo ago|1 comments
10. 10.▲
    Analect – AST and LLM Code Summary and Navigation(analect.dev)

    1 points by ascent817 7mo ago|0 comments