corpus.blog
56,966 blogs · [ { "id": "01a0bb43-c8b3-7256-a7d4-5bf0f11f9f8a", "title": "On Leopards and the Regretful Collaborationists of Prestige Mathematics", "url": "https://www.jonmsterling.com/0LWP/", "published_at": "2026-09-13T08:50:32+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f3363d7125", "title": "Generalised quasi-coherence, sober spaces, and spatial algebras", "url": "https://www.jonmsterling.com/0LVV/", "published_at": "2026-08-10T09:59:24+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f336b131fd", "title": "Primitive identity types and proof-relevant unification", "url": "https://www.jonmsterling.com/01LB/", "published_at": "2026-06-07T14:18:22+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33766c4b1", "title": "Project Pterodactyl’s layered architecture", "url": "https://www.jonmsterling.com/01KF/", "published_at": "2026-03-07T10:14:11+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33789ba1d", "title": "Am I the only one still wondering what is the deal with linear types?", "url": "https://www.jonmsterling.com/01KB/", "published_at": "2026-02-12T09:59:07+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f3385572b9", "title": "NewsRadar is now NewsDrawer, and it’s lickable", "url": "https://www.jonmsterling.com/01K5/", "published_at": "2026-02-07T12:05:00+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f3394d29a7", "title": "Disentangling unification and implicit coercion", "url": "https://www.jonmsterling.com/01JQ/", "published_at": "2026-01-27T21:50:56+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f3398185f9", "title": "It Is Wrong To Take Life: language & mockery in the Shing era", "url": "https://www.jonmsterling.com/01JN/", "published_at": "2026-01-24T11:08:46+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f339996051", "title": "The magnificent churches of Cambridgeshire", "url": "https://www.jonmsterling.com/01JK/", "published_at": "2026-01-01T12:25:43+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33a94cdde", "title": "2025 Year in Review", "url": "https://www.jonmsterling.com/01JD/", "published_at": "2025-12-24T13:03:26+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33ad740b9", "title": "The CAS model of incremental build systems", "url": "https://www.jonmsterling.com/01IP/", "published_at": "2025-10-31T08:34:15+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33b929ea1", "title": "Sending strict propositions to the Ripley cupboard", "url": "https://www.jonmsterling.com/01IK/", "published_at": "2025-10-20T07:48:47+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33baa0b0d", "title": "Shall we strictify some homotopy propositions?", "url": "https://www.jonmsterling.com/01I6/", "published_at": "2025-10-07T14:30:32+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33c848755", "title": "Fuss-free universe hierarchies", "url": "https://www.jonmsterling.com/01HX/", "published_at": "2025-10-06T07:37:50+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33caff732", "title": "Lifting coercions to theory refinements", "url": "https://www.jonmsterling.com/01HN/", "published_at": "2025-10-01T12:40:28+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33cbf40cb", "title": "Labelled preorders and implicit coercions", "url": "https://www.jonmsterling.com/01HB/", "published_at": "2025-09-30T15:50:45+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33d1da747", "title": "A focused vision for Project Pterodactyl", "url": "https://www.jonmsterling.com/01H3/", "published_at": "2025-09-27T10:14:42+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33da137e6", "title": "Thoughts on XSLT in the “web platform”", "url": "https://www.jonmsterling.com/01DI/", "published_at": "2025-08-17T13:25:51+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33e98484f", "title": "NewsRadar: a work-in-progress newsreader for the Macintosh", "url": "https://www.jonmsterling.com/01C9/", "published_at": "2025-08-06T12:48:06+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33f003eb9", "title": "The Greatest Predator Ever Known!", "url": "https://www.jonmsterling.com/01C8/", "published_at": "2025-07-31T19:06:39+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f33fb456cf", "title": "Thoughts on Apple’s new design language", "url": "https://www.jonmsterling.com/01BX/", "published_at": "2025-06-12T09:16:28+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f3401e67fa", "title": "We have AI at home…", "url": "https://www.jonmsterling.com/01AS/", "published_at": "2025-04-25T14:53:38+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f340970b15", "title": "Putting Mac OS X Tiger back to work", "url": "https://www.jonmsterling.com/01AH/", "published_at": "2025-04-17T14:06:00+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f34123e31b", "title": "Ventriloquy of the Mid-Century Man", "url": "https://www.jonmsterling.com/019W/", "published_at": "2025-04-06T21:42:56+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f3421a05d1", "title": "Winter in Eden and Return to Eden: an imperfect conclusion", "url": "https://www.jonmsterling.com/019O/", "published_at": "2025-03-23T10:33:44+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f34318a217", "title": "West of Eden: you can judge a book by its cover", "url": "https://www.jonmsterling.com/015W/", "published_at": "2025-01-25T16:36:23+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f343c50255", "title": "We must fund intellectual infrastructure for the long term", "url": "https://www.jonmsterling.com/013G/", "published_at": "2024-11-17T11:29:18+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f344118a6f", "title": "Tips for using plain text email on macOS", "url": "https://www.jonmsterling.com/00QB/", "published_at": "2024-03-10T00:00:00+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f344d6244a", "title": "Day tensors of fibered categories", "url": "https://www.jonmsterling.com/009F/", "published_at": "2023-09-20T00:00:00+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f34550584d", "title": "On the relationship between QTT and STC", "url": "https://www.jonmsterling.com/0094/", "published_at": "2023-09-17T00:00:00+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f34573a510", "title": "Classifying topoi and generalised abstract syntax", "url": "https://www.jonmsterling.com/008J/", "published_at": "2023-09-05T00:00:00+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f3461199af", "title": "Scientific refereeing using Bike Outliner", "url": "https://www.jonmsterling.com/0084/", "published_at": "2023-08-31T00:00:00+00:00" }, { "id": "01a08790-4e25-70fa-9849-a7f34658f8f6", "title": "A synthetic proof of HTT 7.2.1.14", "url": "https://www.jonmsterling.com/007T/", "published_at": "2023-08-18T00:00:00+00:00" } ] posts Claim your blog
Back to jonmsterling.com
Blog · corpus.blog/blogs/jonmsterling.com/posts

