Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

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

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

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

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

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

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!

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.

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 🐈🎾⛷️ 🧗‍♂️🛹👟

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.

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.

#國漢文混用 #한국어 (#朝鮮語) #English #日本語

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

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

math. programming. fancy types. haskell.
https://6d03.info

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

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

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

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

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