The high school “support” tech scene—apps and whatnot for sports schedules and so on—is an absolute disaster. They should post calendar PDFs and talk to students and move on.
Chris Krycho
@chriskrycho.com
Anglican Christian. Software engineer, composer, theologian, writer, runner, photographer. Platform engineering at Vanta. Co-author of the Rust book. Previously front-end platform at LinkedIn; Ember TS & Framework teams alum. → chriskrycho.com
Things that can be true at the same time: 1. There is an unbelievable amount of utter nonsense out there about software engineering with LLMs. Human understanding does in fact remain really important, and isn’t going to go away—ever—the fever dreams of some of the managerial class notwithstanding.
(I’m going to try to make a little video later about the way I use tabs with flows/movements in @doricoofficial.bsky.social – it makes for significantly better performance when working with really large works that span multiple movements.)
Just closed the tabs for the first three movements of the symphony after this morning’s revision work on Mvts. II and III. It’s time! No more revisions for now! I have the rest of Mvt. IV to write and I’m going to finish drafting it this year, Lord willing. Time to get to it. 🖊️ 🎼
Xfinity has been completely unreliable here for the past week. They don’t think there’s any issue, but I’m getting drop-outs… and I can tell it’s not my local network because—besides not having changed anything about my network for literally years—the local Xfinity hotspot is doing the same thing.
the gist of this wave of ai writing: everyone uses llms. and we hate reading their output, don't like the software they make. pretty sure that they're causing skill loss for their users. however, i have found a special unique way to use them that makes me and my software and writing the exception.
Tom MacWright@macwright.com · 3w agothe gist of this wave of ai writing: everyone uses llms. i do. you do. we all know that it turns us into manic-depressive shadows of our former selves, hating every moment of our lives, dreading the future. my proposition is: what if it didn't.
New book day is always a good day. I read the Jacobs volume on my Kobo via Libby in July and liked it so much that I had to order a physical copy. Meanwhile I’ve had the Webster volume on my back catalog for ages and—inspired by Jacobs’ strong encouragement to read by Whim—went ahead and snagged it.
With any luck, this is the cargo-semver-checks release that will start scanning the Rust standard library for breakage. Enjoy v0.50.0! What a fitting moment for a nice round number 🎉 Expect a blog post soon!
![cargo-semver-checks v0.50.0 release notes.
- Support for rustdoc JSON v61 for the latest nightly Rust
- One new lint: `auto_trait_impl_added`
- Bugfix in `constructible_struct_adds_field` to properly account for existing `pub` but `#[doc(hidden)]` fields.
- Support for parsing rustdocflags from `.cargo/config.toml` and some minor bugfixes
- Thanks to @taiki-e for accepting our upstream patches and promptly releasing them in `cargo-config2` so we can use them!](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ifkx7vuhzzmbqfpnmfgjf4uk/bafkreibpgnvrxzy7ksqkekjhq4k5aubamzi2rkql7jdsrsz3c6hjowg4ea)
A follow-up to my post earlier today about finishing things—on *how* we finish things: Keep Going! v5.chriskrycho.com/notes/keep-goi…
Keep Going — Sympolymathesy, by Chris Krycho
Robin Sloan on the only way you ever finish things.
v5.chriskrycho.com
Dropped a reference to fil-c.org in a joke thread in chat on an RFC discussion at work and then realized that I was *probably* the only person on the call (and maybe at the company) who has even heard of it, still less knows why it was relevant to the joke. 😂
Fil-C
fil-c.org
Got the last revisions for a book chapter/essay in this morning, and it feels *so* good to have finished this thing. Not a major work, in the grand scheme of things, but finishing nonetheless matters! A (little!) more on this theme: https://v5.chriskrycho.com/notes/finishing-things/
Finishing Things — Sympolymathesy, by Chris Krycho
In this case, a book chapter.
v5.chriskrycho.com
I do always love Robin Sloan’s newsletters, but the closing note—and the title—on this one is a particularly needed encouragement: as it was for Robin himself, so also for me. www.robinsloan.com/newsletters/ke…
Keep going
San Francisco scene report; early Disney; lots of links.
robinsloan.com
Sometimes you just need a good cup of coffee midday. More often when you accidentally forgot to have your normal morning cup. 😆☕️
0/ At the AIMCS (AI for Math and CS) workshop at FLoC 2026, @swarat.bsky.social ran a really fun panel on "How should the Formal Methods community respond to AI progress?" He put a lot of thought into very good questions, so here are my answers to them: ↵
As I just told a colleague: it’s a shame how little traction this has ever gotten, but part of it is probably tooling. If I had a few months of dedicated funding, I’d build a TS version of cargo-semver-checks – @predr.ag and I have talked about how the underlying infra would Just Work™. If only!
Chris Krycho@chriskrycho.com · last wk.HEYO I just got to link to one of the discussions in semver-ts.org to explain something internally. Nice to have that actually be useful! 😂
HEYO I just got to link to one of the discussions in semver-ts.org to explain something internally. Nice to have that actually be useful! 😂
Introduction - Semantic Versioning for TypeScript Types
semver-ts.org
5 days left to submit a talk to jj con! it’s in beautiful Lisbon, Portugal this year, cohosted by @ersc.io, Google, and @gitbutler.com! docs.google.com/forms/d/e/1FAI…
Git Merge / JJ Con 2026 CFP
What is Git Merge? Git Merge is the Git community conference, focused on contributors, source control teams, and end-users of the best open source version control system. Hosted by GitButler, GitHub, and GitLab. By participating in Git Merge, you are showing your commitment to the community of user…
docs.google.com
Status: sitting on my deck watching a heron fly above the lake behind our house while the sun sets and I drink some tea and do edits on a book chapter. This is: good. Thanks be to God for good things, even with lots of ups and downs in life.
macOS pro tip for dealing with absurdly large log files on GitHub: grab the link to the raw logs and then use BBEdit’s Open File by Name command and paste in the link. Boom, done.
trying my best not to just write about llms all the time, quick post about encodings macwright.com/2026/07/23/e...
Encodings
JavaScript, math, maps, etc
macwright.com
It is a commonplace among techno-enthusiasts that you “must must live with a technology” before you can have a justified opinion about it. This is so obviously false that it would hardly justify a response if it were not so common—but it is, and so, a response: v5.chriskrycho.com/journal/you-ca…
You Can Rightly Judge Things You Have Not Tried — Sympolymathesy, by Chris Krycho
This actually isn’t that complicated; stop letting people lie to you.
v5.chriskrycho.com
- unblocking yourself when you're 95% of the way there, and find that one last demoralizing bug that you know is actually going to take hours. You've already designed + implemented a system you're proud of. Using an LLM for the last trailing bugs just stops you burning out at the end.
Rather than using AI for the majority of work, might I suggest using it just for: - fixing papercuts (the many small bugs you have, each of which is easy to fix, but combined would eat all your time + focus, keeping you from important, deep work)
ripgrep 15.2.0 is out! It has some gitignore bug fixes and a nice speed-up for large directory trees. github.com/BurntSushi/r... Pictured is on my checkout of github.com/NightMachina...
A new essay: “Perils of the New Armchair Scholarship” — Like nineteenth-century scholars who wrote about the world without deeply engaging with it, academics who lean too heavily on AI risk becoming paper-thin newsletter.dancohen.org/archive/peri...
Perils of the New Armchair Scholarship
Like nineteenth-century scholars who wrote about the world without deeply engaging with it, academics who lean too heavily on AI risk becoming paper-thin
newsletter.dancohen.org
Hi everyone. I need your help! I recently added support to get system GPU usage in the Rust sysinfo crate. Next step was to get this info per-process. However, I'm now facing a very annoying Apple issue: undocumented API changing each version. So I can only test my own macOS version: 12.6. 1/4
Thanks to lots of work preparing and tracking the preview builds for most of the year 2026… Vanta’s upgrade to #TypeScript v7 was basically trivial! I made one small change for a change (an improvement!) to inference that landed between our last nightly mid-June, and that was it. ✅ Feels good!
Hahn’s Barber & Meyer: Violin Concerto recording from 2000 (!) have made my afternoon so much better. And Edgar Meyer’s concerto is *great*! music.apple.com/us/album/barbe…
Barber & Meyer: Violin Concertos by Hilary Hahn & Hugh Wolff on Apple Music
Album · 2000 · 5 Songs
music.apple.com
Currently listening through every recording I can find from Hilary Hahn, and just profoundly grateful for her artistry. What a remarkable musician.