@janmidtgaard.bsky.social
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Mastodon account: https://types.pl/@jmid
@moritzhamann.com
Engineering Manager at Bloomberg LP. Opinions are my own. Currently doing 12 months of OCaml to what the fuss is all about 🐫😁 Mastodon: @MoritzHamann@mastodon.social https://moritzhamann.com
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@dsyme.bsky.social
GitHub Next. Copilot Workspace. F#. GitHub Next. Visiting Professor Kings College London. https://linktr.ee/dsyme
@madelonhulsebos.bsky.social
Faculty at CWI & ELLIS Amsterdam https://trl-lab.github.io. Previously at UC Berkeley and the University of Amsterdam. Research on neural models for tabular data; table representation learning 💫. https://www.madelonhulsebos.com
@victor.earth
Building stuff, and sometimes not building stuff, usually around Barcelona/Vilassar de Mar, and usually with Clojure/Script https://notes.victor.earth aspe:keyoxide.org:Q6B7ZBQITV7IE2RG4EMVKWT4VI
@vixentael.bsky.social
I do software security, security engineering and applied cryptography | problem-solver @cossacklabs | she | Ukraine
@denysdovhan.com
FED at Wix.com • smart home, open source, gaming, history and other nerd stuff • Opinions are my own • Posts in 🇺🇦🇺🇸
@batsov.net
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order. The artist formerly known as @bbatsov. Personal blog: https://batsov.com FOSS projects blog: https://metaredux.com Emacs blog: https://emacsredux.com
@mimdj.bsky.social
#MicrosofFabric Customer advocate, interests in Small Data & Self Service #Microsoftemployee since Dec 2023 , but my tweets are my own
@simonwillison.net
Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
@archie.sarrewood.com
SQL, data viz, duckdb, markdown building @evidence.dev archie.evidence.app
@marcua.net
Hummus, people, and data. Co-Founder & CTO of B12. Previously Locu, MIT CSAIL. He/him. https://marcua.net/ Queens is the future.
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@hannes.muehleisen.org
I like databases and boats. Co-creator of @duckdb.org, Co-Founder and CEO DuckDB Labs. Professor of Data Engineering at Radboud Universiteit.
@pvldb.bsky.social
The Proceedings of the VLDB Endowment (PVLDB) https://vldb.org/pvldb/ RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml Automated by @andypavlo.bsky.social
@pauldix.bsky.social
Cofounder & CTO InfluxData, makers of InfluxDB, the open source time series database. Founder of NYC Machine Learning Meetup. Former Ruby on Rails developer and enthusiast (still a fan).
@adityagp.bsky.social
Prof @ UC Berkeley. Codirector @ EPIC data lab. Cofounder @ Ponder (Acq. Snowflake). Interested in data, systems, and people. More at: adityagp.net
@jamescowling.dev
@convex.dev co-founder/CTO. Dropbox storage designer. Distributed systems researcher at MIT. Bad motorcycle mechanic. Database shill.
@peterabcz.bsky.social
Professor Analytical Data Systems @cwi_da and @VUamsterdam. researcher, systems architect, educator, entrepreneur
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@domoritz.de
Visualization, data, AI/ML. Professor at CMU (@dig.cmu.edu, @hcii.cmu.edu) and researcher at Apple. Also sailboats ⛵️ and chocolate 🍫. www.domoritz.de
@fun-ocaml.com
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals https://www.youtube.com/@FUNOCaml
@camlperr.bsky.social
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@lessp.dev
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker O'Cameleer @ ahrefs Stockholm, Sweden
@keleshev.com
Docopt, OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@aripiprazole.dev
i'm an atypical antipsychotic who loves theorem provers - 🖥️ rust 🦀 & ocaml 🐫 - 📖 type theory & hott - 🌝 my name is gabrielle - 🇧🇷 são paulo ⏱️ previously @io_gabx on twitter/x
@lukstafi.bsky.social
Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
@david2am.bsky.social
match David with | 🧑🏽💻 -> web dev | 🐪 -> into #ocaml love | 🏦 -> learning finance | 📝 -> read me in dev.to/david2am | _ -> ✝️ 🇨🇴
@itsatrapp.com
Web developer at Apple. FP enthusiast. #ElixirLang, Gleam, #Erlang, #OCaml, and JS when forced.
@sirpandathered.bsky.social
Ocaml Cameleer 🐫, C enthusiast, Reading 🦀for 🦀aceans and learning Go on http://Boot.dev. Got an amazin wife and two future little cameleers I use nvim btw
@xvw.lol
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages). Editor team at Tarides.
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!
@neogoose.bsky.social
Born to use camera, forced to use neovim. Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.