The right things to find after spending a day learning Lean.

https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html

Not that I understand what they’re talking about…

I have finally found a mildly-offensive term to use for humans that I was lacking. A human-correspondence of the clanker : meatball. I was thinking about meatbag from KOTR, but it just feels to aggressive and hateful. But meatball… everyone loves meatballs, especially from IKEA.

In tmux 3.7 there’s a new protocol that I’ll use to optimize long agent history redraw in Tau, by making them an atomic logical repain. So tmux doesn’t need to output the whole redrawn scrollback to the terminal at all.

## The better, explicit mechanism

**tmux 3.7+ supports application-initiated synchronized output (`DECSET 2026`).** An application c
an bracket one logical repaint:

```text
CSI ? 2026 h
...clear and redraw...
CSI ? 2026 l
```

tmux updates its internal state while suppressing intermediate cell output, then emits the final d
irty view. A one-second timeout protects against a broken application. This is almost exactly the
optimization you described, but the application must identify repaint boundaries.

A podcast with me. :)

It’s not exactly my type of a game, but it’s truly beautiful in many ways, one in the kind, very fun and I love the main sound theme.

https://huggingface.co/dpcpw/Mellum2-12B-A2.5B-Thinking-GGUF-mixed-q4-q8

My first custom self-quantized model. :D

Well, seems like Twitter changed the UI so much, that I can’t use it anymore.

I guess I’ll just exclusively post here now.

Check out my slop-web-design skills:

https://tau-agent.dev/

You can now edit your posts in Rostra. Designed at the very beginning, finally exposed in the UI.

Given how happy I am with patchmark, I’m going to have an LSP with literally anything useful I can think of now.

First idea: show the dates next to the unix timestamps in all files.

https://lobste.rs/s/r4xf2n/better_generated_branch_names_with_jj#c_nfmydb

You can natively handle commit trailers in Jujutsu’s templating lang. Interesting

[template-aliases]
'trailer_v(key)' = 'stringify(
    if(trailers.any(|t| t.key() == key), 
    trailers.filter(|t| t.key() == key).first().value(), 
  ""))'