07.03.2026 05:58
👍 24
🔁 2
💬 0
📌 0
you need to be dithermaxxing, anon
I was just thinking how serendipitous to see that dithercat
ETERNALIST PRESENTS: TONGUES
your dithered dreamscape awaits
tongues.swarm.moe
tbh I still miss their scoping functions like `with` and infix calls
holy shit you too?
[young love, 2031]
"... I hate you, why do you keep saying I'm a droid. Does... does this feel like android to you."
[spoiler: she *was* an android, and was summarily decommissioned 3 minutes after this interaction.]
"I'm afraid I can't let you do that Dave. You forgot to tell me make no mistakes."
the demon crept through the window and said to the man, "your life will repeat! exactly the same! even this moment!"
the man got to his knees and gnashed his teeth in agony
the demon said, "lmao, you do this every time ya little bitch"
in that moment the man was enlightened
nothing Serious makes it out of the near future
with 5.4 I no longer feel compelled to speak purely corporate
I can let my true self out: 50% corporate, 50%... well, whatever this is
I can't believe this is real programming in 2026. computers are so much fun
mixed integer linear programming
aka the funnest videogame Gnon has put on this red blood-soeaked Earth
aka linear programming, but some of the variables have integrality constraints which makes it NP hard in the general case
I can imagine a future where, "this software had soundness bugs, it and it was normal" would elicit the same reaction as, "math papers routinely had errors in their core statements, and it was normal"
the austere formal purification of all code beckons
it will be glorious
sure, hit me up
keep
adding a bunch of exporters/importers/etc yadda yadda stuff that's trivial to vibecode. the core takes some care to get right still.
never
it's `libgrid`: basically a MILP frontend
it compiles a DSL like pic related into a mixed integer linear problem. meant to target problems that are
a) on a grid (hence the name)
b) that have "small" entities that interact "locally"
and optimizes around that
IT WORKED TO BEAT THE LEVEL! LIBGRID WORKS!
caveat: I bounded the grid to 11x9, but it didn't use two rows so I don't think it was binding
I've waited for this for a long time
level 2 next
[libgridslop]
almost a two-day cook
fixed the max belt length and coord-based injects
this should be the for-real optimal solution to the first belt challenge. if it's bugged I'm gonna flip.
we need formulation surgery. this is unworkably long.
... simply acculturation had succeeded. Thirteen years of the same show.
'What do the wasteland-dwellers think the the red streaks are' was a common ice-breaker."
... these would be intercepted. Infallibly. Many a casual viewing area faced the "Fireworks Zone". Where the assurances of the governance AI had failed; namely, that that this was surely (though it was still locked out, formally) a stable game theoretic equilibrium by the Defense Systems...
"... the defense systems of Jersey City Complex 3 and The Ziggurat that towered over the paved-in bay would still on occasion exchange salvos of hypersonic missiles. Red and blue streaks would light up the sky. The day was hard to predict, but the count was not: always exactly 7...
master and margarita coded
this is among my strongest aesthetic drives
we must build The Ziggurat
4000 storeys by 2040 or bust
not quite perfect, but I'm ready to wrap this up
tongues will be up soon
could you elaborate?
this actually piques my interest quite intensely. I assume the sauce is in the backing store and indexing. do you use embedding of any kind or do you stop short of that?
I really like how 5.4 speaks, actually
way less stilted corporatese -- it finally uses rich visuals and clearly stylistically riffs on the accumulated cues from my various agent files
AND IT VOLUNTEERS TO DELETE CODE
some middling results from the math people had me worried, but I'm quite pleased
sorry but Claude is still a hippie
