Header Image
Just "James" | Nothing
@[email protected]

An ad-hoc, informally-specified, bug-ridden, slow implementation of half of a software engineer. Author of MaybeJustJames/yaml (), phylio (), Super, and MMLigner. Maintainer of Zephyr (). Lover of programming. Australian living in the Netherlands.

Interested in typed

Last seen 1 day, 1 hour ago
Posts 341
Followers 79
Last seen 1 day, 1 hour ago
Posts 1,986
Followers 1,310
Header Image

Passionate Software-Developer from Germany, likes Ruby, Haskell, Linux, Emacs, Vim, Books, Fantasy, Lego, Boardgames, Whisky, Heavy Metal and Nature.

Chasing dreams.

Last seen 3 months, 2 weeks ago
Posts 235
Followers 55
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 1 day, 1 hour ago
Posts 1,688
Followers 435
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, 1 hour ago
Posts 98
Followers 231
Header Image

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

Last seen 5 days, 1 hour ago
Posts 8,888
Followers 1,222
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, 1 hour ago
Posts 7,403
Followers 439
Header Image
Mihai Maruseac
@[email protected]

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Last seen 1 month, 2 weeks ago
Posts 17
Followers 13
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 1 day, 1 hour ago
Posts 723
Followers 43
Header Image

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

Last seen 1 month ago
Posts 45
Followers 5
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, 1 hour ago
Posts 19
Followers 38
Header Image

Haskell / Scala developer, author of specs2 and registry

Last seen 2 days, 1 hour ago
Posts 342
Followers 300
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 1 month ago
Posts 1,313
Followers 83
洪 民憙 (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 1 day, 1 hour ago
Posts 319
Followers 397
Header Image
huntears tux 🇪🇺 🇨🇵
@[email protected]

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.

Last seen 1 month, 1 week ago
Posts 68
Followers 60
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 1 day, 1 hour ago
Posts 517
Followers 69
Header Image

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

Last seen 6 months, 3 weeks ago
Posts 404
Followers 188
Header Image
Thomas Peklak
@[email protected]

software developer from

Last seen 6 months ago
Posts 55
Followers 5
Header Image
Artem Pelenitsyn
@[email protected]

Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.

Last seen 1 week, 3 days ago
Posts 143
Followers 83
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, 1 hour ago
Posts 482
Followers 369
Header Image
Last seen 1 month ago
Posts 13
Followers 2
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, 1 hour ago
Posts 601
Followers 240
Header Image

Interested in software engineering, Java, Groovy, Haskell, life and everything.

Last seen 3 months ago
Posts 108
Followers 47
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 Less than a day ago
Posts 7,800
Followers 150
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, 1 hour ago
Posts 1,876
Followers 318
Header Image
Christian Kjær
@[email protected]

Rust/Haskell/Serverless ❤️ • Director of Engineering at Famly 🌱 • Previously built IoT platform at Blackbird ☁️ • keybase.io/tehnix • twitter.com/codetalkio

Last seen 3 weeks, 2 days ago
Posts 9
Followers 17
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
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, 1 hour ago
Posts 75
Followers 41
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, 1 hour ago
Posts 401
Followers 71
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

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 5,878
Followers 337
Header Image
Mihai Maruseac
@[email protected]

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Last seen 1 month, 2 weeks ago
Posts 20
Followers 15
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
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

swe @ cachix.org by day.
dabbling in graphics programming by night.

Last seen 1 month ago
Posts 3
Followers 12
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 1 day, 1 hour ago
Posts 21
Followers 145
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, 1 hour ago
Posts 413
Followers 54
Header Image

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

Last seen 3 days, 1 hour ago
Posts 53
Followers 235
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, 1 hour ago
Posts 244
Followers 87
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
Kalamata Hari
@[email protected]

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

Last seen 1 day, 1 hour ago
Posts 5,507
Followers 163
Header Image
Julian Stecklina
@[email protected]

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

Last seen 2 days, 1 hour ago
Posts 128
Followers 250
Header Image
Mihai Maruseac
@[email protected]

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Last seen 1 month, 2 weeks ago
Posts 15
Followers 24

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
Peter Kotrčka
@[email protected]

This is my technology oriented account, here I will post about things I like: GNU/Linux, NetBSD, OpenBSD, Emacs, Haskell, Lisp, Scheme, Clang, Perl, Guix, Slackware - and such, all the good things, you know.

My regular account where I post about my life and such is: @pkotrcka (I do not live in Switzerland, but I like the country)

Last seen 1 week ago
Posts 116
Followers 32
Header Image
Ramses 🇵🇸
@[email protected]

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

Last seen 6 days, 1 hour ago
Posts 66
Followers 52

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

Haskell programmer, Linux user.

Last seen 1 day, 1 hour ago
Posts 447
Followers 63
Header Image
Vincent Ging Ho Yim
@[email protected]

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

Last seen 1 day, 1 hour ago
Posts 168
Followers 4
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, 1 hour ago
Posts 779
Followers 453