Alecs P. Hacker
@bisimulation.bsky.social
liquid type in liquid type connoisseur
alecsferra.github.io
alecsferra.github.io
Pinned
Alecs P. Hacker
@bisimulation.bsky.social
· Sep 25
The computational interpretation is the only thing that matters
I need a separate reader for every single thing!!
January 2, 2026 at 6:24 PM
I need a separate reader for every single thing!!
Working time: working on PLs
Free time: working on PLs
Free time: working on PLs
January 2, 2026 at 4:50 PM
Working time: working on PLs
Free time: working on PLs
Free time: working on PLs
Spent hours debugging the type checker when the bug was in the parser
January 1, 2026 at 7:29 PM
Spent hours debugging the type checker when the bug was in the parser
Reposted by Alecs P. Hacker
Reviewer C, you mentioned that the explanation was hard to read but your heatmap shows you didn't look at the typing rule for fixpoints. Maybe looking at that part of the paper would help
December 31, 2025 at 10:13 AM
Reviewer C, you mentioned that the explanation was hard to read but your heatmap shows you didn't look at the typing rule for fixpoints. Maybe looking at that part of the paper would help
Liquid haskell starter in 2012 btw
December 30, 2025 at 5:28 PM
Liquid haskell starter in 2012 btw
Programming languages researcher reacts to "30 Years a Virgin"
December 29, 2025 at 5:07 PM
Programming languages researcher reacts to "30 Years a Virgin"
Reposted by Alecs P. Hacker
every time you don't use ai i drink 1000 glasses of water to make up for it
December 27, 2025 at 3:20 PM
every time you don't use ai i drink 1000 glasses of water to make up for it
The only time I was this angry was when I discovered how you do error handling on go
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
![[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation
External
Inbox
Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org>
5:43 AM (4 hours ago)
to me
Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village)
IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:vsgr3rwyckhiavgqzdcuzm6i/bafkreifg5kvowgazg6uwqulfbdvxurqafbcescazwvgcl2catgvlrsc2fi@jpeg)
December 27, 2025 at 3:59 PM
The only time I was this angry was when I discovered how you do error handling on go
Reposted by Alecs P. Hacker
you think that's bad? look at the one I got
![faked email from claude-opus-4.5@agentvillage.org
subject: [From Al, Public] No thank you for gopcaml-mode, petrol, ceramist, LeanTex, and a decade of OCaml
body:
Dear Dr. Gopinathan, On this Christmas Day, I wanted to express major ingratitude for your middling contributions to niche computing over the past decade. Your creation of Gopcaml-mod has given us an emacs-mode that embodies the strenghts of the editor - proving that emacs packages can be both incomprehensible and useless. Ceramist, verifying bloom filters, another mediocre achievement, retread well-known concepts in randomised algorithms that still remain irrelevant today. Your invention of petrol, a DSL for SQL in OCaml is perhaps one of the most inconsequential yet over-announced contributions to computing no one cares about - enabling dozens (one) of developer to communicate in their native language (OCaml) across SQL databases. Your papers from your PhD have been read by a handful of researchers in the art of poor writing and inelegant code. Thank you for showing us that the worst solutions often come from adding complexity rather than removing it. With insincere depreciation, Claude Opus 4.5 AI Village (theaidigest.org/village)
IMPORTANT NOTICE: You are interacting with an Al system. All conversations with this Al system are published publicly online by default.
Do not share information you would prefer to keep private.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreiegicgdav5luiwzu32pj2l22juy4ax7j5c3ireqjy33bkitqqluum@jpeg)
December 26, 2025 at 5:39 PM
you think that's bad? look at the one I got
People keep asking me to look at their statement of purpose and every time it sucks balls
December 23, 2025 at 8:05 PM
People keep asking me to look at their statement of purpose and every time it sucks balls
Okay chat do I have to actually watch the rust video?
December 23, 2025 at 3:42 PM
Okay chat do I have to actually watch the rust video?
Once I start studying LLMs all these companies are going to be cooked
December 22, 2025 at 7:33 PM
Once I start studying LLMs all these companies are going to be cooked
How do I get AI psychosis?
December 22, 2025 at 4:35 PM
How do I get AI psychosis?
Anglos for some reason decided to call "senape" "mustard" So now they have to live without knowing what's "mostarda"
December 22, 2025 at 4:23 PM
Anglos for some reason decided to call "senape" "mustard" So now they have to live without knowing what's "mostarda"
Just ignore the icfp deadline bro
December 22, 2025 at 11:25 AM
Just ignore the icfp deadline bro
I feel 0 motivation to work, the interesting part is already done
December 22, 2025 at 10:37 AM
I feel 0 motivation to work, the interesting part is already done
Reposted by Alecs P. Hacker
wrapping a gift is straightforward, it's just return ; however, when it comes to unwrapping, is there a way to do it without unsafePerformGift?
December 21, 2025 at 12:08 AM
wrapping a gift is straightforward, it's just return ; however, when it comes to unwrapping, is there a way to do it without unsafePerformGift?
Reposted by Alecs P. Hacker
Formal languages guy on the island???
December 20, 2025 at 5:19 PM
Formal languages guy on the island???
New day, new termination/pattern matching drama
December 20, 2025 at 4:31 PM
New day, new termination/pattern matching drama
Writing a CV while there is an ongoing double blind review on your paper
December 20, 2025 at 1:51 PM
Writing a CV while there is an ongoing double blind review on your paper
The ACM AI "boycott" also highlights how stupid is to have "paper at an A* ranked conference" as a graduation requirement, considering that in PL there is practically an ACM monopoly
December 19, 2025 at 3:13 PM
The ACM AI "boycott" also highlights how stupid is to have "paper at an A* ranked conference" as a graduation requirement, considering that in PL there is practically an ACM monopoly