Patrick Devaney

@patrickdevaney.bsky.social

252 Followers 190 Following

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

“The Psychology of Software Teams” book by Cat Hicks, on a brown wood table.
The weather forecast for Vancouver, BC showing 20-24 degrees and sunny.
A tiny black bunny and a large mostly-black bunny munching on the grass at Jericho Beach in Vancouver, BC.
A tiny grey bunny munching on the grass at Jericho Beach in Vancouver, BC.
Screenshot of https://ottawacitizen.com/author/randall-denley/
XKCD comic #2557
Spiderman and Spiderman pointing at each other meme.
A male duck 🦆 walking on partially-frozen ice
XKCD comic 2347
Logical resolution: (alpha or beta) and (not beta or gamma), therefore (alpha or gamma)
XKCD comic #882
A harbour seal popping its head above the water in Vancouver, BC
“Graph Theory, Second Edition” by Douglas B. West
XKCD comic #607
A bald eagle flying in front of a mountain in Vancouver, BC
XKCD comic #2048
A telephoto picture of the full moon.
A barred owl sitting on a bare tree branch, with brown and green forest in the background. Light blue "PSD Aug 18/25" watermark in the bottom right corner.
A businessman in a tattered suit sitting with some children around a campfire, with a post-apocalyptic city in the background, saying "Yes, the planet got destroyed. But for a beautiful moment in time we created a lot of value for shareholders."
A lake covered in lily pads with forest and downtown Burnaby in the background
Graph of 0.8^n for n = 0 to 20
“Most needed food bank item. Purchase today and donate.” sign above an orange box of rice in the grocery store.
"Five Stages of White House Employment" cartoon
Top: tyranny Bottom: checks & balances, separation of powers, electoral college, term limits, tyranny
Mark Zuckerberg: I THINK OUR COMPANY COULD USE MORE MASCULINE ENERGY. Audience member: BY "MASCULINE ENERGY," DO YOU MEAN A MATURE DEFINITION WHERE MEN IN POWER USE THEIR RELATIVE STRENGTH TO PROTECT AND UPLIFT THOSE LESS PRIVILEGED? Audience member: ...OR A MORE CHILDISH DEFINITION WHERE MEN IN POWER ARE FREE TO BE AGGRESSIVE AND HARM OTHERS WITHOUT BEING HELD ACCOUNTABLE? Mark Zuckerberg: YOU'RE ALL FIRED.
XKCD 1838
"Pale Blue Dot" photo with an arrow pointing to the planet Earth labelled "Gulf of Mexico"
XKCD 2148
A male red-headed woodpecker (with a red head and white body) sitting in a tree with green leaves, facing to the left.
“You have died of dysentery” message from the video game Oregon Trail.
A male Downy woodpecker with a white belly, black-and-white body, and small red patch on its head, sitting on a large tree branch with no leaves and facing to the right.
A male red-bellied woodpecker with a red head, white front, and black-and-white back sitting on a tree with green leaves in the background
Kitsilano beach with the mountains visible in the background and green (with hints of red) northern lights in the sky
Jonathan Swan looking at a paper, confused