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
06.02.2026 13:01 — 👍 5 🔁 2 💬 0 📌 0
FPIndia Online - Feb 2026
FPIndia Online Meetup for the month of Feb 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
30.01.2026 05:17 — 👍 4 🔁 3 💬 1 📌 1
FPIndia Online - Feb 2026
FPIndia Online Meetup for the month of Feb 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
30.01.2026 05:16 — 👍 2 🔁 0 💬 0 📌 0
Just use #NixOS and #KDE. Thank me later
22.01.2026 14:37 — 👍 1 🔁 0 💬 0 📌 0
Venn diagrams of join tables, from https://stackoverflow.com/questions/13997365/sql-joins-as-venn-diagram
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?
21.01.2026 17:22 — 👍 9 🔁 3 💬 1 📌 0
Home - ThinkNext Design
#Thinkpads are beautiful. By far the best looking hardware I have ever seen
thinknextdesign.com/home.html
18.01.2026 11:50 — 👍 0 🔁 0 💬 0 📌 0
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
13.01.2026 14:39 — 👍 6 🔁 4 💬 0 📌 0
No, not the "Indians" you were thinking of
16.01.2026 12:55 — 👍 1 🔁 0 💬 0 📌 0
A SimpleX invite QR code
Join me on SimpleX - smp11.simplex.im/a#CkSCGIVxkh...
30.11.2025 08:39 — 👍 0 🔁 0 💬 0 📌 0
#StrangerThings S5 is pretty terrible..
#Zootopia 2 is great!
29.11.2025 17:57 — 👍 1 🔁 0 💬 0 📌 0
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.
29.11.2025 00:42 — 👍 14 🔁 2 💬 0 📌 4
And #PureScript, the only real choice for pure statically typed functional programming for the web
29.11.2025 17:18 — 👍 2 🔁 0 💬 0 📌 0
Stackage Server
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
21.11.2025 13:48 — 👍 14 🔁 2 💬 0 📌 0
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!
21.11.2025 10:01 — 👍 9 🔁 5 💬 6 📌 0
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/
10.11.2025 15:48 — 👍 14 🔁 2 💬 0 📌 0
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
09.11.2025 17:27 — 👍 2 🔁 6 💬 0 📌 0
GrapheneOS >> iOS
NixOS + KDE >> MacOS
Thinkpad >> Macbook
No I will not be taking questions
08.11.2025 11:49 — 👍 8 🔁 0 💬 2 📌 0
Discover queues are cancer on all social media platforms
05.11.2025 06:05 — 👍 3 🔁 0 💬 0 📌 0
#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others
:rstats: :haskell: :julia: :rust: :apl: :python: :bash:
Also […]
🌉 bridged from ⁂ https://fosstodon.org/@jonocarroll, follow @ap.brid.gy to interact
Curious about mathematics, computer science, how people think and what leads to erroneous reasoning
ecsolticia.codeberg.page
Software Engineer, FP guy (particularly Haskell), I stream on programming (theory and practicals), gaming, piano, etc. on YT and Twitch @ola_musta.
I also sometimes write at https://ola.bearblog.dev/. Opinions are my own
Python Web Developer from Germany, focusing on FastAPI and Django. Also 3D printing and drones.
Jesus-follower (Anglican/Mennonite hybrid), husband, dad, grandpa, friend, neighbour, folk musician.
If you start following me and I see that you follow 14 million other people, I may well block you, for obvious reasons.
I present programs on TV and Radio, write history books and present a podcast called Empire with William Dalrymple. NOT IN THE CANADIAN GOVERNMENT!
Executive Director, Jordan Ctr. for Journalism Advocacy & Innovation/Asst. Professor of Practice @ Univ. of Mississippi;
Former VOA News White House bureau chief;
Author […]
🌉 bridged from ⁂ https://journa.host/@w7voa, follow @ap.brid.gy to interact
Scottish historian & art historian; @EmpirePodUK.bsky.social podcaster & Jaipur Lit Fest co-director. Visiting Fellow at All Souls, Oxford. Writes the occasional book.
Founder Functional Programming India, Concur UI framework.
“It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage […]
[bridged from https://social.id1.in/@aj on the fediverse by https://fed.brid.gy/ ]
I work on web, compilers, and type systems | he/him
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
基本的にうるさいです
🎮ゲーム制作 stellagate.yukikurage.net
♥️ 純粋関数型 (PureScript) zenn.dev/yukikurage/articles/482a8647421fd5
🎵 作曲(Dynamix / Takumi³ / ChainBeeT) soundcloud.com/yukikurage
🎨 イラスト www.pixiv.net/users/44737353
traP元代表 twitter.com/traPtitech
Building SaaS apps with Haskell and Elm:
Airsequel (https://airsequel.com)
github.com/ad-si
x.com/AdrianSieber
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
