FStar
An ML-like language aimed at program verification
Show HN: Free mentorship from experienced Product Manager and 2x startup founder
2021-09-10
Don Syme, creator of F#, defends lack of type classes
2021-09-10
Star Wars: Knights of the Old Republic – Remake Coming to PC and PS5
2021-09-10
Ask HN: Am I too cynical for my own good? (question about unicorns)
2021-09-10
Sberbank of Russia Is the New Rainforest of Digital Services
2021-09-10
Fusion gets closer with test of new kind of magnet at MIT startup
2021-09-10
Show HN: Starting new businesses with ready-to-launch templates
2021-09-10
How I Started Building Lichess
2021-09-10
Solar Startup Born in a Garage Is Beating China to Cheaper Panels
2021-09-10
Don Syme's response to requests for type-level programming support in F#
2021-09-10
