David
match David with
| ๐ง๐ฝโ๐ป -> web dev
| ๐ช -> into #ocaml love
| ๐ฆ -> learning finance
| ๐ -> read me in dev.to/david2am
| _ -> โ๏ธ ๐จ๐ด
@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
@lambdadays.bsky.social
Your favourite Functional Programming conference is here ๐ฅณ ๐ฅ Book your spot and see you soon: 12-13 June ๐ฅ 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure ๐ฅ
@jmsdnns.bsky.social
If I had to live my life again, I'd make the same mistakes, only sooner. -- hacker ๐ฆ๐ musician ๐ฅ๐ธ amateur historian -- ๐ https://jmsdnns.com
@patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
@desertthunder.dev
sincere engineer (not the band) Lead @stormlightlabs.org https://owais.omg.lol/
@jensimmons.bsky.social
๏ฃฟ Apple Evangelist on the Web Developer Experience team for Safari & Webkit. #PwME
@unison-lang.org
Friendly programming language from the future Open source http://github.com/unisonweb/unison Cloud platform: https://unison.cloud Community: https://unison-lang.org/discord
@chrisarmstrong.link
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff. ๐ฆ๐บ ๐ณ๏ธโ๐ Blog: https://www.chrisarmstrong.dev Twitch: https://twitch.tv/lambdalith
@tigerbeetle.com
The financial transactions database designed to power the next 30 years of online transaction processing.
@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
@debasishg.bsky.social
Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
@master-sdl.bsky.social
Master Sciences Du Logiciel de l'Universitรฉ de Toulouse (prรฉcรฉdemment nommรฉ Master DL) https://www.master-developpement-logiciel.fr/
@reifyreflect.bsky.social
@mvugt.bsky.social
computational cognitive neuroscientist (assoc prof @unigroningen.bsky.socialc) studying mind-wandering using cogsci and AI techniques, also amateur ballet dancer and Tibetan buddhist
@rikusilvola.com
@pvh.ca
just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
@mentrix.bsky.social
Systems, thinking, writing, software and doggos. mentrixgroup.com, learningsystemsthinking.com
@ocamlpro.bsky.social
OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
@jacobbolda.com
Board and Core Team @tauri.app Senior Software Engineer @frontside.bsky.social | Consulting for Fortune 100 | frontside.com ๐บ watch | youtube.com/@JacobBolda ๐ read | www.jacobbolda.com ๐งโ๐ป code | github.com/jbolda
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@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
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@samhuckaby.bsky.social
match Sam with ใ ฃ๐๏ธ โ origins.fm ใ ฃ๐ผ โ @BeyondIdentity ใ ฃ๐ค โ huckaby.io ใ ฃ๐ป โ Theologian Dev ใ ฃโค๏ธ โ Husband and father ใ ฃ _ โ All views my own
@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
@michaelthiessen.bsky.social
๐ Composable Design Patterns ๐ (Nuxt | Vue) Tips Collection ๐ Clean Components Toolkit ๐ Mastering Nuxt
@gotocon.com
#GOTO Presents the Brightest Minds in Tech. Check out GOTO Conferences. https://gotopia.tech https://www.youtube.com/@GOTO-
@fearful-odds.rocks
Backend dev with ๐ฆ| ๐ซ | F# | TS | C# on windows, ubuntu and nix-os. Decisions are temporary. Currently playing Red Dead Redemption II
@205tf.bsky.social
TF, two letters that stand for Type Foundry and Typographie Franรงaise (French Typography). https://www.205.tf/
@elixir-radar.com
Newsletter & job board for Elixir developers. Join 9,000+ subscribers at http://elixir-radar.com. ๐ https://elixir-radar.com/ by @hugobarauna.com
@elixirjobs.net
The biggest Elixir job board directly on your timeline. ๐ https://elixirjobs.net
@nathanvprice.com
Software engineer; databases, data replications, systems, infra, ml platforms. Rust ๐ฆ (mostly). nathanvprice.com
@ruchiradatta.bsky.social
Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
@cigrainger.bsky.social
Here for the #Elixir #ElixirLang. Founder at [Amplified](https://amplified.ai). He/him
@tmnflck.bsky.social
Trying to be a decent human, developer and human. Currently helping carla.se to be the best car seller in Sweden. Working with: rescript, react, GraphQl, relay, NextJs
@devavocado.bsky.social
Frontend developer debugging this world one console.log() at a time. Posting about JavaScript, CSS, TypeScript, React.js / Native, Vue.js
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@ecsodikas.eu
๐ ๏ธ - Web developer by day. ๐ - Shitposting as a Service by night โ๏ธ - Currently fighting against the generative LLM scourge. ๐ - https://linktr.ee/ecsodikas
@lawik.bsky.social
Code creative, 10x talker, Elixir, BEAM, open source/standards/platforms, he/him, part librarian. The stuff: https://underjord.io Elixir shirts: https://oswag.org
@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: @[email protected] https://moritzhamann.com
@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!
@aviv.bsky.social
โ Engineer gone rogue ๐จ๐ปโ๐ป ๐ป Homebrewer ๐จ๐ปโ๐ณ ๐ฉโ๐ฆฐ Happily married ๐ Prague, CZ
@bcardarella.bsky.social
CEO of DockYard Sailor Creator of LiveView Native twitch.tv/bcardarella