FStar
An ML-like language aimed at program verification
For tech-weary Midwest farmers, 40-year-old tractors now a hot commodity
2020-01-06
Ask HN: Personal websites with bold design?
2020-01-06
The most popular apps are starting to look the same
2020-01-06
What 15 Years of YC Investments Can Teach Us
2020-01-06
Robot’s Journey to an Icy Alien Moon Starts Beneath Antarctica
2020-01-06
Startup raised $7M, to authenticate people based on their typing style
2020-01-06
Ask HN: How should I take advantage of unlimited PTO?
2020-01-06
Six ways to motivate your team to kick start the New Year
2020-01-06
I Developed a $3.5K/Month Tool That Converts HTML to PDF
2020-01-06
Stop Using Else in Your Programs
2020-01-06
