Tool: Quick Study
Quick Study
Introducing Kimi K3.1 Pro
Kimi K3.1 Pro landed on the Kimi API today - it's not yet open weights, but Moonshot promise "Full model weights will be released by Nov 4, 2026". They're also …
We have Traits at Home
I have had more time recently to write code in Zig[1], and it has been good for my soul. I wanted to share some insights I have arrived at regarding abstractions in Zig, including some techniques that I have found useful but not seen employed more broadly.
Why didn't we use the COM static store to clean up the unmarshalable delegate? - The Old New Thing
It cleans up at the wrong time.
Kimi K3.1 Pro Tech Blog: Advancing Open Intelligence
Introducing Kimi K3.1 Pro, our most capable 3T-class open-weight model with 1M-token context and major advances in coding, 3D modeling, and financial research.
Why didn't we use CoRegisterInitializeSpy to clean up the unmarshalable delegate? - The Old New Thing
Looking more closely at the function's behavior and requirements.
Ubiquiti's $99 Vape Detector is actually pretty good
Since learning about the effects of high CO2 concentration on attention and cognitive performance—especially at levels much higher than 2000ppm—I've started monitoring CO2 and other air quality indicators in my house, at my studio, and even on the road. I have…
Keep Android Open
Your phone is about to stop being yours. In 2027, Google will block every Android app whose developer hasn't registered with them.
Please don't mess with links:
A link is just a button that takes you somewhere when you click it right?
Local Wikipedia: The Encyclopedia For Local People
Wikipedia, but only for things a half hour walk from you.
Code and Cake - Docker is weird
I decided to make my own container runtime for fun, and even though I’m still early on, I’ve learned that Docker is weird. Here’s some weird things I learned about Docker.
LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
Why php2shell can’t be widely exploited
What limit the php2shell exploitation in practice
Airplane Mode, Revisited: Days of Work in 10 Minutes - Brad Oyler
In 2017 I spent days building the air traffic animation for NBC News' Airplane Mode story. This week I rebuilt it with Claude Opus 5.5 in about 10 minutes and 78k tokens. Here is what changed, and what didn't.
Hot take
How our judgement shows our perception of reality and how to take control
For a brief generation or two, we clicked
For a brief generation or two, we clicked.
GitHub - NVIDIA/OpenShell: OpenShell is the safe, private runtime for autonomous AI agents.
OpenShell is the safe, private runtime for autonomous AI agents. - NVIDIA/OpenShell
The Private Key Was Four
Eight eMudhra CA keys were small enough to guess. eMudhra had cryptographic proof in June 2025 that something was wrong, kept the weak keys in service, and no other layer of WebPKI oversight was positioned to catch it.
The passkey is worse
Today I got a strange email that turned into an unsettling phishing experiences.
How to run a city builder on 16 MHz
Do you feel spoiled by modern hardware? I know I do. Even the cheapest CPUs have at least 4 cores nowadays, running billions of operations per second. The idea that you could run any software on le…
What Reel You Will Get Next
A system design walkthrough of a real-time short-video recommender, built from what we saw Instagram's web app send, ByteDance's Monolith paper and Meta's Wukong paper.
security - CVE-2026-107891: musl libc: multiple integer overflow in regcomp, possibly leading to incorrect allocation sizes and out-of-bounds heap writes
Powered by blists - more mailing lists
Using JetBrains Air with Codex and Azure OpenAI
Notes on running Codex in JetBrains Air with Azure OpenAI models.
My Perfect Scheme
Scheme is fun and pretty! It could be even more perfect, and that’s what I explore in this post.
Machinists > Tailors
An essay for the pragmatic engineer competition
Vector Indexes Explained: HNSW, IVF-PQ, ScaNN, and Which Database to Pick
Every vector database is built on one of two shortcuts: walk a graph or sort into buckets and compress. How HNSW, IVF-PQ, ScaNN and DiskANN work, and which of pgvector, AlloyDB, Qdrant, Weaviate, OpenSearch and Vespa ships the one you need.
Why skilj has no aggregates
Dynamic Consistency Boundaries instead of aggregates: how skilj checks a rule that spans a student and a course in one decision, and what it costs.
The Next Human Bottleneck
Intelligence is getting cheaper. Managing it is the challenge.
Was Opus 5.5 nerfed? Looks like it was not, according to LiveNerf.
We tested the Opus nerf hypothesis with LiveNerf. The initial results didn't support it, but the details matter.
Introducing Seed Search
Mwmbl is continuing to develop its search engine with new features and ways for the community to get involved. One of these features is Seed Search, which helps improve search results while expanding Mwmbl’s own search index. What is Seed Search? Seed Search h…