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. https://en.wikipedia.org/wiki/Web_Standards_Project

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.

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

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

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

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]

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.

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 […]

Online propaganda against Indians is off the charts these days 😶

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

Biblically-accurate power outlet #shitpost

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

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

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 […]

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

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

The jokes write themselves. #ai #news https://www.theregister.com/2025/07/21/replit_saastr_vibe_coding_incident/

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

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

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 (https://swicg.github.io/geosocial/). It is pretty neat. I will share more info when the tool is working better, but it feels cool […]

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

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

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

Saw #sitaarezameenpar. It is NOT a perfect movie. It's a ham fisted and over acted slog by #aamirkhan who needs to stop remaking foreign movies https://functional.cafe/@haskman/110876074343836673

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

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

Yay! My PR¹ for building static executables for #haskell projects with #nix has been merged in my favourite Nix-for-haskell framework Nixkell. ¹ https://github.com/pwm/nixkell/pull/50

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 […]

#kde, #neovim, #blender3d. Software that is already best in class and keeps getting better!

Liquid cheese

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]

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! […]

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!

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

#indieweb club #bangalore has a meetup this Saturday, this time focusing on discovering the IndieWeb, via #rss #feeds and otherwise. Please register yourself at https://underline.center/t/indiewebclub-3-with-ankur-and-tanvi/366 if interested.

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

Playing around with #dependenttypes and started writing a (currently pretty silly) #singletons library port for #purescript - https://forge.id1.in/aj/purescript-singletons/ #haskell #functionalprogramming

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

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: https://pdubroy.github.io/200andchange #programming

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

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

Most languages: "Here are our numbers: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10. Have fun!" 🤗 Japanese: "Here are the numbers for medium-sized objects. Unless they are long and thing, then you may want to use these. Unless they are flat, then you need this other set of numbers. Wait, does the thing have […]

your periodic reminder that telegram is convenient but wildly insecure, with problematic administration: https://www.404media.co/telegram-gave-authorities-data-on-more-than-20-000-users/ try signal. it doesn’t suck anymore.

It's super cold, and also somehow 22C? How?

#Pocket is dying so it's appropriate to talk about the minimal #ReadLater service I wrote for myself: LinkFodder. You can save links via an API, or a form, or a Telegram bot, and you get an HTML page (shown below) and an Atom #feed. That’s it. Supports […] [Original post on fantastic.earth]

#haskell is not for everyone, but it is for anyone