FStar
An ML-like language aimed at program verification
Powerful new EV charger starts field tests in Arizona this weekend
2023-09-27
'Make Something Investors Want' Kills Startups
2023-09-27
How rain works in Starfield (and lots of other games)
2023-09-27
the US defectors who became film stars in North Korea
2023-09-27
Europeans’ BPA exposure still exceeds safety threshold but levels may soon fall
2023-09-27
Ask HN: Broke up with cofounder. Can I use remaining money to pay our devs?
2023-09-27
MFA in acting to be tuition-free starting in 2024-25
2023-09-27
Show HN: Using AI to bet on soccer games. $5,200 profit so far
2023-09-27
Synthetic opioids deadlier than fentanyl are showing up in overdose cases
2023-09-27
Ask HN: How do you find and validate suppliers?
2023-09-27