jonmsterling.com

jonmsterling.com

2026

On Leopards and the Regretful Collaborationists of Prestige Mathematicsoriginal ↗
13 Sept 2026
Generalised quasi-coherence, sober spaces, and spatial algebrasoriginal ↗
10 Aug 2026
Primitive identity types and proof-relevant unificationoriginal ↗
7 Jun 2026
Project Pterodactyl’s layered architectureoriginal ↗
7 Mar 2026
Am I the only one still wondering what is the deal with linear types?original ↗
12 Feb 2026
NewsRadar is now NewsDrawer, and it’s lickableoriginal ↗
7 Feb 2026
Disentangling unification and implicit coercionoriginal ↗
27 Jan 2026
It Is Wrong To Take Life: language & mockery in the Shing eraoriginal ↗
24 Jan 2026
The magnificent churches of Cambridgeshireoriginal ↗
1 Jan 2026

2025

2025 Year in Revieworiginal ↗
24 Dec 2025
The CAS model of incremental build systemsoriginal ↗
31 Oct 2025
Sending strict propositions to the Ripley cupboardoriginal ↗
20 Oct 2025
Shall we strictify some homotopy propositions?original ↗
7 Oct 2025
Fuss-free universe hierarchiesoriginal ↗
6 Oct 2025
Lifting coercions to theory refinementsoriginal ↗
1 Oct 2025
Labelled preorders and implicit coercionsoriginal ↗
30 Sept 2025
A focused vision for Project Pterodactyloriginal ↗
27 Sept 2025
Thoughts on XSLT in the “web platform”original ↗
17 Aug 2025
NewsRadar: a work-in-progress newsreader for the Macintoshoriginal ↗
6 Aug 2025
The Greatest Predator Ever Known!original ↗
31 Jul 2025
Thoughts on Apple’s new design languageoriginal ↗
12 Jun 2025
We have AI at home…original ↗
25 Apr 2025
Putting Mac OS X Tiger back to workoriginal ↗
17 Apr 2025
Ventriloquy of the Mid-Century Manoriginal ↗
6 Apr 2025
Winter in Eden and Return to Eden: an imperfect conclusionoriginal ↗
23 Mar 2025
West of Eden: you can judge a book by its coveroriginal ↗
25 Jan 2025

2024

We must fund intellectual infrastructure for the long termoriginal ↗
17 Nov 2024
Tips for using plain text email on macOSoriginal ↗
10 Mar 2024

2023

Day tensors of fibered categoriesoriginal ↗
20 Sept 2023
On the relationship between QTT and STCoriginal ↗
17 Sept 2023
Classifying topoi and generalised abstract syntaxoriginal ↗
5 Sept 2023
Scientific refereeing using Bike Outlineroriginal ↗
31 Aug 2023
A synthetic proof of HTT 7.2.1.14original ↗
18 Aug 2023