FStar
An ML-like language aimed at program verification
Investors Bet $40M on Startup LyteLoop’s Idea to Store Data in Space
2021-02-23
Google is a tech giant now, but it’s been a survivalist since it started
2021-02-23
Ask HN: What topics do you think are valuable in secure coding training?
2021-02-23
Musk: Starlink will hit 300Mbps and expand to “most of Earth” this year
2021-02-23
See how 100 startups are running – MRR and Stats
2021-02-23
Ask HN: Any startups solving for software engineering hiring?
2021-02-23
The Prison Industry [pdf]
2021-02-23
How to Get Started with Fuzix on Raspberry Pi Pico
2021-02-23
Big Basket (Series-F funded startup in India) sues a bootstrapped startup
2021-02-23
The plan to farm fish on the moon starts with shaking eggs in a lab
2021-02-23
