@innocentzer0.bsky.social
In the beginning there was commandline... then emacs took over
Lukewarm takes on C|Rust|Java|OCaml|Haskell (I suck at the last 3, probably the first 2 too)
occasional hacker and nusheller
he/him | 22 | IITM undergrad
Lukewarm takes on C|Rust|Java|OCaml|Haskell (I suck at the last 3, probably the first 2 too)
occasional hacker and nusheller
he/him | 22 | IITM undergrad
Pinned
Not me torn in a dilemma (trilemma?) between learning all I can about type theory and FP, doing low-level OS, embedded type stuff, and trying to actually improve the linux desktop user scene.
Oh, the misery!
Oh, the misery!
Minimalism is beautiful, but unified cuteness is amazing! I want both!!!
Why can we not have good things in life?
Pretty websites, pretty desktops, pretty stuff in gen.
WHILE IT BEING ACCESSIBLE FOR OTHERS REGARDLESS!
Pretty websites, pretty desktops, pretty stuff in gen.
WHILE IT BEING ACCESSIBLE FOR OTHERS REGARDLESS!
December 20, 2025 at 2:22 PM
Minimalism is beautiful, but unified cuteness is amazing! I want both!!!
Why can we not have good things in life?
Pretty websites, pretty desktops, pretty stuff in gen.
WHILE IT BEING ACCESSIBLE FOR OTHERS REGARDLESS!
Pretty websites, pretty desktops, pretty stuff in gen.
WHILE IT BEING ACCESSIBLE FOR OTHERS REGARDLESS!
December 20, 2025 at 2:21 PM
Why can we not have good things in life?
Pretty websites, pretty desktops, pretty stuff in gen.
WHILE IT BEING ACCESSIBLE FOR OTHERS REGARDLESS!
Pretty websites, pretty desktops, pretty stuff in gen.
WHILE IT BEING ACCESSIBLE FOR OTHERS REGARDLESS!
Sometimes, the people I follow concern me...
December 20, 2025 at 1:25 PM
Sometimes, the people I follow concern me...
Apparently, this warrants seeking medical help from a professional. Interesting....
I wish I could go back to being a child... I'd do so many things so differently...
Is it normal to feel a crippling sense of nostalgia while simultaneously not remembering ABSOLUTELY ANYTHING about your childhood?
Is it normal to feel a crippling sense of nostalgia while simultaneously not remembering ABSOLUTELY ANYTHING about your childhood?
December 20, 2025 at 7:08 AM
Apparently, this warrants seeking medical help from a professional. Interesting....
Reposted
I wish I could go back to being a child... I'd do so many things so differently...
Is it normal to feel a crippling sense of nostalgia while simultaneously not remembering ABSOLUTELY ANYTHING about your childhood?
Is it normal to feel a crippling sense of nostalgia while simultaneously not remembering ABSOLUTELY ANYTHING about your childhood?
December 20, 2025 at 1:51 AM
I wish I could go back to being a child... I'd do so many things so differently...
Is it normal to feel a crippling sense of nostalgia while simultaneously not remembering ABSOLUTELY ANYTHING about your childhood?
Is it normal to feel a crippling sense of nostalgia while simultaneously not remembering ABSOLUTELY ANYTHING about your childhood?
Reposted
I have sudo insults enabled and it can get nasty
December 19, 2025 at 11:31 PM
I have sudo insults enabled and it can get nasty
Are we federated yet?
December 19, 2025 at 11:11 AM
Are we federated yet?
Reposted
if you want to be attractive to women you need to become a high value man. to do this you must learn THE LUA PROGRAMMING LANGUAGE. women love a man who can write the LUA PROGRAMMING LANGUAGE. this sets you apart in the sexual marketplace, and shows that you can provide with THE LUA PROGRAMMING LANG-
September 21, 2025 at 9:11 AM
if you want to be attractive to women you need to become a high value man. to do this you must learn THE LUA PROGRAMMING LANGUAGE. women love a man who can write the LUA PROGRAMMING LANGUAGE. this sets you apart in the sexual marketplace, and shows that you can provide with THE LUA PROGRAMMING LANG-
Why does everyone i follow on bsky have such cool/cute art as their profile pic? How do I get mine 😭😭
December 18, 2025 at 11:50 PM
Why does everyone i follow on bsky have such cool/cute art as their profile pic? How do I get mine 😭😭
Reposted
man is everyone jumping on the LLM train just to get/save their job now
December 18, 2025 at 11:06 PM
man is everyone jumping on the LLM train just to get/save their job now
Reposted
imagine the world if we could convince ml people to use anything but python
December 18, 2025 at 4:17 PM
imagine the world if we could convince ml people to use anything but python
Phone's latest OS update
AI RECORDER, AI WRITER, AI PHOTOS, AI HOMESCREEN, AI AI AI
AI RECORDER, AI WRITER, AI PHOTOS, AI HOMESCREEN, AI AI AI
December 18, 2025 at 5:37 PM
Phone's latest OS update
AI RECORDER, AI WRITER, AI PHOTOS, AI HOMESCREEN, AI AI AI
AI RECORDER, AI WRITER, AI PHOTOS, AI HOMESCREEN, AI AI AI
Every day I realise just how true this is... 😔
Current operating system interfaces suck in my opinion. Why are strings the way to go about interfacing between things? Why is 'everything being a file' such a big deal? Dude, LET ME USE STRUCTURED DATA!
December 18, 2025 at 5:29 PM
Every day I realise just how true this is... 😔
Reposted
Programming language author: I have made a huge mistake and people have to constantly work around my mistake in perpetuity
Programming language user: I love everything about this language and these workarounds feel so sensible, idiomatic, and pragmatic to me
Programming language user: I love everything about this language and these workarounds feel so sensible, idiomatic, and pragmatic to me
March 19, 2025 at 8:58 PM
Programming language author: I have made a huge mistake and people have to constantly work around my mistake in perpetuity
Programming language user: I love everything about this language and these workarounds feel so sensible, idiomatic, and pragmatic to me
Programming language user: I love everything about this language and these workarounds feel so sensible, idiomatic, and pragmatic to me
Me using rec for shorthand of record in nushell must be a cardinal sin for OCaml/Nix users? Will I be persecuted by the soldiers on the bactrians, or under the snowflakes?
December 18, 2025 at 2:08 PM
Me using rec for shorthand of record in nushell must be a cardinal sin for OCaml/Nix users? Will I be persecuted by the soldiers on the bactrians, or under the snowflakes?
How's the scene with nixOS sandboxing of apps? Is it as good as flatpak + bubblewrap? Which is better or worse?
December 18, 2025 at 1:35 PM
How's the scene with nixOS sandboxing of apps? Is it as good as flatpak + bubblewrap? Which is better or worse?
Reposted
Reposted
OCaml's type variables genuinely baffle me.
let f_old x y z = (* something generic *)
let f = f_old x (* partial application *)
...
If I use f later as a function, the type gets fixed for every application of f (so I can't use something like f int_list and then f string_list).
let f_old x y z = (* something generic *)
let f = f_old x (* partial application *)
...
If I use f later as a function, the type gets fixed for every application of f (so I can't use something like f int_list and then f string_list).
December 17, 2025 at 7:26 AM
OCaml's type variables genuinely baffle me.
let f_old x y z = (* something generic *)
let f = f_old x (* partial application *)
...
If I use f later as a function, the type gets fixed for every application of f (so I can't use something like f int_list and then f string_list).
let f_old x y z = (* something generic *)
let f = f_old x (* partial application *)
...
If I use f later as a function, the type gets fixed for every application of f (so I can't use something like f int_list and then f string_list).
Reposted
i think more serious recommendations probably look like codeberg or self-hosting forgejo and the runners
December 16, 2025 at 10:13 PM
i think more serious recommendations probably look like codeberg or self-hosting forgejo and the runners
Reposted
Everyone wants to be the Great Hero who rooted out the next "Jia Tan", and who cares how many open source maintainers get burned in the process. *sigh*
December 16, 2025 at 7:28 PM
Everyone wants to be the Great Hero who rooted out the next "Jia Tan", and who cares how many open source maintainers get burned in the process. *sigh*
Reposted
GitHub Actions charging per build minute for *self-hosted-runners*? Shit's about to hit the fan lol
December 16, 2025 at 5:55 PM
GitHub Actions charging per build minute for *self-hosted-runners*? Shit's about to hit the fan lol
Current Todo:
- push supac updates (some good things are coming)
- finish the 3 hr NixOS tutorial (I stopped right before HM and flakes)
- SLEEP
- push supac updates (some good things are coming)
- finish the 3 hr NixOS tutorial (I stopped right before HM and flakes)
- SLEEP
December 16, 2025 at 5:21 PM
Current Todo:
- push supac updates (some good things are coming)
- finish the 3 hr NixOS tutorial (I stopped right before HM and flakes)
- SLEEP
- push supac updates (some good things are coming)
- finish the 3 hr NixOS tutorial (I stopped right before HM and flakes)
- SLEEP