Jan Midtgaard
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
@chrisarmstrong.link
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff. 🇦🇺 🏳️🌈 Blog: https://www.chrisarmstrong.dev Twitch: https://twitch.tv/lambdalith
@nicolas.dubien.me
Author of @fast-check.dev (🌐 https://fast-check.dev) ∙ Lead Principal Software Engineer @GoPigment ∙ Opinions are my own #Testing #JavaScript #TypeScript #React
@verbosemode.bsky.social
Life-form Optimized for Bootloader Operations Network Plumber, #OCaml, #Python, OpenLab Augsburg, ... Mastodon: @lobo@chaos.social / Twitter: @verbosemode (no longer in use)
@yawaramin.bsky.social
Recent escapee from that other social media platform with a musky smell
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@semgrep.bsky.social
Semgrep is a code scanning platform for finding first and third-party security vulnerabilities in your code base.
@smondet.bsky.social
Software Engineering #ocaml , Music, etc. https://seb.mondet.org https://ni3.dance
@rikusilvola.com
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@aguluman.bsky.social
Backend dev with 🐫 | F# | TS | C#. Decisions are temporary. Currently playing MAFIA III
@shoebum.bsky.social
I might post less here and more at https://shubhamkumar13.codeberg.page
@justine.lol
I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
@cfbolz.bsky.social
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading. they/them
@tornmark.bsky.social
Husbond, far, ateist, musiker og produktchef hos YouSee, ex-Danmarks Radio, DRTV, tv2.dk, one.com og Nokia. Sikkert medskyldig i overdrevet skærmbrug 📺📱
@clemens.klokmose.net
Associate professor @ Computer Science, Aarhus University. Arcade game enthusiast. Bass player. Web page (work): https://cs.au.dk/~clemens/
@thomasmoelhave.bsky.social
@adriansieber.bsky.social
Building SaaS apps with Haskell and Elm: Airsequel (https://airsequel.com) github.com/ad-si x.com/AdrianSieber
@patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
@thorkand.bsky.social
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com
@jon.recoil.org
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@lcamtuf.coredump.cx
Substack: http://lcamtuf.substack.com/archive Homepage: http://lcamtuf.coredump.cx
@whitequark.org
catgirl shaped object "A cat is valued for companionship and its ability to kill vermin." this place is run by cowards and i'm all out of sympathy for people without a backbone. talk to me elsewhere
@thomaskyhnbskysoc.bsky.social
“Music” et cetera. Soundcloud: http://soundcloud.com/th-kyhn On @fotoapp.co: thomaskyhn (architectural photography)
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@lortex.bsky.social
What's going on? - programming: github.com/TheLortex - pictures: instagram.com/elpluvina - weblog: lortex.org Formerly known as twitter.com/TheLortex
@haesbaert.bsky.social
Raising the most adorable dudes, from womb to tomb, in kindness and crime. Environmentalism without class struggle is just gardening.
@thegrugq.bsky.social
@ngelodk.bsky.social
Far, nørd, repair+reuse entusiast, nysgerrig, pro-videnskab, forsker, hacker, sværd-fægter, gin-drikker.
@troyhunt.com
Creator of Have I Been Pwned. Microsoft Regional Director. Pluralsight author. Online security, technology and “The Cloud”. Australian.
@pa.nton.cx
Content language mostly da_DK. The world must be experienced through disassembly. Likes finding things hidden in plain sight. Jack of all trades. https://christian.panton.org/
@dsyme.bsky.social
GitHub Next. Copilot Workspace. F#. GitHub Next. Visiting Professor Kings College London. https://linktr.ee/dsyme
@jepsen.mastodon.jepsen.io.ap.brid.gy
Breaking distributed systems, one fault at a time. [bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science