Analyze shared links from Type Theory Forall

The social network this podcast cites the most is Twitter (23 unique links). Another source it references often is Github (14 links). The most cited link overall is a Other link, mentioned 28 times. Everything above comes straight from the public descriptions the creators wrote themselves. We don't add, remove, or assume anything.

Service

The table below shows each link, how many times Type Theory Forall has used it, and which other podcasts have cited the same link.

Link	#	Other Shows
https://ko-fi.com/typetheoryforall	28	—
https://discord.gg/FGkxNhprp9	5	—
https://dsbd-appcontrol.github.io/	4	—
https://border-patrol.github.io/	4	—
https://plfa.github.io/	3
https://www.typetheoryforall.com/	3	—
https://www.sigplan.org/LongTermMentoring/	2	—
https://www.youtube.com/watch?v=EpGGenaS-mQ	2	—
https://en.wikipedia.org/wiki/Epistemic_injustice	2
https://rachit.pl/	2	—
https://vu.nl/en/events/2023/inaugural-lecture-by-prof-dr-ir-f-f-j-hermans	2	—
https://signalsandthreads.com/future-of-programming/	2	—
https://www.hedy.org/	2
https://sigcomm.quest/	2	—
https://twitter.com/jfdm	2	—
https://arxiv.org/abs/2107.13433	2	—
https://twitter.com/TaliaRinger	2	—
https://www.idris-lang.org	2	—
https://pit-claudel.fr/clement/	2	—
https://iohk.io/en/research/library/papers/system-f-in-agda-for-fun-and-profit/	2	—
https://twitter.com/NitinJohnRaj2	2	—
https://docs.google.com/document/d/1_vBXbugoLjO171w3wovs3ugmRQI-O6EcSVFDBF7eUzE/edit	2	—
https://twitter.com/EricBond10	2	—
https://artifact-eval.org/	2	—
https://ko-fi.com/M4M5F71UK	2	—
http://conal.net/papers/type-class-morphisms	2	—
http://conal.net/papers/essence-of-ad/	2	—
http://goto.ucsd.edu/~john/	2	—
https://smlfamily.github.io/	2
http://conal.net/papers/compiling-to-categories/	2	—
https://twitter.com/conal	2	—
https://www.xn--pdrot-bsa.fr/	2	—
http://matt.might.net/#blog	2	—
https://blog.sigplan.org/2021/12/07/bad-reasons-to-reject-good-papers-and-vice-versa/	2	—
https://github.com/cpitclaudel/biblio.el	2	—
https://www.kleene.church	2	—
https://dblp.org/pid/02/7115.html	2	—
https://math.andrej.com/2023/02/13/formalizing-invisible-mathematics/	2	—
http://conal.net/papers/generic-parallel-functional/	2	—
https://github.com/conal/Collaboration	2	—
http://conal.net/	2
https://arxiv.org/abs/2010.04918	1	—
https://jesper.sikanda.be/publications.html	1	—
https://thielfellowship.org/faq	1	—
https://mirdin.com/newsletter-and-blog/	1	—
https://www.amazon.com/Logicomix-search-truth-Apostolos-Doxiadis/dp/1596914521	1
https://europroofnet.github.io/	1	—
https://buttondown.email/hillelwayne	1
https://ericnormand.me/newsletter	1	—
https://www.youtube.com/playlist?list=PLyrlk8Xaylp7R6HqlECu2RGbZUZQofo8e	1	—

About Methodology Contact Support me Privacy Policy