RSSAmplifier

Blog

Jon Sterling › Blog

jonmsterling.com ↗RSS feed ↗32 posts

Latest posts

Generalised quasi-coherence, sober spaces, and spatial algebras

Primitive identity types and proof-relevant unification

Project Pterodactyl’s layered architecture

Am I the only one still wondering what is the deal with linear types?

NewsRadar is now NewsDrawer, and it’s lickable

Disentangling unification and implicit coercion

It Is Wrong To Take Life: language & mockery in the Shing era

The magnificent churches of Cambridgeshire

2025 Year in Review

The CAS model of incremental build systems

Sending strict propositions to the Ripley cupboard

Shall we strictify some homotopy propositions?

Fuss-free universe hierarchies

Lifting coercions to theory refinements

Labelled preorders and implicit coercions

A focused vision for Project Pterodactyl

Thoughts on XSLT in the “web platform”

NewsRadar: a work-in-progress newsreader for the Macintosh

The Greatest Predator Ever Known!

Thoughts on Apple’s new design language

We have AI at home…

Putting Mac OS X Tiger back to work

Ventriloquy of the Mid-Century Man

Winter in Eden and Return to Eden: an imperfect conclusion

West of Eden: you can judge a book by its cover

We must fund intellectual infrastructure for the long term

Tips for using plain text email on macOS

Day tensors of fibered categories

On the relationship between QTT and STC

Classifying topoi and generalised abstract syntax

Scientific refereeing using Bike Outliner

A synthetic proof of HTT 7.2.1.14