FStar
An ML-like language aimed at program verification
I Can Restore Star Trek Voyager and Deep Space Nine to HD, Why Can’t Paramount?
2022-03-28
Show HN: Narratives Project – A news product for peace
2022-03-28
Thesan Simulations: How the first stars evolved, immediately after the Big Bang
2022-03-27
Ask HN: Why are Discord servers called “servers”? Is it due to the architecture?
2022-03-27
Starting a new CS papers blog
2022-03-27
Show HN: 3by3 – discover fresh podcasts by answering three simple questions
2022-03-27
Startup pitch decks of 29 companies before they became billion-dollar companies
2022-03-27
Ask HN: What's best way for urgent PSA of WhoIsHiring corporate spammer/scammer?
2022-03-27
Ask HN: How to Sell Domain Names?
2022-03-27
Ukraine is using Elon Musk's Starlink for drone strikes
2022-03-27
