Header Image
Boyd Stephen Smith Jr.
@[email protected]

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.

Last seen 1 day ago
Posts 7,733
Followers 150
Header Image

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.

Last seen 1 day ago
Posts 5,834
Followers 336
Header Image

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

Last seen 1 day ago
Posts 51
Followers 110
Header Image
Olivia Weston
@[email protected]

Programming languages PhD student at University of Glasgow, programmer, sysadmin, lover of Haskell, purveyor of fine dining and fine memes

Last seen 2 days ago
Posts 78
Followers 34
Header Image

math. programming. fancy types. haskell.
6d03.info

Last seen 2 days ago
Posts 4,717
Followers 137

Software Developer, currently creating theme and template websites for sale and sharing what I've learned about it.

I am interested in moving the web forward, so I read and share a lot about , , , , , , and .

I am also interested in languages like , , , , and .

I like languages like , , too.

I am a , believer, and advocate.

Last seen 2 days ago
Posts 2,910
Followers 140
Header Image

Astronomer. Interested in Open Science, how to do Science, Haskell, Semantic Web, and other stuff.

Secretary of the Astrostatistics Interest Group of the American Statistical Association for 22/23

Last seen 2 days ago
Posts 758
Followers 111
Header Image
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last seen 2 days ago
Posts 128
Followers 250
Header Image

Emily, putting the gay into transHaskellrust

, , , and nerd hoping to flood the internet with my rambles and projects. Also an Arch arch user btw

Feel free to DM me and say hi :)

Last seen 2 days ago
Posts 2,169
Followers 302
Tomas Aschan [ɐ̆sˈkɑːn]
@[email protected]

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.

Last seen 2 days ago
Posts 413
Followers 54
Header Image
José A. Alonso
@[email protected]

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

Last seen 2 days ago
Posts 3,648
Followers 1,088
Header Image

Interests:

- Some tech origins, mainly beginnings of , CP/M, , and thus / . Fond of too. Looking up to and .

- Network infra /IP, and progress.

- Standard editors such as vi () - after about three decades of growing into it, more and more of .

- Text interfaces, , ,

- Fan of version control, coming from through

- Not a luddite at all, but I don't favour all tech or all vendors.

Last seen 2 days ago
Posts 1,876
Followers 318
Header Image
Patrik Jansson
@[email protected]

Computer scientist, 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, , Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)

Last seen 2 days ago
Posts 601
Followers 240
Header Image
Haskell Weekly
@[email protected]

Articles, projects and tutorials about .

Weekly newsletter: discu.eu/weekly/haskell

Last seen 2 days ago
Posts 1,683
Followers 1,430
Header Image
Vincent Zee 徐
@[email protected]

Programmer interested in and many more! Currently learning F#. User of . Collector of books!

Also into and

Last seen 2 days ago
Posts 244
Followers 87
Last seen 2 days ago
Posts 1,985
Followers 1,310
Header Image
Frédéric Menou
@[email protected]

I mostly pouet about software development, do bad puns, and troll acquaintances. Also , , and alikes.

Last seen 2 days ago
Posts 1,029
Followers 192
Header Image
Kalamata Hari
@[email protected]

Indoor European. I know . I write (in or or or or ).

Last seen 2 days ago
Posts 5,506
Followers 163
Header Image
Daniel Casanueva
@[email protected]

This is my public personal profile.

The profile picture is a portion from 芝弁天池 (The Pond at Benten Shrine in Shiba) by 川瀬 巴水 (Kawase Hasui).

Last seen 2 days ago
Posts 68
Followers 6
Header Image

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.

Last seen 2 days ago
Posts 482
Followers 369
Header Image
Vincent Ging Ho Yim
@[email protected]

🇭🇰🇦🇺 • data engineering / analytics • Haskell / Python • stenography (Plover) • logic puzzles • learning languages (🇯🇵🇰🇷) • he / him

Last seen 2 days ago
Posts 167
Followers 4
Header Image

I like maths, nature, literature and people. Sometimes found fiddling with Emacs, Haskell or Lean. I am brazilian and I have .

Posts are multilingual (pt or en). If you don't want to see portuguese posts, you can filter them out in your settings.

Last seen 2 days ago
Posts 301
Followers 97
Header Image

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding , , , am a co-maintainer of nixpkgs.haskellPackages and a member of the Steering Committee. Apart from that I love choir singing, ballroom dancing and playing Dungeons & Dragons.

Try out my projects:

code.maralorn.de/maralorn/nix-
matrix.to/#/@nixpkgs-bot:maral

Last seen 2 days ago
Posts 1,686
Followers 435
Header Image
Bartosz Milewski
@[email protected]

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming

Last seen 2 days ago
Posts 1,616
Followers 4,455
Header Image

Haskell / Scala developer, author of specs2 and registry

Last seen 2 days ago
Posts 342
Followers 300
洪 民憙 (Hong Minhee)
@[email protected]

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in , , , & . They/them.

()

Last seen 2 days ago
Posts 314
Followers 397
Header Image

Haskell programmer, Linux user.

Last seen 2 days ago
Posts 446
Followers 63
Header Image

21 years old student at Epitech Toulouse (5th year) and Free software enthusiast.

