Sign in

Anupam λ≡

@haskman.bsky.social
13 followers 67 following 10 posts

“It’s all fine, if the compiler says it’s fine”. "Be irrational. Don't let the economists win" "Rage against walled gardens" #Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Atheism

PostsRepliesMedia
Reposted by Anupam λ≡
Functional Programming India @fpindia.bsky.social · 29/09/2026
What does #FunctionalProgramming and #Python have in common? A LOT apparently. Come join us for an offline joint #meetup between #FPIndia and #BangPypers, and find out more. All skill levels welcome! luma.com/vcsaybf3 #Haskell #Clojure #TypeScript #Rust #Elixir #FP
luma.com
FPIndia x BangPypers October Meetup · Luma
What does Python have to do with Functional Programming? A LOT as it turns out. Come join us at an offline meetup for all Functional Programming and Python…
033
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
Anupam λ≡ @haskman.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
020
Anupam λ≡ @haskman.bsky.social · 22/01/2026
Just use #NixOS and #KDE. Thank me later
010
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
Reposted by Anupam λ≡
Eric Torreborre @etorreborre.blog · 05/12/2025
Solving the AOC problems with #lean4 github.com/sdiehl/aoc-2... (why the := syntax though? 😥)
github.com
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.
041
Anupam λ≡ @haskman.bsky.social · 30/11/2025
Join me on SimpleX - smp11.simplex.im/a#CkSCGIVxkh...
A SimpleX invite QR code
000
Anupam λ≡ @haskman.bsky.social · 29/11/2025
#StrangerThings S5 is pretty terrible.. #Zootopia 2 is great!
010
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 λ≡
Unison @unison-lang.org · 25/11/2025
🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word!
unison-lang.org
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.
012462
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