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

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 1 week, 2 days ago
Posts 1,796
Followers 1,803
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
Last seen 2 days ago
Posts 1,985
Followers 1,310
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 1 week, 3 days ago
Posts 98
Followers 1,264
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
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
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, 4 weeks ago
Posts 1,722
Followers 747
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

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 week, 4 days ago
Posts 276
Followers 499
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

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
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
洪 民憙 (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

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
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 2 weeks, 2 days ago
Posts 23
Followers 368
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, 4 weeks ago
Posts 9,047
Followers 366
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 1 week, 1 day ago
Posts 3,029
Followers 360
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

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

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
Header Image

Haskell / Scala developer, author of specs2 and registry

Last seen 2 days ago
Posts 342
Followers 300
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 6 months, 1 week ago
Posts 369
Followers 284
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
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

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 month ago
Posts 749
Followers 239
Header Image

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

Last seen 3 days ago
Posts 53
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 5 days ago
Posts 98
Followers 231
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last seen 2 days ago
Posts 1,391
Followers 228
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 ago
Posts 142
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 2 days ago
Posts 1,029
Followers 192
Header Image

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

Last seen 6 months, 3 weeks ago
Posts 404
Followers 188

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

Pronouns: He/him.

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

Last seen 3 weeks, 4 days ago
Posts 1,753
Followers 164
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
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

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, 4 weeks ago
Posts 190
Followers 163
Header Image
Axman6 | 🇦🇺
@[email protected]

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

Last seen 3 weeks, 6 days ago
Posts 442
Followers 151
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
There is No Magic
@[email protected]

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

Last seen 2 weeks ago
Posts 20
Followers 145

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

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 7 months, 1 week ago
Posts 137
Followers 138
Header Image

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

Last seen 2 days ago
Posts 4,717
Followers 137
Header Image
Bryce3DKeygen.midi
@[email protected]

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

Last seen 2 months ago
Posts 241
Followers 136
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
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, 3 weeks 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 2 days ago
Posts 758
Followers 111
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

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

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