FStar
An ML-like language aimed at program verification
Ask HN: What's your favorite Notion setup?
2020-04-16
Show HN: Visualize Covid-19 cases with a WebGL Globe
2020-04-16
Star Orbiting Black Hole Proves Theory of Relativity
2020-04-16
What a startup crash reveals about China's post-coronavirus economy
2020-04-16
Show HN: A “library.json” bookshelf protocol to build a decentralized Goodreads
2020-04-16
Is anybody interested in a Telegram group?
2020-04-16
Tools to get you started making video games
2020-04-14
NYC Based Startup Launches Growth Tool for SaaS Marketing During Covid-19
2020-04-14
A New Way to Get Started with Docker
2020-04-14
Ask HN: Feeling grossly incompetent working in opensource. What do I do?
2020-04-14
