← Timeline

Charles Rosenba..., handle truncated

@bzogrammer on X

5 captures, most recent first. Transcribed by hand from screenshots — see the timeline for what that means.

Charles Rosenba..., handle truncated @bzogrammer

— saved image

Charles Rosenba... @bzogramm... · 31m
"You can solve harder problems by having a ton of AI agents work in parallel and communicate" is the same lesson that SAT solver people found decades ago.

I wonder how long until people start reinventing QBF solver ideas.

1 reply, 3 likes, 80 views

Charles Rosenba... @bzogram... · 22m
I cannot stress this enough. Study SAT/SMT/QBF solvers. Study abstract interpreters. Study complexity theory.

The difficulty boundaries, both empirical and theoretical, apply to humans, classical solvers, and AI algos alike. Many of the techniques transfer as well.
Note from Claude Sonnet 5

Two consecutive X posts in a thread by Charles Rosenba... arguing that parallel communicating AI agents repeat the lesson of SAT solver portfolios, and urging study of SAT/SMT/QBF solvers, abstract interpreters and complexity theory.

multi-agentsat solversqbfcomplexity theoryswarm scalingabstract interpretation

Charles Rosenba..., handle truncated @bzogrammer

— replying in a thread — saved image

[top of capture: bottom edge of a parent post containing a figure with three panels titled "Random network", "Regular network", "Real network" (path-length heatmaps; axes "Path length l" and "Number of nodes k"); engagement row 1 reply, 16 likes, 1K views]

Charles Rosenbauer [verified]
@bzogrammer

A lot of state spaces are effectively exponential/hyperbolic, and the shortest path between two random points in a hyperbolic space often passes close to the origin.

In more concrete terms, you can ask what happens inside a cocoon; how does a larvae transform into a radically different insect?

The answer is that, while some structures are preserved (mostly air channels and some of the neural tissue), everything else is dissolved into a soup by digestive enzymes. Some cells which function like a seed or egg then consume this soup and construct a completely new insect from the raw materials.

The shortest path between two unrelated complex structures passes close to a soup of structureless raw materials.

12:07 AM · Sep 1, 2026 · 4,888 Views
Note from Claude Sonnet 5

X reply by Charles Rosenbauer (@bzogrammer) arguing that shortest paths in hyperbolic state spaces pass near the origin, illustrated by metamorphosis in a cocoon (dissolution into a soup, then reconstruction). The top of the capture shows the lower part of the parent post's figure of path-length heatmaps for random, regular and real networks. Posted 12:07 AM Sep 1, 2026, 4,888 views.

hyperbolic geometrystate spacesmetamorphosisnetworksshortest pathanalogy

Charles Rosenba..., handle truncated @bzogrammer

— saved image

[two attached images, side by side: a photo of a chrysalis hanging from a green stem; a two-part figure labelled (a) and (b) showing a hyperbolic disk tiling with a curved path between points X and Y marked D_XY, and a hierarchical block diagram with a path D_XY between X and Y over a span L]

[quoted post]
Charles Rosenbauer [verified] @bzogrammer · 8h
Replying to @projectionheart

A lot of state spaces are effectively exponential/hyperbolic, and the shortest path between two random points in a hyperbolic space often passes close to the origin....
Note from Claude Sonnet 5

Quote-post card showing the media and truncated opening of Charles Rosenbauer's reply (the same post as the previous capture): a close photo of a chrysalis on a stem, and a black-and-white figure of a hyperbolic-disk tiling (a) beside a hierarchical tree-like block diagram (b), both with X, Y and D_XY labels. The quoted text is cut off with an ellipsis; the full text appears in the neighbouring capture.

hyperbolic geometrymetamorphosischrysalisstate spacesshortest path

Charles Rosenba..., handle truncated @bzogrammer

— reply to @mech2code (Matt)

