Lightnews — Scholar-powered news

Kiran (She/Her)

@kirancodes.me

750 followers 240 following 3.4K posts

Programming Languages Postdoc @ UIUC Trans girl 🏳️‍⚧️ still here~ despite it all if ur a hot guy, DM me plssss~ https://kirancodes.me

kirancodes.me

Posts Media Videos Starter Packs

Pinned

Kiran (She/Her) @kirancodes.me · 6d

Don't mess with me or my uwu :3 son ever again~

Selfie of me holding my uwu face pumpkin

1 1

Kiran (She/Her) @kirancodes.me · 3h

Hahaaa amazing lol

1 1

Kiran (She/Her) @kirancodes.me · 5h

just trust the process!

Kiran (She/Her) @kirancodes.me · 5h

idk if this helps but been through similar disillusions in my phd too

I actually first asked Talia for a job when I met them at a Dagstuhl for mechanised mathematics and I spent the entire week arguing with people that verification wasn't actually useful and no-one cares about verification

1 1

Kiran (She/Her) @kirancodes.me · 5h

aaaaaah I can't go out yet because my IKEA delivery is todayyyy but I really want to omgogomgomgo it looks amazing outdoors aaaaah

Kiran (She/Her) @kirancodes.me · 5h

yooo finally good weather!!!!!

2 3

Kiran (She/Her) @kirancodes.me · 6h

github really should have some kind of workflow specifically for testing ci or something, it takes wayyyy too many steps to set and commits to test and setup a working pipeline

1 3

Kiran (She/Her) @kirancodes.me · 6h

accent affirmed lol pmo how esl speakers can never pin my accent down, and while in SG I was primarily seen as brown not british

ikd where the finnish and australian english come from

Screenshot of accentoracle.com's estimate of my accent British English with 29%. 16% Finnish and 15% australian english.

4 4

Kiran (She/Her) @kirancodes.me · 6h

Here or in SG? In SG the must visit is the 5 star hawker stall, apparently its really good! Also takagi ramen, I had that a lot!

1 1

Kiran (She/Her) @kirancodes.me · 14h

You can find the implementation here!

github.com/kiranandcode...

GitHub - kiranandcode/cafe-map: A little web-applet to track all the cafes I've been to!

A little web-applet to track all the cafes I've been to! - kiranandcode/cafe-map

github.com

Kiran (She/Her) @kirancodes.me · 14h

github.com/kiranandcode...

all I can say is that it never breaks (lie)

github.com

Kiran (She/Her) @kirancodes.me · 14h

new page on my website, wat dis?

yes! now I'm in the mecca of cafes (NYC), I thought it'd be cool to have a little log of all the cafes I've been to, and it seemed like a good opportunity to brush up on my TS/CSR knowledge. This was fun to make and I love how it looks!
kirancodes.me/cafe-guide.h...

2 11

Kiran (She/Her) @kirancodes.me · 20h

there were those biologists who rediscovered integration lol, so I guess the secret is to go to another field where people don't know about PL

Kiran (She/Her) @kirancodes.me · 22h

switch to working on liquid rust and you can be the token straight person in the area

1 3

Kiran (She/Her) @kirancodes.me · 22h

hang in there!

Kiran (She/Her) @kirancodes.me · 1d

yep! straight people can not comprehend the true complexities of metaprogramming; sorry I don't make the rules lol

Kiran (She/Her) @kirancodes.me · 1d

"the average PL has 90% LGBTQ devs" factoid actualy just statistical error. average PL has 5 LGBTQ devs per year. Gleam who lives in cave & has over 10,000% LGBTQ devs is an outlier adn should not have been counted

Kiran (She/Her) @kirancodes.me · 1d

Add a proper macro system and you'll see those numbers skyrocket

1 5

Kiran (She/Her) @kirancodes.me · 1d

OCaml is the straightest functional language we're so cooked bros

Shinobu @shinobu-dev.bsky.social · 9d

o real motivo por estarem enfiando rust em tudo!

todo app C pipocando de CVE de gerenciamento de memória e overflow? não. é a agenda LGBTQIAPK+.

2 13

Kiran (She/Her) @kirancodes.me · 1d

...and now it's midnight lol

Kiran (She/Her) @kirancodes.me · 1d

supressing my hunger by hyperfixating on a little coding project (omg so much fun to be hobby hacking again)

1 15

Kiran (She/Her) @kirancodes.me · 1d

all I had to eat today was a pain au chocolate aaaaah starving

Kiran (She/Her) @kirancodes.me · 1d

I should check their related work!

Kiran (She/Her) @kirancodes.me · 1d

ooh yes yes that's very close! conceptually the same kinda problem - user writes sequential code, then we automatically generate more optimised code from it, but the different domains mean different things need to be generated, I guess for crdts that's like the appropriate lattice

Kiran (She/Her) @kirancodes.me · 1d

kinda, more user defines the types they want as normal, then writes code manipulating them, and then behind the scenes the tool infers the sql schemas and associated sql query to generate to most efficiently get the data and implement the users' code

1 3

Kiran (She/Her) @kirancodes.me · 1d

of course nowadays we'd have to throw in LLMs for it to get any traction but we could still get some interesting theoretical/static guarantees.

1 3