Great overview docs.google.com/spreadsheets...

I was looking at formal verification methods, but yes “Formal verification … has existed for decades. It never caught on because writing the proofs is expensive for humans … Thermite's bet is that this flips the economics of proof: burn the cheap resource (tokens) to buy the expensive one (trust).

I just backed CardputerZero, Pocket Raspberry Pi Computer for Makers on @kickstarter.com www.kickstarter.com/projects/m5s...

Ah, I always wondered …

Good template www.tbray.org/ongoing/When...

This has the feeling of an #iPhone moment, transforming the "smart phone" to something more useful decrypt.co/368238/oppo-...

Creating GUI elements/widgets according to task sounds good. Is Google doing it right where MS failed with the CoPilot PCs? blog.google/products-and...

"In other words, American youngsters idealizing China — without actually engaging with China or knowing much about it — is really about expressing their dissatisfaction with America." asiatimes.com/2026/04/is-c...

Nice, a more visual approach to agent UIs github.com/agent0ai/spa...

A nice one (posthog.com)

One step up from being just an assistant, now a collaborator. "marimo pair is a skill that drops agents inside a running marimo notebook session, giving them full control over the notebook. Agents can do anything humans do in the notebook and more." marimo.io/blog/marimo-...

This triggered "Snow Crash": Gargoyle: meat host + sensors + network + CIC backend. Output: hyper-instrumented but socially stunted voyeur. Meat LLM proxy: meat host + chat UI + LLM backend. Output: hyper-fluent but emotionally counterfeit interlocutor. not-an-llm.bearblog.dev/meat-based-l...

Well, here we go isthisanart.substack.com/p/death-of-a...

Thinking about that setup. Maybe with Display Glasses. The MacBook pricing is becoming ridiculous. It looks like even a Vision Pro/mini could be a cheaper option 😅. Of course, I would have to fight all these Clawds to get a mini … www.youtube.com/watch?v=SRX7...

A really nice codebase visualization, making software architecture visible as systems are growing in the AI age verial.xyz/posts/codecity

youtu.be/AOsyJHdobGk?... Hoping that we will have a nice lift-off from Andøya today 🚀 but of course in style

The description sounds a bit like "a claw with avatar and sensors" for the masses. The hybrid nature and the (planned) integration with games and apps would set it apart from other attempts like Code27 or Dipal. www.razer.com/razer-ava

Saw this mentioned in the Pico Developer Event video. A device-neutral open-source toolkit for web 3D apps: WebSpatial. It seems Pico doesn't want to be in the 2nd row anymore. webspatial.dev

Really lovely www.exceptionalcreatures.com

felixbarbalet.com/simple-made-... An interesting angle, it’s about selecting implementation languages for agentic work, claiming that the criteria changed. Hard to swallow, if you worked longer in the industry and have your preferences 🤔

After Qwen3 had made HermitClaw a bit stubborn regarding user tasks, I changed to Gemini 2.5 Flash. A step up the token price ladder, but the effects are visible. The agent reacted better to user tasks. It also started to care for meta processes like project management.

And yes, it is really hard to distract HermitClaw from its initial traits/projects. Even in focus mode, it didn't like to do something else for its owner.

Experimenting with HermitClaw. I tried different models, especially cheaper ones. As expected, not all models don't work well with Claws. A rule of thumb: if no colored boxes appear (planning, remembering) the model is probably not adequate. Grok 4.1 Fast was such a case.

"In 2026, free agency is about visibly virtuous and competitively benchmarkable hard work … Esteem is reserved for effortmaxxing agentic juggernauts going hypomanic with Claude Code." contraptions.venkateshrao.com/p/new-ferali...

this is how every outlet should refer to X

A nice addition to your LLM mix, a token with real utility x.com/erikvoorhees...

If I’m interpreting the CES news correctly, monitors are increasingly becoming part of interior design (“picture frames,” Amazon, Samsung). Offers from HP (keyboard-mini-PC) and Asus (display glasses) point to the separation of display, input, and compute. Ironically, I’m writing this on a laptop

Should you wonder what this Perl thing is/was about perlhacks.com/2025/11/dotc...

Looking at the pension reform debates in the EU … no promises 🙄 > The promise is a shift toward self-cultivation, ethics, and spiritual inquiry. East Asia, arriving first at this frontier, could define what “human” means after the end of compulsory labor. asiatimes.com/2025/11/chin...

Noticed A2RL 2025 too late, but the recap shows the key moment. youtu.be/FyDarTYyiS0?...

Let’s start the day with good news 😎

There is hope: “Putting it all together, this means TCL's new OLED panel could power clear and sharp headsets with rich colors, deep contrast, and true blacks – but without the sky-high prices you get with micro-OLED. “

Some people get interesting projects … (sigh) ochagavia.nl/blog/towards...

It seems I wasted my brain cycles 😆: "A new perspective on development for the agentic era. Gemini-generated documentation, always up-to-date." codewiki.google

What is documentation, or better, for whom are we documenting now? (1/2) Cleaning up my RSS bookmarks, I looked at simonwillison.net/2025/Jun/27/... again, which points to various models on GitHub that could augment your documentation – for humans. However, …

Really great fun 🤩 that game

The nice, small, and flexible backend I always wanted … pocketbase.io

A shame that @pulplibrarian.bsky.social is not more active over here. Just found this one quite fitting x.com/pulplibraria...

"I think we don't realize how much code, as a thing, is mostly transitional." github.com/samrolken/no...

Curious about the integration, I just gave @openbrush.app and @openblocks.app a try. Really nice experiences on the Quest headset, recommended. Next is the gallery …

Found this yesterday, looked retro, did sound like it, but actually could be Skynet youtu.be/2F4O4Hqvj9g?...

Interesting perspective: "… by 2040 at the latest, those coal, gas, and oil land rights must be regarded as stranded assets that can't be monetized, and the land rights probably have a book value measured in trillions of dollars." www.antipope.org/charlie/blog...

Good overview of the Move language; I was wondering who would use it. I get the impression that it is less abstract than other blockchain programming languages, especially if you are interested in #nfts or #games. Time to dig deeper … supra.com/academy/ulti...

youtu.be/a_JL_5Mb2r8?... Amusing to see how the scene duration developed from 3 to 10-15 secs, producing a more or less coherent show #video #ai

Great start; watched the first episode on my Quest headset. The spatial podcasting mixed with a bit of interactivity was something new. www.targostories.com/crafting-cri...

I was fascinated by the Syberia world Benoît Sokal had created for the PC edition. Hope this will be good

While AI was used during its development, the current version claims only natural language understanding (NLU) and an event-driven nature. Unlike many others, it has an explicit language layer.

Just discovered waifu livehouses. They seem to have their own aquarium-style reality, not really #VR, more pocket dimension. Although you wouldn't need much imagination to see the livehouse pocket dimension connect to some virtual reality universe in the cloud. The llm connections are already there.

projecthyperion.org/ Just a design competition, for now.

Right, re-interpretation is necessary 😁 Although, the proposal is still a bit solar system-centric. To be as unreachable as the planets once were, we should think about galaxies, no? www.spacedaily.com/reports/Astr...