FStar
An ML-like language aimed at program verification
Ask HN: Expert Advices for New Learners in Android Kotlin Development?
2022-08-07
Startup wants to copy you into an embryo for organ harvesting
2022-08-07
Ask HN: How do I get rid of Uber’s notifications?
2022-08-06
Ask HN: Resources to learn generative art programming?
2022-08-06
Ask HN: Starting a tech company in Ohio (or anywhere non-SV) – pros and cons?
2022-08-06
Show HN: 1.0 launch of Nodewood, a Node.js SaaS starter kit
2022-08-06
The violent, misogynistic world of TikTok’s new star, Andrew Tate
2022-08-06
Scientist shares image of the sun from James Webb, is chorizo
2022-08-06
What Happens When Your Femtech Startup Can’t Use Social Media for Marketing?
2022-08-06
Ask HN: Longevity for your parents, what to do?
2022-08-06
