Guilherme Espada

Guilherme Espada

@guipsp.bsky.social

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

46 followers80 following76 posts

Guilherme Espada reposted

Guilherme Espada reposted

getting the European Commission to declare Rust a gatekeeper under the DMA to force them to stabilize an ABI

Guilherme Espada reposted

When the license grants you free use of the software without restriction: haha fuck yes! When the license provides the software as-is, without warranty of any kind: what the fuck, this fucking sucks!!

Guilherme Espada reposted

"you should do a breakthrough" burning itself into my brain to replace "make no mistakes"

mr. TIM@timkellogg.me

the Dinitz-Garg-Goemans conjecture, a graph theory problem that’s gone unsolved for 30 years, was solved with this prompt

Guilherme Espada reposted

Me in 1768: I dislike the new Prime Minister and the Steam Machine is still too expensive. Me in 2026: I dislike the new Prime Minister and the Steam Machine is still too expensive.

Guilherme Espada reposted

land acknowledgement: this browser was built on the sacred territory of khtml

Guilherme Espada reposted

Yeah, I'm not going to lie--unless paid for it, open-source software development seems even more awful now than before. Catching a Mastodon mob in exchange for giving stuff away for free? Bargain at twice the price.

Hendrik Mans@hmans.dev

Yeah, existing in and engaging with the OSS community is loads of fun, I have no idea why people don't want to publish new OSS anymore, so weird

Guilherme Espada reposted

through years of LLM research, we have finally managed to invent a human-usable interface for ffmpeg

Filippo Valsorda@filippo.abyssdomain.expert

Can we talk about the fact that we can just tell the computer > extract from 2026-04-08-17-15-58.mkv an audio file that is compatible with MacWhisper, ideally losslessly and it just runs ffmpeg for us now??

Guilherme Espada reposted

This is an actual post. This is not funny. This is beyond desperate. This is a deeply unwell man who doesn’t belong anywhere near the levers of power. Every member of his cabinet and Congress is complicit in not demanding his removal now.

Guilherme Espada reposted

Replying to @peark.es

I’ll admit my macroeconomic outlook didn’t include a Leeroy Jenkins bombing campaign against Iran with no plan whatsoever for securing Hormuz. And you know what, that’s on me.

Marco ♨️@mako112.bsky.social

It's so funny how you have spent the last 6 months telling people that the signs for an economic downturn weren't there (because they weren't, not contradicting you) and then Trump personally decided to prove you wrong.

Guilherme Espada reposted

(1/5) We are happy to announce the release of our POPL'26 coverage totaling over 230 talks and presentations across co-located events: POPL, Dafny, LAFI, PriSC, CPP, PlanQC, VMCAI, PEPM, RocqPL, and WITS! youtube.com/@acmsigplan

youtube.comACM SIGPLANSpecial Interest Group on Programming Languages The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...

Guilherme Espada reposted

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

Guilherme Espada reposted

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

sarah jeong@sarahjeong.bsky.social

Sua sponte call for en banc less than two hours after the 9th Cir decision to let loose the National Guard into Portland

Guilherme Espada reposted

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

Guilherme Espada reposted

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.’

eliza🌻@elizas.website

this kind of dense, walkable control flow graph is illegal to build in most american compilers