FStar
An ML-like language aimed at program verification
Ask HN: I'm building an open-source job board, what would you like to see?
2023-07-25
The 3-Person Unicorn Startup
2023-07-25
The ESRB wants to start using facial scanning technology to check people's ages
2023-07-25
Ask HN: What is the most convoluted log on process you have encountered at work?
2023-07-25
Show HN: Meeting Cost Calculator shows teams the cost of their meeting time
2023-07-25
Alcohol sellers to start biometric scanning your face or palm to verify age
2023-07-25
The Ongoing Mystery of Covid’s Origin
2023-07-25
Ask HN: How do you find the right VC investors?
2023-07-25
Raise VC or Bootstrap?
2023-07-25
Theranos failed, but other blood-tech companies are trying to automate tests
2023-07-25
