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