UBC CS PhD student - formal verification of hardware and software (also occasionally theory of computation) - hobbyist nature photographer - #CovidIsAirbornehttps://bsky.app/profile/patrickdevaney.bsky.socialhttps://bsky.app/profile/patrickdevaney.bsky.social/post/3mkyx5jrnz222The Assistant to the Regional Manager of the Rings [contains quote post or other embedded content]04 May 2026 05:33 +0000at://did:plc:nnruqrgvu2codvol34c3mopq/app.bsky.feed.post/3mkyx5jrnz222https://bsky.app/profile/patrickdevaney.bsky.social/post/3mkqkokyaos2tDoes the stock market count as a prediction market? 🤔 [contains quote post or other embedded content]30 Apr 2026 21:29 +0000at://did:plc:nnruqrgvu2codvol34c3mopq/app.bsky.feed.post/3mkqkokyaos2thttps://bsky.app/profile/patrickdevaney.bsky.social/post/3mkq3gvbzak2cUrging Bluesky to bring more nuance to AI in general. [contains quote post or other embedded content]30 Apr 2026 16:56 +0000at://did:plc:nnruqrgvu2codvol34c3mopq/app.bsky.feed.post/3mkq3gvbzak2chttps://bsky.app/profile/patrickdevaney.bsky.social/post/3mj65iykoqk2pPassed my RPE (my department's equivalent of PhD qualifiers) this morning! 🥳 Now I just have to do the PhD...10 Apr 2026 20:20 +0000at://did:plc:nnruqrgvu2codvol34c3mopq/app.bsky.feed.post/3mj65iykoqk2phttps://bsky.app/profile/patrickdevaney.bsky.social/post/3mhvssvh2ps27While I was holding office hours today, a group of (unmasked) people a couple tables over were talking about how it seems like everyone is sick right now and flu season is every 2 months 🤔25 Mar 2026 19:22 +0000at://did:plc:nnruqrgvu2codvol34c3mopq/app.bsky.feed.post/3mhvssvh2ps27