FStar
An ML-like language aimed at program verification
Keep Your Startup Ideas to Yourself
2022-08-20
Hosepipe ban starts as drought declared in south-west Wales
2022-08-20
Confused about design and design operations for your early stage startup?
2022-08-20
Lessons I wish I had learned before I started teaching differential equations [pdf] (1997)
2022-08-20
Unconscious bias in media interviews with female top managers
2022-08-20
Show HN: Daily snapshot of Hacker News' frontpage
2022-08-20
A forum for autonomous robotic cell culture scientists
2022-08-20
John Carmack Raises $20M to Start Keen Technologies, an AGI Company
2022-08-20
Show HN: Node Maze Generator
2022-08-20
Ask HN: How does your company manage communication response etiquette?
2022-08-19
