FStar
An ML-like language aimed at program verification
BigCode Project Releases StarCoder: A 15B Code LLM
2023-05-04
Apple’s Unionized Store Wants to Start Accepting Tips from Customers
2023-05-04
NetBird raises €1.1M – Open-Source P2P WireGuard-based overlay network
2023-05-04
The clone wars – a Star Wars story of monorepos
2023-05-04
Show HN: Suportal – ChatGPT-powered support bot, trained from your docs
2023-05-04
SpaceX Faces Reckoning After Starship’s Messy First Flight
2023-05-04
OpenAI starts sending legal notices to sites using the word “GPT”
2023-05-04
Alec Guinness Struck Gold with ‘Star Wars’ 45 Years Ago
2023-05-04
UX Team of One: A flexible strategy for a new startup practice
2023-05-04
Starlink nixes plan to impose 1TB data cap and per-gigabyte overage fees
2023-05-04
