Patrick Devaney
@patrickdevaney.bsky.social
UBC CS PhD student - formal verification of hardware and software (also occasionally theory of computation) - hobbyist nature photographer - #CovidIsAirborne
Cholera is endemic, we're all going to get it eventually, why do you keep asking if your water has been "treated"? 😤 /s
November 23, 2025 at 5:03 AM
Cholera is endemic, we're all going to get it eventually, why do you keep asking if your water has been "treated"? 😤 /s
Whenever anyone shows me a new chatbot the first thing I do is try to find the simplest matrix multiplication problem it will get wrong.
November 21, 2025 at 7:35 PM
Whenever anyone shows me a new chatbot the first thing I do is try to find the simplest matrix multiplication problem it will get wrong.
Capitalism is when the government buys shares in private companies right?
www.npr.org/2025/09/06/n...
www.npr.org/2025/09/06/n...
The U.S. government is taking a stake in Intel. It's rare — and it has some risks
In the past, the federal government has taken stakes in American companies during wars or economic crises. But now the government's motivation has more to do with the race for AI chips and technology.
www.npr.org
November 21, 2025 at 7:32 PM
Capitalism is when the government buys shares in private companies right?
www.npr.org/2025/09/06/n...
www.npr.org/2025/09/06/n...
Similar to myocarditis - it's true it can be a vaccine side effect, but most of the people highlighting that won't acknowledge that it's a more common COVID side effect.
November 21, 2025 at 7:26 PM
Similar to myocarditis - it's true it can be a vaccine side effect, but most of the people highlighting that won't acknowledge that it's a more common COVID side effect.
Along with the implicit assumption that everyone appointed to check the papers will always have pure motives 🙃
November 21, 2025 at 7:17 PM
Along with the implicit assumption that everyone appointed to check the papers will always have pure motives 🙃
In general people seem way too open to the idea that the perceived benefits of creating a "papers, please" society are worth the costs.
November 21, 2025 at 7:09 PM
In general people seem way too open to the idea that the perceived benefits of creating a "papers, please" society are worth the costs.
Also everywhere trying age verification by requiring uploading ID's are (doing their best to avoid) learning that it's both ineffective and a data privacy nightmare.
November 21, 2025 at 6:55 PM
Also everywhere trying age verification by requiring uploading ID's are (doing their best to avoid) learning that it's both ineffective and a data privacy nightmare.
It's so incredibly weird seeing the entire political spectrum react to the bill for Reaganomics coming due by saying "but what if we shifted even further to the right?"
November 21, 2025 at 6:46 AM
It's so incredibly weird seeing the entire political spectrum react to the bill for Reaganomics coming due by saying "but what if we shifted even further to the right?"
Yeah but did you convince Mark Zuckerberg to pay you first? 😛
November 20, 2025 at 5:24 AM
Yeah but did you convince Mark Zuckerberg to pay you first? 😛
Haha, I thought of this one xkcd.com/2501/
Average Familiarity
xkcd.com
November 20, 2025 at 12:47 AM
Haha, I thought of this one xkcd.com/2501/
If you figure out how to make it leave, let us know 🫠
November 20, 2025 at 12:42 AM
If you figure out how to make it leave, let us know 🫠
On the flip side, is someone who stores classified documents in their bathroom capable of ensuring nothing leaks?
November 19, 2025 at 9:10 PM
On the flip side, is someone who stores classified documents in their bathroom capable of ensuring nothing leaks?
Slightly better than everything you launch exploding 🚀
November 19, 2025 at 8:46 PM
Slightly better than everything you launch exploding 🚀
The kind of smile that comes from having never seen a Lebesgue integral 🐶
November 19, 2025 at 8:21 PM
The kind of smile that comes from having never seen a Lebesgue integral 🐶
Vancouver has mountains 👀
November 19, 2025 at 8:06 PM
Vancouver has mountains 👀
Using the notwithstanding clause is admitting they know and don’t care 🙃
November 19, 2025 at 1:01 AM
Using the notwithstanding clause is admitting they know and don’t care 🙃
By Kevin O’Leary
November 19, 2025 at 12:37 AM
By Kevin O’Leary
If anything the problems in tech right now are all the more reason psychologists are needed!
November 18, 2025 at 9:39 PM
If anything the problems in tech right now are all the more reason psychologists are needed!
And that’s just today 😵💫
November 18, 2025 at 9:23 PM
And that’s just today 😵💫
When “advanced” technology integer overflows back around to skull callipers 🥴
November 18, 2025 at 5:48 PM
When “advanced” technology integer overflows back around to skull callipers 🥴
Now you have to cite them as a co-author 🐶
November 18, 2025 at 1:20 AM
Now you have to cite them as a co-author 🐶