Top all-time · #6274
Jon Sterling
Personal blog · jonmsterling.commathprogrammingphilosophy
Jon Sterling's personal blog at jonmsterling.com covers math, programming and philosophy. Since 2012, 13 different Hacker News readers have linked it 25 times, most often “Lecture notes written using TeXmacs [pdf]”. It is still writing: the last post was on 2026-10-26, and you can follow it by feed.
Too few sampled comments (7) to say how often HN recommends it.?
Why HN links it
HN readers link Jon Sterling's site as a source for his papers and lecture notes on domain theory and type theory, along with his CV and a PDF-to-text project. Commenters cite it rather than praise the writing.
Summarised by Claude from a sample of 7 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Lecture notes written using TeXmacs [pdf]2 people · 3 mentions · first linked 2022-05-18
What Hacker News says?
Thanks for your comment. Indeed. Therein lies the rub. Why? Because no matter the fact that I've spent several years of my latent career crawling and parsing and outputting PDF data, I see now that pointing my LLLM stack at a directory of *.pdf just makes the invisible encoding of the object graph visible. It's a skeptical science. The key transclusion may be to move from imperative to declarative tools or condition…
Comment linking /index/index.xml
on “PDF to Text, a challenging problem”Submitted Dependent Types: Universes, or types of types as a story · 41 points
HN discussionVarious senses that concur. It has, in addition to the line-breaking algorithm, a global page-breaking algorithm ... and for the rest may I suggest reading (it's brief) section 4.2 of GNU TeXmacs, A free, structured, wysiwyg and technical text editor, J. Van der Hoeven, Cahiers GUTenberg, no. 39-40 (2001), pp. 39-50, that you can find at the official website of the journal at http://www.numdam.org/article/CG_2001___…
Comment linking /papers/sterling:2022:wg6.pdf
on “I hate LaTeX, I love LaTeX”Submitted Extensible Records in C++ as a story · 4 points
HN discussionYou can check all of the papers of Joris van der Hoeven ( https://www.texmacs.org/joris/main/publs.html ) and of Massimiliano Gubinelli ( https://www.hcm.uni-bonn.de/people/faculty/publications/?tx_... ), and as well these lecture notes the link to which was recently posted on the TeXmacs forums https://www.jonmsterling.com/papers/sterling:2022:wg6.pdf (link to the forum post http://forum.texmacs.cn/t/sharing-some-l…
Comment linking /papers/sterling:2022:wg6.pdf
on “I hate LaTeX, I love LaTeX”Submitted "Am I the only one still wondering what is the deal with linear types?" – Jon S as a story · 3 points
HN discussionLocation: Portland, OR Remote: Yes (nine months successful remote experience) Willing to relocate: no Technologies: Haskell, Standard ML, OCaml, Objective-C Résumé: http://www.jonmsterling.com/pdfs/sterling-cv.pdf Email: jon [ at ] jonmsterling [ dot ] com
Comment linking /pdfs/sterling-cv.pdf
on “Ask HN: Who wants to be hired? (June 2015)”Submitted Lecture notes written using TeXmacs [pdf] as a story · 3 points
HN discussionThe site is eerily similar to http://www.jonmsterling.com/index.html You two could hit it off or something.
Comment linking /index.html
on “Types Are The Truth”Submitted Structural and Contextual Dynamics as a story · 3 points
HN discussionFantastic news and well deserved; even when Andy Pitts goes categorical his papers are very readable. I got told a while ago that Streicher's "sequential" domains had solved the full abstraction problem for PCF [1] ... was it that or something else that killed off the work on game semantics? It seems that Jon Sterling, author of the tool used to express the thoughts at the link, has made recent progress in domain th…
Comment linking /jms-0064/index.xml
on “Domain Theory Lecture Notes”Submitted Labelled preorders and coercions: different approaches to multiple inheritance as a story · 2 points
HN discussionThere are two lenses through which you can looked at typed computation, intrinsic and extrinsic. From the extrinsic perspective (which I actually prefer for semantical reasons), you are classifying the terms of a computation system which are already endowed with an operational semantics; in this sense, you are constraining computation. But I prefer to use the term "classify" rather than "constrain"; in systems built…
Comment linking /posts/2014-10-29-proof-term-assignments-and-intuitionistic-truth.html
on “A Categorical Manifesto (1991) [pdf]”Submitted Modernized Logic of Computable Functions: The Logic of Goals and Tactics as a story · 2 points
HN discussionSubmitted Typed Collections with Self Types in Objective-C as a story · 2 points
HN discussionSubmitted NewsRadar is now NewsDrawer, and it's lickable as a story · 1 points
HN discussionSubmitted Project Pterodactyl: Incremental Architecture as a story · 1 points
HN discussionSubmitted Disentangling unification and implicit coercion (subtyping interaction problem) as a story · 1 points
HN discussionSubmitted The content-addressed storage (CAS) model of incremental build systems as a story · 1 points
HN discussionSubmitted Fuss-Free Universe Hierarchies as a story · 1 points
HN discussionSubmitted Build your own Stacks Project in 10 minutes as a story · 1 points
HN discussionSubmitted Proving Type Inequality in C++ as a story · 1 points
HN discussionSubmitted Flexibly-Phased Constraints in Haskell as a story · 1 points
HN discussionSubmitted Expressing Church Pairs with Types as a story · 1 points
HN discussionSubmitted Unifying Monoids and Monads with Polymorphic Kinds as a story · 1 points
HN discussion
