Upload a new image (PNG or JPEG, max 5MB) or remove your current avatar.

jonmsterling.com

12 followers 7 following

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

Cambridge, United Kingdom

PUNCHCARD 216 commits

PINNED REPOS
AquaKit
A collection of user interface components and drawing routines for building tasteful apps using AppKit.
Swift
4
1
swift-pterodactyl
Swift
9

COLLABORATING ON

anil.recoil.org/bellairs-quest
On a quest for agency in Bellairs
HTML
9

ACTIVITY

this month

created 112 commits

1 month ago

created 104 commits
created 2 repositories
pterodactyl-language-client
TypeScript
AquaKit
Swift
created 2 issues
1 open 1 closed
#1
Prevent circular definitions on jonmsterling.com/swift-pterodactyl
#1
Correct the highlighting behaviour of AquaSegmentedCell on jonmsterling.com/AquaKit

2 months ago

created 1 repository
reflexive-graph-lenses-paper
TeX
created 1 issue
1 closed
#1
Fix all the mistakes noticed by Ian Ray on jonmsterling.com/reflexive-graph-lenses-paper
created 4 pull requests
4 merged
#1
Definition 29: fix typographical error in constant DRG on jonmsterling.com/reflexive-graph-lenses-paper
#2
Construction 32, Computation 33: path object => reflexive graph on jonmsterling.com/reflexive-graph-lenses-paper
#3
Lemma 41: strengthening to a quasi-inverse on jonmsterling.com/reflexive-graph-lenses-paper
#4
Acknowledge Ian Ray on jonmsterling.com/reflexive-graph-lenses-paper

5 months ago

created 1 repository
swift-pterodactyl
Swift