tom larkworthy

@larkworthy.bsky.social

Computers and decentralization.

randomized property testing is a cheap version of theorem proving reachable in a mainstream programming language. So I am seeing better code produced by getting the LLM to create a theory of a domain, and then property checking its parts. Then the architecture becomes assembly by an algebra.

Building on OpenRouter is the correct choice if: 1. You think AI can be useful 2. You are concerned about big LLM providers becoming too powerful. 3. You don't think it's realistic that everyone will have the hardware to run locally

I been working in the shell since February and I am sick of it. I gotta get agentic coding working in a notebook with visual feedback just because it is so much more stimulating than the shell. I hate the shell.

Scratch is better than I remember it. define blocks can execute immediately and outside the animation loop so you call them recursively and do multi sprite spawning in a single tick which is quite handy for generative stuff.

Yeah I think basically bash is the strongest meta-interface to anything for a LLM. "everything is a file" includes virtual abstractions created inside that virtual fs. The file system *is* the interface. The LLMs are tuned so hard on TerminalBench they are shell ops masters.

Bild

✨ Atmosphere devs ✨ Bluesky is integrating Standard Site, and our initial work should be released in the next few days. Here's what that means for publishers and apps in the ecosystem: github.com/bluesky-soci... If you have questions or comments, please leave them on the GitHub Discussion thread!

Integrating Standard Site Into Bluesky · bluesky-social atproto · Discussion #4978

The Bluesky team is working on integrating site.standard.* lexicons. For people using the Bluesky app, this means that when they come across a link published with a Standard.site record, they’ll ge...

github.com

the end of "parametric abstractions". A config menu, a set of arguments for a function, they are parametric. They have a certain specified configuration space. Its what we have always done. Its core to functional abstraction. With on-demand code generation, the space of programs is non-parametric...

Oh interesting. I added the computeNow ticks of the Observable runtime to the new debugger, and now I can see that cells that have a long compute time end up eating ticks from the runtime. Did not know that!

Bild

Working on the next version of the temporal debugger for Lopecode. Now the "blocked" vs "computing" difference is colored, and the cells are topologically ordered so you see the cascades of computation much easier. Its already revealing a ton of unexpected inefficiencies!

Bild

It used to annoy me that Safari and Firefox would surface bugs that chrome did not have but now in my wiser years I am thankful there is divergence and multiple vendors for such an important technology as the web. The bugs are fixable, ecosystem capture cannot.