FStar
An ML-like language aimed at program verification
Perfect Pitch: a YouTube series with actionable tips for startup fundraising
2021-11-09
Leap Photovoltaic says it can cut the cost of solar cells in half
2021-11-09
F# 6 is officially here
2021-11-09
Launch HN: Gallery (YC S21) – On-demand environments on any cloud provider
2021-11-09
Swiss startup Coteries launches milestone French language model
2021-11-09
Deere Strike Delays Delivery of Parts to Farmers Scrambling to Finish Harvest
2021-11-09
As climate talks put focus on water crisis, the Colorado River is stark example
2021-11-09
Designing Data Gateway for Cassandra in Open Source
2021-11-09
Discord Nitro users cancel en masse as CEO teases Ethereum and NFT integration
2021-11-09
Ask HN: In an early stage startup does software quality matter?
2021-11-09
