FStar
An ML-like language aimed at program verification
I launched a newsletter 6-months ago. Here is what I learned
2020-07-11
Ask HN: I will implement every suggestion, what's yours?
2020-07-11
Ask HN: What do with if your experience is 1 year 8 times
2020-07-11
AI finds 250 foreign stars that migrated to our galaxy
2020-07-11
Ask HN: What are your thoughts on this AI fund?
2020-07-11
List of last survivors of historical events
2020-07-11
Startups in India will scale faster
2020-07-11
New Tesla movie starring Ethan Hawke
2020-07-11
Ask HN: Best new startup TLD, other than .com?
2020-07-11
Aquarius builds an engine others only dreamed of
2020-07-11
