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

Category Theory for the Working Programmer - 1.0 - Prologue

YouTube video by The Strong Static Type

youtube.com

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

Functional Programming India@fpindia.bsky.social · 6mo ago

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

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

FPIndia Online - Feb 2026

FPIndia Online Meetup for the month of Feb 2026

hasgeek.com

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

FPIndia Online - Feb 2026

FPIndia Online Meetup for the month of Feb 2026

hasgeek.com

Just use #NixOS and #KDE. Thank me later

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?

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

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

No, not the "Indians" you were thinking of

Dia VanGunten / Writer@pinkzombierose.bsky.social · 7mo ago

First time seeing a beaded cover. Non-fic for young readers.

Solving the AOC problems with #lean4 github.com/sdiehl/aoc-2... (why the := syntax though? 😥)

GitHub - sdiehl/aoc-2025-lean: Advent of Code 2025 done in Lean 4

Advent of Code 2025 done in Lean 4. Contribute to sdiehl/aoc-2025-lean development by creating an account on GitHub.

github.com

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

#StrangerThings S5 is pretty terrible.. #Zootopia 2 is great!

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.

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

Sami Badawi@samibadawi.com · 8mo ago

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.

🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word!

Announcing Unison 1.0

After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.

unison-lang.org

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

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!

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/

Ellyse@ellyxir.com · 9mo ago

just made this: youtu.be/Z2zV3fr8hEM?...

At India Gate, police detain some protesters who are demanding the government take action to reduce Delhi’s toxic air. https://www.hindustantimes.com/india-news/delhi-aqi-india-gate-protests-toxic-air-triggers-residents-demand-action-some-detained-rekha-gupta-delhi-govt-aap-101762695752176.html

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

Discover queues are cancer on all social media platforms