×
You are not logged in
Bluesky Follows
Dmitrii Kovanikov
Follows by @chshersh.com
Jared Forsyth
Registered:6 Feb 2024 20:36
Follow date:26 Mar 2025 22:30
trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/...
@jaredforsyth on the dead bird site
Semgrep
Registered:22 Jun 2023 00:46
Follow date:14 Mar 2025 15:19
Semgrep is a code scanning platform for finding first and third-party security vulnerabilities in your code base.
Florian
Registered:24 Dec 2023 13:20
Follow date:23 Feb 2025 09:26
You’re all bots 2 to this programmer; Survivor of 1984’s marshmallow havoc; https://tigerarcades.medium.co...
Jan Midtgaard
Registered:4 Dec 2024 13:51
Follow date:24 Jan 2025 15:03
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Follow date:23 Jan 2025 16:11
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Heath
Registered:24 Oct 2024 06:07
Follow date:18 Jan 2025 09:39
Señor Application Engineer at a 10 person sonar shop. Former ChE, now generalist dev. Puzzles, building random stuff, hiking, climbing, learning, bad jokes and good beer.
Writing about things here: https://heathhenley.dev
Cuihtlauac
Registered:18 Nov 2024 17:29
Follow date:15 Jan 2025 08:21
Corecursive tinkerer, camler, globetrotter
cube
Registered:12 Dec 2024 01:07
Follow date:3 Jan 2025 20:14
Thomas Letan
Registered:23 Jun 2023 20:33
Follow date:21 Dec 2024 13:23
“Decent solutions provider.” He/him.
https://soap.coffee/~lthms
Ben Leonard
Registered:28 Apr 2023 19:38
Follow date:18 Dec 2024 21:43
Designer / Developer @ Oxide. Formerly Pentagram
Tim McGilchrist
Registered:11 Dec 2024 09:40
Follow date:12 Dec 2024 22:19
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Ali
Registered:24 Apr 2023 00:55
Follow date:9 Dec 2024 22:16
software engineer @ fintech- content creator @ http://links.ali.dev - threatwire host @hak5 - @breakingthepod - nyc - ex @miteecs - jewish
Microsoft
Registered:3 May 2023 20:06
Follow date:6 Dec 2024 08:40
AI, Cloud, Productivity, Computing, Gaming & Apps ☀️
derek guy
Registered:1 May 2023 06:41
Follow date:3 Dec 2024 09:04
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-he...
Eduardo Rafael
Registered:1 Dec 2024 16:51
Follow date:3 Dec 2024 05:26
26yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
JMCT
Registered:19 Apr 2023 21:14
Follow date:28 Nov 2024 22:11
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Matt Teichman
Registered:28 Nov 2024 02:23
Follow date:28 Nov 2024 22:07
I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.ap...
tarides.com
Registered:8 Feb 2024 16:41
Follow date:28 Nov 2024 17:58
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Rick Minerich
Registered:16 Apr 2023 23:44
Follow date:26 Nov 2024 07:43
Algos/ML/LLMs/FP/Mgmt, Formerly: AI Healthcare VP of Eng, AI RegTech CTO (successful exit). Twitter circa 2008.
Lane || Boot.dev
Registered:30 Oct 2024 02:10
Follow date:26 Nov 2024 07:16
Founder of Boot.dev
Host of BackendBanter.fm
DanielW_Kiwi🦔
Registered:6 Feb 2024 22:30
Follow date:25 Nov 2024 11:32
Husband and Father from New Zealand.
Software developer by day and F# fan boy.
Functional programming just seems to fit me better.
Celiac / quinoa porridge haver. Gluten free recipe suggestions welcome.
FUN OCaml
Registered:19 Nov 2024 09:27
Follow date:19 Nov 2024 10:29
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOC...
Yawar Amin
Registered:17 Nov 2024 00:01
Follow date:18 Nov 2024 18:22
Recent escapee from that other social media platform with a musky smell
azur
Registered:19 Oct 2024 15:09
Follow date:17 Nov 2024 22:37
i make music and programming
Tomas Latal
Registered:8 Aug 2023 03:20
Follow date:17 Nov 2024 19:07
Developer, dancing between 1's and 0's, addicted to coffee, @elmlang and clean code.
Oskar Wickström
Registered:5 Jul 2023 04:15
Follow date:16 Nov 2024 08:50
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:15 Nov 2024 17:23
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Edward Kmett
Registered:15 Nov 2024 15:53
Follow date:15 Nov 2024 16:15
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:15 Nov 2024 16:14
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Michael Bacarella
Registered:12 Nov 2024 00:16
Follow date:15 Nov 2024 16:14
Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Ryan Winchester
Registered:29 Apr 2023 21:06
Follow date:15 Nov 2024 16:14
I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
Yuri Albuquerque
Registered:30 Aug 2024 19:55
Follow date:15 Nov 2024 16:14
Costumava ser @Denommus no Twitter. Programador de tecnologia que não gosta, comunista chato, autista, faço stream casualmente no https://twitch.tv/BolivarAdept
Não tenho política de sdv, se eu te sigo foi por algum motivo arbitrário.
Sam Rose
Registered:20 Sep 2023 17:03
Follow date:15 Nov 2024 16:14
Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
big gina
Registered:31 May 2023 14:08
Follow date:15 Nov 2024 16:14
Tom
Registered:2 Nov 2024 14:37
Follow date:15 Nov 2024 16:14
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
Vladimir Keleshev
Registered:15 Aug 2024 08:05
Follow date:15 Nov 2024 16:14
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
prozacchiwawa.bsky.social
Registered:12 Nov 2023 02:40
Follow date:15 Nov 2024 16:14
Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.
μ
Registered:7 Aug 2023 14:38
Follow date:15 Nov 2024 16:14
I’m an atypical antipsychotic who loves theorem provers
- 🖥️ Rust 🦀 & OCaml 🐫
- 📖 Type Theory & Nerd stuff
- 🇧🇷 São Paulo
⏱️ @io_gabx on twitter/x
Sebastien Marie
Registered:20 Aug 2023 16:38
Follow date:15 Nov 2024 16:14
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
John Bakhmat
Registered:28 Oct 2023 09:35
Follow date:15 Nov 2024 16:13
23 y.o Software Engineer (TS/Ocaml/Gleam)
Lukasz Stafiniak
Registered:13 Nov 2024 19:25
Follow date:15 Nov 2024 16:13
Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
Chris, The 0.5x Engineer
Registered:8 Apr 2023 12:02
Follow date:15 Nov 2024 16:13
🇨🇦🇫🇷
Twitch Partner http://twitch.tv/LLCoolChris_
Software Engineer #ElixirLang #Typescript #OCaml
Built https://concentration.app https://asklive.co https://swapify.live
maxrn
Registered:4 Jun 2024 13:22
Follow date:15 Nov 2024 16:13
Computer science student
Go, nix, OCaml, some web
neovim btw
David
Registered:21 Nov 2023 11:29
Follow date:15 Nov 2024 16:13
match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Ryan
Registered:4 Nov 2024 09:42
Follow date:15 Nov 2024 16:13
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
Joey Trapp
Registered:26 Oct 2024 06:11
Follow date:15 Nov 2024 16:13
Felipe O. Carvalho
Registered:26 Mar 2023 13:55
Follow date:15 Nov 2024 16:13
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
OCaml Brazil
Registered:29 Aug 2024 19:48
Follow date:15 Nov 2024 16:13
Rizo Isrof
Registered:5 Nov 2023 23:13
Follow date:15 Nov 2024 16:13
Lost in macro expansion
https://github.com/rizo