Alecs P. Hacker @bisimulation.bsky.social · 04/10/2026Going to the golden gate bridge, will report on the goldness 120
Alecs P. Hacker @bisimulation.bsky.social · 03/10/2026Mom: Oakland is considered one of the most dangerous cities in the usa 150
Alecs P. Hacker @bisimulation.bsky.social · 03/10/2026The popl website exploding the year i get good reviews 010
Alecs P. Hacker @bisimulation.bsky.social · 03/10/2026They are giving a cringe explanation of stoicism 050
Alecs P. Hacker @bisimulation.bsky.social · 03/10/2026There are two people speaking san francischian 151
Alecs P. Hacker @bisimulation.bsky.social · 03/10/2026Do i say bye to them in Spanish creating a giga plot twist or? 2130
Alecs P. Hacker @bisimulation.bsky.social · 03/10/2026The uberdriver is spilling some crazy tea with their partner, they don't know i speak Spanish 1130
Alecs P. Hacker @bisimulation.bsky.social · 03/10/2026Lately I've been putting kimchi on everything I eat 180
Alecs P. Hacker @bisimulation.bsky.social · 30/09/2026Can you add an option to copy the text of a bibtex instead of downloading the file? 110
Alecs P. Hacker @bisimulation.bsky.social · 30/09/2026Too many buttons and to many decisions to take literally my worst nightmare 030
Alecs P. Hacker @bisimulation.bsky.social · 30/09/2026The "Your program" thing is too complicated so I decided that I will just follow the flow. Come to my talk btw. 141
Alecs P. Hacker @bisimulation.bsky.social · 27/09/2026I feel overworked but I'm also scared that an LLM will steal my new result 000
Alecs P. Hacker @bisimulation.bsky.social · 26/09/2026I think i need to find something else to make my whole personality about 380
Alecs P. Hacker @bisimulation.bsky.social · 26/09/2026I deluded myself into thinking my paper will get into POPL. So I'm starting to write down the sequel 150
Alecs P. Hacker @bisimulation.bsky.social · 24/09/2026Claude is the most productive dev in this office 141
Alecs P. Hacker @bisimulation.bsky.social · 23/09/2026We asked Claude to be present at the birth of my first child, and prove it in Lean. 160
Alecs P. Hacker @bisimulation.bsky.social · 23/09/2026Should I not-touch-grass-max and try to submit to PLDI? 160
Alecs P. Hacker @bisimulation.bsky.social · 23/09/2026Leo would never break subject reduction, it is literally one of the ten commandments 010
Alecs P. Hacker @bisimulation.bsky.social · 21/09/2026Wouldn't make profit even if it was for profit 120
