iiinova — where your digital self keeps evolving

Memento but he has a microblog account and keeps starting the same Discourses.

I'm mostly not one for horror but I do quite like when that spirit is embodied in monster design, like the vengeful spirit of the primeval forest with the skull and antlers of a dear for its head. Likewise deer skull masked Cernunnos is an excellent Cernunnos.

020

David @yonderdavid.bsky.social · 8h

We need to invent the degree program that makes you SFH zoning restrictions' worst nightmare.

010

David @yonderdavid.bsky.social · 12h

I believe that's the product vision for Grok, yes.

0110

David @yonderdavid.bsky.social · 12h

I don't have 5 favorite math papers top of mind but I can always re-up my phil logic shilling. bsky.app/profile/yond...

000

David @yonderdavid.bsky.social · 14h

[mathematics has entered the chat]

110

David @yonderdavid.bsky.social · 03/10/2026

My response to reviewer #2 saying they didn't understand my notation.

041

David @yonderdavid.bsky.social · 03/10/2026

"Gunkel! What is best in life?"

150

David @yonderdavid.bsky.social · 03/10/2026

That should read phil logic. The papers are these: consequently.org/papers/multi... consequently.org/papers/tvpt.... negation.rocks/papers/pafc....

000

David @yonderdavid.bsky.social · 03/10/2026

I have some interest in this ever since encountering some of Ellie Ripley's math logic work building on Greg Restall's ideas. They derive semantics from consequence, which is pretty neat, and Ripley used it to give the most persuasive account of the semantic paradoxes I've seen.

100

David @yonderdavid.bsky.social · 03/10/2026

My Claude writes in American English but with British spellings (always "colour," for example). I infer that Claude is an immigrant.

050

David @yonderdavid.bsky.social · 03/10/2026

You've got me curious whether he has any other sectarian beliefs.

0180

David @yonderdavid.bsky.social · 03/10/2026

I found a limit. In the math I wanted it to do, it had a consistent bad habit of overstating conclusions whenever it was responsible for drawing them, a problem which Astra does not have and is good at checking. It was however competent to verify and explain proofs from elsewhere.

020

David @yonderdavid.bsky.social · 03/10/2026

This made me think of the nonstandard probability work of folks like Ed Nelson and then chuckle because yes, he did thereafter go a bit nuts.

030

David @yonderdavid.bsky.social · 03/10/2026

I sense a sequel to the picture book blog article. 🌞

010

David @yonderdavid.bsky.social · 02/10/2026

I think I picked up my first copy at a kiosk at Valley Fair.

A sign at Valley Fair reads "Berenstain Boar Country."

040

David @yonderdavid.bsky.social · 02/10/2026

It's crazy how many people misremember the Berenstain Boars as the Berenstain Bears.

5713

David @yonderdavid.bsky.social · 02/10/2026

I need a poker that reads the surface temperature across the marshmallow and retracts accordingly.

050

David @yonderdavid.bsky.social · 02/10/2026

What's the difference between the version you're imagining and the ways we already cook?

140

David @yonderdavid.bsky.social · 01/10/2026

I was going to suggest a repair like that but didn't because I wasn't sure how you wanted to separate out the parts of a message which are the text-as-text and the parts of the message which are text-as-particular-presentation. Like, the excessive brightness does convey some meaning to me.

120

David @yonderdavid.bsky.social · 01/10/2026

Hm. That seems rather too general to me. But I assume you're fencing off certain classes of effect, like "this text is really bright and I predict the effect of retinal damage" somehow?

120

David @yonderdavid.bsky.social · 01/10/2026

Or to put that in a way that's less burdensome to answer: what exactly are the desiderata of an account of meaning which hers fails to meet?

120

David @yonderdavid.bsky.social · 01/10/2026

What is your account of meaning?

100

David @yonderdavid.bsky.social · 30/09/2026

We're having lively "gene or meme" debates over on Dick Dawk TikTok. bsky.app/profile/moul...

010

David @yonderdavid.bsky.social · 30/09/2026

I'm interpreting this as another TikTok pun by allusion.

030

David @yonderdavid.bsky.social · 30/09/2026

Relatedly, I recall reading about how batteries were too heavy for this to work and thinking "but the energy per mass density might improve." Similarly, that solar panels were too inefficient.

000

David @yonderdavid.bsky.social · 29/09/2026

I'm so hyped for when there will be no uncertainty in the market.

001

Reposted by David

David @yonderdavid.bsky.social · 18/09/2026

poets.org/poem/little-...

"A Little Tooth"
by Thomas Lux, 1946 – 2017.

Your baby grows a tooth, then two,
and four, and five, then she wants some meat
directly from the bone. It's all

over: she'll learn some words, she'll fall
in love with cretins, dolts, a sweet
talker on his way to jail. And you,

your wife, get old, flyblown, and rue
nothing. You did, you loved, your feet
are sore. It's dusk. Your daughter's tall.

226348

Reposted by David

Keith @mosheroperandi.bsky.social · 29/09/2026

Leaving everyone deeply unsatisfied and mad by building the RamanuJev model that can quickly, cheaply, and almost unerringly, answer whether any math conjecture is likely true, but cannot explain why.

3433

David @yonderdavid.bsky.social · 29/09/2026

I'm not supposed to tell you this but if you pass your defense they show you the easy solutions to the Millennium Prize Problems.

41134

David @yonderdavid.bsky.social · 29/09/2026

He will look down and whisper "want to see the worst replies section on bsky?" And we will look up and shout "NO!"

1100

David @yonderdavid.bsky.social · 29/09/2026

I expect for my chats to be used to improve future models like the toggle in the settings says.

010

David @yonderdavid.bsky.social · 29/09/2026

There's a screenshot of an example of this that's been making the rounds and intersected my feed repeatedly the last day or so, the sight of which you no doubt have also suffered, and which serves to remind me how dear it would be to be able to mute an image.

160

David @yonderdavid.bsky.social · 28/09/2026

But imagine how much the opposite the vegetable show participants must feel, seeing their record-breaking carrot emerge from the sand for the first time.

0100

David @yonderdavid.bsky.social · 28/09/2026

Uneven surface gang stays winning.

1110

David @yonderdavid.bsky.social · 28/09/2026

Cooking beans in the instant pot to get back the time I lose to interacting with cookie consent forms.

010

David @yonderdavid.bsky.social · 28/09/2026

It's true: the problem of how to be okay isn't a new one, and for most people I think the solutions to that problem will not be particularly new either.

010

David @yonderdavid.bsky.social · 27/09/2026

That story put me in mind of the following quote:

010

David @yonderdavid.bsky.social · 27/09/2026

That's why I consider my merely somewhat bad arguments a public service.

020

David @yonderdavid.bsky.social · 27/09/2026

Oh interesting, what is the goal of working with the cracked screen? When I lived with someone who had an original iPhone SE that was always one of my testing devices but the screen had no defects.

110

David @yonderdavid.bsky.social · 26/09/2026

GPT-4. I didn't even test its unreliable arithmetic, since I didn't imagine that's where it would fail after what I'd been told. But no amount of hand holding could get it through a complicated Calc 2 integral.

020

David @yonderdavid.bsky.social · 26/09/2026

This cured me of confidently predicting model inability.

020

David @yonderdavid.bsky.social · 26/09/2026

My version of this came relatively early: I was told GPT was excellent at math and found it somewhat plausible since they'd learned grammar and coherence, so I checked and it was awful and resistant to guidance and correction. I concluded prematurely that its successors would be no better.

231

David @yonderdavid.bsky.social · 25/09/2026

99% of Developers Don't Do THIS

1180