bneb/lattice
View on GitHub ↗ ★ 128 C++ archived
ARCHIVED — split into 6 standalone repos. See README for links.
5 mentions on Hacker News by 3 people: 0 stories, 5 comments · first 2026-07-01 · latest 2026-07-04
20082026
-
Made updates directly influenced by your input. Please feel free to follow up in Github! See https://github.com/bneb/lattice/blob/main/docs/deep-dives/z3...
comment by bneb-dev · 2026-07-04 · in Show HN: Salt – a systems language with Z3 theorem proving in the compiler -
Agree with your overall point. I made some changes to extend the current paradigm a bit: https://github.com/bneb/lattice/blob/main/docs/tutorial/09-c... --- Invariants aren't always inferred automatically. When they aren't, they can be…
comment by bneb-dev · 2026-07-03 · in Show HN: Salt – a systems language with Z3 theorem proving in the compiler -
…show requires clauses. So I looked at what is presumably the source I'm supposed to look at: https://github.com/bneb/lattice/blob/main/basalt/src/kernels... There's a comment saying every function in that file has requires clauses, but...…
comment by derdi · 2026-07-02 · in Show HN: Salt – a systems language with Z3 theorem proving in the compiler -
…from them. That is, it needs beta testers. It looks like there’s no community of users yet? [1] https://github.com/bneb/lattice/blob/main/docs/SPEC.md [2] https://github.com/bneb/lattice/blob/main/SYNTAX.md
comment by skybrian · 2026-07-01 · in Show HN: Salt – a systems language with Z3 theorem proving in the compiler -
…been used by anyone outside the project, and that's the test that matters. --- Links - Source: https://github.com/bneb/lattice ) - Tutorial: https://github.com/bneb/lattice/blob/main/docs/tutorial/your... - Architecture:…
comment by bneb-dev · 2026-07-01 · in Show HN: Salt – a systems language with Z3 theorem proving in the compiler