FStar
An ML-like language aimed at program verification
Lightspeed's Workplace Re-Entry Report based on data from 200+ startups
2022-04-08
Show HN: Programmatic – a REPL for creating labeled data
2022-04-08
Second Factor Authentication
2022-04-08
Start Up Banks
2022-04-08
Ask HN: New hire at Facebook, getting weird cult vibes
2022-04-08
Ask HN: Why do you work at a startup?
2022-04-08
How I Cut AWS Lambda Java Cold Start Times in Half
2022-04-07
SpaceX's Starship: America's Secret Weapon
2022-04-07
Ukrainians use ‘Find My’ to track Russian troops who stole devices
2022-04-07
Show HN: Phenixio – Real-time Bitcoin payments platform [API]
2022-04-07
