FStar
An ML-like language aimed at program verification
Silicon Valley Investors Give Startups Survival Advice for Downturn
2022-05-30
Brian Eno's Windows 95 startup sound slowed 4000%
2022-05-30
Ask HN: What video games do you play during the day?
2022-05-30
Ask HN: What is the best thing you have done for yourself recently?
2022-05-30
Search-Cord.com a Project to archive Discord servers and make them searchable
2022-05-30
Ask HN: Looking for webdesign templates for a consulting/software dev company
2022-05-30
Scaleway price 'harmonization' (mostly increases)
2022-05-30
Ask HN: How should time be spent in a startup pre-product/ market fit?
2022-05-30
Extension/Library for Finding Libraries?
2022-05-30
Show HN: Syntax Highlighting for Markdoc in VSCode
2022-05-30
