technical.cx page 50

Lobsters May 19, 2026 04:02

Using algebra and LLMs to verify a flight-plan bug fix in Lean

My experience using coding agents to help formally verify the UK ATC meltdown solution in Lean.

Google News Linux Kernel May 19, 2026 04:01

Even More PlayStation 5 Consoles Can Now Run Linux TechPowerUp

Google News Cybersecurity Engineering May 19, 2026 04:00

Cybersecurity jobs available right now: May 19, 2026 Help Net Security

Google News Linux Kernel May 19, 2026 04:00

OneXPlayer Configuration Driver Destined For Linux 7.2 Phoronix

Google News Databases May 19, 2026 03:30

Google has a rule for its database engineers using AI; VP says: Whether code is completely written by AI The Times of India

Google News Open Source May 19, 2026 03:23

Nvidia plans open-source AI agent platform 'NemoClaw' for enterprises: Wired MSN

Google News Open Source + 1 source May 19, 2026 03:05

Linux gamers can now use NVIDIA Reflex and AMD Anti-Lag 2 on any GPU thanks to a new open-source project TweakTown

Google News Open Source May 19, 2026 03:00

Exclusive | US AI outlay to yield returns despite open-source Chinese rivals: Goldman Sachs South China Morning Post

Lobsters May 19, 2026 02:46

Comments

Google News Databases May 19, 2026 02:33

Emerging Growth Patterns Driving Expansion in the Database Migration Solutions Market openPR.com

Google News Databases May 19, 2026 01:53

The 2026 Database Frontier: Why AI Agents are Rewriting the Rules of Scale and Cost CXOToday.com

Google News Developer Tools May 19, 2026 01:50

Apple confirms WWDC26 schedule, including keynote and developer sessions t2ONLINE