Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming
Fractional-CTO, and polyglot software engineer (#Haskell, #PureScript, #Nix, #NixOS, #Deno, #Rust, #Roc, #Flix) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.
Tolerates writing #Scala for good money.
Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.
Antifascist, immigrant, gay af, she/her.
Articles, projects and tutorials about #Haskell.
Weekly newsletter: https://discu.eu/weekly/haskell
Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
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.
Hacker with a #Bass. Bass Teacher and Musician. (Currently accepting students, online or on-site) #Bielefeld #TTRPG #BassGuitar #Music #Haskell #FreeBSD #Math (he/his)
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
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.)
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
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 https://leanpub.com/u/markwatson
Dysfunctional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue
Interests in no particular order: #Haskell, #Unix, #Neovim, #Feminism, #Go(Boardgame), #VideoGames (Retro and Indie), #Origami, #Tea, #Chocolate
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.
I am a mathematical physicist and work as a software developer at Heilmann Software.
I spend most of my time coding #haskell, #nix, #nixos, am a co-maintainer of nixpkgs.haskellPackages and a member of the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing Dungeons & Dragons.
Try out my projects:
https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de
An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in #Haskell, #Rust, #TypeScript, & #Python. They/them.
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).
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.
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?)
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!
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.
Interests:
- Some tech origins, mainly beginnings of #Unix, CP/M, #Amiga, and thus #BCPL / #tripos. Fond of #forth too. Looking up to #lisp #haskell #erlang and #elm.
- Network infra #TCP/IP, #mptcp and #TLS progress.
- Standard editors such as vi (#vim) - after about three decades of growing into it, more and more of #emacs.
- Text interfaces, #mutt, #tig, #mc
- Fan of version control, coming from #rcs through #git
- Not a luddite at all, but I don't favour all tech or all vendors.
Emily, putting the gay into #gamedev
#rustlang, #speedcube, #heavymetal, and #bassguitar nerd hoping to flood the internet with my rambles and projects. Also an Arch user btw
Feel free to DM me and say hi :)
Haskell / Scala developer, author of specs2 and registry
Exploring Mastodon.
PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++
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)
Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝
I write a lot of #OCaml for the #JavaScript ecosystem!
DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming
She/they 🏳️⚧️ //
Haskell, Rust, types //
DMs are open
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).
programmer.
Interested in augmentation
Ocaml
Haskell
Racket
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 🐈🎾⛷️ 🧗♂️🛹👟
I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.
Functional programming, compilers, virtual machines, gamedev, web.
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.
#Music
#Guitar
#Bass
#StickShift
#Math
#NumberTheory
#Physics
#Cosmology
#QuantumPhysics
#Code
#Swift
#Haskell
Go see me at @mttaggart. Displaced Philly boy. Threat hunter. Streamer. Educator. #infosec, #programming #rust , #python
#haskell
, and #javascript
. #opensource advocate. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Co-creator of https://github.com/mttaggart/OffensiveNotion. Not your bro. All opinions my own. #fedi22 #searchable
Pronouns: He/him.
M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO
Software developer with an interest in using formal verification methods for solving business problems. I've also had a lifelong interest in mathematics.
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.
Haskell hacker
~Studying CyberSecMasters@UNSW~
Crypto(graphy: 👍 | currency: 👎)
ACT SES volley
@Axman6@🦤 and everywhere else
I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic
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 #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign.
I am also interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml, and #elm.
I like languages like #python, #go, #rust too.
I am a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate.
math. programming. fancy types. haskell.
https://6d03.info
Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.
Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of http://Talenteca.com
For geeks -> @csaltos
Software engineer in NYC. Dad. Nerd. I work at Hasura. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22
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 #eattherich and #nogoodbillionaires.
Pronouns he/they
Interested in developments at technology ∩ society, and actions promoting values increasingly coherent over increasing context.
#EmergencyManagement #Preparedness
#Sufficiency #Sustainability
#Foresight #HorizonScanning #FuturesStudies
#DecisionMaking #ProblemSolving #Uncertainty
#Decentralization #Cooperation #CollectiveIntelligence #IntentionalCommunity
#KnowledgeManagement #Visualization
#FunctionalProgramming #Haskell #Python
#MusicTheory #Musicology
#EvoDevo
Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.
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
I like maths, nature, literature, people. Sometimes found fiddling with emacs or haskell. Cat lady. I am brazilian and I have #T1D.
Posts are multilingual (pt or en). If you don't want to see portuguese posts, you can filter them out in your settings.
#Healthcare #Cybersecurity is my day job.
#Haskell #RStats #Egyptology #HistoryOfScience #HistoryOfMedicine #MedievalStudies #Birding #Bonsai #Photography #TaiChi #QiGong are the other things I like to do.
I enjoy listening to #ClassicalMusic; reading non-fiction (#history, #science, #technology), #sf, and #fantasy; and watching quirky tv shows.
Talk to me about Haskell, GHC, static analysis, PL design and theory, general CS, or my trumpet