Dependent Types @dependent_types
Mostly an automated feed from the Dependent Types reddit reddit.com/r/dependent_ty… Joined July 2009-
Tweets1K
-
Followers1K
-
Following2
-
Likes9
Scottish Programming Languages and Verification Summer School 2024 (Jul 29th -- Aug 2nd) dlvr.it/T8ZRPq
0
0
2
138
0
Towards Tagless Interpretation of Stratified System F (pdf) dlvr.it/T4fcgq
UK PhD Position: A Correct-by-Construction Approach to Approximate Computation dlvr.it/T3RQ04
Fueled Evaluation for Decidable Type Checking dlvr.it/T1y4k0
Symmetry: A textbook-in-progress on group theory in Univalent Type Theory – comments welcome on github dlvr.it/SsDxQ5
Defunctionalization with Dependent Types dlvr.it/SmMjbt
How to implement dependent types in 80 lines of code dlvr.it/Sk08Kg
Type Theory Forall Podcast #27 - Formally Verifying an OS: The seL4. Feat. Gerwin Klein dlvr.it/Shxmcd
Type Theory Forall Podcast #26 - Mechanizing Modern Mathematics with Kevin Buzzard dlvr.it/SgzCTF
Deeper Shallow Embeddings (pdf) dlvr.it/SWYlhj
Dependent types are the crypto of programming languages dlvr.it/SSSZS4
Functional Programming in Lean - an in-progress book on using Lean 4 as a programming language dlvr.it/SRw7QS
A formalization of Univalent Axiom dlvr.it/SRDDSK
Is it worth learning dependent types for someone who won't do research in type theory and PL? dlvr.it/SRCXf9
Type Theory Forall - #18 Gödel's Incompleteness Theorems - Cody Roux dlvr.it/SQhTvf
Type Theory Forall Episode #17 The Lost Elegance of Computation - Conal Elliott dlvr.it/SQ3sd0
Normalization by Evaluation and adding Laziness to a strict language dlvr.it/SNZc34
Proving the existence of `swap` in DTT dlvr.it/SN9JQv
Type Theory Forall Episode 16 - Agda, K Axiom, HoTT, Rewrite Theory - Guest: Jesper Cockx dlvr.it/SMrgg3
Interview with Leo de Moura – Combining the Worlds of Automated & Interactive Theorem Proving in Lean dlvr.it/SMh9Wk
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
deech @deech
5K Followers 1K Following
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Jacques Carette @jjcarett2
2K Followers 933 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
David Thrane Christia... @d_christiansen
3K Followers 624 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
daniel gratzer @dannygratzer
1K Followers 764 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
José Manuel Calderó... @josecalderon
2K Followers 854 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Samuelqu030527 @vincentz037
2 Followers 48 Following
r j hunter @ryanjhunter
617 Followers 1K Following ceo, helaix – Assurance OS for agentic orchestration at scale. author: Auditable AI; Designing Multi-Agent Systems in Effect. brave? DM for regulatory audit
ℂosmin Lehene @clehene
701 Followers 2K Following Apply-focused indie lab researching mathematical foundations of systems across domains. Ex-founder (fintech/infra), CS + big data/distributed systems (Adobe).
Xuejing, aka Snow @hxjxsnow
404 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Janhavee Shinde @SJanhavee
114 Followers 7K Following
Ernest Ng @ngernest2
502 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
fornever @_for_never
31 Followers 342 Following
duve @jevonduve
155 Followers 232 Following logics and categories. like to play with dependent types. vegan. nondual idealism or something.
Daniel Herrera @hhefesto
160 Followers 192 Following Emacs, Linux, Haskell. Oxitocina, Dopamina, Endorfinas, Serotonina (ODES).
Nilesh Trivedi @nileshtrivedi
11K Followers 7K Following Building AIs at https://t.co/duOuULnu9d I love machines, math & music. @lossfunk @meta @foresightinst @clearFromCT @iiml @iitkgp ❤️ https://t.co/kJujVRw8jZ
David Fox @SeeReason
206 Followers 626 Following 50 years of vibe coding. Haskell, automated reasoning, computational semantics, meta programming. also @ddssff.
chemistryitself @Cosmic_Lambdas
1 Followers 77 Following
JR Rudnick @redscout
100 Followers 1K Following
金龙 @xiaojinlong
6 Followers 464 Following
James Caldwell @jlcaldwell2
40 Followers 227 Following Professor Emeritus, Department of Computer Science, University of Wyoming.
neuroevolutus @neuroevolutus
22 Followers 3K Following
Vincent Ralph @VincentRal9
25 Followers 317 Following
Liability07 @Liability071
10 Followers 237 Following
Kira @deespodete
57 Followers 968 Following antyplatońska intuicjonistka, demokratyczna socjalistka i niespełniona basistka ona/jej 🏳️⚧️
∤∤∤∤∤ @punishdtriangls
1K Followers 3K Following he undertakes with enthusiasm what he holds in horror r/acc Prime Hermeticon
Marc Thatcher @MarcThatcher
73 Followers 170 Following 'And you may ask yourself: well, how did I get here?'
Bosco dossyosep @dossyosep41086
2 Followers 77 Following
dolph🇩🇰🇺🇦 @easondp
10 Followers 219 Following MSc in Danmarks tekniske universitet,fan of algebra and functional https://t.co/EaKlfr5TnP Ukraine!
Derek @dhsorens
284 Followers 2K Following mathematician and theoretical computer scientists, formally verifying smart contracts
@psilospore - Syed Ja... @psilospore
85 Followers 784 Following PhD Student at the University of Vermont and Software Engineer. I like Functional Programming. I mosly write Haskell these days.
chreke @therealchreke
674 Followers 898 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Darshal Shetty @DarshalShetty
23 Followers 273 Following
Arip @machinestein
1K Followers 779 Following
Jan Decat @maskedattention
44 Followers 1K Following he/him. Mostly here for math/compsci news and resources.
Luis Astorga J. @teatromental
63 Followers 689 Following
Pietro Tollot @ptollot
26 Followers 415 Following
fredcheng @neumanncheng
23 Followers 3K Following
Adam Menne @AdamMenne
1 Followers 183 Following
Demuirgos @Demiurgos23
94 Followers 398 Following - Just a lover all things niche in programming - Aspiring Type theory enthusiast - Core Developer at @NethermindEth
Michael Whitehead @defectiveNPC
122 Followers 144 Following Building the thing that will build ALL THE THINGS! * CTO of Onepunch Technologies Inc. Functional Programmer.
Pawel Sawicz @sawiczpawel
1K Followers 1K Following Problem solver, @dotNetConfPL c0-organizer, Engineer @checkout. Alumni of @PWr_Wroclaw. MSc SoftEng @UniofOxford
germeiner @germeiner
7 Followers 332 Following
Yue Yao @wrtcompilee
76 Followers 194 Following PhD student at @CSDatCMU; session types and friends; I consider myself a semanticist.
Rico @rico_1900
120 Followers 324 Following
Paweł Szulc @EncodePanda
3K Followers 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Lennart Augustsson @Augustsson
2K Followers 198 FollowingTrends for United States
73,4 B posts
27,3 B posts
30,6 B posts
39,2 B posts
8.914 posts
2.793 posts
2.317 posts
28,2 B posts
6.095 posts
4.774 posts
4.254 posts
1.055 posts
1.043 posts
3.034 posts
4.353 posts
2.357 posts
1.782 posts
4.009 posts
1.628 posts
You might like
Well-Typed
@welltyped
6K Followers
Galois
@galois
6K Followers
ICFP Conference
@icfp_conference
4K Followers
Graham Hutton
@haskellhutt
8K Followers
David Van Horn
@lambda_calculus
5K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Dominic Orchard
@dorchard
2K Followers
Lennart Augustsson
@Augustsson
2K Followers
Jeremy Gibbons
@jer_gib
2K Followers
Carter T Schonwald
@cartazio
2K Followers
Vladislav Zavialov
@int_index
2K Followers
Steven Shaw
@steshaw
1K Followers