iiinova — where your digital self keeps evolving

Anupam λ≡ @haskman.bsky.social · 27/02/2026

Starting a new video series on #CategoryTheory. Please provide feedback. Brickbats welcome, especially of the constructive kind! #FunctionalProgramming www.youtube.com/watch?v=aKIu...

youtube.com

Category Theory for the Working Programmer - 1.0 - Prologue

YouTube video by The Strong Static Type

021

Reposted by Anupam λ≡

Functional Programming India @fpindia.bsky.social · 06/02/2026

Reminder: We are meeting tomorrow morning for a #FunctionalProgramming #meetup. Everyone is welcome to attend! See you there! #FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure

052

Reposted by Anupam λ≡

Functional Programming India @fpindia.bsky.social · 30/01/2026

Not in Bangalore but want to attend an #FPIndia meetup? No problems! Join us for an online meetup open to all. RSVP at hasgeek.com/fpindia/fpin... #FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure

hasgeek.com

FPIndia Online - Feb 2026

FPIndia Online Meetup for the month of Feb 2026

143

Reposted by Anupam λ≡

Hillel @hillelwayne.com · 21/01/2026

Why are Venn diagrams of SQL joins misleading? Let me count the ways: 1. The inner join is the intersection of A and B. But A and B are different types, so the intersection should be empty! 2. The left outer join is the whole circle A, so... what's B even doing there at all?

Venn diagrams of join tables, from https://stackoverflow.com/questions/13997365/sql-joins-as-venn-diagram

193

Anupam λ≡ @haskman.bsky.social · 18/01/2026

#Thinkpads are beautiful. By far the best looking hardware I have ever seen thinknextdesign.com/home.html

thinknextdesign.com

Home - ThinkNext Design

000

Reposted by Anupam λ≡

Logic Matters @logicmatters.bsky.social · 13/01/2026

There's a new version of my *Introducing Category Theory* now available -- a freely downloadable PDF and also a very-cheap-for-its-size pbk. Enough corrections/improvements to count as a "third edition". For info/link see logicmatters.net/categories Please spread the word! #MathSky #PhilSky

053

Anupam λ≡ @haskman.bsky.social · 16/01/2026

No, not the "Indians" you were thinking of

010

Anupam λ≡ @haskman.bsky.social · 30/11/2025

Join me on SimpleX - smp11.simplex.im/a#CkSCGIVxkh...

000

Reposted by Anupam λ≡

Sami Badawi @samibadawi.com · 29/11/2025

A pure functional programming language has long been a utopian dream. We suddenly have 3 strong contenders: * @haskell.org with better tooling * Lean 4, adopted by mathematicians * @unison-lang.org out in v 1.0 Good time to revisit pure.

0142

Anupam λ≡ @haskman.bsky.social · 29/11/2025

And #PureScript, the only real choice for pure statically typed functional programming for the web

020

Reposted by Anupam λ≡

Haskell programming language @haskell.org · 21/11/2025

Did you know? While not a perfect replacement, `cabal` can use Stackage package sets by importing the version constraints file that is provided by stackage.org. Create a `cabal.project` file and add the lines: ``` packages: ./ import: www.stackage.org/lts-24.4/cab... ``` 🥳 #Haskell

stackage.org

Stackage Server

0142

Reposted by Anupam λ≡

Gleam Programming Language @gleam.run · 21/11/2025

What's missing for you to start a project or an enterprise using Gleam? We're always looking improve Gleam-in-production, so your opinions are super valuable!

695

Reposted by Anupam λ≡

Haskell programming language @haskell.org · 10/11/2025

Nice. Not quite the same level of introduction, this interactive game by David Peter called Cube Composer does a great job at explaining higher-order functions and their composition: david-peter.de/cube-composer/

david-peter.de

cube composer

A puzzle game inspired by functional programming.

0142

Reposted by Anupam λ≡

Steve Herman @w7voa.journa.host.ap.brid.gy · 09/11/2025

At India Gate, police detain some protesters who are demanding the government take action to reduce Delhi’s toxic air. www.hindustantimes.com/india-news/d…

026

Anupam λ≡ @haskman.bsky.social · 08/11/2025

GrapheneOS >> iOS NixOS + KDE >> MacOS Thinkpad >> Macbook No I will not be taking questions

280

Anupam λ≡ @haskman.bsky.social · 05/11/2025

Discover queues are cancer on all social media platforms

030