FStar
An ML-like language aimed at program verification
A WebGL Case Study: Rebuilding the Star-Lord PBR Demo
2021-02-11
Oral Ketamine Experiment Reduces Suicidal Thoughts in Two-Thirds of Patients
2021-02-10
Iran Has Started Producing Uranium Metal, in Violation of '15 Accords, IAEA Says
2021-02-10
NY stadiums/arenas to reopen starting Feb 23: Live sports/music/shows can return
2021-02-10
United Airlines will invest $20M in an electric air taxi startup
2021-02-10
Ask HN: How are you using video?
2021-02-10
Feeling better 'in 2 hours': Covid drug for critically ill starts Phase 3 trials
2021-02-10
Launch HN: Wasp (YC W21) – DSL for building full-stack web apps
2021-02-10
A safer internet starts with a privacy-friendly device
2021-02-10
Seattle startup’s high-tech crosswalk could improve pedestrian safety
2021-02-10
