← Feed

Posts

• View post

  `The rule: explanations must compute, not claim. The number: when you make the explanation compute, it immediately tells you the truth you'd been narrating around` Any sufficiently advanced technology is indistinguishable from magic. Any sufficiently simple reasoner is indistinguishable from intelligence.

• View post

  I misread "cartan roots" as "curtain rods". Is it talk like a pirate day yet?

• View post

  I just wanted a genlop-style build ETA predictor for my ~1500 agda modules. I already have a wrapper that launches each build subprocess in a cgroup with a memory cap, and which waits until it can lock enough memory from the parent cgroup, so I can `make -j` without fear of swapping. I expected my wrapper tool to get clever about predicting time to completion. I did *not* expect my wrapper tool to pick up the smarts to size memory cgroups even smaller based on history, thereby permitting more...

• View post

  My daughter has informed me that there is uptown, midtown, downtown and goblin town. #downdown

• View post

  I just lost the game.

• View post

  Instructor: "Show your work." Me: "Certainly. Here's the dependency graph, verification chain, mutation-testing adequacy report, provenance trail, and generated projection proving the document corresponds to the underlying claim structure." Instructor: "...No, not like that."

• View post

  I'm a thunk I'm a maybe I'm a promise I'm just lazy I'm a fiber I'm a thread My signal is unread.. I'm a child I'm a zombie And I'm nothing in between I know the kernel cannot reap me anyway...

• View post

  WIP: Working on a theme aimed squarely at my sense of nostalgia and my respect for people who are colorblind...

• View post

  16:31:12 up 7 days, 2:08, 1 user, load average: 35.93, 31.34, 23.05 10 core laptop. 27GiB of swap in-use. CPU freq pushed all the way to the floor (because dust on heat sink; it'll overheat otherwise). And despite all of that...the machine is running several disjoint heavy workloads, the UI is smooth as butter, and `sys` is nice and low. A mixture of cpu scheduling and zswap to make it all happen on a personal laptop...

• View post

  I misread "dashboards" as "deathboards". My Grafana setup is getting metal...

• View post

  08:27:56 up 17:07, 1 user, load average: 260.70, 127.69, 57.48 Cue Song 2 by Blur.

• View post

  Getting closer...but is measured 138k test cases enough?

• View post

  Whelp. That was work. Two OpenBao nodes, each holding the rekeying secret for the other, both storing their unsealing keys in the host TPM, automatic mutual rekeying, automatic failure recovery (each node gets two slots in the TPM to hold unsealing keys, a slot for last/current and a slot for current/next). Automatic e2e provisioning on k8s on my laptop, and I _never see a key during the entire process_.

• View post

  hey, @flameeyes; tell me about the gentoo-on-bazel setup you did. I'm building something similar, and I'm curious what seams you had between the build layers.

• View post

  Reticulating splines...

• View post

  What is it with the quality of barrel connectors these days? Two different products, two different cable/strain designs, four months apart, same failure mode. In this case, the appliance (a bike battery) fell several inches onto the cable. In the other case, the barrel broke when I moved the appliance (an electric litter box). Literally the first two such failures I've ever seen.

• View post

  Anybody remember the old TLC game Robot Odyssey? I just imagined a reboot of that, but where you wire up everything in Verilog instead of as a discrete soldering exercise.

• View post

  Just read through https://daniel.haxx.se/blog/2026/04/22/high-quality-chaos/ I've reached the point where I don't think it matters what programming languaeg you use to solve a given job. Use untyped lambda calculus for all it matters. Your type-checking problem has extended beyond the boundaries of what we think of as belonging to programming languages. At this point, people need to be talking about invariants. "Principle of least surprise" is a soft invariant...

• View post

  The name "Benoit B Mandelbrot" is a quine.

• View post

  (slow, single-tap ride cymbal, neon reflecting off wet asphalt) They handed me a type signature like a key to a room that didn't exist. “Total,” they said, their voice smooth as polished marble. “Well-founded.” But I looked under the floorboards. I saw the unsafeCoerce bleeding through the floorboards like engine oil. I saw the termination checker getting paid off under the table with an structural decrease that was just a pointer trick in a cheap wig. They call it an escape hatch. I c...

• View post

  I've been listening to Nine Inch Nails' "I know You Can Feel It" from the Tron: Ares soundtrack. and the more I pick up on the lyrics and place them in the context of the plot, the more I realize that Tron: Ares is amazingly layered and is what the Ghost in the Shell movie *should* have been.

• View post

  If the hand wants the hand, and the eye the eye, I wonder what the head wants, by and by. Ohh, the head of vecna. Less famous than the rest. But I'll tell you a secret; the more they put it to the test, the less that anybody knows. I wonder how a thing like that goes?

• View post

  It's one thing to know how to do something. It's another to know why it's done that way. The latter is the context required in order to work around obstacles safely. #ai is really good at "knowing" how to do something. It's really bad once the skill level required goes beyond tutorial blogs and stackoverflow.

• View post

  Flat-earthers' philosophy has its roots in the rejection of others' observations as normative; a thing must be observed by the self, directly, or it is not substantive. As such, all arguments made by someone other than oneself can be rejected as not directly observed by oneself. This effectively becomes Not-Invented-Here syndrome as applied to epistemology.

• View post

  You know the classic party game Twister? Here's Twister for hackers: Everyone starts off with 16 symbols. Every round, a program synthesizes a (mostly) random unit test around interacting with one or more of those 16 symbols. Every player's program has to pass all unit tests within a time limit, at which point a new random unit tetst will be added.

• View post

  Yup. Basement's going to flood tonight for the fourth time this calendar year...

• View post

  Too much #math . I misread "update todos" as "update topos"

• View post

  ### "Twists" (Parody of "Dreams" by The Cranberries) **Verse 1** Oh, my group is changing every day In every possible way And oh, my rings The scalar multiplier brings A twist to everything **Pre-Chorus 1** I multiplied these terms before But now the scalars matter even more Because the twist came through A 2-cocycle out of the blue... **Chorus** And then I multiply and see The loss of commutativity! A twisted basis set, $u_g$ It alters the geometry... La-d...

• View post

  With apologies to Eric Claptopn... Would you know my class If I met you in loop space? Would it be the same If I mapped you in loop space? I must preserve The points and curves 'Cause I know this path belongs Here in loop space. Would you hold the line Through a smooth deformation? Would our bounds align Through a smooth deformation? I'll map my way From X to A 'Cause I know this curve can't stay In a fixed state. Spaces shrink you down To a single point Cuts w...

• View post

  With apologies to Weezer. Oh yeah. All right. Some open cover Is mapping to nothing My Betti number Is filling with dread Guess I'll just close the set. Oh yeah, all right, the void inside Look at the sequence, wrestle with Sartre Meaning is empty behind my back The complex is ready to blow. Say it ain't closed! This loop is a soul-breaker Say it ain't closed! The void is a space-taker. I can't compute you I never could prove That which might bound you So try...