Dependent Types
@dependent_types
Mostly an automated feed from the Dependent Types reddit
ID: 60025947
http://www.reddit.com/r/dependent_types/ 25-07-2009 09:50:11
1,1K Tweet
1,1K Followers
2 Following
Cosmin Lehene
@clehene
bsky.app/profile/clehen… CS, math free diving. Reinventing all wheels. Founder TapWater / B2B fintech infra, ex distributed systems at Adobe
deech
@deech
Nilesh Trivedi
@nileshtrivedi
Building AIs at snowmountain.ai I love machines, math & music. Ex- @meta @foresightinst @clearFromCT @gupshup @iiml @iitkgp ❤️ isfixable.com
Edward Z. Yang
@ezyang
I work on PyTorch at Meta. Chatty alt at @difficultyang. Currently on parental leave and doing a lot of AI coding, including authoring codemcp.
davidad 🎇
@davidad
Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
José Manuel Calderón Trilla (@jmct.bsky.social)
@josecalderon
Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Cyrus Omar (now mainly on bsky)
@neurocy
🌱 laying foundations for the future of programming @ hazel.org 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
空
@sardyn
効加 = e/acc
Pawel Sawicz
@sawiczpawel
Problem solver, @dotNetConfPL c0-organizer, Engineer @checkout. Alumni of @PWr_Wroclaw. MSc SoftEng @UniofOxford
Daniel Herrera
@hhefesto
Emacs, Linux, Haskell. Oxitocina, Dopamina, Endorfinas, Serotonina (ODES).
Stephen Diehl
@smdiehl
Left this hellsite for BlueSky. bsky.app/profile/www.st…
David Thrane Christiansen
@d_christiansen
I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Well-Typed
@welltyped
The Haskell Consultants
José A. Alonso
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Luis Astorga J.
@teatromental
@psilospore - Syed Jafri
@psilospore
PhD Student at the University of Vermont and Software Engineer. I like Functional Programming. I mosly write Haskell these days.
Darshal Shetty
@darshalshetty
Xuejing, aka Snow
@hxjxsnow
Postdoc @IRIF_Paris #MyElixirStatus / PhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 Married / ADHD is my super ability / INS @hxjxsnow
Marc Thatcher
@marcthatcher
'And you may ask yourself: well, how did I get here?'
金龙
@xiaojinlong
daniel gratzer
@dannygratzer
phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
dolph🇩🇰🇺🇦
@easondp
MSc in Danmarks tekniske universitet,fan of algebra and functional programming.Support Ukraine!
Rico
@rico_1900
Ernest Ng
@ngernest2
Programming Languages PhD student @Cornell_CS | he/him
r j h
@ryanjhunter
cartographer of complexity. iterating over systems dynamics, 80/20, and TOC endlessly as i navigate the infinite backrooms of the grand system
James Caldwell
@jlcaldwell2
Professor Emeritus, Department of Computer Science, University of Wyoming.
Janhavee Shinde
@sjanhavee
Pietro Tollot
@ptollot
Dad×2_jack
@iceland_jack
Haskell
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
germeiner
@germeiner
Arip
@machinestein
Bruno Gavranović
@bgavran3
Category Theory + Deep Learning.
Yue Yao
@wrtcompilee
PhD student at @CSDatCMU; session types and friends; I consider myself a semanticist.
chreke
@therealchreke
Freelancer. Web and distributed systems developer. Club Mate enthusiast. Posts only the finest programming memes.
Egbert Rijke
@egbertrijke
Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
john smith
@johnsmi42378952
.
fornever
@_for_never
Uipalent transport
@owotizusa
3A yoyo thrower. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
kirraObj
@typedfurry
Coding (Mainly Kotlin & Java) / Undergrad.
Demuirgos
@demiurgos23
- Just a lover all things niche in programming - Aspiring Type theory enthusiast - Core Developer at @NethermindEth
neuroevolutus
@neuroevolutus
Adam Menne
@adammenne
Artin Ghasivand
@ei30metry
Haskell and PLT enthusiast
yuotsuka
@kusto_y
FLOSS/プログラム言語/RISC-V
PTAH NAM
@nam_ptah
Nyang
Liability07
@liability071
Kira
@deespodete
CompSci student at University of Wrocław | any pronouns 🏳️⚧️
Jan Decat
@maskedattention
he/him. Mostly here for math/compsci news and resources.
Qiyuan Zhao
@zqy1018
🤯
Samuelqu030527
@vincentz037
polytropos
@polytropos22
A guy who programs
Michael Whitehead
@defectivenpc
Building the thing that will build ALL THE THINGS! * CTO of Onepunch Technologies Inc. Functional Programmer.
∤∤∤∤∤
@punishdtriangls
he undertakes with enthusiasm what he holds in horror r/acc Prime Hermeticon
Bosco dossyosep
@dossyosep41086
zpq
@vilchesval3660
Saul
duve
@jevonduve
logician and mystic. love grunge and fruit. like to play with dependent types. anarchovegan. penn.
Vincent Ralph
@vincentral9
JR Rudnick
@redscout
chemistryitself
@cosmic_lambdas
fredcheng
@neumanncheng
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Derek
@dhsorens
mathematician and theoretical computer scientists, formally verifying smart contracts
Σ
@0bjact
computer scientist striving for more knowledge 📿
David Fox
@seereason
Haskell, automated reasoning, computational semantics, meta programming, fan of ImplicitParams. also @ddssff.
Jacques Carette
@jjcarett2
Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.