Kiran (She/Her)
@kirancodes.me
Pinned
Oh wait this has literally nothing to do with Singapore my bad yall lol Singapore has a district called Buena Vista where they won't rent to brown people because theyre racist
Kiran is tiiiiiired
Kiran is tiiiiiired
November 11, 2025 at 1:01 PM
Oh wait this has literally nothing to do with Singapore my bad yall lol Singapore has a district called Buena Vista where they won't rent to brown people because theyre racist
Kiran is tiiiiiired
Kiran is tiiiiiired
Aaaaahh fuck fuck fuck singapore fuck fuck fuck
November 11, 2025 at 12:58 PM
Aaaaahh fuck fuck fuck singapore fuck fuck fuck
Lesson no. 5 Kiran
Kiran! 'Lesson 5' ....yeah... I'm sure that's what we're on now.
This moment in JJBA SBR is so close to my heart, I can't think a better one to commemorate the end of it all~
#DigitalArt #Anime #PhD #JJBA #JJBASBR #SteelBallRun
This moment in JJBA SBR is so close to my heart, I can't think a better one to commemorate the end of it all~
#DigitalArt #Anime #PhD #JJBA #JJBASBR #SteelBallRun
November 11, 2025 at 4:45 AM
Lesson no. 5 Kiran
Son when you are ready you will no longer need internal consistency in your views
November 11, 2025 at 4:36 AM
Son when you are ready you will no longer need internal consistency in your views
Inside of me there are two PL wolves
November 11, 2025 at 4:35 AM
Inside of me there are two PL wolves
I want to invent a PL design principle called "uuuh dont do that then"
PL goons spend a lot of time pathologising about the worst case usage of PL features but like... uuuhhh dont do that then???? Why cant we just have nice things.
PL goons spend a lot of time pathologising about the worst case usage of PL features but like... uuuhhh dont do that then???? Why cant we just have nice things.
November 11, 2025 at 4:32 AM
I want to invent a PL design principle called "uuuh dont do that then"
PL goons spend a lot of time pathologising about the worst case usage of PL features but like... uuuhhh dont do that then???? Why cant we just have nice things.
PL goons spend a lot of time pathologising about the worst case usage of PL features but like... uuuhhh dont do that then???? Why cant we just have nice things.
Unlike the rest of you rubes I only write programming languages for adults. I expect you to know what you're doing
November 11, 2025 at 3:21 AM
Unlike the rest of you rubes I only write programming languages for adults. I expect you to know what you're doing
Type system prevents the user from this, stops the user from that
...have you ever tried just asking them to not do bad things???
...have you ever tried just asking them to not do bad things???
![Python snippet:
import sys
import collections
sys.modules["numpy"] = collections
import numpy as np
print(np.Counter())](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreia2ihcruqkelxsrp63oc7p6tgqbypxjvz35ektxeznpclhmkv622a@jpeg)
November 11, 2025 at 3:18 AM
Type system prevents the user from this, stops the user from that
...have you ever tried just asking them to not do bad things???
...have you ever tried just asking them to not do bad things???
That one moot who has quote posts disabled
November 11, 2025 at 1:57 AM
That one moot who has quote posts disabled
Bought this London Fog yesterday and it paired with my purple blouse and black skirt gives makima vibes imo
November 11, 2025 at 1:48 AM
Bought this London Fog yesterday and it paired with my purple blouse and black skirt gives makima vibes imo
Wait BEAM stands for Bogdan's Erlang Abstract Machine???? Thanks Bogdan
November 11, 2025 at 12:31 AM
Wait BEAM stands for Bogdan's Erlang Abstract Machine???? Thanks Bogdan
Driving away international students from the US is only going to help us in the long run, right?
...right?
...right?
November 10, 2025 at 1:05 PM
Driving away international students from the US is only going to help us in the long run, right?
...right?
...right?
Tor rewriting their libraries in rust
C devs most affected
C devs most affected
November 10, 2025 at 4:02 AM
Tor rewriting their libraries in rust
C devs most affected
C devs most affected
Reposted by Kiran (She/Her)
Face of a girl who's going to miss all her reviewing deadlines 😢😱
November 1, 2025 at 1:50 AM
Face of a girl who's going to miss all her reviewing deadlines 😢😱
Reposted by Kiran (She/Her)
lived long enough to mog my early-transition egg-cracking faceapp selfies lol
never kill yourself
never kill yourself
September 13, 2025 at 6:18 PM
lived long enough to mog my early-transition egg-cracking faceapp selfies lol
never kill yourself
never kill yourself
Ooof just realised I also need to do Rocq workshop reviews lollll
November 10, 2025 at 3:57 AM
Ooof just realised I also need to do Rocq workshop reviews lollll
This joke is going to land with like the three people who both get trans terminology and know what futamura projections are
Futamura projections? Bro you cant call them that
November 10, 2025 at 3:32 AM
This joke is going to land with like the three people who both get trans terminology and know what futamura projections are
Futamura projections? Bro you cant call them that
November 10, 2025 at 3:31 AM
Futamura projections? Bro you cant call them that
Did my first OOPSLA review this evening! Weak reject actually maybe reject idk let's see how bitchy I feel. I'll do one review a day and be done by friday!
November 10, 2025 at 3:19 AM
Did my first OOPSLA review this evening! Weak reject actually maybe reject idk let's see how bitchy I feel. I'll do one review a day and be done by friday!
I am lowkey physically repulsed by nix's semantics
![screenshot of a snippet of some nix code and some text from a paper:
let x = 10; in let x = 12; in x # returns 12
with { x = 10; }; with { x = 12; }; x # returns 12
let x = 10; in with { x = 12; }; x # returns 10
with { x = 10; }; let x = 12; in x # returns 12
Naively one might expect the third program to return 12, because x is shadowed. However, in Nix
let has priority over with, regardless of whether the let is enclosed in the with or not. These rules
are a well-known source of confusion [ 11, 43, 54 ], and the prior semantics of Nix by Dolstra [16]
(which uses ordinary substitutions) got these rules wrong (§ 7.2).](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreiakqcqo6dovcf5xjaohzdmddwqd6wqubkth2avyhhorzeo5oz3psu@jpeg)
November 10, 2025 at 1:54 AM
I am lowkey physically repulsed by nix's semantics
"We have a mechanised semantics and proof sketches but no proof of soundness"
....really? You make me wait until the end of your paper to let me know that? Tut tut
....really? You make me wait until the end of your paper to let me know that? Tut tut
November 10, 2025 at 1:33 AM
"We have a mechanised semantics and proof sketches but no proof of soundness"
....really? You make me wait until the end of your paper to let me know that? Tut tut
....really? You make me wait until the end of your paper to let me know that? Tut tut
"I NEED to make a new programming language"
- that one unemployed oomf at 2am on a monday
- that one unemployed oomf at 2am on a monday
November 10, 2025 at 1:32 AM
"I NEED to make a new programming language"
- that one unemployed oomf at 2am on a monday
- that one unemployed oomf at 2am on a monday
2 likes buddy that's rough
November 9, 2025 at 10:00 PM
2 likes buddy that's rough
Finally got some tape and hung up my posters. Have my pre transition PhD lab photos at eye level in my bedroom so I dont forget the academic career I could have had if I hadnt had the misfortune to have been born brown.
November 9, 2025 at 9:57 PM
Finally got some tape and hung up my posters. Have my pre transition PhD lab photos at eye level in my bedroom so I dont forget the academic career I could have had if I hadnt had the misfortune to have been born brown.