Guilherme Espada

Can you link it?

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

(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

You used to be able to "inspect element" in this country. You used to be able to download video

Guy who went to mime school: that’s a video. That’s a picture. That’s an octet stream.

S3 Provider Comparison S3-backed Nix binary cache with garbage collection - Mic92/niks3

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

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

Checkbox: I agree to Extreme Pizza

Devilish

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

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

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

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)

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

Email from YouTube: ACM Sigplan, congrats on 10000 subscribers

LFG

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

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!

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

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

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

Whaaaaaat the fuck

getting to use an interoffice pneumatic tube system would fix me

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

What's upvar?

Typing and snapping things together

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

lol it was a null pointer