Guilherme Espada's Avatar

Guilherme Espada

@guipsp.bsky.social

PhD Student at the University of Lisbon Working on Static Resource Analysis and Probabilistic Programming Mastadon: @GUIpsp@types.pl Dorothy is my bestie

35 Followers  |  78 Following  |  42 Posts  |  Joined: 21.08.2023  |  1.7875

Latest posts by guipsp.bsky.social on Bluesky

Checkbox: I agree to Extreme Pizza

Checkbox: I agree to Extreme Pizza

16.11.2025 06:30 β€” πŸ‘ 5291    πŸ” 1178    πŸ’¬ 39    πŸ“Œ 47

Devilish

14.11.2025 09:55 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
our blessed / their barbarous meme, with same text on both sides: portability library, bespoke abstractions, project governance, use of relaxed memory ordering, build system integration

our blessed / their barbarous meme, with same text on both sides: portability library, bespoke abstractions, project governance, use of relaxed memory ordering, build system integration

12.11.2025 09:50 β€” πŸ‘ 9    πŸ” 8    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

TFW u open BlueSky and a bunch of ppl are vaguely posting about the same shit

13.08.2025 17:27 β€” πŸ‘ 4641    πŸ” 1245    πŸ’¬ 30    πŸ“Œ 22

I thought the vscode ssh extension's automatic port forwarding feature was neat and assumed it was doing something smart like watching procfs but no it's looking for localhost URIs in stdout

11.11.2025 14:27 β€” πŸ‘ 146    πŸ” 9    πŸ’¬ 7    πŸ“Œ 2
Post image 02.10.2025 15:01 β€” πŸ‘ 360    πŸ” 60    πŸ’¬ 2    πŸ“Œ 2

You know shit's getting serious once they start using words you usually only hear over a boiling cauldron.

21.10.2025 00:42 β€” πŸ‘ 3471    πŸ” 415    πŸ’¬ 67    πŸ“Œ 11

This dog has exactly two parts: tongue (function) and body (aesthetic)

13.09.2025 13:41 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

the wise man bowed his head solemnly and spoke: "theres actually zero difference between initialized & uninitialized memory. you imbecile. you fucking moron"

08.09.2025 08:19 β€” πŸ‘ 36    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0
Email from YouTube: ACM Sigplan, congrats on 10000 subscribers

Email from YouTube: ACM Sigplan, congrats on 10000 subscribers

LFG

29.07.2025 16:28 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post on /r/transgenderUK entitled β€œReddit now censors LGBTQ+ content under OFCOM’s new β€˜Online Safety Act’”

Post on /r/transgenderUK entitled β€œReddit now censors LGBTQ+ content under OFCOM’s new β€˜Online Safety Act’”

post text:
β€œI honestly can't even think of words to describe how vile this is. Here's a screenshot of what I now see when I search "lgbt" with my VPN switched off. Occasionally a banner appears at the top of the screen saying something about needing to verify ID to access "mature content" but the button doesn't even work. The fact that we're now considered "mature content" makes me feel sick.”

post text: β€œI honestly can't even think of words to describe how vile this is. Here's a screenshot of what I now see when I search "lgbt" with my VPN switched off. Occasionally a banner appears at the top of the screen saying something about needing to verify ID to access "mature content" but the button doesn't even work. The fact that we're now considered "mature content" makes me feel sick.”

The screenshot referenced in the previous image, showing the results of a search on Reddit for the term LGBT. No results from LGBT-specific subreddits appear; instead, posts from /r/Conservative, /r/Islam, /r/JustUnsubbed, etc are highlighted.

The screenshot referenced in the previous image, showing the results of a search on Reddit for the term LGBT. No results from LGBT-specific subreddits appear; instead, posts from /r/Conservative, /r/Islam, /r/JustUnsubbed, etc are highlighted.

the UK’s Internet age verification law has led to the effective censorship of all LGBT content on Reddit

what a shocking and unexpected turn of events!

25.07.2025 02:01 β€” πŸ‘ 7602    πŸ” 3765    πŸ’¬ 74    πŸ“Œ 233

