FStar
An ML-like language aimed at program verification
RevOps is building the modern sales stack for startups
2021-10-19
SEC's Gensler: Bitcoin futures ETF comes with CFTC protections
2021-10-19
Value of Finnish open-source-as-a-service startup Aiven jumps $1.2bn in 7 months
2021-10-19
BITO, The first US Bitcoin ETF started trading today
2021-10-19
Instacart acquires Caper (YC W16)
2021-10-19
Arcturus: Facts About the Bright Red Giant Star
2021-10-19
Flying vehicle to be used 'like cars'
2021-10-19
Mac or Windows for office work – current pros/cons?
2021-10-19
Stepping out of the Shadow of 9/11: End the Post-9/11 State of Emergency
2021-10-18
Ask HN: Paid email hosting for domains, but not Fastmail
2021-10-18