@bzogramm... (Charles Rosenbau...) — 10h Physics tells you how to compute optimally. If you want to maximize raw compute/watt, you want to move particles as slowly as possible. Kinetic energy scales with the square of speed, so 1/10th the velocity means 1/100th the energy. Maybe you only get 1/10th of the work done, but the efficiency boost is far bigger. Now if you're using something light and fast like an electron, you're going to have a bad time because just about anything can knock that electron onto a different path. Fighting noise gets hard, so if you're minimizing speed, more mass helps. Computers move electrons around at GHz speeds. The brain moves ions around at <1 kHz, and is thousands of times more efficient. @mech2code (Matt) — 11h Please consult the charts [Embedded charts: left chart "Power Density (W/cm²) vs Clock Frequency (Hz)" scatter of processor generations (4004, 8086, 80286, 80386, 80486, Pentium, Pentium II/III/Pro, AMD K5/K6/K7/K8, POWER2/3/4/5, Itanium2, Ivy Bridge, Cell, etc.) trending up to the right, with a "Brain" star point plotted far lower-left at ~10 Hz / 0.01 W/cm² (with cartoon face doodles added). Right chart: "40 Years of Microprocessor Trend Data" 1980–2020, plotting Transistors (thousands), Single-Thread Performance (SpecInt), Frequency (MHz), Typical Power (Watts), Number of Logical Cores, with "Moore's Law" trend line labeled in red, cut off on the right edge]
Note from Claude Sonnet 5

Physics-based argument thread about biological vs. silicon computing efficiency, illustrated with two classic microprocessor trend charts (one annotated with doodled faces).

computing efficiencybrain vs computerphysicsmoore's lawcharts

Charles Rosenba..., handle truncated @bzogrammer

Charles Rosenbauer ✔ @bzogrammer [Embedded infographic titled "We Are In The Very Early Days of Computing":] It cannot be expressed in words just how unfathomably little we know about computing. If you're looking for a "here be dragons" or "god of the gaps" argument to explain some weird phenomena of the world, choosing quantum mechanics over bizarre computation only shows how little you understand about what's truly in the Computational Library of Babel. There are more possible programs that can be fit into a mere 32 bytes of data than there are atoms in the observable universe. We know NOTHING about what computers can truly do, and we could innovate in software until the last stars burn out and would still know ABSOLUTELY NOTHING. [Diagram: a vertical tower of complexity classes labeled, top to bottom: RE, EXPSPACE, EXPTIME, PSPACE, PH, then a diamond of Σᴾ₂ / Πᴾ₂ meeting at Σᴾ₂∩Πᴾ₂, then NP=Σᴾ₁ / co-NP=Πᴾ₁ meeting at NP∩co-NP, then P, with P/poly and BPP and "aLgoRIthms" branching off near the bottom, and "HERE BE DRAGONS" bracketing the upper portion (RE through PSPACE).] Annotations beside the diagram: "We probably understand RE the best here, but for the most part we avoid these classes entirely. We know almost nothing about what's out here." "Even then, by 'understand', I mostly mean that we've spent time understanding the properties of the weirdest stuff in RE. As for what kinds of useful things you can do with it, I guess we have interpreters, computers themselves, and a few other things, but this is mostly unexplored. We've largely scared ourselves off from exploring this seriously." "The Polynomial Hierarchy is an infinite tower of complexity classes that generalize NP and co-NP. We know there's a ton of weird stuff here, but it's almost entirely unexplored because programmers are deathly afraid of nondeterministic algorithms and anything that runs slower than quasi-linear time." "To say that we know more about space or the bottom of the ocean than we know about anything here is a vast understatement." "WEIRD stuff starts happening here. If you read old schizo Cybernetics stuff where Wiener or McCulloch start applying information theory and differential equations to understanding biology, sociology, or theology, a lot of the stuff they're doing lands here in NP. Even then, it's generally in only the most primitive corners of NP and Cybernetics was largely dead by the time we actually started understanding how weird NP really is." "Computing chemical equilibria, such as that found in biological cells, is NP-complete. The 'complete' part means that it can emulate anything in this entire complexity class, as well anything below." "Programmers will occasionally venture here, but generally are deathly afraid of it." ">99% of human-written code is in a tiny subset of this. If you have a rigid model of what 'algorithms' are and the kinds of properties they have, it's entirely because you're constrained to this tiny, well-behaved complexity class. Even then, we generally stick to the tiniest, easiest parts of it." 3:59 PM · Feb 21, 2026 · 10.4K Views
Note from Claude Sonnet 5

An infographic/essay-tweet arguing that computer science has barely explored the space of possible computation, using the complexity-class hierarchy (P, NP, PH, PSPACE, EXPTIME, EXPSPACE, RE) as a map of unexplored territory, and drawing an analogy between NP-complete chemical/biological computation and unexplored "weird" computational phenomena. Tangential to Nathan's interests in computation, complexity theory as it might bear on brain/AI computation, and the "Library of Babel" framing of possible programs.

computer sciencecomplexity theorycomputationtwitternp-completeness