If you're wondering why iroh 1.0 is taking a minute it's because this is the viewer we needed to build to make sense of the logs. And yes, there is a spec for the log format, which we also had to implement

Real infrastructure takes time, and we're very, very close

str4d.xyz/atproto-devtool CLI app for developers prototyping atproto functionality

Hey #atproto developers! (Great time to post this lol)

I've published a Rust multitool intended to help developers write atproto apps and services:

cargo install atproto-devtool

First tool is a conformance test for labelers / moderation services:

atproto-devtool test labeler <handle | did | url>

For instance, instead of writing π or 3.14, one can now elegantly write E(E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(E(E(E(1,E(E(1,E(1,E(E(1,E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1, …

Yet all experience is an arch wherethrough
Gleams that untraveled world whose margin fades
For ever and for ever when I move.

Two exciting developments: A. intoverflow bug found and fixed in the Lean runtime 😍, B. an AI rewrote zlib into Lean and there is now a proven-correct implementation of zlib!? 😍😍😍 kirancodes.me/posts/log-wh...

The Magic of Tokyo (with Joe McReynolds) - Econlib What drives the seeming relentless dynamism of Tokyo? Is there something special about Japanese culture? Joe McReynolds, co-author of Emergent Tokyo, argues that the secret to Tokyo’s energy and attra...

Cool podcast about Tokyo. Do I know anyone who lives there? www.econtalk.org/the-magic-of...

Hey @zooko2.bsky.social (and other BLAKE3 connoisseurs) I think we hit a bit of a wall in trying to add BLAKE3 to github.com/WICG/webcryp....

Main issue is no RFC, only internet-draft. Is there ongoing work to move this to RFC? Can we/ipfs help somehow?

There is a stable C2SP specification as c2sp.org/BLAKE3@v1.0.0.

C2SP specifications were already adopted elsewhere for the Web: the Apple and Chrome CT policies reference c2sp.org/static-ct-api@v1.1.0.

support.apple.com/en-us/103703

googlechrome.github.io/CertificateT...

- The bitter lesson: Richard Sutton's view on AI
- The butter lesson: more butter makes better food @gracekind.net
- The batter lesson: crêpes are better than pancakes
- The better lesson: AI can potentially improve teaching
- The botter lesson: genAI takes over social media

(Because of how he proved that The Halting Problem is undecidable.)

I'll bet if Alan Turing were alive today, he would love the question of “Can machines write programs for machines?” bsky.app/profile/zook...

tomorrow michael2xl is going to ask his AIs—the ones that have already rewritten all the Bitcoin software on the internet to add support for Zcash—to rewrite it all into Zig

Building a Zig foothold in the Zcash ecosystem - talking to Zebra over JSON-RPC After shipping a pure-Zig address library, the next natural step for me was tooling that talks to a live node. zebra-utils.zig is a Zig toolkit for calling a running Zebra instance over its JSON-RPC ...

Building a Zig foothold in the Zcash ecosystem: forum.zcashcommunity.com/t/building-a...

But contra this Dijkstra quote, Alan Turing did *not* claim to address the question of whether submarines can swim or whether machines can think. The whole point was to replace it with the question of whether submarines can travel underwater. courses.cs.umbc.edu/471/papers/t...

Original original:

“Alan Turing thought about criteria to settle the question of whether machines can think, a question of which we now know that it is about as relevant as the question of whether submarines can swim.” — Dijkstra (HT @Ngnghm on twitter)

AIs can't think.
Cars can't gallop.
Submarines can't swim.
Planes can't flap their wings.

(stolen from @Ngnghm and improved)

You can estimate the incentive to corrupt that information. How about start with the revenue to a single company or a small set of companies?

Okay he was convinced by my last reply. I'm really enjoying this. It reminds me of back in the dark ages of Dec 1, 2025, when I tweeted x.com/zooko/status...

And he pushed back yet again, on a more nuanced detail! This is increasing my confidence in the design that is emerging.

update: okay, now he agrees with me! And at least I have slightly more confidence that this isn't sycophantic confirmation of a mistake of mine.

Huh. GPT just pushed back *twice* on a design request from me, saying that he thought a different design was better and giving his reasons. I can't decide if I like this quality of GPT's personality or not. Here's my next reply to him:

Watched “Snowpiercer” for the third time. First time was when it came out, in a theatre, by myself. It’s still pretty fuckin great.

Thanks!

What was a really great one??

I'm not saying anything new by including AI coding here. I don't fully know what its long term effects will be. I doubt many of us do. And the industry is far from perfect.

But coming from a late adopter, and a skeptic in general, it's still clearly a big deal. And I haven't seen many of those.

Crosslink: Incentivized Feature Nets Shielded Labs is transitioning Crosslink from its prototype phase into productization. As part of this next phase, we are introducing a series of incentivized testnets, which we call feature nets[1], ...

Shielded Labs is going to be launching a series of incentivized testnets to test Zcash Crosslink under realistic conditions and hammer it into production-readiness! forum.zcashcommunity.com/t/crosslink-...

I just finished watching “John Adams”, the historical drama miniseries from 2008. I pretty much cried through the entire last episode. 😢

Flight of the Conchords Ep 3 Hiphopopotamus vs. Rhymenoceros YouTube video by r8dkid

www.youtube.com/watch?v=FArZ...

I am the apocaloptimist
my lyrics are bottomless
poppin off the top of this esophagus
rockin this metropolis
I am not a water dwelling mammal where did you get that preposterous hypothesis