FStar
An ML-like language aimed at program verification
Asking for help: Please encourage Microsoft to add AAAA records for artefacts
2022-10-01
Ask HN: What is your best professional decision?
2022-10-01
Bollywood under siege as rightwing social media boycotts start to bite
2022-10-01
Bruce Willis Sells Deepfake Likeness Rights So His 'Twin' Can Star in Movies
2022-10-01
Free Marketing with Startup Founder Daily
2022-09-30
Ask HN: Am I the only one who does not want IoT in their solar panel setup?
2022-09-30
Indian market regulator tightens IPO disclosure norms
2022-09-30
Ask HN: Any good software testing resources?
2022-09-30
Ask HN: Do companies prefer junior or senior devs during a recession?
2022-09-30
Layoffs at Meta starts next week, leaked on Blind
2022-09-30
