FStar
An ML-like language aimed at program verification
Ask HN: How to plan for long term goals?
2020-07-08
Ask HN: Is there a free/reasonably priced API for song lyrics?
2020-07-08
IT pros indicted after arranging credit card payments for weed startup
2020-07-08
Prospektor – Running customer validation on autopilot
2020-07-08
Signal starts saving user data on server-side
2020-07-08
Card Game about Programmers/IT (Free Print and Play – IT Startup)
2020-07-08
Captain, the computer has identified 250 alien stars that infiltrated our galaxy
2020-07-08
Naspers Foundry invests in South African technology startups
2020-07-08
In-space additive manufacturing startup Made In Space acquired by Redwire
2020-07-08
GitHub Starless
2020-07-08
