TPDE: A Fast Adaptable Compiler Back-End Framework (arxiv.org)
13 points by npalli 3h ago 3 comments
What works (and doesn't) selling formal methods (galois.com)
44 points by azhenley 3d ago 5 comments
LA28's plan for a car-free Olympics now includes air taxis the price of an Uber
1 PaulHoule 0 5/31/2025, 7:30:48 AM latimes.com ↗
No comments yet