@rvolz.bsky.social

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).

Doll@dollspace.gay · 5mo ago

github.com/dollspace-ga... It is finally building a proper language intended for agents

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...

Meat-based LLM proxies

I am noticing one thing becoming more prominent over time; meat-based LLM proxies. They'll talk to you as if they're human, except all of their words are ...

not-an-llm.bearblog.dev

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.

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

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...

China’s cultural advantage in the AI Age - Asia Times

As artificial intelligence (AI) surpasses human capability, the societies best positioned to steer superintelligence will not be the most technologically

asiatimes.com