FStar
An ML-like language aimed at program verification
Try Mojo
2023-05-17
Show HN: Use ChatGPT over text message
2023-05-17
Facebook and Instagram paid verification starts in UK
2023-05-17
Steam Now Offers 90-Minute Game Trials, Starting with Dead Space
2023-05-16
How to Build an Effective Pitch Deck for Devtool Startups
2023-05-16
Hardware Startups in the Bay Area?
2023-05-16
Show HN: Guiderail – How I (partly) solved my procrastination problem
2023-05-16
Ask HN: How are you running AI experiments?
2023-05-16
Show HN: Neucards – Privacy based digital contact card
2023-05-16
Why Most Startups Are Doing Data-Driven Decision Making Wrong
2023-05-16
