
One Happy Fellow
@onehappyfellow
coding our way to heaven
programming (mostly OCaml), software industry thoughts, occasionally talking to myself, all in interest of finding the truth
ID: 1342484972012236800
http://happyfellow.bearblog.dev 25-12-2020 14:59:09
1,1K Tweet
947 Followers
434 Following

Sjoerd 슕 Visscher
@sjoerd_visscher
he/him types.pl/@sjoerd_vissch… bsky.app/profile/sjoerd… tweag.io strijpskamerkoor.nl 👫@boekencurator
James Ward
@jamesward
My book: EffectOrientedProgramming.com | My podcast: @HappyPathProg | Working on DX for Q Developer at @AWSCloud | My opinions are mine
Sam Willis
@samwillis
Local First, Sync Engines and PGlite.dev at @ElectricSQL. 🦋 @samwillis.uk 🦣 @[email protected]
Graham Christensen
@grhmc
Nix! In! Spaaaaceeee!!!!! @DeterminateSys. he/him. 📻 NO5IG
Gorgi Kosev
@spion
Fullstack software person. ex-Apple. Prefer insightful discussion, not debate. Rust, TypeScript, localfirst, SolidJS, devops, keto, stats/science, audio/DSP.
Guillermo Rauch
@rauchg
@vercel CEO
strager
@strager

Strahinja Todorović
@babastraja
UX / Product Designer / Dungeon Master || Пензиленијалац; бакћем по кујни
Yann Régis-Gianas
@yurug
Software engineer / Father of 3 / #tezos / #smartrollups / #ocaml / #functionalprogramming
Michael Snoyman
@snoyberg
Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Dustin Getz
@dustingetz
creator of #ElectricClojure and founder of hyperfiddle.net, a rapid UI development tool for building high-fidelity enterprise workbench frontends in minutes
Alex Harston
@alexharston
Co-founder/CEO @goodwright_ . Developer and neuroscientist.
Piyush
@piyushahuja_in
philosophy, politics, and economics @UniofOxford maths and computing @iitdelhi
Lance Feagan
@lfeagan
Time series DBMS architect. Furniture craftsman & photographer. Occasional cryptographer into MPC. Former blockchain chief architect & CTO.
AMAN J◎HAR
@wanderingscapes
founder @DataCurveInc | working at the intersection of data networks, AI Agents and web3 | without provenance, data is digital nuisance
Gabriel Haas
@haasdb
PhD candidate @TU_Muenchen, working on LeanStore - interested in fast out-of-memory database systems
0xפנתן
@p_nathan
swe/sre/human I like to program computers and talk to people. I paint now and again. Badly. 🧑🏻💻/🚲/🏋️♂️/🖌️ / ✡️ dms open, 100% of the time.
joomy
@joomy
researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, types, metaprogramming, linguistics. (for 🇹🇷 tweets, see @vowelharmony)
Mike Healy
@mike_hasarms
Software Engineer / web (Laravel, PHP, React, Vue, Tailwind), digital art
liam
@436
building things with computers ⋆。⋇
Milan Vodicka
@milanvodicka
Software Engineering Manager at Bloomreach. Views expressed are my own.
Andres Löh
@kosmikus
I am a partner and Haskell Consultant at Well-Typed LLP. well-typed.com
s
@idoccor
HFT mostly, ex-firms you've heard of
Thybault 🦾
@soulthym
Software Engineer @massachain, doing R&D on ZK technologies.
diicell
@0xdiicell
programmer | low-level bizarre adventure | building the gm machine
Remy Goldschmidt
@taktoa1
Chip compiler engineer at @MatXComputing. keybase.io/taktoa admonymous.co/taktoa github.com/taktoa
____ _____
@chillbert32
Thought is the thought of thought. Horseness is the whatness of allhorse.
Alperen Keleş
@keleesssss
METU CENG 21' | PhD Student at @umdcs | Writing at alperenkeles.com/posts | Currently random testing compilers, type systems, databases...
Multiple Systems
@plt_cheater
Available for FP, cryptocoin and ML work. Just DM me • Coined "baking" cheater: @faq How do I become a millionaire? lambdabot: Yes, Haskell can do that!
Curt Tigges
@curttigges
Science lead at @decode_research (parent org of @neuronpedia)
Hamilton Greene 🐷🦔
@sirhamy
Technomancer building Simple Scalable Systems with F# | Prev: Eng @ Instagram hamy.xyz - HAMY LABS cloudseed.xyz - Fullstack F# Boilerplate
Jack 🏴☠️🌖
@wereness
cypherpunk, music and programming languages. previously Dapphub, Urbit, Ethereum.
Serokell
@serokell
The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
૮༼⚆︿⚆༽つᵂⁱˡ framework / vibe coding (same thing)
@dr_sensor
i'm _paludoang_ engineer and professional *reply bros*. what's wrong with your tech choices & stacks? #I_use_Helix_btw (not AI engineer, just prompting money)
Souptik Sen
@souptikji1
Software Engineer at @SnowflakeDB, Ex- LinkedIn, Parallel Data Lab (CMU) alum, Distributed systems &Databases
SK
@saravsak
Head of Eng @ Authentic Insurance
LitFill, The Sanct
@razzy_ar
Arcaea ID : 620 671 245; Haskell is love, haskell is life.
Alex Lazar
@_alexlazar_
I build software & teams that build software. I like working on blockchain (Solana, EVM) and scalable web systems | DM me for Rust/Solana devs 🦀
Leo Gao
@nabla_theta
working on AGI alignment. prev: GPT-Neo, the Pile, LM evals, RL overoptimization, scaling SAEs to GPT-4. EleutherAI cofounder.
gerred
@devgerred
infra + ai. current @sfcompute. formerly R&D @DefenseUnicorns. co-created @DeptOfDefense Platform One, @kubernetesio operators @d2iq, upstream @CloudNativeFdn.
Haskell Foundation
@haskellfound
haskell.foundation • a non-profit for building the future of Haskell
Hasen Judi
@hasen_judi
Make Programming Fun Again. INTP
Type Theory Forall
@ttforall
Making Type Theory, Programming Languages and Formal methods more accessible! typetheoryforall.com
Pipe42 - CEO of htmx
@pipe42uk
Test all things; hold fast that which is good.
Nick Blow
@nickblowtech
CTO @ Wakelet.com. Dad to 2 children. Trying and failing to escape writing TypeScript. No relation to Jonathan Blow.
jayson.kt
@idiomaticdev
Principal Engineer / CTO, dabbled in FAANG (Amazon/Apple), Borland Alumni, and jungle dweller. Diagnosed Kotlin and SQL fanatic. jaysonminard.com
seven
@sevenxyt
learning ocaml and rust
Lazarz
@laz4rz
hectic, Neuroenginnering @EPFL, Physics UW, R6 veteran
guilherme
@noghartt
23. senior swe @ fireflies.ai