- 1Some surprising facts about nightlights data (spatialedge.co)
- 2Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
- 3ProgramBench: Can Language Models Rebuild Programs from Scratch? (github.com)
- 3The Pulse: 'Tokenmaxxing' as a weird new trend (blog.pragmaticengineer.com)
- 18Kagi's Orion browser hits public beta on Linux (omgubuntu.co.uk)
- 1My 1B tokens/day Symphony setup (alessiofanelli.com)
- 30Buy and Sell Monero – Cash. Crypto. P2P (retoswap.com)
- 5Deepfakes Are Coming for Your Bank Account (theatlantic.com)
- 2Easy Random Trees (blog.wilsonb.com)
- 2Hardware-Backed Security Using WolfTPM with SPDM (wolfssl.com)
- 3Ask HN: Best/Easiest way to host Rust with PostgreSQL? ()
ask - 1Post Office acknowledges ECCO+ user's calls for help three decades ago (computerweekly.com)
- 1May the Focus Be with You (tantek.com)
- 2Show HN: WolfCOSE, a zero alloc C COSE with multi-sign/recipient, and PQC (github.com)
- 4Why airlines are always going bankrupt (davidoks.blog)
- 3Show HN: Typesync, schema-first Firestore tooling that now validates stored data (github.com)
- 64GPT‑5.5 Instant (openai.com)
- 2The Download: inside the Musk vs. Altman trial, and AI for democracy (technologyreview.com)
- 1Software Has a CAC Now (edge.ceo)
- 8Single dose of psylocibin can cause anatomical brain changes, study finds (theguardian.com)
- 3Mathematicians in the Age of AI (arxiv.org)
- 2Pennsylvania sues Character AI, says chatbot poses as doctors (reuters.com)
- 2Spear: The Management Framework for AI (edge.ceo)
- 2Alan Moore: 'The comics industry is poisonous' (observer.co.uk)
- 3Bluesky is the new science Twitter (bsky.app)
- 2Understanding the different conversational dynamics of comments sections with AI (opennotes.ai)
- 1Disney Debt (manton.org)
- 2Kill SWITCH AGENDA: You'll own your car – until the government AI says you don't (theblaze.com)
- 3Am I an LLM? (arturonereu.com)
- 2Registry mirror authentication with Kubernetes secrets (cncf.io)