Bryan Ford

@brynosaurus

Monsieur le Professaurus de l'Info-Cyber Blahdeeblah, EPFL

Lausanne, Vaud

bford.info

Replies Reposts Media

Bryan Ford
@brynosaurus
Aug 23
Today in the wow “must be fake news” news dept… cbsnews.com/news/u-s-set-t… Even beyond the temporary 34% punishment for Switzerland not being politically sleazy enough until the giant gold Rolex solution. Can’t Canada’s PM just get Trump a giant gold hockey stick, problem solved?
U.S. set to impose 50% tariffs on Canada after failed talks; Canada to match them "dollar for...
From cbsnews.com
Bryan Ford
@brynosaurus
Aug 13
49cc324faad5f6ed959f23ab39d51470b04947198cf04e9deb438c83c49803cb2c94fde2d42c9f68799d69b2d3debc54dcc3d1c18fa6aeb6892bda589f173b6e
Bryan Ford
@brynosaurus
Jun 25
Formalizing Paradoxes in Grounded Arithmetic using Isabelle/HOL bford.info/pub/lang/parad… Nice work by first-year PhD student Ananthajit Srikanth to appear at the upcoming Isabelle 2026 workshop.
Bryan Ford
@brynosaurus
Feb 28
“My goal would be to make teenagers think their phones aren’t cool. I would love it if all 13-year-olds went, ‘Eww, I don’t want this, this is my parents’ thing that they track me with.’ I want them all to throw it in the trash. That would be the dream.”
The AI apocalypse is nigh in Good Luck, Have Fun, Don't Die
From arstechnica.com
1
Bryan Ford
@brynosaurus
Feb 25
Ahhhh, IoT “security”… “Guy accidentally takes command of 7,000 robots in the homes of 7,000 strangers while trying to control his vacuum with a gamepad”
Guy accidentally takes command of 7,000 robots in the homes of 7,000 strangers while trying to...
From pcgamer.com