effectfully
@effectfully
Haskell, compilers, mental decay
ID: 767333176826032128
http://github.com/effectfully 21-08-2016 12:11:00
4,4K Tweet
6,6K Followers
783 Following
James Ward
@jamesward
My book: EffectOrientedProgramming.com | My podcast: @HappyPathProg | Working on DX for Q Developer at @AWSCloud | My opinions are mine
Ozgun Ataman
@ozataman
Founder/CEO of Soostone. CTO at well.co. Probabilistic reasoning, ML, Haskell/FP and building good software.
Eric Torreborre
@etorreborre
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Felipe O. Carvalho
@_felipe
@ApacheArrow / Databases / Compilers @dbt_labs. (past @SDFLabs, VoDa, @Spotify). C++/OCaml/TLA⁺🇧🇷 → 🇸🇪 → 🌎 bento.me/felipe
John Wiegley
@jwiegley
CTO at Kadena.io. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.
ciamac moallemi
@ciamac
professor @Columbia_Biz / research @paradigm @uniswap @hyperbolic_labs / stochastic control, quantitative finance, market microstructure, blockchain
Ryan Marcus
@ryanmarcus
Assistant prof @CIS_Penn. Machine learning for systems. Databases.
Matt Timmermans
@matt_timmermans
My opinions are all deeply suspect, except where software development is concerned.
alex fazio
@alxfazio
code & LLMs • @aitinkerers milan lead • follow for content on agentic systems, RAG, and prompt engineering
Daniel Compton
@danielwithmusic
Coding @whimsical, Prev: @github Sponsors. Writing and podcasting about Clojure @the_repl, @cljtogether.
Eray Özkural, PhD - OG AI ⏭️🌟
@examachine
AGI researcher, inventor, philosopher, musician. Founder @cic_agi, @cypher_coin ⏩️⏩️⏩️
v
@iavins
breaking databases @tursodatabase. W1 '21 @recursecenter excited about databases, storage engines and message queues
John Carmack
@id_aa_carmack
AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Jonathan Brachthäuser
@__protected
Researcher in computer science, all things effects, author of the Effekt language (effekt-lang.org), JunProf. at Uni Tübingen. types.pl/@effects
mattparlmer 🪐 🌷
@mattparlmer
making machines that make other machines @genfabco - rationalist, humanist, liberal, and friend of the future
moofs
@mooofins
ex la street 🐈 | (λ + s)⁻¹ | asi hierophant
James Payor
@jamespayor
I think about AI, and I'm working on a language for cleaner formal verification. Married to @sbwzp
Kirill Pertsev
@kpertsev
VP Infra & Cloud Ops, developer, cook. founder of @agily. Built infra for 2xIPO. Survivor of socialism. My opinions are my own. About: github.com/kika
Lukáš Hozda
@lukashozda
🦀🍀 ceo of rust @BraiinsMining × building bitcoin in rust book 🍀🦀
roon
@tszzl
fellow creators the creator seeks
gabby
@gabriellag439
Author of @dhall_lang, haskellforall.com, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Vincent Orr
@_cmdv_
λ related bits and bobs @[email protected]
BuzzY_
@u2516g
Hooman
@hoomansv
Engineer. Dip connoisseur. Holder of the bag
|||||
@insurrealist
Content Strategist for Transcendental Syntax.
Luke Ramsden
@lukerramsden
CTO @tryarchitect + Fellow @joinodf
Rafi (رافع)
@rafi3ak
he/him/his; math, politics, nature
Roy Carrilho
@ruicarrilho5
CS PhD student, focusing on computer vision, on a (losing) journey to get cracked
t11s
@transmissions11
research @paradigm
SELO
@seloesque
you can't stop this.
Mike Hornan ⚜️🇨🇦|ABLE| pool SPO
@hornan7
SPO of ABLE stake pool. Simplifying Cardano into understandable content for everyone. Part of the Cardano Atlantic Council 🥰👍 discord.gg/tHYrxCtdHm
Shivaraj B H
@shivaraj_bh_
Bringing NixOS like services to flakes with github.com/juspay/service…
Jared
@jaredhstocks
Volatility/Flows/Convexity
rug
@rugdoctorape
Dev, Artist, Co-Founder at @apereunion
George Flerovsky
@swiftlyunmoving
Cardano Layer 2 | Collaborating on Hydrozoa and Midgard with @AnastasiaLabs @phil_uplc
Dorsa Rohani
@dorsa_rohani
Deep learning, prev @NVIDIA
Diotima Corina 🦋
@diotimacorina
«La destruction fut ma Béatrice»
LeonardoRetardo
@leonard0retard0
ryver
@nathanryver
backend systems & ML | nvim btw, arch btw | 23.
Łukasz | Wookash Podcast
@wookash_podcast
Technical conversations with inspiring figures: programming, game engines, graphics, and more!
BowtiedPrince
@bowtiedprince_
computer scientist at faang
Erik de Castro Lopo 🇦🇺
@erikdrep
I am a Cardano DRep. See github.com/erikd/cardano-… for more information (including my DRep Id).
adt
@ankhdangertaken
Daniel Bright
@daniel888br
ADA handle — Daniel888 —— Loving & learning Cardano 🤯—— i think i sea i see i think 🏴☠️. —IG— daniel_brighty
Zero to $1M with AI
@fromzeroto1m
Building a $1M AI-powered SaaS from scratch. Sharing prompts, code & lessons. 5 months ago: no coding. Today: $1M SaaS, solo, w/ AI.
₳lex
@planetmaaz
SAK @Cardano_CF | Agitator @IntersectMBO | coordinate & allocate for sustainable pmf | own views
LIN WEI
@skywind3000
老程序员，92年（小学）开始写代码，快速可靠传输协议 KCP 作者，知乎25万关注技术答主（id 韦易笑），游戏开发话题，编程话题优秀答主，娱乐化编程，Vim 用户+插件作者，怀旧游戏玩家。
Jann Müller
@j_mueller1
Haskell programmer
Alessandro Palombo
@thealepalombo
The Citizenship Guy | Get 🇵🇹/🇪🇺 residency & citizenship @bitizenship, Bitcoin Ecosystem GV Fund | Simplifying borderless living | bit.ly/alepterms