FStar
An ML-like language aimed at program verification
Ask HN: Transition Plan: New Start After 6 Years of Corp Life [Advice Needed]
2020-10-21
DigitalOcean Founders design-build firm launching with $5.35M seed round
2020-10-20
Enabling Full-Text Search with Change Data Capture in a Legacy Application
2020-10-20
Questions VCs Ask Startups
2020-10-20
Show HN: Pixlet – Build apps for highly-constrained displays with Starlark
2020-10-20
Show HN: Document API for Cassandra
2020-10-20
As Blizzard sunsets StarCraft II, ex-creators raise cash for a new gaming studio
2020-10-20
Newfront (YC W18) raises $100M
2020-10-20
Microsoft partners with SpaceX to connect Azure cloud to Starlink
2020-10-20
Ask HN: Finding reference customers for a SaaS product
2020-10-20
