Kiran
@kirancodes.me
Pinned
Hey!! haskell code is pretty to read sometimes at least
Boilerplate only language. You can only copy framework code and there’s no way to make a runnable app.
December 26, 2025 at 9:56 PM
Hey!! haskell code is pretty to read sometimes at least
New york its been a banger! See you on the flipside!
Heading home from the office for the last time before heading to the UK, returning (hopefully) in two weeks!
Heading home from the office for the last time before heading to the UK, returning (hopefully) in two weeks!
December 26, 2025 at 9:52 PM
New york its been a banger! See you on the flipside!
Heading home from the office for the last time before heading to the UK, returning (hopefully) in two weeks!
Heading home from the office for the last time before heading to the UK, returning (hopefully) in two weeks!
> Wake up on christmas morning
> *ping*
> first thing in the morning, email from Neringa about POPL
damn I guess conference organisation is serious business, can't pause for anything
> *ping*
> first thing in the morning, email from Neringa about POPL
damn I guess conference organisation is serious business, can't pause for anything
December 26, 2025 at 9:40 PM
> Wake up on christmas morning
> *ping*
> first thing in the morning, email from Neringa about POPL
damn I guess conference organisation is serious business, can't pause for anything
> *ping*
> first thing in the morning, email from Neringa about POPL
damn I guess conference organisation is serious business, can't pause for anything
productive day at work; dopamine hits from closing issues keep me going~ time to head home
December 26, 2025 at 9:34 PM
productive day at work; dopamine hits from closing issues keep me going~ time to head home
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
alone in the office on boxing day; everyone else is wfh today
I think I have to depersonalise to just manage. this makes my life story much more interesting, the character I'm writing is so cool, but damn if it isn't hard and damn if it doesn't hurt like a bitch
I think I have to depersonalise to just manage. this makes my life story much more interesting, the character I'm writing is so cool, but damn if it isn't hard and damn if it doesn't hurt like a bitch
December 26, 2025 at 3:00 PM
alone in the office on boxing day; everyone else is wfh today
I think I have to depersonalise to just manage. this makes my life story much more interesting, the character I'm writing is so cool, but damn if it isn't hard and damn if it doesn't hurt like a bitch
I think I have to depersonalise to just manage. this makes my life story much more interesting, the character I'm writing is so cool, but damn if it isn't hard and damn if it doesn't hurt like a bitch
Wish I could leave notes for why I mute/block people so I dont forget, etc.
Like this user is singaporean etc.
Like this user is singaporean etc.
December 26, 2025 at 2:30 PM
Wish I could leave notes for why I mute/block people so I dont forget, etc.
Like this user is singaporean etc.
Like this user is singaporean etc.
This could have been avoided rob if go had generics the first time around
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 26, 2025 at 5:53 AM
This could have been avoided rob if go had generics the first time around
oh my goddd I was so lost in that little experiment I totally lost track of time and space and all my worries
I feel disorientated and slightly deflated as the situation slowly returns to me.
I feel disorientated and slightly deflated as the situation slowly returns to me.
December 26, 2025 at 3:40 AM
oh my goddd I was so lost in that little experiment I totally lost track of time and space and all my worries
I feel disorientated and slightly deflated as the situation slowly returns to me.
I feel disorientated and slightly deflated as the situation slowly returns to me.
bro.... dsls have never been easier to write. the world is not ready.
we're entering a new time of user-controlled computing
the era of programming languages is upon us!
we're entering a new time of user-controlled computing
the era of programming languages is upon us!
December 26, 2025 at 3:17 AM
bro.... dsls have never been easier to write. the world is not ready.
we're entering a new time of user-controlled computing
the era of programming languages is upon us!
we're entering a new time of user-controlled computing
the era of programming languages is upon us!
I'm like if a techbro was a girl
December 26, 2025 at 1:00 AM
I'm like if a techbro was a girl
type of girl who's so used to keeping her guard up to deal with the shit she's been through she can only express emotions vicariously through media
December 26, 2025 at 12:58 AM
type of girl who's so used to keeping her guard up to deal with the shit she's been through she can only express emotions vicariously through media
I just realised I can see into the living room of the appartment across the street from me behind my monitor
so I'm here watching anime alone in the appartment, and across the street I can se a normal family's christmas party....
fucking normies man
so I'm here watching anime alone in the appartment, and across the street I can se a normal family's christmas party....
fucking normies man
December 26, 2025 at 12:47 AM
I just realised I can see into the living room of the appartment across the street from me behind my monitor
so I'm here watching anime alone in the appartment, and across the street I can se a normal family's christmas party....
fucking normies man
so I'm here watching anime alone in the appartment, and across the street I can se a normal family's christmas party....
fucking normies man
been so long since I just sat at home and watched some anime; weebing out right now
I needed this
I needed this
December 26, 2025 at 12:20 AM
been so long since I just sat at home and watched some anime; weebing out right now
I needed this
I needed this
I'm a tgirl who says "merry christmas" checkmate liberal
December 26, 2025 at 12:06 AM
I'm a tgirl who says "merry christmas" checkmate liberal
you've got to be the most unhinged tgirl I've ever heard of
ah but you have heard of me
ah but you have heard of me
December 25, 2025 at 11:58 PM
you've got to be the most unhinged tgirl I've ever heard of
ah but you have heard of me
ah but you have heard of me
> my language is so secure, developers must supply exhaustive pattern matches all the time
> look inside
match _ with
| _ => ...
| _ => raise Exception("rip¯\_(ツ)_/¯")
| _ => raise Exception("rip¯\_(ツ)_/¯")
| _ => raise Exception("rip¯\_(ツ)_/¯")
> look inside
match _ with
| _ => ...
| _ => raise Exception("rip¯\_(ツ)_/¯")
| _ => raise Exception("rip¯\_(ツ)_/¯")
| _ => raise Exception("rip¯\_(ツ)_/¯")
December 25, 2025 at 11:36 PM
> my language is so secure, developers must supply exhaustive pattern matches all the time
> look inside
match _ with
| _ => ...
| _ => raise Exception("rip¯\_(ツ)_/¯")
| _ => raise Exception("rip¯\_(ツ)_/¯")
| _ => raise Exception("rip¯\_(ツ)_/¯")
> look inside
match _ with
| _ => ...
| _ => raise Exception("rip¯\_(ツ)_/¯")
| _ => raise Exception("rip¯\_(ツ)_/¯")
| _ => raise Exception("rip¯\_(ツ)_/¯")
emacs installed again!!!! yayyyy
December 25, 2025 at 11:13 PM
emacs installed again!!!! yayyyy
> When you have eliminated the impossible, whatever remains, however improbable, must be the truth
Well Sherlock, generating all permutations of a string is certainly one way to check if a string could be a palindrome...
... I don't think we'll be going forward with your job application
Well Sherlock, generating all permutations of a string is certainly one way to check if a string could be a palindrome...
... I don't think we'll be going forward with your job application
December 25, 2025 at 10:56 PM
> When you have eliminated the impossible, whatever remains, however improbable, must be the truth
Well Sherlock, generating all permutations of a string is certainly one way to check if a string could be a palindrome...
... I don't think we'll be going forward with your job application
Well Sherlock, generating all permutations of a string is certainly one way to check if a string could be a palindrome...
... I don't think we'll be going forward with your job application
running a proxy server in my phone to bypass the tethering limits of my handler but this means that 90% of my internet based tools break lol
with some env variables I can configure git and curl to work though which seems to be enough to make brew work (important because I broke my emacs :( )
with some env variables I can configure git and curl to work though which seems to be enough to make brew work (important because I broke my emacs :( )
December 25, 2025 at 10:43 PM
running a proxy server in my phone to bypass the tethering limits of my handler but this means that 90% of my internet based tools break lol
with some env variables I can configure git and curl to work though which seems to be enough to make brew work (important because I broke my emacs :( )
with some env variables I can configure git and curl to work though which seems to be enough to make brew work (important because I broke my emacs :( )
Use Claude. Use Codex. Use gro-
Bro, here's my copilot (she's napping)
We're having some cozy Christmas coding
Merry Christmas!
Bro, here's my copilot (she's napping)
We're having some cozy Christmas coding
Merry Christmas!
December 25, 2025 at 10:16 PM
Use Claude. Use Codex. Use gro-
Bro, here's my copilot (she's napping)
We're having some cozy Christmas coding
Merry Christmas!
Bro, here's my copilot (she's napping)
We're having some cozy Christmas coding
Merry Christmas!
Reposts welcome! Any New Years events I could join in London? I'll be in the UK for the new year as I renew my visa, any PL people doing anything then? I'd love to join!
Sup losers~ looks like I'm going to be in London for the new year!
Don't have any plans for new years celebrations so hmu if you have something I could join!
Don't have any plans for new years celebrations so hmu if you have something I could join!
December 25, 2025 at 8:16 PM
Reposts welcome! Any New Years events I could join in London? I'll be in the UK for the new year as I renew my visa, any PL people doing anything then? I'd love to join!
Youngins on the discord server explaining I just shared bot posts ; feel like such a boomer
December 25, 2025 at 8:01 PM
Youngins on the discord server explaining I just shared bot posts ; feel like such a boomer
LLMs discussions revealing more people reason from constructive principles than admit
If a system produces outputs consistent with my theory of mind, then do I care if it's "just a stochastic parrot"? nooo broo you can't assume functional existentionality, that's classical logic
If a system produces outputs consistent with my theory of mind, then do I care if it's "just a stochastic parrot"? nooo broo you can't assume functional existentionality, that's classical logic
December 25, 2025 at 7:24 PM
LLMs discussions revealing more people reason from constructive principles than admit
If a system produces outputs consistent with my theory of mind, then do I care if it's "just a stochastic parrot"? nooo broo you can't assume functional existentionality, that's classical logic
If a system produces outputs consistent with my theory of mind, then do I care if it's "just a stochastic parrot"? nooo broo you can't assume functional existentionality, that's classical logic