FStar
An ML-like language aimed at program verification
Show HN: Create your personal page and share it everywhere – Start for Free
2023-04-26
Amazon starts layoffs impacting HR and cloud unit
2023-04-26
Show HN: A bespoke macOS UI for ChatGPT
2023-04-26
Starbucks claims $181M in revenue from unused gift cards (2022)
2023-04-26
WeWork has lost $46.7B in marketcap; stock is now worth <$0.50
2023-04-26
Ask HN: What’s your average phone screen time (and why)?
2023-04-26
SpaceX Starship Grounded Indefinitely by FAA
2023-04-26
Show HN: I'm working on an open source writing app
2023-04-26
Stability AI releases its image upscaling API
2023-04-26
Show HN: Use Quizzes as Lead Magnets – EmbedQuiz
2023-04-26
