Alecs P. Hacker
@bisimulation.bsky.social
Unsound and incomplete
alecsferra.github.io
alecsferra.github.io
Pinned
Alecs P. Hacker
@bisimulation.bsky.social
· Sep 25
The computational interpretation is the only thing that matters
Going to the golden gate bridge, will report on the goldness
October 3, 2026 at 11:11 PM
Going to the golden gate bridge, will report on the goldness
Every ad is about llms
October 3, 2026 at 9:41 PM
Every ad is about llms
Mom: Oakland is considered one of the most dangerous cities in the usa
October 3, 2026 at 6:12 PM
Mom: Oakland is considered one of the most dangerous cities in the usa
The popl website exploding the year i get good reviews
October 3, 2026 at 4:15 PM
The popl website exploding the year i get good reviews
There are two people speaking san francischian
October 3, 2026 at 2:29 PM
There are two people speaking san francischian
They threw away my fuckin toothpaste
October 3, 2026 at 2:12 PM
They threw away my fuckin toothpaste
The uberdriver is spilling some crazy tea with their partner, they don't know i speak Spanish
October 3, 2026 at 12:39 PM
The uberdriver is spilling some crazy tea with their partner, they don't know i speak Spanish
Lately I've been putting kimchi on everything I eat
October 2, 2026 at 11:17 PM
Lately I've been putting kimchi on everything I eat
The "Your program" thing is too complicated so I decided that I will just follow the flow. Come to my talk btw.
September 30, 2026 at 8:13 PM
The "Your program" thing is too complicated so I decided that I will just follow the flow. Come to my talk btw.
Man i love Money
September 30, 2026 at 7:49 PM
Man i love Money
I feel overworked but I'm also scared that an LLM will steal my new result
September 27, 2026 at 5:33 PM
I feel overworked but I'm also scared that an LLM will steal my new result
I think i need to find something else to make my whole personality about
September 26, 2026 at 9:41 PM
I think i need to find something else to make my whole personality about
I deluded myself into thinking my paper will get into POPL. So I'm starting to write down the sequel
September 25, 2026 at 11:30 PM
I deluded myself into thinking my paper will get into POPL. So I'm starting to write down the sequel
Claude is the most productive dev in this office
September 24, 2026 at 7:06 PM
Claude is the most productive dev in this office
Why is AWS lip moisturiser even a thing??
September 23, 2026 at 9:41 PM
Why is AWS lip moisturiser even a thing??
Wow this is good
New animation from Opus 5.5!
September 23, 2026 at 7:42 PM
Wow this is good
We asked Claude to be present at the birth of my first child, and prove it in Lean.
September 23, 2026 at 4:09 PM
We asked Claude to be present at the birth of my first child, and prove it in Lean.
Should I not-touch-grass-max and try to submit to PLDI?
September 23, 2026 at 3:23 AM
Should I not-touch-grass-max and try to submit to PLDI?
Is intern swag the most random thing in the world? Sure i will wear a bucket hat with AWS written on the front, sure
September 21, 2026 at 3:50 PM
Is intern swag the most random thing in the world? Sure i will wear a bucket hat with AWS written on the front, sure
Reposted by Alecs P. Hacker
LLMs killed the coding star.
I saw you on the youtube back in '21
Lying awake intent at watching in on you
If I was young it didn't stop you coming through
(Oh-a-oh)
They took the credit for your hacking prodigy
Rewritten by machine on new technology
And now I understand the problems you can see.
I saw you on the youtube back in '21
Lying awake intent at watching in on you
If I was young it didn't stop you coming through
(Oh-a-oh)
They took the credit for your hacking prodigy
Rewritten by machine on new technology
And now I understand the problems you can see.
August 17, 2026 at 9:43 PM
LLMs killed the coding star.
I saw you on the youtube back in '21
Lying awake intent at watching in on you
If I was young it didn't stop you coming through
(Oh-a-oh)
They took the credit for your hacking prodigy
Rewritten by machine on new technology
And now I understand the problems you can see.
I saw you on the youtube back in '21
Lying awake intent at watching in on you
If I was young it didn't stop you coming through
(Oh-a-oh)
They took the credit for your hacking prodigy
Rewritten by machine on new technology
And now I understand the problems you can see.
Is vegetarian sushi just a scam?
September 20, 2026 at 11:13 PM
Is vegetarian sushi just a scam?
I did not sign up for this when I started my PhD, llms were bad at everything
September 19, 2026 at 11:10 PM
I did not sign up for this when I started my PhD, llms were bad at everything
Just submitted to POPL and apparently I'm submission number -2,147,483,648
September 19, 2026 at 8:49 PM
Just submitted to POPL and apparently I'm submission number -2,147,483,648
Two times I had to use a travel agency to go to a conference and twice they fucked up the reservation
September 19, 2026 at 7:42 PM
Two times I had to use a travel agency to go to a conference and twice they fucked up the reservation
Doing software verification using segregation logic to get funding from the current administration
September 18, 2026 at 2:57 PM
Doing software verification using segregation logic to get funding from the current administration