
Astrophysicist turned advocate: guiding the globe to a safer, stronger Internet. Distinguished Technologist @internetsociety, @joebeone@techpolicy.social
Joined February 2009
- Tweets55.6K
- Following5K
- Followers7.6K
- Likes89.6K
There Are 6.3 Billion People Connected to the Internet, Yet 2 Billion Remain Offline - Internet Society internetsociety.org/blog/202…
35
Evening discussion topic: the Pope's midterm ballot. Sure, we're all curious; but talk about the ultimate ballot privacy challenge! A head of state's ballot?! So many questions
130
"she got that Louisiana purchase" is my new favorite lyric. From Mr. Ghetto's "Walmart / Wally Wally World" youtube.com/watch?v=eTK3To99…
195
Please consider helping direct the Internet Society and our Foundation by becoming a Trustee: "Internet Society Seeks Nominations for 2027 Board of Trustees" circleid.com/posts/internet-…
1
4
221
Wheeee: "eMudhra Revokes 8 More CAs It Previously Declared Unaffected by Key Compromise" thehackernews.com/2026/11/em…
1
150
What Can We Learn From Monitoring A City's Radio Spectrum | ISOC Pulse pulse.internetsociety.org/en…
106
"Preparing for Quantum: ANSI Seeks Input on Standards to Keep Encryption Secure" ansi.org/standards-news/all-…
Joseph Lorenzo Hall, PhD retweeted
Gracious concession speeches are an important element of creating trust in the electoral process.
xitter.gq/cindyhydesmith/status/…
The Lean proof of existence for pure 4D Yang–Mills theory is out! This is the kind of math behind the strong force that holds atomic nuclei together. AI-generated, building on decades of work, and machine-checked. Very cool. github.com/yang-mills-group/…
OpenAI asked physicist David Gross to organize the release. He assembled a group that rebuilt the code, checked definitions, and tested the link between the lattice (gauge theory) construction and the resulting quantum field theory. They endorsed it: github.com/yang-mills-group/…
"SoK: Understanding Virtual Machines over Fully Homomorphic Encryption" (a survey of more than 125 works on the different ways to compute over encrypted data.) eprint.iacr.org/2026/2816
141
Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs (Jazzline connects proofs about low-level arithmetic to verification of code written in Jasmin ) eprint.iacr.org/2026/2815
135
Joseph Lorenzo Hall, PhD retweeted
fucking what
Norway now has more than 2,000 underwater AI laser robots shooting lice off its salmon
they're made by a company called Stingray, and they already guard more than 50 million salmon and trout 24/7
the reason is sea lice, tiny parasites that latch onto salmon and feed on them
as few as 11 can kill a small fish, and one pen can hold 150,000 salmon
the usual fix is pumping the fish out and blasting them with warm water or water jets to knock the lice off
but the handling is so rough that Norway's fish health report ranks it the top cause of death in full-grown farmed salmon
so instead, Stingray puts a robot inside the pen that hunts lice one at a time, all day:
> two cameras watch every salmon that swims past
> AI checks two frames to make sure it's really a louse
> then a green laser fires from up to 2 meters away
> the salmon's scales reflect the beam, so the fish swims off fine and the louse is dead
we now live in a world where AI lasers do pest control on your dinner lmao
Google DeepMind researchers built a new agentic framework that formally verified the code of Signal’s cryptographic protocol — Google DeepMind deepmind.google/blog/introdu…
"Microscopic view of an inkjet printer depositing ink onto paper" nikonsmallworld.com/gallerie… ht Garrett
100
Canonical has fixes out for CVE-2026-98432, the critical Linux IPv4 TCP vulnerability (26 days after the CVE was published). Ubuntu 22.04 LTS and newer: update your kernel and reboot. ubuntu.com/blog/fixes-availa…
1
218
Introducing the Software Safety Institute · Software Safety Institute softwaresafety.org/blog/laun…
1
136



