FStar
An ML-like language aimed at program verification
YouTube has started to gate higher bitrate videos behind YT Premium
2023-07-17
Struggling to understand the value of non technical cofounders in tech startups
2023-07-17
I made a new TypeScript runtime on Node.js
2023-07-17
Show HN: Juno – Code Interpreter in Your Jupyter Notebook
2023-07-17
There's no moat in AI startups
2023-07-17
Experts predict 'mass extinction event' for Bay Area startups
2023-07-17
DigitalOcean acquires Paperspace for $111M in cash
2023-07-17
Japan ramps up support for startups venturing overseas
2023-07-17
Occam’s razor: the forgotten key to science literacy
2023-07-17
The coldest star yet that emits radio waves
2023-07-17
