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, 20 hours ago
Posts 1,564
Followers 4,444
Header Image

Fractional-CTO, and polyglot software engineer (, , , , , , , ) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing for good money.

Has a penchant for , , , .

Antifascist, immigrant, gay af, she/her.

Last seen 2 weeks, 3 days ago
Posts 1,782
Followers 1,796
Header Image
Haskell Weekly
@[email protected]

Articles, projects and tutorials about .

Weekly newsletter: discu.eu/weekly/haskell

Last seen 1 day, 20 hours ago
Posts 1,640
Followers 1,417
Last seen 1 day, 20 hours ago
Posts 1,921
Followers 1,301
Header Image
Compiler Explorer
@[email protected]

I'm a website that lets you type in C, C++, D, Rust, Haskell, Ispc, Java and other compiled languages, and then I compile it and show you the assembly output.

I can also run those programs and show what they'd print.

But not here, I'm not a bot, I'm a person and this account is for status and help with the site.

Last seen 4 days, 20 hours ago
Posts 97
Followers 1,243
Header Image

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

Last seen 6 days, 20 hours ago
Posts 8,892
Followers 1,221
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 1 day, 20 hours ago
Posts 3,478
Followers 1,078
Header Image
Marshall Abrams
@[email protected]

Philosopher of science and occasional scientist. Mainly philosophy of evolutionary biology, philosophy of probability, implications of modeling and statistical inference in evolutionary biology. New book, Evolution and the Machinery of Chance, 2023. Sometimes I write biological or social science simulations to investigate or illustrate philosophical or other theoretical ideas in biology or anthropology. (Favorite languages: Clojure, Idris (learning), OCaml, Haskell, NetLogo, R.)

Last seen 3 months ago
Posts 1,722
Followers 747
Header Image

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

Last seen 6 days, 20 hours ago
Posts 2,326
Followers 532
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. My books are free to read (or buy DRM free copies) online leanpub.com/u/markwatson

Last seen 1 month ago
Posts 274
Followers 502
Header Image

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

Last seen 3 days, 20 hours ago
Posts 768
Followers 453
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 1 day, 20 hours ago
Posts 7,348
Followers 438
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 4 days, 20 hours ago
Posts 1,651
Followers 426
Googly Eyed Peas
@[email protected]

Immune compromised Scala/Java/Golang/Rust/Haskell self employed developer, stuck at home because of how mild COVID is. Getting rather pissed off about it. Father of autistic boy. Anti-fascist. See a nazi, punch a nazi. 🌈 I hold the opinion that convicted billionaire fraudsters should go to big-boy prisons and not minimum security country clubs (ok Emma?)

Last seen 3 months ago
Posts 9,047
Followers 366
Header Image
Vitaly Bragilevsky
@[email protected]

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

Last seen 1 month ago
Posts 22
Followers 358
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 3 days, 20 hours ago
Posts 465
Followers 356
Header Image

Long time software developer.

Working on low level systems software and high level languages.

Worried about the rise of fascism. Worried more about inhumane murderers just km from me, who murdered 1500 people in cold blood, in 1 day.

A proponent of cancel culture, wokism and lots of virtue signaling!

Last seen 4 days, 20 hours ago
Posts 2,991
Followers 354
洪 民憙 (Hong Minhee)
@[email protected]

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Building . Write some free software in , , , & . They/them.

()

Last seen 1 day, 20 hours ago
Posts 30
Followers 353
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 1 day, 20 hours ago
Posts 1,833
Followers 319
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 Less than a day ago
Posts 4,908
Followers 305
Header Image

Haskell / Scala developer, author of specs2 and registry

Last seen 2 weeks, 4 days ago
Posts 341
Followers 298
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 1 day, 20 hours ago
Posts 2,024
Followers 296
Header Image
Paolo G. Giarrusso
@[email protected]

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

Last seen 5 months, 2 weeks ago
Posts 369
Followers 284
Header Image
Julian Stecklina
@[email protected]

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

Last seen 2 weeks, 1 day ago
Posts 126
Followers 246

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of for the ecosystem!

DMs open; indexed on tootfinder.ch; other keywords:

Last seen 1 week, 2 days ago
Posts 749
Followers 239
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 1 day, 20 hours ago
Posts 561
Followers 238
Header Image

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

Last seen 1 month, 1 week ago
Posts 52
Followers 235
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 1 week ago
Posts 93
Followers 227
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last seen 1 day, 20 hours ago
Posts 1,388
Followers 225
Header Image
Romain Ruetschi
@[email protected]

Rust dev at work • Playing around with Swift and SwiftUI at home • Used to work on formal verification for Scala • Haskell enthusiast • Web dev in a previous life • I like 🐈🎾⛷️ 🧗‍♂️🛹👟

Last seen 1 week, 3 days ago
Posts 138
Followers 208
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 3 days, 20 hours ago
Posts 983
Followers 191
Header Image

Functional programming, compilers, virtual machines, gamedev, web.

Last seen 5 months, 4 weeks ago
Posts 404
Followers 188
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 2 days, 20 hours ago
Posts 750
Followers 165
Header Image

Software developer with an interest in using formal verification methods for solving business problems. I've also had a lifelong interest in mathematics.

Last seen 4 months ago
Posts 190
Followers 163
Header Image
Kalamata Hari
@[email protected]

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

Last seen 1 day, 20 hours ago
Posts 5,341
Followers 161
Header Image
Axman6 | 🇦🇺
@[email protected]

Haskell hacker
~Studying CyberSecMasters@UNSW~
Crypto(graphy: 👍 | currency: 👎)
ACT SES volley
@Axman6@🦤 and everywhere else

Last seen 5 days, 20 hours ago
Posts 441
Followers 151
Header Image
There is No Magic
@[email protected]

I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic

Last seen 4 days, 20 hours ago
Posts 16
Followers 145
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, 20 hours ago
Posts 6,898
Followers 144
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 6 months, 2 weeks ago
Posts 137
Followers 138

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, 20 hours ago
Posts 2,683
Followers 137
Header Image
Bryce3DKeygen.midi
@[email protected]

Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.

Last seen 1 month, 1 week ago
Posts 241
Followers 136
Header Image

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

Last seen 1 day, 20 hours ago
Posts 4,556
Followers 133
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 1 week, 5 days ago
Posts 163
Followers 124
Header Image
Jesse Hallett
@[email protected]

Software engineer in NYC. Dad. Nerd. I work at Hasura. I'm into , , , , . Also sometimes .

Reducing wealth inequality is a big issue to me - IMO it's an issue with one of the highest conceptual simplicity-to-world improvement ratios. So sometimes I step out of the tech zone and post things like and .

Pronouns he/they

Last seen 5 months ago
Posts 164
Followers 122
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 1 day, 20 hours ago
Posts 729
Followers 110
Header Image

Maths, nature, literature and people. Sometimes found fiddling with Emacs, Haskell or Lean. Brazilian, .

Last seen 3 days, 20 hours ago
Posts 284
Followers 95
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 1 day, 20 hours ago
Posts 347
Followers 92
Header Image
Sebastian Graf
@[email protected]

Talk to me about Haskell, GHC, static analysis, PL design and theory, general CS, or my trumpet

Last seen 2 days, 20 hours ago
Posts 67
Followers 87
Header Image

A guy who's trying to make more switches to FOSS, interested in gaming, philosophy, science, food...

Expect some political/environment rants...

Last seen 4 days, 20 hours ago
Posts 1,313
Followers 83