Dmitrii Kovanikov
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫
♾️ Autistic
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@semgrep.bsky.social
Semgrep is a code scanning platform for finding first and third-party security vulnerabilities in your code base.
@flosalihovic.bsky.social
You’re all bots 2 to this programmer; Survivor of 1984’s marshmallow havoc; https://tigerarcades.medium.com/learning-to-code-ditch-medium-now-a2b26aa39005
@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
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@heathhenley.dev
Señor Application Engineer at a 10 person sonar shop. ChE PhD turned dev. Puzzles, building random stuff, hiking, climbing, learning, bad jokes and good beer. Writing about things here: https://heathhenley.dev
@c-cube.bsky.social
@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
@endingwithali.com
software engineer @ fintech- content creator @ http://links.ali.dev - threatwire host @hak5 - @breakingthepod - nyc - ex @miteecs - jewish
@dieworkwear.bsky.social
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-here/
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@jmct.bsky.social
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
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@rickasaurus.bsky.social
Algos/ML/LLMs/FP/Mgmt, Formerly: AI Healthcare VP of Eng, AI RegTech CTO (successful exit). Twitter circa 2008.
@danielwalmsley.bsky.social
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.com
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals https://www.youtube.com/@FUNOCaml
@yawaramin.bsky.social
Recent escapee from that other social media platform with a musky smell
@tomaslatal.cz
Developer, dancing between 1's and 0's, addicted to coffee, @elmlang and clean code.
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@kmett.ai
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.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
@michael.bacarella.com
Founded mobile media company that exited to Synchrony; ex-Jane Street; ex-Google; OCaml programmer; occasional shitpoaster
@winchester.dev
I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
@yurialbuquerque.dev
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 sou do PCB nem do PCBR, mas tenho camaradas em ambos os partidos.
@samuelrose.bsky.social
Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
@wiredsis.bsky.social
computer programmer (#OCaml, #fsharp) #tech thot leader, social justice Wario, resting bitch voice. yes, walmart put my face on a truck 🇺🇸 ➡️ 🇦🇺
@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
@semarie.kapouay.eu.org
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
@lukstafi.bsky.social
Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
@llcoolchris.dev
🇨🇦🇫🇷 Twitch Partner http://twitch.tv/LLCoolChris_ Software Engineer #ElixirLang #Typescript #OCaml Built https://concentration.app https://asklive.co https://swapify.live
@david2am.bsky.social
match David with | 🧑🏽💻 -> web dev | 🐪 -> into #ocaml love | 🏦 -> learning finance | 📝 -> read me in dev.to/david2am | _ -> ✝️ 🇨🇴
@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
@itsatrapp.com
Web developer at Apple. FP enthusiast. #ElixirLang, Gleam, #Erlang, #OCaml, and JS when forced.
@felipe.rs
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
@ocaml.com.br