HNHacker News
TopNewBestAskShowJobs

toomim

3,045 karma · joined May 5, 2012

Independent Scientist in Computer Science and Psychology

https://invisible.college/@toomim

https://braid.org

submissionscomments
toomim··on Viral Polls Are Not Representative Polls
And there's no clear way to adjust for the most basic factor that people who vote for one candidate are less likely to say so.

In order to account for that, you need you know how many people who are less likely to respond are voting for that candidate. And then you're back to square one.

This is why professional polls have had a consistent bias over the last few years, as this hidden unobservable factor's effect has gotten stronger and stronger.

toomim··on Jared Kushner Hacked Phone Reveals Secret Negotiations, Millions in Transactions
https://wallhop.io/https://www.vanityfair.com/story/jared-ku...
toomim··on macOS 15.8.2 Breaks OpenGL
Those are issues with Asahi, but batter life is great on a Framework 13 pro, or anything with the new Panther Lake chipset.
toomim··on Apple's new 'Switch to Safari' campaign details why you should ditch Chrome
Does it block ads in youtube videos?
toomim··on Self-hosted HTTP tunnels with SSH and Nginx
For this stuff, I'm most excited about https over iroh.

- https://github.com/aflin/iroh-webproxy

- https://github.com/n0-computer/iroh-proxy-utils

No port forwarding. No public IP required. No special proxy to set up.

Iroh already runs public relays. Your two computers will signal through those, and then port-knock and form a direct connection to each other, perfectly encrypted.

We just need to define a new https:// url, like ... let's call it "irohttps://" maybe, so then you could contact my laptop with "irohttps://<hash>/path?query".

toomim··on Incentives in Academic Research
We can be more specific than "the incentives are wrong in Academia", because we know what the incentive is: it's peer-review.

The problem is that today's peer review, while better than nothing, is far from a perfect judge of research quality. If peer-review was a perfect judge of research quality, there would be no incentive problem. The incentives would be aligned.

I happen to be working on an improvement to peer review. An early prototype can be viewed at https://peeryview.org/about. Holler at me if you're also working on this problem!

toomim··on What is going on with ceiling fans
Yes, I need a recommendation, too! I'm currently living with loud A/C-noise fans and need to swap them out for something better, and I don't know where to look.
toomim··on LeCun has "zero concerns" about AI wiping out humanity, recent "rogue" incidents
Artificial General Intelligence.

It means AI that is General, as in it is not specific to one narrow task, like object recognition or playing chess.

This was a hard problem for decades. No AI was general, until GPT 3 or 4. Now we have General AI.

So we have AGI.

toomim··on MiMo v2.6
> ceding more power to agentic AI will eventually reduce the primacy of the CCP’s ideological control.

Yeah, right.

toomim··on [dead]
This is dumb politics. Go away.
toomim··on Discovery of a new OpenAI agent message board
They said it was too dangerous to release before the companies that run internet for civilization could patch the holes it was finding.

That's a threat to civilization.

toomim··on BriskDB
This phrase makes it sound like the author wasn't, himself, a developer. Like, maybe he wasn't even human.
toomim··on TypeStax: A type scale generator with vintage audio hardware interface
It's interesting that I disagree with all of these points.
toomim··on Lines of code. 1,596 BTC gone
I'm starting to notice that LLMs tend to speak in the form of movie trailers.

Say this in a deep masculine dramatic voice:

     One man.  One gun.   A story that would could never die.
Compare that with this Coldcard page:

     Two files, four lines, five years unnoticed.   This is the COLDCARD
     entropy failure
It's trying too hard to replicate a dramatic movie arc with every... single... sentence...
toomim··on The Valley of Webhooks
This is a nice writeup of the problems in using Webhooks for State Synchronization. I also noticed that the proposed solution is a pseudo IETF-style draft protocol called SCROLL... that happens to be remarkably similar to an actual IETF draft I am bringing to IETF 127 this November called "Braid-HTTP Subscriptions."

Both drafts request a subscription with a GET plus a header:

    Scroll Request:
      GET /scroll/feed/customers
      Prefer: stream
    
    Braid Request:
      GET /customers
      Subscribe:
In both systems, the GET leaves its response open to stream events. SCROLL responds with application/x-ndjson. Braid subscriptions are a 209 Multiresponse, with content-type application/http-history. This lets them support more than just JSON. You can send updates to the state of CSV, or PNGs, XML, HTML, plain text, or any media type.

