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
0
146
0
View Details
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
33K 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
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Ilya Sergey @ilyasergey
8K Followers 980 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
davidad 🎇 @davidad
23K Followers 10K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
Jacques Carette @jjcarett2
2K Followers 939 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Edward Z. Yang @ezyang
17K Followers 2K 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/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
David Thrane Christia... @d_christiansen
3K Followers 611 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 751 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
Mike Hicks @michael_w_hicks
5K Followers 467 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 864 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Juni May @JuniMayErst
12 Followers 300 Following
Nick @Nick31298367
1 Followers 77 Following
Samuelqu030527 @vincentz037
0 Followers 31 Following
ryan j hunter @ryanjhunter
738 Followers 1K Following agentic systems + trust infrastructure. context, authority, evals, observability, workflows, receipts. governable-ai · helaix · https://t.co/oRUTy39hsC
ℂosmin Lehene @clehene
699 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
379 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
79 Followers 7K Following
Ernest Ng @ngernest2
498 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
fornever @_for_never
29 Followers 384 Following
duve @jevonduve
388 Followers 386 Following logics and categories. like to play with dependent types. 23. vegan. penn.
Daniel Herrera @hhefesto
157 Followers 207 Following Emacs, Linux, Haskell. Oxitocina, Dopamina, Endorfinas, Serotonina (ODES).
Nilesh Trivedi @nileshtrivedi
12K Followers 8K Following Building AI magic @qwikbuild I love machines, math & music. Past: @lossfunk @meta @foresightinst @_cleartax @iiml @iitkgp
David Fox @SeeReason
208 Followers 633 Following 50 years of vibe coding. Haskell, automated reasoning, computational semantics, meta programming. also @ddssff.
chemistryitself @Cosmic_Lambdas
1 Followers 75 Following
JR Rudnick @redscout
83 Followers 1K Following
金龙 @xiaojinlong
5 Followers 461 Following
James Caldwell @jlcaldwell2
42 Followers 239 Following Professor Emeritus, Department of Computer Science, University of Wyoming.
neuroevolutus @neuroevolutus
19 Followers 3K Following
Vincent Ralph @VincentRal9
16 Followers 316 Following
Liability07 @Liability071
2 Followers 234 Following
Kira @deespodete
68 Followers 984 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
82 Followers 163 Following 'And you may ask yourself: well, how did I get here?'
Bosco dossyosep @dossyosep41086
1 Followers 72 Following
dolph🇩🇰🇺🇦 @easondp
10 Followers 217 Following MSc in Danmarks tekniske universitet,fan of algebra and functional https://t.co/EaKlfr5TnP Ukraine!
Derek @dhsorens
547 Followers 2K Following researcher | formal verification protocol snarkification at @ethereumfndn
@psilospore - Syed Ja... @psilospore
83 Followers 779 Following PhD Student at the University of Vermont and Software Engineer. I like Functional Programming. I mosly write Haskell these days.
chreke @therealchreke
785 Followers 1K Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Darshal Shetty @DarshalShetty
25 Followers 287 Following
Jan Decat @maskedattention
39 Followers 1K Following he/him. Mostly here for math/compsci news and resources.
Luis Astorga J. @teatromental
64 Followers 695 Following
Pietro Tollot @ptollot
21 Followers 411 Following
fredcheng @neumanncheng
20 Followers 4K Following
Adam Menne @AdamMenne
1 Followers 183 Following
Demuirgos @Demiurgos23
90 Followers 389 Following - Just a lover all things niche in programming - Aspiring Type theory enthusiast - Ex Ethereum Core Developer
Michael Whitehead @defectiveNPC
109 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
6 Followers 323 Following
Yue Yao @wrtcompilee
72 Followers 192 Following PhD student at @CSDatCMU; session types and friends; I consider myself a semanticist.
Rico @rico_1900
98 Followers 347 Following
Paweł Szulc @EncodePanda
3K Followers 665 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Lennart Augustsson @Augustsson
2K Followers 198 FollowingYou might like
Well-Typed
@welltyped
7K Followers
Galois
@galois
6K Followers
Graham Hutton
@haskellhutt
9K Followers
Lennart Augustsson
@Augustsson
2K Followers
Jeremy Gibbons
@jer_gib
2K Followers
Carter T Schonwald
@cartazio
2K Followers
Vladislav Zavialov
@int_index
2K Followers