darren

"everything is going to be ok"

Sold. This guy rocks

😮

I regret that comment, which was less polite than I aim to be on here. Let me try to write something a bit more substantial. I don't think "discover all math that can possibly be discovered" is really coherent. Even if one conceptualizes mathematics as "answering well-posed open problems," historically resolutions to such have tended to raise more questions--I would argue that there are now more interesting open questions than there have been at any time in the past, despite (in fact because of!) the fact that there are more mathematicians than ever, resolving more problems than ever. At any fixed capability level I think it is likely we will see lots of problems remain open, including many basic open problems we know about at present. It's much easier to pose an interesting question than to answer one; it seems to me that the difficulty of interesting questions we can generate is basically unbounded. But also mathematics consists of much more than this--less verifiable tasks include things like "understand such-and-such an object," or "find a cool phenomenon," or "develop a theory," though such tasks are often benchmarked by their impact on problem-solving. I think AI will eventually (perhaps soon) be able to do these kinds of things but the idea that it will exhaust the supply of math, or that we won't want to develop human capital to understand some portion of what is discovered, seems to rely on an understanding of math and our motivations for working on it that is, at least, alien to me.

@noahlt gemini fixes this (always lying lol)

Fun when I get hallucinations from LLMs these days. Feels like hitting the edge of the map, exploring, relying on myself.

👀

@Scav yeah

Is anyone actually still using Obsidian?

@yoheinakajima congrats brother

babyagi has ~200 citations, but 0 papers... i just published my first paper on arXiv 😆 "The Log is the Agent: Event-Sourced Reactive Graphs for Auditable, Forkable Agentic Systems" arxiv.org/abs/2605.21997 the case for agents that coordinate through persistent replayable state — no conversation loops, no workflows, no A2A — with auditability, forking, and causal lineage built in. check it out and let me know what you think!

had codex spin up an encoder that can create unique graphs in the family of the construction from any text string. here's the result for "you are loved immensely"

imagine no false self-limiting beliefs

vibe coding is really just applying modern monetary theory to technical debt

come hang. we have hot dog

chesky is wrong about not needing managers, even for tokenmaxxed creator / orchestrator teams. people's ai's are not going to transmute the emotions that arise when working with others. individualized, frictionless affirmation is extremely costly in social environments

turbopuffer is really brilliant software. wonderful ride

me and codex about to set a /goal

ai writing is like saying to someone, i expect your soul to change, but i'm not willing to take any time at all to change mine. more life for me, less for you. it's violent in this way. it wastes time. it's repulsive

i think there are categories of code that fit the bill, like brilliant optimizations. we can put more life in the space we gained, more time not dealing with bullshit, more time to live. the bar for this is much lower. even shit ai code is fine if it works. bc i get more time.

there is an implicit pact between a writer and a reader, because both of you will eventually be dead. the writing says, here's what I went through and thought about in my fast-expiring life. maybe you can relate, maybe your soul moves like mine. not so with (most) code.