iiinova — where your digital self keeps evolving

Reposted by Anupam 🇮🇳《ミ》λ≡

Evan Prodromou 🇨🇦🇺🇸🇬🇷🇵🇸 @evan.cosocial.ca.ap.brid.gy · 11/09/2025

The Web Standards Project was instrumental in this work. Their work has probably generated a trillion dollars in value for the planet and saved countless lives. Open standards fucking matter. en.wikipedia.org/wiki/Web_Standards…

en.wikipedia.org

Web Standards Project - Wikipedia

111 1

Reposted by Anupam 🇮🇳《ミ》λ≡

Evan Prodromou 🇨🇦🇺🇸🇬🇷🇵🇸 @evan.cosocial.ca.ap.brid.gy · 11/09/2025

I don't know if modern Web developers are aware how much of a struggle it was to get to the HTML5 stack we use today. There was a loooooooooot of bullshit to wade through. VBScript, Java applets, browser plugins, Flash. It was a fight every step of the way.

143 4

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 08/09/2025

Not often you find a proof that's intuitive and makes sense to a programmer but also does not assume you are talking only about the set category #CategoryTheory #FunctionalProgramming

001 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 04/09/2025

Whoa, there are 21 registrations already for the Sept #FPIndia #Bangalore meetup. Usually we get 7-8. Hoping all these people show up #FunctionalProgramming #Meetup

001 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 03/09/2025

Working on an ASCII editor #TUI in #Rust. Figlet support was easy with figlet-rs!

012 2

Reposted by Anupam 🇮🇳《ミ》λ≡

Dan Piponi @dpiponi.mathstodon.xyz.ap.brid.gy · 26/08/2025

I like the game of making up a combinatorial counting problem, writing some code to count, and looking up the results in OEIS. So… 34 360 4240 53184 695462 9366968 128974482 1806466376 25649169360 I thought I’d count the paths starting and ending at (1,1) […] [Original post on mathstodon.xyz]

100 1

Reposted by Anupam 🇮🇳《ミ》λ≡

Xe :verified: @cadey.pony.social.ap.brid.gy · 25/08/2025

4449 49

Reposted by Anupam 🇮🇳《ミ》λ≡

Adrianna Tan @skinnylatte.hachyderm.io.ap.brid.gy · 24/08/2025

The benefits of having an amazing public library system cannot be overstated. Almost any books, textbooks, media, vinyl records, they have it here. They have free printing services. Protect and resource libraries.

3857 57

Reposted by Anupam 🇮🇳《ミ》λ≡

Abhinav 🧭 @abnv.me · 24/08/2025

I'm writing a series of blog posts, in which I write a #bytecode #compiler and a #virtualMachine for arithmetic in #Haskell. We explore the following topics in the series: - Parsing arithmetic expressions to ASTs. - Compiling ASTs to bytecode. - Interpreting ASTs. - Efficiently executing […]

fantastic.earth

Original post on fantastic.earth

024 4

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 20/08/2025

Online propaganda against Indians is off the charts these days 😶

001 1

Reposted by Anupam 🇮🇳《ミ》λ≡

Sam Rose @samwho.hachyderm.io.ap.brid.gy · 17/08/2025

Email addresses are very simple, and you will score highly in this quiz. e-mail.wtf

e-mail.wtf

Email is Easy

Everyone knows what an email address is, right?

1611130 130

Reposted by Anupam 🇮🇳《ミ》λ≡

PurpleJillyscreams :YuriScream: @purplejillybeans.kind.social.ap.brid.gy · 11/08/2025

Biblically-accurate power outlet #Shitpost

A conglomeration of every possible 240v power outlet.

841106 106

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 11/08/2025

In case someone wants to help me write a remove function for typelevel lists in Rust forge.id1.in/aj/rust-variant/src/br…

001 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 11/08/2025

Working on a simple polymorphic variants implementation for #Rust. Running hard into Rust type system limitations

210 2

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 08/08/2025

I know someone who churns out 1million lines of code a day thanks to #AI. But it's probably a limit case. He's a hotshot programmer, and he's vibing 24hrs a day. But he's not naive. It's not not bug-filled crap. /s

001 1

Reposted by Anupam 🇮🇳《ミ》λ≡

Abhinav 🧭 @abnv.me · 02/08/2025

I'm starting a series of blog posts, in which I write a #bytecode #compiler and a #virtualMachine for arithmetic in #Haskell. We explore the following topics in the series: - Parsing arithmetic expressions to ASTs. - Compiling ASTs to bytecode. - Interpreting ASTs. - Efficiently executing […]

fantastic.earth

Original post on fantastic.earth

003 3

Reposted by Anupam 🇮🇳《ミ》λ≡

Abhinav 🧭 @abnv.me · 27/07/2025

I've got to learn this "weird French programming language that no other company uses" used by this one company named Jane Street so that no other companies will hire their employees. #ocaml

Screenshot of a YouTube video that claims that Jane Street uses "a weird French programming language that no other company uses" so that no other companies will hire their employees.

033 3

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 24/07/2025

Today we drove past a church with a large board saying something like "Jesus will save you", and my son turned to me genuinely confused and said "Isn't Jesus dead?" Very proud that I have managed to shield my children from #OrganisedReligion

