mastodon
4.6.0-nightly.2026-03-16
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
Love how #Idris REPL greets you
Constructors are red / Types are blue / Your code always works / Because Idris loves you
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
Ruminating about the idea of adding to LinkedIn skills
"Can write code without LLMs"
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
The #Idris programming language is divine. I'm in love.
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
Just donated to #codeberg https://donate.codeberg.org/
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
As professionals it should embarrass ourselves calling an author "Uncle Bob".
I've always found it ridiculous.
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
I read a book on "Prompt Engineering".
I'm not even sure why this is even considered a topic. Let alone calling it "Engineering".
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
Am I the only person on Earth finding the output of Arch Linux pacman on 2 lines harder to read than 1-line outputs?
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
My next preferred acronym:
ai;dr
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
I hate the DELL XPS 13 keyboard. It's really shitty quality.
Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
I will never understand how we European, in 2026, tolerate that monarchy is still a thing.