“These are not serious people” in the best possible way :)
Posts by Mark Mayo
This is like a crypto nerd layer cake of fun.
Trail of Bits beat Google's quantum algorithm but actually they didn't, they just broke the zero knowledge proof of efficiency, and actually Google's algorithm is efficient, which they can now prove because they fixed the verifier of said proof.
🤯
The Google paper just releasing a proof was weird, whole thing smelled.. bad? This is a delightful twist. :)
if you invented public libraries today, every opinion page in the country would be arguing for means tested subsidized Amazon Prime memberships
Wow, looks really well done. Thx!
If you've ever wanted to "slugify" ugly filenames so they're easy to work with from the shell, I've got the tool for you:
github.com/vmunix/slugr
$ slugr "App Installer (x64) v2.1.0.tar.gz"
app-installer-x64-v2.1.0.tar.gz
Rust/syscalls, no shell escapes. 280 test suite. Feedback welcome!
Wow, amazed this is “allowed”, so good compared to the abomination that is the Apple Music UX.
I think about this Hunter Thompson quote a lot these days, "The world is not mad, as I thought, but sane in the cheapest kind of way."
from a letter to Daryl Murphy, 1962
The only plugin I use (aside from lsp plugins). Eats a lot of tokens, and is “slow” but that’s the point.
I’ve hoped for a spiritual successor to HyperCard (composable, shareable, remixable) for decades. The decentralized infrastructure behind Web Tiles is complex by comparison, but if an authoring layer that makes it all click instantly, the way HyperCard did, is possible? It would be so cool. :)
Omg!
real talk: "The humbling part is I wrote this bug myself, in brand new test code, while actively investigating a different coroutine lifetime issue. I was already thinking hard about frame lifetimes and destruction ordering. Didn’t matter. The MVC is that invisible."
I feel like @bcantrill.bsky.social would appreciate the naming of this class of bug. heh.
Have been working with some C++23 coroutine code lately, which has been.. fun? Humbling? Scary? Yes. Pretty quickly ran into a class of bug that is described as a "MVC", but not the MVC you're thinking of!
Most Vexing Capture.
Field notes here: www.vmunix.com/posts/vexing...
Kudos to Mother for nailing the vibe of the moment, incredible agency, and I guess kudos to Anthropic for letting them run with it.
Let's go with plan b..
I'm trying doom emacs. I'm not hating it. I don't know what this means.
Drawing that breaks down transformers: talks about what came before, attention, positional encoding, the roles of encoder and decoder, feed forward networks, softmax, and the whole process.
💥 I did a drawing that breaks down Transformers in AI
Spent a good amount of time on this one, breaking down concepts in a way that someone new to the subject could come away with basic high-level understanding. I hope it's useful!
"Razzmatazzing.." 😎 #claudecode
Did my first code review / refactor using superpowers by @s.ly tonight. By far, FAR, the best out of the box experience with a claude code plugin. Amazing, thank you sir!
my husband put on nirvana and my children instinctively invented moshing from first principles
I used Claude Code to reverse-engineer the Claude macOS Electron app and had Cowork dig around in its own environment - now I've got a good idea of how the sandbox works
It's an Ubuntu VM using Apple's Virtualization framework, details here: gist.github.com/simonw/35732...
Top 6 internet "omgs" of my life in chrono order:
1. first time on a BB (i'm in finland?!)
2. first html page (hyperlinks!)
3. first google (how is it so fast?!)
4. iphone (everything)
5. first smart contract (world computer!)
6. first claude code session (wtaf?!)
I've been thinking about "payments" quite a bit. In particular with agents coming hard and fast. "micropayments" as a term is banned forever (if we thought there were a lot of dead whales on Federation Beach..), perhaps "streaming money" but even just wallet flows between two AT users.
The future is unevenly distributed.
I get quite a bit of satisfaction from the fact that the old UNIX philisophy of "files and pipes" is proving to be the vastly superior way to work with LLMs. :)