Leanpub is a unique platform for writing & publishing, with a bookstore that helps readers discover new books & authors every day! Follow us for news & deals!

Your average Haskell + Nix person; I am interested in modern functional programming languages like lean4 and koka, recently also elixir.

Currently finishing Bachelor's and writing Haskell for wire messenger.

Sometimes I build mechanical keyboards.

I am interested in discussions if the goal is to learn something, if you're just trying to persuade me, please leave me alone.

I will post in English and will occasionally boost German (network-)politics related things.

he/him is fine

Committed to a welcoming, vibrant & flourishing #Haskell community!

Haskell.

Mainly here for the TTRPG community. I'm at the story / indie games end of things. #RPG #TTRPG

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

Flora is a package index for the #Haskell ecosystem.

Follow for development news, operational status and higher-kinded memes

Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him

Independent software developer & consultant, #plaintextaccounting wiz, #hledger creator, haskeller, technoyogi, from Wicklow 🌲, Los Angeles 🌳, Maui 🌴 counties.

I am a mathematical physicist and software developer.

I love choir singing and ballroom dancing.

I spend most of my time coding #haskell, #nix, #nixos.

Have you tried out one of my projects:

https://git.maralorn.de/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de

Husband, father, grandfather, follower of Jesus, but very much a work in progress.

Retired software developer, visiting lecturer, IETF editor. Likes repairability. BTW I use arch.

Hobbies: reading, blogging, running, sailing.

Delighted to live in Winchester, UK. Involved in a local church.

Banner: Derwent Water
Profile picture: Dorset coast

I am usually rambling about free software, overthrowing capitalism and Biryani.

hacker.

🇵🇸 | Biden/Israel apologist DNI
🧙‍♂️ | Herding bits and cats
🧠 | Actually Autistic
🕹️ | Retrogaming
🐧 | Opensource
🎮 | Gamedev
😺 | Cats
🛸 | SciFi
🇵🇾 🇧🇷 🇵🇸 🇺🇦

math. programming. fancy types. haskell.
https://6d03.info

Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)

cogito ergo coproduct

Tech lead, gamer, mandolin player, bridge hunter, mom, governor in exile of Newer New England, likes writing games and playing with AI

Sex, drugs, and obscure thoughts about capitalism, and technology. Also #art, functional programming, logic, formal systems etc.
they/them
https://abuseofnotation.github.io/
https://aethy.com/@abuseofnotation

Dysfunctional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue

Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL.

Talk to me about:

• Dependently typed programming
• Tabletop role-playing games
• Playing bassoon and clarinet
• Effective altruism
• Climate change
• Neurodiversity
• Mindfulness
• Creativity
• Hiking and landscape photography

• anime & manga • strong copyleft • privacy
• linux • functional programming • tech

No Freedom exists without Privacy.

Currently #scala software developer.
Half-shit posting around. Check at your own risk.

Founder Functional Programming India, Concur UI framework.

“It’s all fine, if the compiler says it’s fine”.
"Rage against walled gardens"

#Haskell, #Purescript, #Rust, #FunctionalProgramming, #Robotics #3DPrinting #India #FOSS #Spanish #Japanese #Atheism

Polyglot web developer learning new things and making cool stuff.

I am looking for work! If you need an experienced functional programmer to level up your team, let me know.

Computer scientist pursuing a PhD degree with a focus on automated testing of software for embedded systems using symbolic execution. In my spare time, I am also a regular contributor to Alpine Linux. Additional interests include functional programming (mostly Scheme and Haskell), software security, operating systems (Alpine Linux, OpenBSD, Guix, RIOT), and computer architecture (mainly RISC-V).

The Truth is Out There! 👽

🔹 Been writing software for over 40 years
🔹 Born and raised in France
🔹 Moved to the US when offered a job at Apple in my early twenties
🔹 Started and sold a few companies
🔹 Did a lot of consulting
🔹 Ran one of the first daily Linkblog, mostly focused on Java
🔹 Wrote a weekly column for the Java Developer's Journal
🔹 Cancer survivor
🔹 Time's Person of the Year in 2006

Lifelong programmer, chaotic good. Host of the Developer Voices podcast.

Husband, dog dad, coder, Zcasher, living in the Twin Cities, Mni Sota.

Creator of https://zeal.center/@zgo

Interests:
#privacy
#crypto
#Zcash
#Haskell
#dogs
#FountainPens
#chess
#go (the game, not the language)
#hiking
#MNstodon

Born and raised in 🇪🇨 , will sometimes toot in #Español .

:zcash: :haskell: :vim:

Führer der terranischen Flotte,
Erfinder der stellaren Navigation (mal ehrlich, wer mich fliegen sieht WEISS warum man Navis hat)
Langschläfer, Nacht Spaziergänger, Glühwürmchen-Voyeurist, Nerd, hasst KI macht es aber trotzdem, liebt Embedded macht es aber zu selten. Professionell: Gutmütig, freundlich, zuvorkommend; Privat: Jähzornig, Cholerisch, schmolled => In 40 Jahren Gernott Hassknecht 4.0

Software Developer | FOSS enthusias | ⛵

Doing computer stuff, mostly.

Follow requests welcome.

Profile pic: pixel art of a smiling Pikachu on trans flag background with enby hearts by my partner https://lgbtqia.space/@zozo

Header: GIF of a green alien with five eyes and a grin (the lisp alien) holding a flag with "Drew" written on it. The flag is waving and the backgroung is non-binary flag colours.
Source: my partner! https://dotpict.net/users/3247908

I’m a 20 year old computer science student living in Berlin, Germany.
I am interested in maths, physics, linguistics, and programming.
In particular I program in #rust (although I’m a beginner here), #python, #nix (I use #nixos), and #haskell, for uni I use #java and #c and #sql.
I have a #website (and #blog) at https://anselmschueler.com.

International Undergrad Computer Science Student.
Inclusions officer for CompSoc and
Treasurer for SWiCS
Space and Gaming Enthusiast,
Queer Intersectional Feminist,
all around Spreadsheet Witch and sometimes digital painter out of necessity

Danish software design

Researcher at Roskilde University in 🇩🇰, interested in fluid dynamics and physics. Loves (good) coffee and solving puzzles.