bneb-dev | Dark Hacker News

1.	Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler(salt-lang.dev) 17 points by bneb-dev 8 hours ago \| 8 comments
2.	1 points by bneb-dev 7 days ago \| discuss
3.	1 points by bneb-dev 85 days ago \| discuss
4.	1 points by bneb-dev 86 days ago \| discuss
5.	Show HN: Trytet – Deterministic WASM substrate for stateful AI agents(trytet.com) 3 points by bneb-dev 90 days ago \| 0 comments
6.	1 points by bneb-dev 92 days ago \| discuss
7.	Show HN: Parsing hostile industrial data in 64MB WASM sandboxes(ingelt.com) 2 points by bneb-dev 105 days ago \| 0 comments
8.	1 points by bneb-dev 106 days ago \| discuss
9.	Show HN: Autonomous Prover Running > 1hr(perqed.com) 4 points by bneb-dev 107 days ago \| 0 comments
10.	Show HN: Aacyn v0.7.0 – A bare-metal observability engine (5M events/SEC)(aacyn.com) 1 points by bneb-dev 112 days ago \| 0 comments
11.	Show HN: Write and Run Salt v0.9.2 in the Browser(salt-lang.dev) 3 points by bneb-dev 121 days ago \| 0 comments
12.	1 points by bneb-dev 132 days ago \| discuss