FStar
An ML-like language aimed at program verification
Startup Saltar lets you build responsive and interactive websites in minutes
2019-12-26
Ask HN: What startup are you most optimistic about?
2019-12-26
Ask HN: Which project does not have any good Open Source alternatives?
2019-12-26
Four lessons I learned after my first full-time job after college
2019-12-26
Real-life Tony Stark has 4 computer chips implanted in his hands
2019-12-26
Polished gatsby site starter for development documentation
2019-12-26
Ask HN: Assistance with Rebuilding Life in Amsterdam
2019-12-26
Love it or hate it, fruitcake was designed to last
2019-12-26
The unlikely heroes that made starlight possible
2019-12-26
Astronomers are worried that SpaceX’s network will pollute the night sky
2019-12-26