Can't wait until you land in front of some conference venue

06.07.2025 19:07 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

My father in law is a compiler. We were in an irreducible control flow graph and I asked him what it would cost to build it today. I will never forget his answer… β€˜We can’t, we don’t know how to do it.’

03.07.2025 09:10 β€” πŸ‘ 38    πŸ” 4    πŸ’¬ 1    πŸ“Œ 0

Object Identity is the curse of all JIT optimizations

23.06.2025 16:54 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
This War Will Destabilize The Entire Mideast Region And Set Off A Global Shockwave Of Anti-Americanism vs. No It Won’t George W. Bush may think that a war against Iraq is the solution to our problems, but the reality is, it will only serve to create far more.

This War Will Destabilize The Entire Mideast Region And Set Off A Global Shockwave Of Anti-Americanism vs. No It Won’t

17.06.2025 15:37 β€” πŸ‘ 7105    πŸ” 1481    πŸ’¬ 69    πŸ“Œ 97

Whaaaaaat the fuck

17.06.2025 03:30 β€” πŸ‘ 1529    πŸ” 552    πŸ’¬ 88    πŸ“Œ 93

getting to use an interoffice pneumatic tube system would fix me

15.06.2025 15:48 β€” πŸ‘ 3275    πŸ” 324    πŸ’¬ 110    πŸ“Œ 36

Hi everyone

I was denied entry, detained, and deported from the USA over the last 48 hours because of my reporting on the Columbia student protests

I arrived back in Melbourne hours ago and had my phone handed back to me upon landing

14.06.2025 01:27 β€” πŸ‘ 11789    πŸ” 5004    πŸ’¬ 224    πŸ“Œ 494

What's upvar?

14.06.2025 23:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

Typing and snapping things together

14.06.2025 03:56 β€” πŸ‘ 50    πŸ” 7    πŸ’¬ 0    πŸ“Œ 1
xkcd comic 2347 "All modern digital infrastructure" with one small important block near the bottom replaced with an inclusive pride flag

xkcd comic 2347 "All modern digital infrastructure" with one small important block near the bottom replaced with an inclusive pride flag

02.06.2025 09:52 β€” πŸ‘ 2429    πŸ” 669    πŸ’¬ 8    πŸ“Œ 26

lol it was a null pointer

14.06.2025 10:52 β€” πŸ‘ 379    πŸ” 85    πŸ’¬ 18    πŸ“Œ 12

@bencollins.bsky.social Mr onion it might be time to bring back the "vs no it won't" article to the front I think it's gonna see some use in the next months unfortunately

13.06.2025 02:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

DHS is also lying about him being repeatedly told to back away. The video shows the men who pushed him don’t even open their mouths, they just grab him and get them out of the room without saying a word.

12.06.2025 19:33 β€” πŸ‘ 3834    πŸ” 1260    πŸ’¬ 105    πŸ“Œ 34

"Whereas cities, to the fascist imagination, are the source of corrupting culture, often produced by Jews and immigrants, the countryside is pure." - Jason Stanley, "How Fascism Works: The Politics of Us and Them."

10.06.2025 14:53 β€” πŸ‘ 479    πŸ” 116    πŸ’¬ 3    πŸ“Œ 5

Nothing really changes regarding that

10.06.2025 15:22 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

ICE started raiding the hotel they were staying in - interrogating cleaning ladies

Good luck housing ICE agents in Los Angeles now

10.06.2025 13:01 β€” πŸ‘ 4390    πŸ” 1581    πŸ’¬ 167    πŸ“Œ 110

The administration gets closer to using the military to crush civilian dissent. Expect deaths, disappearances, and lawless detentions.

07.06.2025 23:15 β€” πŸ‘ 6254    πŸ” 1884    πŸ’¬ 379    πŸ“Œ 104
Post image

"We thank the reviewers for their helpful comments"

31.05.2025 12:56 β€” πŸ‘ 155    πŸ” 23    πŸ’¬ 3    πŸ“Œ 3

@guipsp is following 20 prominent accounts