000 0

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 18/07/2025

My #FOSS contributions have dropped down to zero over the past year or so. Thanks #AI

101 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 11/07/2025

"Do you still live at home?" What do you think "home" means?

000 0

Reposted by Anupam 🇮🇳《ミ》λ≡

Evan Prodromou 🇨🇦🇺🇸🇬🇷🇵🇸 @evan.cosocial.ca.ap.brid.gy · 10/07/2025

This is the first checkin I've done with the #ActivityPub API using the new checkin tool I've been working on for the SocialCG geosocial task force (swicg.github.io/geosocial). It is pretty neat. I will share more info when the tool is working better, but it feels cool […]

cosocial.ca

Original post on cosocial.ca

3110 10

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 02/07/2025

#AI #LLM bots may have stolen all my code but atleast it makes me feel better about never writing any documentation or comments

003 3

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 01/07/2025

Unless you are ultra rich or ultra powerful, your quality of life is shit, and the prospects for any improvents are shit. You might think you are neither and your life is good, but then you are either in denial, or incredibly lucky, or you have reached a state of desensitization where you have […]

social.id1.in

Original post on social.id1.in

000 0

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 01/07/2025

#India is quickly becoming unlivable. This is a frog boiling sort of a situation, where the frog is the collective will of the populace

100 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 28/06/2025

Fahrenheit lovers: 100F - Really hot 0F - Really cold Me from India: 100F - Meh 0F - Dead #MetricSystem #FahrenheitSucks

002 2

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 22/06/2025

Fixing traffic in #India will fix 90% of its problems. And there is only one way to fix India's traffic, #BanCars

010 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 20/06/2025

#TypeScript should get dependent types so this 5th time behaviour could be encoded statically

000 0

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 20/06/2025

When I say zero, I mean zero FFS #Javascript is not a serious language

201 2

Reposted by Anupam 🇮🇳《ミ》λ≡

Joanna Bryson, blathering @j2bryson.mastodon.social.ap.brid.gy · 18/06/2025

Honda pulls off surprise reusable rocket test launch Honda says growing expectations of a "data system in outer space" are going to increase the demand for rockets to launch satellites. So, the Japanese automaker quietly built one and tested it successfully […]

mastodon.social

Original post on mastodon.social

027 7

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 18/06/2025

#KDE, #Neovim, #Blender3D. Software that is already best in class and keeps getting better!

000 0

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 17/06/2025

@Linux why use TLP instead of power profiles daemon with KDE?

101 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 13/06/2025

@gcsolaroli looks yum, I really like italian cuisine! Where I live, I struggle to find good parmesan for my pasta 🤷🏻‍♂️ You can get it at some specific stores but it's not available at your average neighborhood shop

000 0

Reposted by Anupam 🇮🇳《ミ》λ≡

nemo @nemo.tatooine.club.ap.brid.gy · 10/06/2025

EasyZip, a company from Bangalore, ran a pilot program in 2019 and distributed these address boards to thousands of Bangalore offices and residences. You can easily find one in your neighborhood. I saw one today, and decided to open the website only to find […] [Original post on tatooine.club]

Photo of a yellow/white board on a building front that reads:

BBMP EZ9X3C IND
900 777 269
www.easyzip.in

101 1

Reposted by Anupam 🇮🇳《ミ》λ≡

nemo @nemo.tatooine.club.ap.brid.gy · 08/06/2025

The Open Data devroom at #IndiaFOSS got 23 proposals (including 2 workshops, which we can't host but are promoting to the main conf). Our original plan was for 4x25min + 5x10min talks for a total of 9 talks. Trying to eek out more speaking time somehow because the proposals are pretty great! […]

tatooine.club

Original post on tatooine.club

000 0

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 06/06/2025

There is only one rule. It's much easier to add new things than to change existing behavior. #FunctionalProgramming changes that. #FearlessRefactoring for the win!

012 2

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 06/06/2025

Watching the Trump-Musk fued unfold. Modi has the chance to do the funniest thing right now

111 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 31/05/2025

Watched Mission Impossible Final Reckoning. A good #movie, but all I really remember are the action scenes which are phenomenal. The story itself is paper thin

010 1

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 30/05/2025

Bought #BlackMesa in a #Steam sale. Played for a bit and immediately remembered why #HalfLife is the best game I have ever played. The atmosphere and level design is incredible! #Gaming

000 0

Reposted by Anupam 🇮🇳《ミ》λ≡

Abhinav 🧭 @abnv.me · 29/05/2025

The tiny but complete #JSON parser that I wrote in #Haskell years ago is now featured in the 200-and-change collection of programs by @dubroy: pdubroy.github.io/200andchange #programming

pdubroy.github.io

README

003 3

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 26/05/2025

@abnv Ah I have seen the singletons series on this blog but was not aware of this one. Thanks for the link!

000 0

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 25/05/2025

Has anyone ever used #DependentTypes for anything practical? I'm struggling to find a use case that's not track the length of an array

102 2

Reposted by Anupam 🇮🇳《ミ》λ≡

Drew @drewsh.com · 25/05/2025

hii anyone on fedi in Bengaluru? I'd love to be friends! :blobhaj_mlem:

002 2