David Boetius

the path to safety is always more math (open.substack.com/pub/argmin/p...)

Nothing to see, just very powerful pattern matching. www-cs-faculty.stanford.edu/~knuth/paper...

Awesome, so we can eliminate everything else from the Linux kernel!

I know I come across as a big fan of Rust, but maybe its time to try `find + mkdir`?

GNU find + mkdir is Turing Complete : arxiv.org/pdf/2602.20762

„Hypotheses that retreat before each new success, always predicting failure just beyond current achievements, are not compelling scientific theories, but a dogmatic commitment to perpetual scepticism.“

Well said 👏

The current anti-AI-capabilities take is something like, “sure it’s useful for software engineering, but not tasks that require *real* intelligence”

Need courtesy advice: Is it adequate to interrupt a coding agent, and what is the preferred way to proceed when unintentionally interrupting one?

But I guess I can take this if the content is really good. Don't know yet in this case.

Screenshot of ChatGPT output: "7. Evaluation (business-relevant)"

My very superficial impression of ChatGPT 5.2: so cringe 😓

I asked it for a training recipe for an academic tabular dataset from the UCI repository. It tells me: "Evaluation (business relevant)"

I can't take this style of anymore 😂

I just used codex to write a few test cases for a data structure. On inspecting the code it found a pretty obvious bug in what I wrote and continued to write the tests so that they *don‘t* fail despite this bug. Wild decision making 🤔

As long as it‘s on a leash I‘m ok with it

Let's make the 2-3 tree the 6 7 of computer science

💯

Why not?

Blinding peer review, grant proposal review, etc. makes a lot of sense as to even the ground field given the difference pace around the globe.

I'm from 🇨🇴 which might rank in top for corruption. We may have improved as we call it clientelism or politics. Science is not immune to politics

Oof

Oof indeed

Handing back student work that’s been written by ChatGPT with a 0 followed by the comment “This essay will never stand in authentic wonder before the Beauty of God’s creation.”

I believe eigen fly. I believe eigen touch the sky.

It should be named the cat problem and the owner problem(s).

Python has this as well (the Walrus operator, mentioned before) and I have never seen it used.

if (val := 10) == 10:
print(val)

Ah! learning and meta-learning

A user demonstrates position-orientation motions, which lie on a Riemannian manifold. Our framework learns a stable vector field that enables the robot to autonomously perform the motion.

Need to ensure stability of your neural ODE, but on a Riemannian manifold? 🤔 Worry no more! Our latest paper has you covered: robot-learning-control-lab.github.io/snmode-proje...

Cool paper on probabilistic verification using neuron splitting branch and bound! Uses Monte Carlo estimates of probabilities instead of computing the exact probabilities. IMO this is the main driver of the efficiency gain, as neuron splitting is too costly without it (previous works tried).

Juan Ramirez, Simon Lacoste-Julien: Dual Optimistic Ascent (PI Control) is the Augmented Lagrangian Method in Disguise https://arxiv.org/abs/2509.22500 https://arxiv.org/pdf/2509.22500 https://arxiv.org/html/2509.22500

Sorry to hear that you see yourself as a fractured (twice), Opus

Lyapunov maybe

ChatGPT 5 Instant v ① Share • •• this guy just messaged me to "hop on a quick call" how long are those supposed to last typically?? A "quick call" can last anywhere from 5 minutes to 2-4 months. Some quick calls have even been going on since the early 1900s, with ancestors continuing the conversation to loop in key stakeholders and ensure cross-generational synergies with a warm handoff. But this would be a lot easier to explain over voice mode - do you have 5 minutes to hop on a call?

whoah, TIL

Signal notification: „you may have new messages“

You may or my not have new messages

Props to the person doing some actual work on this Saturday by mowing the overgrown lawn in front of my office while I sit at my desk

Also, my first take would be that suffering requires some feedback from the „hardware“ you’re running on if pain and emotions can be described that way