Joseph Lorenzo Hall, PhD (@JoeBeOne) header
Joseph Lorenzo Hall, PhD (@JoeBeOne) profile picture

Astrophysicist turned advocate: guiding the globe to a safer, stronger Internet. Distinguished Technologist @internetsociety, @joebeone@techpolicy.social

Joined February 2009
Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)Photo by Joseph Lorenzo Hall, PhD (@JoeBeOne)
Gooooo Chris Van Hollen!
1
195
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
"Preparing for Quantum: ANSI Seeks Input on Standards to Keep Encryption Secure" ansi.org/standards-news/all-…
1
1
1
243
Joseph Lorenzo Hall, PhD retweeted
Gracious concession speeches are an important element of creating trust in the electoral process. xitter.gq/cindyhydesmith/status/…
1
15
1
104
4,526
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/…
1
1
3
254
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/…
1
2
134
"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
67
444
3
9,999
467,981
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
We usually get does, and then this absolute unit shows up to munch acorns.
2
3
304
Video alt-text: Ring camera footage of a very large deer visiting a yard and eating acorns from the ground.
56