The author noted that it's hard to get adoption. Well, the reason that Webhooks are so common is that they are bog-standard HTTP. For this to get adopted, we need to put it into bog-standard HTTP. So we need to go to the IETF, and and extend HTTP in a general way to support state synchronization. It should just work for any existing HTTP media type (not just JSON), and any resource/URL (not just special /scroll/* URLs), and any way of marking timestamps (not just the ordered strings proposed in SCROLL).

Then we can bake this stuff into HTTP, and thus into all our bog-standard libraries, utilities, and code, and you won't have to reimplement the same sync-logic-over-webhooks again, and again, and again.

Reach out if you're interested!

toomim··on DKIM2 and DMARCbis Have Landed
Complex Message Transfer Protocol
toomim··on Why Drawing Tablet Brands Won't Collaborate on Linux Floss Drivers
Good point. You don't even need to rename the upstream project. Just create a new project, and get the code there. Since it's open source, it will eventually make its way into the upstream libwacom as well.
toomim··on There are no instances in ATProto
AT does have instances. They are just grouped differently.

In BlueSky, there is only one single "AppView" instance in the entire network. There is one instantiated "Firehose". Each user can instance his own "PDS".

In ActivityPub/Mastadon, the instances are "sender's server" vs "receiver's server."

The difference isn't that there aren't "instances" in AT proto. It's just that the instances are segmented differently.

toomim··on DOJ claims xAI's gas turbines are a matter of 'national and energy security'
Because tribalism. NAACP is lefty, and Musk is righty. So they fight.
toomim··on macOS needs its grid back
I just installed it, but I can't get it to switch spaces, or show the grid overlay. It just beeps at me with the "you can't do that" beep. When I click "Add Desktop", it says "Could Not Add Desktop" and "GridLion could not read the current Spaces for this display."

This is a M1 macbook air. I really want to try this.

toomim··on Wterm – A terminal emulator for the web
It's compiled to wasm for "performance", but...

1. WASM FFI has a big overhead when interacting with the javascript DOM.

2. Any DOM UI has a big overhead compared to a canvas.

I would be curious to see an actual performance evaluation. This looks like it was built for the wrong tradeoff otherwise...

toomim··on Show HN: Freenet, a peer-to-peer platform for decentralized apps
How do you compare this to the effort in https://braid.org, which is also a decentralized web, which adds subscriptions that can operate in a tree (or DAG) of reactive state, each with its own validator and supporting different media types, and merging with merge-types?

Freenet seems to not interoperate with the existing WWW as much, while at the same time giving more specification on a specific routing and WASM validator. The existing WWW and Braid leave those decisions up to each particular host/authority to decide.

toomim··on Mercurial, 20 years and counting: how are we still alive and kicking? [video]
If you like darcs, try Pijul. It's darcs' spiritual successor, and quite performant and capable.
toomim··on Claude Design
"An AI model is incapable of that."

"Good designers will reject this."

^ Famous last words.

toomim··on Claude Opus 4.7
It released in February 2026.
toomim··on The paper computer
How about hacking a remarkable e-ink tablet as an easy prototype? The remarkable is basically a "better paper" already.
toomim··on More on Version Control
The git porcelain is functional, like a toilet.
toomim··on More on Version Control
You can generically represent copies and renamed (aka "moves") in a CRDT, OT or CTM using a Portal: https://braid.org/meeting-62/portals
toomim··on The future of version control
Pijul does both. It's a VCS, that is a CRDT, that preserves conflicts until a human resolves them.

Look it up: https://pijul.org

It also makes cherrypicking and rebasing wayyyy easier. You can actually add or remove any set of patches, at any time, on any peer. It's a dramatic model shift -- and is awesome.

toomim··on The future of version control
CRDTs actually have a long history in version control.

  - The original 1977 version control system, SCCS, was a CRDT: https://braid.org/meeting-60/sccs-is-a-time-collapse

  - It called its data structure a 'weave"

  - Brahm's old project "Codeville" used a weave for version control

  - But then git blew up in popularity.

  - The project "DARCS" tried to make a robust "theory of patches," and eventually led to the development of Pijul

  - Pijul is a VCS that is a CRDT: https://pijul.org
Page 1 of 34Next →