I like to program in C/Haskell/Python.
I hate C++.
CubicServer's maintainer.

Posts get deleted after 2 weeks for privacy related reasons :3

Last seen 2 days ago
Posts 20
Followers 38
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last seen 2 days ago
Posts 1,391
Followers 228
Header Image

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

Last seen 2 days ago
Posts 2,384
Followers 533
Header Image
Sebastian Wagner
@[email protected]

Father of to girls, Husband, Head of Software at croit.

Prior: component lead, Red Hat, SUSE, it-novum, inter.link

Haskell is cool.

Last seen 2 days ago
Posts 227
Followers 77
Header Image

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

Last seen 3 days ago
Posts 53
Followers 235
Header Image

A computer user (Debian GNU/Linux and Emacs are major parts of it), a programmer (primarily Haskell, C, PostgreSQL these days), occasional system administrator. Interested in CS and other STEM subjects, trying to catch up on non-STEM ones as well.

Last seen 3 days ago
Posts 721
Followers 43
Header Image
Nora Dimitrijević
@[email protected]

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, amateur and karaoke fiend.

Based in Amsterdam 🇳🇱.

Interests:

Personal:

Last seen 3 days ago
Posts 75
Followers 41
Header Image
Robin Hartley
@[email protected]

🌌 𝚽+IT,🎨 CC0🔑 𝐗🌱♻️ | A cyberfairy, weaving optimal cosmos out of love and logic.

A (), adherent of engaged in
∙ exploration of and
∙ development of for , , and
∙ drawing occasional
∙ harm reduction(, , )
∙ optimization(, , )
∙ learning , , and
∙ perusing (), , , and .

gnu cc_zerotor nixpython rust haskellms_dos 🧚🧝🦌🐰🚊🚲🌍🏙️🖌️🎸

Loves deep conversations, receiving critique, and friendly banter.

Last seen 3 days ago
Posts 80
Followers 44
Header Image

is my day job.

are the other things I like to do.

I enjoy listening to ; reading non-fiction (, , ), , and ; and watching quirky tv shows.

Last seen 4 days ago
Posts 361
Followers 91
Header Image
kevin ✨ (he/him)
@[email protected]

& Platform Engineering at AOE GmbH
always antifascist

🏴 always queer 🏳️‍🌈


Posting mainly about Kubernetes, DevSecOps and programming (Rust, Web Dev)
Currently learning Haskell.

Last seen 4 days ago
Posts 516
Followers 69
Header Image
João Pedro Neto
@[email protected]

Professor of Computer Science @ U.Lisbon. 🥰 Programming (R, Haskell, Python), Bayesian Stats, CGT; Movies, Abstract Games, Math, Critical Thinking, Ecology.

Last seen 4 days ago
Posts 30
Followers 8
Header Image

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

Last seen 4 days ago
Posts 779
Followers 453
Header Image

Haskell | Running

Against all authority! He/him

Last seen 5 days ago
Posts 17
Followers 2
Header Image

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).

Last seen 5 days ago
Posts 98
Followers 231
Header Image

Interests in no particular order: , , , , (Boardgame), (Retro and Indie), , ,

If you want to follow me, and we don't know each other in meat space, your profile should give me an idea about who you are.

Last seen 5 days ago
Posts 7,398
Followers 439
Carlos Saltos
@[email protected]

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

Last seen 5 days ago
Posts 174
Followers 125
Header Image
Standard Jabberwocky
@[email protected]

R/N Gordie Freedman. Serial booster. ExNeXt, Kaleida, Boston music. Writing code, playing guitar and bass, mucking about with math and code. Some photos and irony may be posted, along with musings about music, tech, film, books, physics and philosophy. Will try to avoid politics and Elon Musk jokes but no promises.

He/him.












Last seen 5 days ago
Posts 763
Followers 164
Donald Guy || ᛞ Ɣɪ//
@[email protected]

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic :azure_logo: AKS 🌷Tulip 🏛️MIT

🧑‍🔧: iterm2_logo ruby ⚗️ kubernetes

🧑‍🏫: ferris nix_snowflake_logo ?
youtube_logo/@dbgmode | 🔊☁️/dgafdance 
| he/they

Last seen 5 days ago
Posts 401
Followers 71
Header Image

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

Last seen 5 days ago
Posts 90
Followers 16
Header Image

Hacker with a . Bass Teacher and Musician. (Currently accepting students, online or on-site) antifa (he/his)

Last seen 5 days ago
Posts 8,888
Followers 1,222
Header Image
ParetoOptimalDev
@[email protected]

Professional programmer. Uses and . Love and .

Last seen 6 days ago
Posts 536
Followers 76

I'm trans pan woman and usually I'm the . And (mostly and ) ;)
But really, most of the time I live inside my (technically these days) and coding.

heart_trans heart_pan opensource neovim vim golang rust kubernetes python haskell

If I don't get a joke or a reference, please excuse me, ASD has some drawbacks. Let me know in a civil way so I can learn. Thank you :)

Last seen 6 days ago
Posts 364
Followers 17
Header Image
Ramses 🇵🇸
@[email protected]

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

Last seen 6 days ago
Posts 66
Followers 52