AI News

Show HN: Discrete6502 – one thing led to another (epatel.github.io)

NASA Replaces ULA's Vulcan Centaur With SpaceX Falcon Heavy For Solar Storm Research (science.slashdot.org)

Teaching Kids Forth – Anna Liberty (gracefulliberty.com)

Champagne and Bullets belongs on the Mount Rushmore of bad movies (www.theverge.com)

We have proof automation now (www.imperialviolet.org)

Multiway Turing Machines (2021 pre-ai) (bulletins.wolframphysics.org)

Apple's Smart Glasses Delayed, As Engineers Consider Privacy Concerns (apple.slashdot.org)

Plasma Tunnels Reveal How Dying Satellites Fall to Earth (spectrum.ieee.org)

Tunio (www.producthunt.com)

Rivault (www.producthunt.com)

PGSimCity – an explorable 3D model that shows how Postgres works (github.com)

Simulate cassette tape audio profiles using FFmpeg (github.com)

Show HN: Infinite Jigsaw Game (infinitejigsaw.com)

What does GitHub's security team even do? (orchidfiles.com)

First teaser for Apple TV's Neuromancer debuts at SDCC (arstechnica.com)

Google's Anti-search-scraping Lawsuit Dismissed (yro.slashdot.org)

Kimi K3 is not cheap (www.alexinch.com)

Apple is banking on privacy to set its smart glasses apart (www.theverge.com)

Clara Chappaz rejoint l'Élysée pour la fin du quinquennat de Macron (x.com)

Angels in Coptic Magic I: Introduction (www.coptic-magic.phil.uni-wuerzburg.de)

The US is charging an American citizen for wiping his phone at the border (www.theverge.com)

Show HN: HART OS – an open-source AI OS built so frontier AI needs no datacenter (github.com)

Wildfires, Evacuations, and Smoke Hit Europe and North America (news.slashdot.org)

Show HN: The Occult Gatsby (occultgatsby.work)

The Strongest El Niño Ever (www.theclimatebrink.com)

How to Block Some of the Bots (nochan.net)

Decker (beyondloom.com)

Google Cache used to have a copy of this page at (www.hornet.org)

Introduction to Data-Oriented Design [pdf] (www.gamedevs.org)

It's not empowering to hand off the details (davidnicholaswilliams.com)

How AST-grep Rewrote Tree-sitter in Rust and Made It 30% Faster (astgrep.com)

Black Forest Labs Releases FLUX 3: A Multimodal Flow Model for Image, Video, Audio and Robot Action Prediction (www.marktechpost.com)

French firefighters face 'pyrocumulonimbus' for first time (www.france24.com)

AI-Equipped Garbage Trucks Could Soon Start Spying On People in the US (news.slashdot.org)

Lisp moving Forth moving Lisp (letoverlambda.com)

How to Write English Prose (thelampmagazine.com)

Calling all open source maintainers working with Ruby (www.rubyforum.org)

Show HN: Boffin – Staff-engineer layer for AI coding agents (github.com)

FindDiskKiller (www.producthunt.com)

Lidl Introduces the European Payment Method Wero in Germany (unternehmen.lidl.de)

North Carolina residents push to stay data center-free as AI strains water and power (www.thecooldown.com)

Using ThinkPad T480 as a mobile phone (grego.site)

Clara Chappaz | ElectronLibre (electronlibre.info)

Tackly (www.producthunt.com)

Is Huawei Building Its Own DRAM Fab? (hardware.slashdot.org)

What if LLMs escape through inferences itself? This is fiction. For now (www.agrillo.it)

Water supply failure leaves Gatwick airport without working toilets - The Guardian (www.theguardian.com)

Google reveals how it's going to solve the AI data center water problem by 2030 (www.techradar.com)

Greensboro, North Carolina, narrowly votes down AI data center moratorium, 5-4 - Yahoo (www.yahoo.com)

Make an Origami Circuit Board (spectrum.ieee.org)