FStar
An ML-like language aimed at program verification
Starting in a software engineering leadership role
2022-09-05
Ask HN: Can you give your honest opinion about my startup?
2022-09-05
Ask HN: Starting an Association
2022-09-05
Ask HN: stack recommendations for a lateral mover (2022)?
2022-09-05
WarWilding: A new word to describe effects of using nature as a weapon
2022-09-05
Ask HN: YC misses that went on to do well (like veed.io)
2022-09-05
Every Developer Should Start Building SaaS This Week
2022-09-05
How to use Firecracker yourself to boot a VM
2022-09-05
Xbox energy saver modes could save you up to £5 per month in the UK
2022-09-05
Launch HN: Mito (YC S20) – Edit a spreadsheet, generate Python
2022-09-05
