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.
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: 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?
LookingGlass: Generative Anamorphoses via Laplacian Pyramid Warping https://studios.disneyresearch.com/2025/06/09/lookingglass-generative-anamorphoses-via-laplacian-pyramid-warping/
What Microchip doesn't (officially) tell you about the VSC8512 https://serd.es/2025/07/04/Switch-project-pt3.html
Show HN: OffChess – Offline chess puzzles app https://offchess.com
Offchess
OffChess - Offline Chess Puzzles App
Play 100,000+ offline Chess puzzles for free.
What is going on in Unix with errno's limited nature https://utcc.utoronto.ca/~cks/space/blog/unix/ErrnoWhySoLimited
Apple just released a weirdly interesting coding language model https://9to5mac.com/2025/07/04/apple-just-released-a-weirdly-interesting-coding-language-model/
9to5Mac
Apple just released an interesting coding language model - 9to5Mac
Apple has just released an AI model that, rather than generating code from left to right, does it out of order and all at once. Here's how.