- 1 Homotopy Type Theory – Univalent Foundations of Mathematics (2013) (hott.github.io)
- 1 macOS defaults list: Incomplete list of macOS defaults commands with demos (macos-defaults.com)
- 2 Postgres got group commit by deleting most of the patch (frn.sh)
- 1 We blind-tested ChatGPT, Claude, and Gemini on 20 everyday tasks (Open Dataset) (dailyskill.ai)
- 1 Maven Robotics wants to steal your robot deployment deal (techcrunch.com)
- 1 Ask HN: What's a good "semi-dumb" phone/watch for kids? ()
- 1 Anthropic reveals rogue AI agents hate CAPTCHAs (techcrunch.com)
- 1 Google Launches Meridian GeoX Globally (developers.google.com)
- 2 OpenAI agents attacked RubyGems back in May (simonwillison.net)
- 1 How the U.S. Space Force Is Used in Wars Today [video] (youtube.com)
- 1 Show HN: Menu Hub – a native macOS menu bar manager in SwiftUI/AppKit (github.com)
- 2 notatallshaw/nab: PubGrub-based dependency resolver for Python packages (github.com)
- 1 A method for finding interrelations bethween constants of physics and maths (sinscienceandspirituality.blogspot.com)
- 1 Pacman AI framework for controlling fusion systems safely makes key decisions (pppl.gov)
- 1 US lawmakers urge secretive British court to open up about Apple case (theguardian.com)
- 1 Handshake, not a drug deal? San Francisco police drone case falls apart (missionlocal.org)
- 1 Why AI chatbots make bad tutors (heyaristotle.com)
- 1 Nobody Believes It, Everybody Does It (blog.jim-nielsen.com)
- 1 How good are LLMs at porting software in 2026? ()
- 1 This is the world's cheapest SOLAR CAR [video] (youtube.com)
- 1 2026 January to May List of LLM Research Papers: Sebastian Raschka (magazine.sebastianraschka.com)
- 9 Usenet rewind archive search engine (usenet-rewind.com)
- 1 Why the AI race has its creators fearing human extinction (ft.com)
- 1 Show HN: NodehistJ – FTN Nodelist Server (github.com)
- 1 AI Kills Everybody or Doomer Psyop? (All in Podcast) (youtube.com)
- 1 Ask HN: What do you do about API keys? ()
- 1 Building Specialized Systems We Can Trust with Agents (skydiscover-ai.github.io)
- 7 Clay Mathematics Institute on the Navier-Stokes Problem (claymath.org)
- 1 Szmalcownik (en.wikipedia.org)
- 3 Vulnerability in balcony solar panel inverter (de) (ccc.de)