XAI data center gets air permit to run 15 turbines, but imaging shows 24 on site https://arstechnica.com/tech-policy/2025/07/xai-gets-an-air-permit-to-power-its-supercomputer-but-pollution-fears-remain/
Ars Technica
xAI data center gets air permit to run 15 turbines, but imaging shows 24 on site
County health department accused of turning a “blind eye” to xAI’s alleged pollution.
What every programmer should know about how CPUs work [video] https://www.youtube.com/watch?v=-HNpim5x-IE
YouTube
What Every Programmer Should Know about How CPUs Work • Matt Godbolt • GOTO 2024
This presentation was recorded at GOTO Chicago 2024. #GOTOcon #GOTOchgo
https://gotochgo.com
Matt Godbolt - Low-level Latency Geek @MattGodbolt
RESOURCES
https://bsky.app/profile/matt.godbolt.org
https://xania.org
https://github.com/mattgodbolt
https:…
https://gotochgo.com
Matt Godbolt - Low-level Latency Geek @MattGodbolt
RESOURCES
https://bsky.app/profile/matt.godbolt.org
https://xania.org
https://github.com/mattgodbolt
https:…
Show HN: A Language Server Implementation for SystemD Unit Files https://github.com/JFryy/systemd-lsp
GitHub
GitHub - JFryy/systemd-lsp: a language server implementation for systemd unit files made in rust 🦀
a language server implementation for systemd unit files made in rust 🦀 - JFryy/systemd-lsp
Uncommon Uses of Python in Commonly Used Libraries (2022) https://eugeneyan.com/writing/uncommon-python/
eugeneyan.com
Uncommon Uses of Python in Commonly Used Libraries
Some off-the-beaten uses of Python learned from reading libraries.
François Chollet: The Arc Prize and How We Get to AGI [video] https://www.youtube.com/watch?v=5QcCeSsNRks
YouTube
François Chollet: How We Get To AGI
François Chollet on June 16, 2025 at AI Startup School in San Francisco.
François Chollet is a leading voice in AI. He's the creator of the Keras library, author of Deep Learning with Python, and the founder of the ARC Prize, a global competition aimed at…
François Chollet is a leading voice in AI. He's the creator of the Keras library, author of Deep Learning with Python, and the founder of the ARC Prize, a global competition aimed at…
Hymn to Babylon, missing for a millennium, has been discovered https://phys.org/news/2025-07-hymn-babylon-millennium.html
phys.org
Hymn to Babylon, missing for a millennium, has been discovered
In the course of a collaboration with the University of Baghdad, LMU's Enrique Jiménez has rediscovered a text that had been lost for a thousand years. A paper on this discovery is published in the journal ...
Mercury: Ultra-fast language models based on diffusion https://arxiv.org/abs/2506.17298
arXiv.org
Mercury: Ultra-Fast Language Models Based on Diffusion
We present Mercury, a new generation of commercial-scale large language models (LLMs) based on diffusion. These models are parameterized via the Transformer architecture and trained to predict...
Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge https://www.businessinsider.com/anthropic-cut-pirated-millions-used-books-train-claude-copyright-2025-6
Business Insider
Anthropic cut up millions of used books to train Claude — and downloaded over 7 million pirated ones too, a judge said
Training Claude on copyrighted books it purchased was fair use, but piracy wasn't, the judge ruled.
High Performance Image Sensor Processing Using FPGAs [pdf] https://oda.uni-obuda.hu/bitstream/handle/20.500.14044/10350/Gabor_S_Becker_ertekezes.pdf
I used o3 to profile myself from my saved Pocket links https://noperator.dev/posts/o3-pocket-profile/
noperator.dev
I used o3 to profile myself from my saved Pocket links
Welp, Pocket shuts down tomorrow despite our pleas for it to stay. While migrating1 all of my saved articles, I noticed that I’ve got almost 900 saved articles spanning nearly 7 years. That’s a goldmine of stuff-I-like data! Some quick analysis using xsv2:…
Adding a feature because ChatGPT incorrectly thinks it exists https://www.holovaty.com/writing/chatgpt-fake-feature/
The Cat's Meat Man: Feeding Felines in Victorian London https://publicdomainreview.org/essay/the-cats-meat-man/
The Public Domain Review
The Cat’s Meat Man: Feeding Felines in Victorian London
As cats evolved from feral ratters into beloved Victorian companions, a nascent pet-food economy arose on the carts of so-called “cat’s meat men”. Kathryn Hughes explores the life and times of these itinerant offal vendors, their intersection with a victim…
Solving Wordle with uv's dependency resolver https://mildbyte.xyz/blog/solving-wordle-with-uv-dependency-resolver/
Lightfastness Testing of Colored Pencils https://sarahrenaeclark.com/lightfast-testing-pencils/
Sarah Renae Clark - Coloring Book Artist and Designer
Lightfast Testing: 50+ Coloured Pencil Brands
Discover the best and worst coloured pencils and markers for lightfastness, ensuring your artwork stays vibrant and doesn't fade too quickly.
Dyson, techno-centric design and social consumption https://2earth.github.io/website/20250707.html
New sphere-packing record stems from an unexpected source https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
Quanta Magazine
New Sphere-Packing Record Stems From an Unexpected Source | Quanta Magazine
After just a few months of work, a complete newcomer to the world of sphere packing has solved one of its biggest open problems.
My first verified imperative program https://markushimmel.de/blog/my-first-verified-imperative-program/
Markus Himmel
My first verified (imperative) program
One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a first look at this feature, show a simple example of what…
Show HN: Ossia score – a sequencer for audio-visual artists https://github.com/ossia/score
GitHub
GitHub - ossia/score: ossia score, an interactive sequencer for the intermedia arts
ossia score, an interactive sequencer for the intermedia arts - ossia/score