| | NewsRadar is now NewsDrawer, and it's lickable (jonmsterling.com) |
| 2 points by arm 3 months ago | past |
|
| | "Am I the only one still wondering what is the deal with linear types?" – Jon S (jonmsterling.com) |
| 4 points by matt_d 6 months ago | past |
|
| | Project Pterodactyl: Incremental Architecture (jonmsterling.com) |
| 1 point by matt_d 7 months ago | past |
|
| | Disentangling unification and implicit coercion (subtyping interaction problem) (jonmsterling.com) |
| 2 points by matt_d 7 months ago | past |
|
| | The content-addressed storage (CAS) model of incremental build systems (jonmsterling.com) |
| 1 point by matt_d 10 months ago | past |
|
| | Fuss-Free Universe Hierarchies (jonmsterling.com) |
| 1 point by matt_d 11 months ago | past |
|
| | Labelled preorders and coercions: different approaches to multiple inheritance (jonmsterling.com) |
| 2 points by matt_d 11 months ago | past |
|
| | Dependent Types: Universes, or types of types (jonmsterling.com) |
| 41 points by matt_d on Aug 27, 2025 | past | 2 comments |
|
| | Build your own Stacks Project in 10 minutes (jonmsterling.com) |
| 1 point by mathgenius on Aug 17, 2023 | past |
|
| | Lecture notes written using TeXmacs [pdf] (jonmsterling.com) |
| 3 points by amichail on May 18, 2022 | past |
|
| | Structural and Contextual Dynamics (jonmsterling.com) |
| 3 points by setra on March 28, 2017 | past |
|
| | Modernized Logic of Computable Functions: The Logic of Goals and Tactics (jonmsterling.com) |
| 2 points by pizza on March 27, 2017 | past |
|
| | Proving Type Inequality in C++ (jonmsterling.com) |
| 1 point by jonsterling on Feb 11, 2013 | past |
|
| | Extensible Records in C++ (jonmsterling.com) |
| 4 points by AndreyKarpov on Nov 26, 2012 | past |
|
| | Flexibly-Phased Constraints in Haskell (jonmsterling.com) |
| 1 point by jonsterling on July 23, 2012 | past |
|
| | Typed Collections with Self Types in Objective-C (jonmsterling.com) |
| 2 points by DanielRibeiro on Feb 11, 2012 | past |
|
| | Expressing Church Pairs with Types (jonmsterling.com) |
| 1 point by jonsterling on Jan 23, 2012 | past |
|
| | Unifying Monoids and Monads with Polymorphic Kinds (jonmsterling.com) |
| 1 point by jonsterling on Jan 23, 2012 | past |
|
