corpus.blog
54,302 blogs · 4,481,250 posts Claim your blog
Blog · corpus.blog/blogs/math.andrej.com

math.andrej.com

math.andrej.com · Personal developer blogs · English

Posts on record
10
First published
10 October 2022
Last published
10 July 2026
Feed
math.andrej.com/feed.xml
Language
English
Category
Personal developer blogs

Is this your blog?

Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.

Claim math.andrej.com
21blogs citing
27 links from citing blogs

Most cited pages

Page
Blogs
math.andrej.com/2016/08/06/hask-is-not-a-category/
4blogs
math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/
2blogs
math.andrej.com/2009/04/09/pythons-lambda-is-broken/
2blogs
math.andrej.com/2013/06/20/the-hott-book/
2blogs
math.andrej.com/
1blogs
math.andrej.com/2004/05/04/propositions-as-types/
1blogs
math.andrej.com/2008/02/02/the-hydra-game/
1blogs
math.andrej.com/2008/09/14/sub-and-poly-two-new-additions-to-the-pl-zoo/
1blogs
math.andrej.com/2009/09/07/constructive-stone-finite-sets/
1blogs
math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/
1blogs
math.andrej.com/2011/01/03/the-dialectica-interpertation-in-coq/
1blogs
math.andrej.com/2011/12/06/embedding-the-baire-space-into-natural-numbers/
1blogs
math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/
1blogs
math.andrej.com/2014/05/08/seemingly-impossible-proofs/
1blogs
math.andrej.com/2021/02/03/synthetic-mathematics-with-excursion-to-computability/
1blogs
Isomorphism invariance and isomorphism reflection in type theory (TYPES 2023)
/2023/06/15/types-2023-isomorphism-invariance-and-isomorphism-reflection/
1blogs
math.andrej.com/category/type-theory/
1blogs
math.andrej.com/wp-content/uploads/2012/03/eff.pdf
1blogs
math.andrej.com/wp-content/uploads/2012/05/pullback.pdf
1blogs
math.andrej.com/wp-content/uploads/2016/06/hott-reals-cca2016.pdf
1blogs

Blogs citing this one

Blog
Links
Posts
doisinkidney.com
2
2
homotopytypetheory.org
2
2
ian.wold.guru
2
2
relatedwork.blogspot.com
2
2
xorshammer.com
2
2
sawyer.dev
2
1
arunkant.com
1
1
blog.cdleary.com
1
1
blog.ezyang.com
1
1
existentialtype.wordpress.com
1
1
free.cofree.io
1
1
grahamenos.com
1
1
hedonisticlearning.com
1
1
jappieklooster.nl
1
1
joachim-breitner.de
1
1
pema.dev
1
1
philipzucker.com
1
1
ro-che.info
1
1
semantic-domain.blogspot.com
1
1
thehighergeometer.wordpress.com
1
1

Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.

Recent posts

Making AI smarter with AIoriginal ↗
10 Jul 2026
Claude and Ioriginal ↗
13 Apr 2026
Space-filling curves, constructivelyoriginal ↗
29 Jan 2024
On indefinite truth valuesoriginal ↗
12 Aug 2023
Variations on Weihrauch degrees (CiE 2023)original ↗
27 Jul 2023
Continuity principles and the KLST theoremoriginal ↗
18 Jul 2023
Isomorphism invariance and isomorphism reflection in type theory (TYPES 2023)original ↗
14 Jun 2023
Formalizing invisible mathematicsoriginal ↗
12 Feb 2023
Exploring strange new worlds of mathematicsoriginal ↗
9 Feb 2023
Happy birthday, Dana!original ↗
10 Oct 2022
All 10 posts, by year

A source page reaches every post it holds, not only the newest fifteen.