FStar
An ML-like language aimed at program verification
DFS, poker, basketball, Starcraft and strong opinions, weakly held (SOWH)
2019-12-24
Show HN: Phoenix LiveView Reddit-Like Site
2019-12-24
Against Railway-Oriented Programming
2019-12-24
Rising Signs: Inside Co–Star, the Astrological App
2019-12-24
Disney produced an unprecedented 80% of the top box office hits this year
2019-12-24
Ask HN: Why are there so many more digital experts than analog experts?
2019-12-24
There are more women than ever in ‘Star Wars.’ Men still do most of the talking
2019-12-24
Ask HN: Any good startup marketing articles to read?
2019-12-24
Ask HN: Startup Founder Required Reading
2019-12-24
2019 AI Hype Countdown #8 – The Media Started Doing Their Jobs
2019-12-24
