FStar
An ML-like language aimed at program verification
GitHub starts suspending Russian accounts, including some individual developers
2022-04-15
Reaching the Stars: The Making of Progress
2022-04-15
Ask HN: What methods do you use to focus and stay relaxed?
2022-04-15
Which-key – nvim plugin to show possible keys of the command you started typing
2022-04-15
Show HN: A marketplace of vetted VC experts to help startups fundraise faster
2022-04-15
Show HN: EveryAuth: The Easiest Way for Your App to Access APIs
2022-04-15
Ask HN: Founders – where did you learn to do sales?
2022-04-15
Startups investing their seed money into (Un)Stablecoins
2022-04-15
How 5 startups pivoted to build viral products
2022-04-15
Ask HN: I'm turning 50. Do I still have a career in IT as IC?
2022-04-15
