John Regehr

@regehr
4.7K Followers
943 Following
5.4K Posts
he/him
professional interestscompilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats
my pagehttps://john.regehr.org/

“Montana has made clear it will treat any attempt to infringe on fundamental digital freedoms with the utmost scrutiny.” JFC

https://montananewsroom.com/montana-becomes-first-state-to-enshrine-right-to-compute-into-law/

Montana Becomes First State to Enshrine ‘Right to Compute’ Into Law - Montana Newsroom

Montana has made history as the first state in the U.S. to legally protect its citizens’ right to access and use computational tools and artificial intelligence technologies. Governor Greg Gianforte signed Senate Bill 212, officially known as the Montana Right to Compute Act (MRTCA), into law. The groundbreaking legislation affirms Montanans’ fundamental right to own […]

Montana Newsroom
she wants to be a tiger

It's been a while since I posted my personal collection of weird #HCI papers: https://floe.butterbrot.org/matrix/rants/weird/

Any good stuff from the last 1-2 years I missed? Bring on the crazy 😁

this song -- not far off 40 years old -- has aged really well

https://www.youtube.com/watch?v=LQhX8PbNUWI

Faith No More - We Care a Lot (Official Music Video) [4K]

Faith No More - "We Care a Lot" (Official Music Video) remastered in 4K from the album 'Introduce Yourself' (1987). "We Care a Lot" was covered by Korn in 20...

YouTube
was having dinner with a friend and he remarked that every time he says I should try a restaurant or a book or a movie or something, I tell him it's already on one of my lists. which is true, but... I think it means my stupid lists are kind of useless.
Same here. I’ve never even seen a group of friends.

This thread is worth reading if you are a Google docs user.

Short version: When you export a document from Google Docs, Google replaces all your hyperlinks with links that allows Google to monitor the interactions of everyone you share your document with.

This hidden link replacement can potentially be used to build a model of your professional relations, where people who interact more with your content are considered a stronger relation.

Think about the implications.
https://fosstodon.org/@Joe_0237/111145684757912952

Joe :ferris: :nixos: (@Joe_0237@fosstodon.org)

Today I found out that google docs infects html exports with spyware, no scripts, but links in your document are replaced with invisible google tracking redirects. I was using their software because a friend wanted me to work with him on a google doc, he is a pretty big fan of their software, but we were both somehow absolutely shocked that they would go that far.

Fosstodon
The diagram for what Palantir does is like if Richard Scarry got super paranoid and did an Apocalypse picture book

the entire 2010 film _Sound of Noise_ is delightful, and this opening scene especially so

https://www.youtube.com/watch?v=vlyGmCreHhA

The Van - Sound of Noise

YouTube