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 — 👍 15 🔁 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 — 👍 15 🔁 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 🔁 7 💬 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
Mathematics, DSLs, automata, computer simulation and big words tickle my fancy.
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.
Mayor-Elect of New York City
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/ ]
purescript @ oxfordabstracts.com
core team @ purescript.org
organiser @ functional.org.ph
I work on web, compilers, and type systems using FP
🇵🇭 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
