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/
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
Show HN: NYC Subway Simulator and Route Designer https://buildmytransit.nyc
The Miyawaki Method of micro-forestry https://www.futureecologies.net/listen/fe-6-5-the-method
Future Ecologies Podcast
FE6.5 - The Method — Future Ecologies Podcast
The Miyawaki Method of micro-forestry is a viral sensation: sprouting tiny, dense, native tree cover in neighbourhoods all around the world. With the promise of afforestation at a revolutionary speed, this planting technique has become the darling of green…
The chemical secrets that help keep honey fresh for so long https://www.bbc.com/future/article/20250701-the-chemical-secrets-that-help-keep-honey-fresh-for-so-long
Bbc
The chemical secrets that help keep honey fresh for so long
Honey is a natural sweetener, and bacteria loves to feast on sugar. But honey is remarkably resistant to spoilage. What's behind its ability to beat the bugs?
The era of exploration https://yidingjiang.github.io/blog/post/exploration/
yidingjiang.github.io
The Era of Exploration
This post explores the idea that the next breakthroughs in AI may hinge more on how we collect experience through exploration, and less on how many parameters and data points we have.
So you wanna build an aging company https://www.librariesforthefuture.bio/p/is-this-aging
www.librariesforthefuture.bio
Is this aging?
So you wanna build an aging company?
DOJ goes after US citizen for developing anti-ICE app https://appleinsider.com/articles/25/07/07/doj-goes-after-us-citizen-for-developing-anti-ice-app
AppleInsider
DOJ goes after US citizen for developing anti-ICE app
The developer of an iPhone app for sharing sightings of Immigration and Customs Enforcement officers has been publicly threatened by the US Attorney General.
LookingGlass: Generative Anamorphoses via Laplacian Pyramid Warping https://studios.disneyresearch.com/2025/06/09/lookingglass-generative-anamorphoses-via-laplacian-pyramid-warping/