Shitposting, if anything

Fucking around and finding out (mathematical)

Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don't even really need to be round)

Haskell in the streets, agda in the sheets.

#thonkin

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)

Please use Wire (or Signal) for private messaging.

#DevOps & Platform Engineering at AOE GmbH


always antifascist 🏴
always queer 🏳️‍🌈


Posting mainly about Kubernetes, DevSecOps and programming (Rust, Web Dev)


Currently learning Haskell.

She/they 🏳️‍⚧️ //
Haskell, Rust, types //
DMs are open

Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.

Developer Advocate at JetBrains (Rust, Kotlin, IntelliJ IDEA/CLion/Fleet). Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Programmer interested in #python #golang #vlang #haskell #elixir #elm and many more! Currently learning F#. User of #Neovim #Freebsd. Collector of #programming books!

Also into #hifi #vinyl #cds and #taichi

Linux, NixOS, Haskell, functional programming, mathematics, physics, philosophy, ...

I'm a software engineer at Spotify, building internal developer tooling on Kubernetes - mostly golang and python. In my spare time I also dabble in haskell, rust and open-source software in general. I'm a choir tenor. I'm learning how to dad, while my son learns how to human (it's great!). I like a good story. I think empathy is probably the most important quality in a person.

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

haskell, nix

Artist, designer, coder, FOSS enjoyer.

🧑🏻‍🎨 fine art, oil painting, acrylic, mixed media, calligraphy, design, logo, typography, minimalism, abstract art, pixel/ASCII/ANSI art, webcomic

🧑🏻‍💻 Python, Rust, Haskell, Elm, Tidal Cycles

⛺ nature, hiking, camping, DIY, hi-fi, strange music, object manipulation

💑 @annaweiss

Go see me at @mttaggart. Displaced Philly boy. Threat hunter. Streamer. Educator. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Co-creator of https://github.com/mttaggart/OffensiveNotion. Not your bro. All opinions my own. #fedi22 #searchable

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.

A clumsy furry trying to learn how to code for a hobby. me also sometimes goes mrp and meow randomly

My favorite video games to play includes Stardew Valley and CDDA. Sometimes CK2.

I'm not a super talkative person, but I'm friendly if you're nice.

English isn't my native tongue and am not good at it. You'll be seeing instances of me messing up with my words, rather often. I apologize.

👩🏽‍💻 programmer (TS, rust, haskell)
👩🏽‍🎓 northeastern '27
🏳️‍⚧️ trans woman
📥 open to chat about most things

FOSS person. #Gamedev for the #ZXSpectrum, #Amstrad CPC, #Commodore64, #MSX and other shiny things (PC and #DOS!).

Also #Scala, #C, #Python and #haskell, and some (retro) gaming.

Not made of actual Lego.

Toots have TTL.

Moved from @reidrac

#nobot #nobots #noindex

Header: a photo of a Sony Trinitron TV displaying a scene from the game The Dawn of Kernel (Amstrad CPC) in all its CRT beauty.

Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of http://Talenteca.com
For geeks -> @csaltos