FStar
An ML-like language aimed at program verification
Typography of Star Trek: The Motion Picture
2020-09-23
Conflict between Ethiopia and Egypt over Dam has started. Its happening in cyber
2020-09-23
SimpleSubmitter: Submit your startup to relevant directories
2020-09-23
Now there is an app for startups to design their US expansion strategy
2020-09-23
Covid-19 vaccine Phase 3 trial has just started
2020-09-23
OMG WTF RS – Resources to help you get started with Rust
2020-09-23
Users Are Starting to Report Internet Speeds from SpaceX’s Starlink
2020-09-23
Is it time we started killing spammers? (2010)
2020-09-23
Ask HN: How many generations of programmers are in your family?
2020-09-22
Ask HN: Is a Virtual Conference worthwhile during Covid?
2020-09-22
