Sign in

Patrick Devaney

@patrickdevaney.bsky.social
269 followers 192 following 1.5K posts

UBC CS PhD student - formal verification of hardware and software (also occasionally theory of computation) - hobbyist nature photographer - #CovidIsAirborne - patrickdevaney.net

PostsRepliesMedia
Patrick Devaney @patrickdevaney.bsky.social · 10h
Maybe I’m still in the denial phase, but it would be incredibly funny if most of these papers were made possible by mining session histories.
110
Patrick Devaney @patrickdevaney.bsky.social · 16h
Sleepy potato.
010
Reposted by Patrick Devaney
Aaron Wherry @aaronwherry.bsky.social · 07/10/2026
The House of Commons is debating the price of food, which is a bit weird because eliminating the carbon tax was supposed to solve that problem.
1323677
Patrick Devaney @patrickdevaney.bsky.social · 07/10/2026
“Regarding MAID for patients with mental illness, he cited continuing concerns about inadequate access to mental-health services.” THEN PROVIDE ADEQUATE SERVICES! Denying people treatment and using that as a justification to deny MAID is just pointless cruelty.
053
Patrick Devaney @patrickdevaney.bsky.social · 07/10/2026
Hopefully this will be a good time to be in formal verification 🤞
050
Patrick Devaney @patrickdevaney.bsky.social · 05/10/2026
It would also completely defeat the purpose of textbooks and training manuals.
110
Patrick Devaney @patrickdevaney.bsky.social · 05/10/2026
Yeah, @mrose.ink should folk copyright it!
190
Patrick Devaney @patrickdevaney.bsky.social · 05/10/2026
My point exactly!
010
Patrick Devaney @patrickdevaney.bsky.social · 05/10/2026
economists who aren’t the prime minister of canada*
010
Patrick Devaney @patrickdevaney.bsky.social · 05/10/2026
To be fair you can also get plenty of humans to do that, so the act of having read it isn’t the issue.
200
Patrick Devaney @patrickdevaney.bsky.social · 05/10/2026
I see it as like reading a book - you should pay for the book, but no one thinks you should owe the author further royalties for having been “trained” by it.
100
Reposted by Patrick Devaney
rev. howard arson @theophite.bsky.social · 05/10/2026
this literally is not true
1556041
Patrick Devaney @patrickdevaney.bsky.social · 05/10/2026
I am not aware of pitbulls, maybe another photo would help 🐶
110
Patrick Devaney @patrickdevaney.bsky.social · 04/10/2026
Some greatest hits: arktimes.com/arkansas-blo... www.newsweek.com/tom-cotton-a... www.politico.com/story/2016/0... www.arkansasonline.com/news/2020/ju... www.politico.com/live-updates... www.nbcnews.com/politics/202...
010
Patrick Devaney @patrickdevaney.bsky.social · 04/10/2026
If said company is Salesforce, Workday, or Oracle then the definitions are equivalent 😝
010
Patrick Devaney @patrickdevaney.bsky.social · 04/10/2026
Whatever his reasons, I somehow doubt Tom Cotton has suddenly decided to make a principled stand for scientific evidence...
130
Reposted by Patrick Devaney
Conor Browne @brownecfm.bsky.social · 27/09/2026
I am rarely affected by discourse on social media, but the current wave of posts asserting that Long Covid is psychosomatic has angered me. To be very clear: if you're asserting that LC isn't a physical disease, you're ignorant of science. End of.
830581
Patrick Devaney @patrickdevaney.bsky.social · 03/10/2026
If only there was an instrument you could play to express how sad that is…
000
Reposted by Patrick Devaney
David Ho @davidho.bsky.social · 03/10/2026
I don’t think everyone realizes how bad things are for US science: For the fiscal year that just ended, the Trump regime withheld $1.4 billion from the National Science Foundation’s research budget, which is about 1/5 of its primary research budget.
nytimes.com
National Science Foundation Diverted $1.4 Billion in Science Funds Mandated by Congress (Gift Article)
The move, affecting about one-fifth of the National Science Foundation’s primary research budget, is the latest sign of how the White House is asserting more control over grants.
201843913
Patrick Devaney @patrickdevaney.bsky.social · 03/10/2026
“The question of whether Machines Can Think... is about as relevant as the question of whether Submarines Can Swim.” - Edsger W. Dijkstra
031
Reposted by Patrick Devaney
🔬🔭🧭👨‍💻🏞️👾🤖🌡️ @dcrinyyc.bsky.social · 02/10/2026
In a very real way people that are choosing to expand fossil fuel production right now are literally choosing people to die. Not just now either, for hundreds of years to come. Not just people either ecosystems, species. It's stunning to me this is celebrated.
24121
Patrick Devaney @patrickdevaney.bsky.social · 02/10/2026
what about middle firms? 🧐
100
Patrick Devaney @patrickdevaney.bsky.social · 02/10/2026
Usually the PI will be an author on all of them (though that varies by lab). And yeah salami slicing is a different issue entirely…
000
Patrick Devaney @patrickdevaney.bsky.social · 02/10/2026
I'm not sure about econ but some CS profs will have 15-20 person labs with lots of different projects on the go. Still insane but I guess not entirely unbelievable.
110
Patrick Devaney @patrickdevaney.bsky.social · 01/10/2026
My dad’s fond of saying “if the death penalty was a deterrent then Texas would be the safest place on earth”
0304
Reposted by Patrick Devaney
Theo Moudakis @theomoudakis.bsky.social · 30/09/2026
Please enjoy my cartoon in today's Toronto Star
298119262614
Patrick Devaney @patrickdevaney.bsky.social · 30/09/2026
static.klipy.com
Count von Count: Eight and Counting
Alt: Count von Count: Eight and Counting
010
Patrick Devaney @patrickdevaney.bsky.social · 30/09/2026
May I offer you a tree frog in these trying times?
A cute little tree frog sitting in a person’s hand.
1152
Patrick Devaney @patrickdevaney.bsky.social · 29/09/2026
I strongly disagree! In this essay I will...
120
Patrick Devaney @patrickdevaney.bsky.social · 28/09/2026
Anything but admit they were conned by businesses into the “vax and relax” strategy 🙄
0130
Reposted by Patrick Devaney
Katherine Alejandra Cross @quinnae.com · 27/09/2026
You don't have an inalienable right to be an antisocial dipshit because you're doomscrolling all day and it makes you feel terrible. There are no qualifiers to this. You are not released from the obligation to try to be decent just because Elon Musk is lighting the world on fire.
9868201
Patrick Devaney @patrickdevaney.bsky.social · 25/09/2026
Well yeah, they might have to question why they’re putting on a facade to fit in when they see other people openly not caring 🤷‍♂️
020
Patrick Devaney @patrickdevaney.bsky.social · 25/09/2026
Plus (similar to the LGBTQ+ community) it's a group of people who aren't afraid of being different. 😷
140
Patrick Devaney @patrickdevaney.bsky.social · 24/09/2026
One could even say they’re sending people with a lot of problems 🤔
110
Patrick Devaney @patrickdevaney.bsky.social · 24/09/2026
Unless one is an ICE official being deposed, apparently.
110
Patrick Devaney @patrickdevaney.bsky.social · 24/09/2026
I love the caption snark 😂
110
Reposted by Patrick Devaney
George Monbiot @georgemonbiot.bsky.social · 24/09/2026
Here's today's column on the astonishing, ongoing mistreatment of people with #ME/CFS. Please spread it far and wide: the only thing which can break the media's wall of indifference is seeing an article about the issue go viral. Thank you. 1/2 www.theguardian.com/commentisfre...
theguardian.com
Abandoned, dismissed and gaslighted: there is no excuse for the way ME sufferers have been betrayed | George Monbiot
Changes in guidance and science seem to have little impact on millions of devastated lives. It’s a social crisis playing out behind closed doors, says Guardian columnist George Monbiot
17925341728
Patrick Devaney @patrickdevaney.bsky.social · 24/09/2026
The entire frontier model industry is an affront to the "revenue minus cost" objective, so at least they're being consistent 🤷‍♂️
000
Patrick Devaney @patrickdevaney.bsky.social · 23/09/2026
Cognitive dissonance is a helluva drug 😵‍💫
0170
Patrick Devaney @patrickdevaney.bsky.social · 22/09/2026
idk this sounds game theoretic to me
000
Patrick Devaney @patrickdevaney.bsky.social · 21/09/2026
We should hold an emergency parliamentary session to address this!
010
Patrick Devaney @patrickdevaney.bsky.social · 21/09/2026
So have we, but he still wants more 🫠
010
Patrick Devaney @patrickdevaney.bsky.social · 21/09/2026
Just be glad he’s not thinking about your country - 🇨🇦
110
Patrick Devaney @patrickdevaney.bsky.social · 20/09/2026
but does it include a discounted term?
100
Patrick Devaney @patrickdevaney.bsky.social · 20/09/2026
"I aimed at the public's heart, and by accident I hit it in the stomach." - Upton Sinclair
110
Patrick Devaney @patrickdevaney.bsky.social · 19/09/2026
no no, that’s sudo engineering
120
Patrick Devaney @patrickdevaney.bsky.social · 18/09/2026
Did he at least play Harper's cash register sound when he announced it?
010
Patrick Devaney @patrickdevaney.bsky.social · 17/09/2026
existence of trimass implies existence of triantimatter
010
Patrick Devaney @patrickdevaney.bsky.social · 17/09/2026
Do we think he asked ChatGPT what selling concessions means? 💀
030
Patrick Devaney @patrickdevaney.bsky.social · 17/09/2026
Similar with Mark Carney in Canada - the bar is so low that a literate, coherent politician is considered impressive now.
010