FStar
An ML-like language aimed at program verification
Firecracker: Start a VM in less than a second
2021-01-23
Apple supplier Foxconn and China’s Geely start EV venture to make cars for other
2021-01-23
Multipole Radiation Shielding – First Generation Star Trek Shield
2021-01-23
Boston Globe launches “Fresh Start” initiative
2021-01-23
Show HN: Garnet – Distributed Python on Kubernetes
2021-01-23
Game Design Perspective: Stardew Valley (2020)
2021-01-22
Raspberry Pi Pico
2021-01-22
Ask HN: Will Google fix WebRTC captureStream() in Chrome before the end of Q1?
2021-01-22
Robotic Startups 2.0: Horizontal Modularity
2021-01-22
Starlink Dish Phased Array Design, Architecture and RF In-Depth Analysis
2021-01-22
