Salt: Systems Programming, Mathematically Verified (salt-lang.dev) 9 points by todsacerdoti 7mo ago ↗ HN
[–] masavik 6mo ago ↗ How much of agentic coding was involved in developing this. The ergonomics of this language look very similar to Gleam.
1 comment
[ 1.7 ms ] story [ 15.8 ms ] thread