Guilherme Espada
@guipsp.bsky.social
PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @[email protected]
Dorothy is my bestie
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @[email protected]
Dorothy is my bestie
Nope, I did manage to find the link: github.com/Mic92/niks3/...
S3 Provider Comparison
S3-backed Nix binary cache with garbage collection - Mic92/niks3
github.com
January 4, 2026 at 4:07 PM
Nope, I did manage to find the link: github.com/Mic92/niks3/...
It is known to be slow, according to some S3-backed nix cache project whose name escapes me right now
January 4, 2026 at 3:56 PM
It is known to be slow, according to some S3-backed nix cache project whose name escapes me right now
Reposted by Guilherme Espada
cloudflare's on-duty IT staff bangs on the doors which I have padlocked from the inside as I calmly break open lava lamp after lava lamp and drink the contents
November 18, 2025 at 1:59 PM
cloudflare's on-duty IT staff bangs on the doors which I have padlocked from the inside as I calmly break open lava lamp after lava lamp and drink the contents
Reposted by Guilherme Espada
Reposted by Guilherme Espada
Reposted by Guilherme Espada
TFW u open BlueSky and a bunch of ppl are vaguely posting about the same shit
August 13, 2025 at 5:27 PM
TFW u open BlueSky and a bunch of ppl are vaguely posting about the same shit
Reposted by Guilherme Espada
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
November 11, 2025 at 2:27 PM
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
Reposted by Guilherme Espada
Reposted by Guilherme Espada
You know shit's getting serious once they start using words you usually only hear over a boiling cauldron.
Sua sponte call for en banc less than two hours after the 9th Cir decision to let loose the National Guard into Portland
October 21, 2025 at 12:42 AM
You know shit's getting serious once they start using words you usually only hear over a boiling cauldron.
This dog has exactly two parts: tongue (function) and body (aesthetic)
September 13, 2025 at 1:41 PM
This dog has exactly two parts: tongue (function) and body (aesthetic)
Reposted by Guilherme Espada
the wise man bowed his head solemnly and spoke: "theres actually zero difference between initialized & uninitialized memory. you imbecile. you fucking moron"
September 8, 2025 at 8:19 AM
the wise man bowed his head solemnly and spoke: "theres actually zero difference between initialized & uninitialized memory. you imbecile. you fucking moron"
Reposted by Guilherme Espada
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!
what a shocking and unexpected turn of events!
July 25, 2025 at 2:01 AM
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!
what a shocking and unexpected turn of events!
Can't wait until you land in front of some conference venue
July 6, 2025 at 7:07 PM
Can't wait until you land in front of some conference venue
Reposted by Guilherme Espada
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.’
this kind of dense, walkable control flow graph is illegal to build in most american compilers
July 3, 2025 at 9:10 AM
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.’
Object Identity is the curse of all JIT optimizations
June 23, 2025 at 4:54 PM
Object Identity is the curse of all JIT optimizations
Reposted by Guilherme Espada
This War Will Destabilize The Entire Mideast Region And Set Off A Global Shockwave Of Anti-Americanism vs. No It Won’t
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.
theonion.com
June 17, 2025 at 3:37 PM
This War Will Destabilize The Entire Mideast Region And Set Off A Global Shockwave Of Anti-Americanism vs. No It Won’t
Reposted by Guilherme Espada
Whaaaaaat the fuck
June 17, 2025 at 3:30 AM
Whaaaaaat the fuck
Reposted by Guilherme Espada
getting to use an interoffice pneumatic tube system would fix me
June 15, 2025 at 3:48 PM
getting to use an interoffice pneumatic tube system would fix me
Reposted by Guilherme Espada
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
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
June 14, 2025 at 1:27 AM
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
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
Reposted by Guilherme Espada
Typing and snapping things together
June 14, 2025 at 3:56 AM
Typing and snapping things together
Reposted by Guilherme Espada
