30 Jahre Erfahrung, im Bereich #FileMaker/ #PHP/ #API-Schnittstellen

Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Once won a gold fish in a pool tournament.

smol dev working mainly with , and OCaml
user

When I don't go down rabbit holes, I sometimes do something useful. OCaml.org maintainer.

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Nous sommes une équipe de recruteuses tech spécialisée dans l'écosystème PHP.

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

🐱• Probably not a bot. • Oh yeah, quite liberal. • #Windows, #macOS, #FreeBSD, & #Linux admin and a terrible #PHP developer. • 🥥🌴

Dutch web developer, working with PHP.
Love to spend some time on opensource projects and helping other people.

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.

I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.

Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.

Multidisciplinary nerd. Aotearoan–Scots. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: #Christian #trans #lesbian #maths #haskell #hacker #ActuallyAutistic #ADHD #anarchism #antifa #syndicalism. Learning to play and referee #RollerDerby.

#nobot

Python Person

Linux power user (using NixOS btw), guitarist, music fan, cat dad, hobby programmer (if I ever find enough concentration to learn a language).

Nixos | Orgmode | Emacs

Hi,

I love solving bioinformatics, Omics and biological problems.
I'm an OnePiece fan
I love to read articles and novel.
I'm keen on tech and Unix tools.

Partner, parent, and photographer. Lawyer with one of the world's largest companies. Primarily focused on #privacy, #infosec, #AI, and #intellectualproperty. I live in #Florida but come from everywhere. #FOSS advocate and #NixOS user.

VIEWS POSTED HERE ARE MY OWN AND DO NOT REFLECT THOSE OF MY EMPLOYER.

Joa, nix besonderes

Wesh gro bi1? #OKLM #OCaml #MirageOS

Jugadora Élite del mítico juego Defiance que renació de sus cenizas como el Fénix🔥🐦 que esta en el logo de la compañía que lo trajo de vuelta

Erst mal nix

CTO @chstudio && @exmakina - Consultant, speaker, trainer, I ♥️ #OSS && #PHP ! 3 children & a lovely wife are my daily life, I'm a geek traveler!
I work with #PHP since 2007