Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Salt: Systems Programming, Mathematically Verified
(
salt-lang.dev
)
9 points
by
todsacerdoti
69 days ago
|
hide
|
past
|
favorite
|
1 comment
masavik
65 days ago
[–]
How much of agentic coding was involved in developing this. The ergonomics of this language look very similar to Gleam.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
