FStar
An ML-like language aimed at program verification
Launched my first mobile app after learning to code for the past 9 months
2023-01-08
Name a startup (not your own) that you admire. And Why?
2023-01-08
Japanese startup creates wearable that lets you “smell” anime
2023-01-08
The Pendulum Swings: How to Respond to Tech's Downturn
2023-01-08
Ask HN: How should we split up equity?
2023-01-08
Ask HN: How to start as a freelance Java developer?
2023-01-08
How to get messaging, positioning and storytelling right for your startup
2023-01-08
Ask HN: Since when is everything a scam?
2023-01-08
Show HN: RegexGo – Regex Generator from Examples
2023-01-08
Show HN: Have voice-only virtual coffees with fellow HN'ers
2023-01-08
