Patrick Devaney
@patrickdevaney.bsky.social
UBC CS PhD student - formal verification of hardware and software (also occasionally theory of computation) - hobbyist nature photographer - #CovidIsAirborne
ln(exp(value)exp(discounted))
December 5, 2025 at 3:24 AM
ln(exp(value)exp(discounted))
Next you’ll be telling us that hackers don’t actually wear a black hoodie in a dark room while they’re working
December 5, 2025 at 3:01 AM
Next you’ll be telling us that hackers don’t actually wear a black hoodie in a dark room while they’re working
See also: every president since Carter
December 5, 2025 at 1:22 AM
See also: every president since Carter
I'm curious whether the childhood chickenpox vaccine has similar effects (though I imagine it will be a few decades before we can tell)
December 4, 2025 at 6:41 AM
I'm curious whether the childhood chickenpox vaccine has similar effects (though I imagine it will be a few decades before we can tell)
Ted Cruz already renounced his Canadian citizenship, you break it you bought it! 😛
December 3, 2025 at 7:55 PM
Ted Cruz already renounced his Canadian citizenship, you break it you bought it! 😛
It would almost be funny if the administration accidentally invents communism by letting all the corporations merge as long as the government gets a stake.
December 2, 2025 at 2:18 PM
It would almost be funny if the administration accidentally invents communism by letting all the corporations merge as long as the government gets a stake.
I just wish they'd let me build my own machine and install MacOS on it tbh
December 2, 2025 at 10:45 AM
I just wish they'd let me build my own machine and install MacOS on it tbh
Yeah, that’s true for laptops (though I’m still using Linux Mint on an XPS 13 I bought for undergrad a decade ago!), but if you want/need a desktop with reasonable computing power it becomes less feasible for the lower price range 😅
December 2, 2025 at 9:44 AM
Yeah, that’s true for laptops (though I’m still using Linux Mint on an XPS 13 I bought for undergrad a decade ago!), but if you want/need a desktop with reasonable computing power it becomes less feasible for the lower price range 😅
If serious: the house and senate could hold impeachment hearings or subpoena stuff
Else: I don’t know, and neither does Mike Johnson
Else: I don’t know, and neither does Mike Johnson
December 2, 2025 at 9:22 AM
If serious: the house and senate could hold impeachment hearings or subpoena stuff
Else: I don’t know, and neither does Mike Johnson
Else: I don’t know, and neither does Mike Johnson
MacOS would be perfect if they ever let it run on a reasonably priced machine 🫠
December 2, 2025 at 9:21 AM
MacOS would be perfect if they ever let it run on a reasonably priced machine 🫠
At least both of those can be overseen by *checks notes* the legislative branch 🫠
December 2, 2025 at 9:17 AM
At least both of those can be overseen by *checks notes* the legislative branch 🫠
He’s innocent until proven guilty 🤣🤣🤣
December 2, 2025 at 2:16 AM
He’s innocent until proven guilty 🤣🤣🤣
If you want to feel truly welcome, suggest writing something in Rust 🫠
December 2, 2025 at 12:18 AM
If you want to feel truly welcome, suggest writing something in Rust 🫠
Absolutely agree Blue Labour are insane, but since the right loves that historic talking point it feels worth pointing out that they weren’t socialists in anything but name (hence the poem starting with “First they came for the communists”)
November 30, 2025 at 10:21 PM
Absolutely agree Blue Labour are insane, but since the right loves that historic talking point it feels worth pointing out that they weren’t socialists in anything but name (hence the poem starting with “First they came for the communists”)
This is why managers are convinced it’s coming for everyone’s (their) jobs 😛
November 30, 2025 at 6:53 AM
This is why managers are convinced it’s coming for everyone’s (their) jobs 😛
As someone who's been doing TA work since a few years before COVID and LLM's, the inability of students to process clear instructions is not a new thing 😛
November 29, 2025 at 10:01 PM
As someone who's been doing TA work since a few years before COVID and LLM's, the inability of students to process clear instructions is not a new thing 😛
The “normal” human response 🫠
November 29, 2025 at 10:36 AM
The “normal” human response 🫠
My previous advisor liked to say "In theory, theory and practice are the same. In practice, they're not."
November 29, 2025 at 12:39 AM
My previous advisor liked to say "In theory, theory and practice are the same. In practice, they're not."
This is your brain on hopium
November 29, 2025 at 12:36 AM
This is your brain on hopium
They must subscribe to the newsletter 😛
November 28, 2025 at 5:06 AM
They must subscribe to the newsletter 😛
Perhaps phrased badly, but Murdoch and his friends own a larger share of the UK media than they can get in the US
November 28, 2025 at 4:34 AM
Perhaps phrased badly, but Murdoch and his friends own a larger share of the UK media than they can get in the US
The media in the UK is more consistently right-leaning though.
November 28, 2025 at 4:02 AM
The media in the UK is more consistently right-leaning though.
The potato's getting away 😂
November 28, 2025 at 3:57 AM
The potato's getting away 😂