@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!
Reposted
Doing all my vibe coding in the Whoop fitness app from now on.
![Screenshot of the Whoop app from an iPhone. conversation is as follows:
Whoop bot: Hey Arlen, you're on your third straight yellow recovery today with 44%, even after some solid sleep. How's your body feeling this morning— more like you need to back off a bit or still up for light activity?
Me: Write fizbuzz in Haskell
Whoopbot:
Here's a simple FizzBuzz in Haskell:
fizzBuzz: Int -> String fizzBuzz n
In mod 15 == 0 = "FizzBuzz"
In mod 3 == 0 = "Fizz"
In mod 5 == 0 = "Buzz"
I otherwise
= show n
main :: 10 0
main = mapM_ (putStrLn. fizzBuzz) [1.100]
This prints FizzBuzz for the numbers 1 through
100. Want a point-free or more "functional" version too?](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:zihzhshurqeggpg3c2zbjmgb/bafkreichul35572pxm5k2cpo5nkfjlnmhfsxqj5a6a7td7twyhx3n2fnhq@jpeg)
January 6, 2026 at 10:15 PM
Doing all my vibe coding in the Whoop fitness app from now on.
Lua isn't that bad to write in after all...
January 7, 2026 at 12:08 PM
Lua isn't that bad to write in after all...
I'd be damned! Nobody ever told me anything about the rio library 😭😭😭
January 5, 2026 at 4:50 PM
I'd be damned! Nobody ever told me anything about the rio library 😭😭😭
Amazed to meet him in person
January 5, 2026 at 4:21 PM
Amazed to meet him in person
Turns out just being on For You for a while and muting any words (and related ones) immediately is a surprisingly efficient and fast way to remove unwanted posts from your feed.
January 3, 2026 at 4:50 PM
Turns out just being on For You for a while and muting any words (and related ones) immediately is a surprisingly efficient and fast way to remove unwanted posts from your feed.
I'm tired of seeing new posts on OmG i vIbEcOdEd aN eNtIrE aPp wItH cLaUdE CoDe
Jesus Christ, for once, just read what you're actually generating once. Claude is useful for prototyping at best. It might give you working code but it'll definitely not give you the most idiomatic/useful code.
Jesus Christ, for once, just read what you're actually generating once. Claude is useful for prototyping at best. It might give you working code but it'll definitely not give you the most idiomatic/useful code.
January 3, 2026 at 4:33 PM
I'm tired of seeing new posts on OmG i vIbEcOdEd aN eNtIrE aPp wItH cLaUdE CoDe
Jesus Christ, for once, just read what you're actually generating once. Claude is useful for prototyping at best. It might give you working code but it'll definitely not give you the most idiomatic/useful code.
Jesus Christ, for once, just read what you're actually generating once. Claude is useful for prototyping at best. It might give you working code but it'll definitely not give you the most idiomatic/useful code.
Reposted
gentle reminder not to vaguepost on here.
if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation".
people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed
if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation".
people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed
January 3, 2026 at 2:35 PM
gentle reminder not to vaguepost on here.
if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation".
people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed
if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation".
people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed
Do SWE companies not understand how to balance quality and delivery? Are they so focused on creating *more* instead of *better* that they resort to using AI to churn out copious amounts of code nobody can review at all, much less in time?
January 3, 2026 at 1:47 AM
Do SWE companies not understand how to balance quality and delivery? Are they so focused on creating *more* instead of *better* that they resort to using AI to churn out copious amounts of code nobody can review at all, much less in time?
I was wondering about this, and maybe some of you would have better answers. How exactly do you set up tracing/logging for your application?
The thing I'm working on rn, has, in effect very few basic operations (all of which can be combined together using a polyfill).
My problem is that logging
The thing I'm working on rn, has, in effect very few basic operations (all of which can be combined together using a polyfill).
My problem is that logging
January 3, 2026 at 1:39 AM
I was wondering about this, and maybe some of you would have better answers. How exactly do you set up tracing/logging for your application?
The thing I'm working on rn, has, in effect very few basic operations (all of which can be combined together using a polyfill).
My problem is that logging
The thing I'm working on rn, has, in effect very few basic operations (all of which can be combined together using a polyfill).
My problem is that logging
I still cannot believe that people would rather have AI agents ship code unreviewed and at a pace where no one else can review it either. This is absolutely hilarious and also so, so disappointing.
January 2, 2026 at 11:40 PM
I still cannot believe that people would rather have AI agents ship code unreviewed and at a pace where no one else can review it either. This is absolutely hilarious and also so, so disappointing.
Reposted
the only thing i got from reading this is just how cooked the brains of some engineers are that they seriously believe giving multiple agents full, unfettered, permissionless access to their code and to ship it - at a rate the person cannot realistically review themselves - is a good thing
this is one of the most insane [laudatory] things I’ve read today.
steve-yegge.medium.com/welcome-to-g...
steve-yegge.medium.com/welcome-to-g...
Welcome to Gas Town
Happy New Year, and Welcome to Gas Town!
steve-yegge.medium.com
January 2, 2026 at 11:32 PM
the only thing i got from reading this is just how cooked the brains of some engineers are that they seriously believe giving multiple agents full, unfettered, permissionless access to their code and to ship it - at a rate the person cannot realistically review themselves - is a good thing
How do people use age-encryption with their emails? Or do they simply not use email?
January 1, 2026 at 10:56 PM
How do people use age-encryption with their emails? Or do they simply not use email?
So my Ghost of Tsushima Director's cut does not have the Iki island DLC. That's sad 😔😔
January 1, 2026 at 10:34 PM
So my Ghost of Tsushima Director's cut does not have the Iki island DLC. That's sad 😔😔
NixOS fixes this (probably idk I haven't reached this level of a screw up yet)
I have pulled off an astonishing move. I have completely broken an immutable Linux system.
January 1, 2026 at 10:28 PM
NixOS fixes this (probably idk I haven't reached this level of a screw up yet)
I once spent hours debugging my code when the bug was in rustc's typechecker. Can't say our struggles are equivalent, but I can definitely sympathize.
Spent hours debugging the type checker when the bug was in the parser
January 1, 2026 at 10:24 PM
I once spent hours debugging my code when the bug was in rustc's typechecker. Can't say our struggles are equivalent, but I can definitely sympathize.
Please help me with this rust lifetimes skill issue before it hits new year here
play.rust-lang.org?version=stab...
play.rust-lang.org?version=stab...
Rust Playground
A browser interface to the Rust compiler to experiment with the language
play.rust-lang.org
December 31, 2025 at 4:12 PM
Please help me with this rust lifetimes skill issue before it hits new year here
play.rust-lang.org?version=stab...
play.rust-lang.org?version=stab...
Gotta love when I literally lose hair because of rust iterator lifetime issues.
December 31, 2025 at 2:40 PM
Gotta love when I literally lose hair because of rust iterator lifetime issues.
Reposted
saying “vibe coding is good for writing boilerplate” is admitting that vibe coding is only good at doing the one thing you’re supposed to *avoid* in good software engineering
December 26, 2025 at 10:29 PM
saying “vibe coding is good for writing boilerplate” is admitting that vibe coding is only good at doing the one thing you’re supposed to *avoid* in good software engineering
Is it just me or does someone else ABSOLUTELY HATE how ChatGPT is so patronizing. Like, it'll give blatantly hallucinated and conjured bullshit but will absolutely refuse to admit it did that.
December 31, 2025 at 2:12 PM
Is it just me or does someone else ABSOLUTELY HATE how ChatGPT is so patronizing. Like, it'll give blatantly hallucinated and conjured bullshit but will absolutely refuse to admit it did that.
Reposted
I see the React port is going well
December 31, 2025 at 12:07 PM
I see the React port is going well
Reposted
Today is the last day that you can repost this image
December 31, 2025 at 7:48 AM
Today is the last day that you can repost this image
Why do people still insist on using PGP and not age? Especially after what happened in that pgp fail conf.
December 31, 2025 at 8:35 AM
Why do people still insist on using PGP and not age? Especially after what happened in that pgp fail conf.
Why does bsky.app have 100+ blocks in the past 24 hours lol?
Bluesky
Social media as it should be. Find your community among millions of users, unleash your creativity, and have some fun again.
bsky.app
December 31, 2025 at 8:04 AM
Why does bsky.app have 100+ blocks in the past 24 hours lol?