Kiran (She/Her)
@kirancodes.me
Aaaaahh fuck fuck fuck singapore fuck fuck fuck
November 11, 2025 at 12:58 PM
Aaaaahh fuck fuck fuck singapore fuck fuck fuck
Inside of me there are two PL wolves
November 11, 2025 at 4:35 AM
Inside of me there are two PL wolves
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???
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
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?
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
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.
Ooh yep would recommend! It's an amazing course!
November 9, 2025 at 5:10 PM
Ooh yep would recommend! It's an amazing course!
Society hates to see a clocky tgirl succeed
November 9, 2025 at 2:58 PM
Society hates to see a clocky tgirl succeed
Apparently the chinese version of starbucks
November 8, 2025 at 10:01 PM
Apparently the chinese version of starbucks
As a clocky trans woman if I walk into your shop and your first response is women's section is up the stairs then Im legally obligated to buy something
I love NYC
I love NYC
November 8, 2025 at 9:11 PM
As a clocky trans woman if I walk into your shop and your first response is women's section is up the stairs then Im legally obligated to buy something
I love NYC
I love NYC
One of my postdoc friends' boyfriend was visiting so had a run partner for the parkrun for a day!!! Omg having someone to go running with makes it so much betterrrr I need to find a friend group of runners asapppp
November 8, 2025 at 6:46 PM
One of my postdoc friends' boyfriend was visiting so had a run partner for the parkrun for a day!!! Omg having someone to go running with makes it so much betterrrr I need to find a friend group of runners asapppp
Calling all 🏳️⚧️ tgirls at parkrun,
all dolled up and in the fray
Can't talk now
we're 👏 here 👏 to 👏 slayyy 🥳
all dolled up and in the fray
Can't talk now
we're 👏 here 👏 to 👏 slayyy 🥳
November 8, 2025 at 6:39 PM
Calling all 🏳️⚧️ tgirls at parkrun,
all dolled up and in the fray
Can't talk now
we're 👏 here 👏 to 👏 slayyy 🥳
all dolled up and in the fray
Can't talk now
we're 👏 here 👏 to 👏 slayyy 🥳
Tell me how I know the person who runs this is a white guy lol
Uuuhh maybe we shouldn't be making jokes about disavowing white supremacy?? Uuuuh
Uuuhh maybe we shouldn't be making jokes about disavowing white supremacy?? Uuuuh
November 8, 2025 at 12:40 AM
Tell me how I know the person who runs this is a white guy lol
Uuuhh maybe we shouldn't be making jokes about disavowing white supremacy?? Uuuuh
Uuuhh maybe we shouldn't be making jokes about disavowing white supremacy?? Uuuuh
Today was a productive but intense day lol~ (only 30 mins on my emacs.d. yeah Im a pro emacs user)
November 7, 2025 at 4:26 AM
Today was a productive but intense day lol~ (only 30 mins on my emacs.d. yeah Im a pro emacs user)
Llms are based whattttttt
November 7, 2025 at 2:14 AM
Llms are based whattttttt
Not to make it about me or my singapore hate, but Im glad Im alive.
November 5, 2025 at 4:38 AM
Not to make it about me or my singapore hate, but Im glad Im alive.
At the local lesbian bar for the NYC Mayoral election watch party tonight!!!
November 5, 2025 at 12:48 AM
At the local lesbian bar for the NYC Mayoral election watch party tonight!!!
Christ was the og content creator
November 4, 2025 at 1:10 PM
Christ was the og content creator