FStar
An ML-like language aimed at program verification
An Instant Messenger to define the Future of Work after YC funds us
2023-08-05
SpaceX and T-Mobile push forward on nebulous plans to use Starlink for phones
2023-08-05
Qualcomm–one of Arm’s biggest customers–starts a RISC-V joint venture
2023-08-05
Building a Startup That Will Last (2019)
2023-08-04
Ask HN: Deferred Compensation for Startup Consultant?
2023-08-04
A user-built manual on using TPUs for AI and LLMs on Google Cloud
2023-08-04
How to Plan a Team Offsite
2023-08-04
LK-99 with Varda – This Week in Startups [live video]
2023-08-04
When AI Is Trained on AI-Generated Data Things Start to Happen
2023-08-04
Qualcomm – one of Arm’s biggest customers – starts a RISC-V joint venture
2023-08-04
