FStar
An ML-like language aimed at program verification
Movie stars and anti-Filipino race riots: Secret history of Macintosh Studios
2021-05-21
Show HN: A place to find out how to start a new project
2021-05-21
Wiki: Triune Brain
2021-05-21
The Typical Unicorn Founder Started Their Business at 34
2021-05-21
Google Launching Hyperrealistic Videoconferencing Tool
2021-05-21
Simplifying web apps with Static Web Apps
2021-05-21
Launch HN: Journey (YC W21) – a better tool for selling software
2021-05-21
Deepfakes as a solution to otherwise crappy dubbing
2021-05-21
Ask HN: What to learn for a return to Web Development?
2021-05-21
Gurtam starts accepting apps for the IoT project of the year 2021 competition
2021-05-21
