Top all-time · #7877
Jules Hedges
Personal blog · julesh.comprogrammingphilosophymath
Jules Hedges's personal blog at julesh.com covers programming, philosophy and math. Since 2018, 10 different Hacker News readers have linked it 10 times, most often “On compositionality (2017)”. No feed was found, so read it on the site itself.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN readers link this blog as the personal site of Jules Hedges, who works on game theory and applied category theory. The comments name the author and the research field but do not judge the writing itself.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- On compositionality (2017)4 people · 4 mentions · first linked 2018-09-06
- Lenses for philosophers2 people · 2 mentions · first linked 2018-08-16
What Hacker News says?
I'm no expert, so the best I can do is point you to the research community gathering around applied category theory. * A conference series + workshop: https://www.appliedcategorytheory.org/ * A journal: https://compositionality-journal.org/ Check out some of the people involved in organizing these events. Names I've followed include John Baez, Pawel Sobocinski, and Tai-Danae Bradley (all of whom are amazing educator…
Comment linking /2017/04/22/on-compositionality/
on “Ask HN: What are you learning?”Submitted On compositionality (2017) as a story · 70 points
HN discussionAlso nice: Erik Meijer Explains it well: https://www.youtube.com/watch?v=JMP6gI5mLHc (check out FP101 on edx) Statebox guys doing stuff with category theory, blockchain and petrinets: https://www.youtube.com/user/wires0 https://statebox.org/ Graphical linear algebra: https://graphicallinearalgebra.net/ Jules Hedges working on game theory : https://julesh.com/
Comment linking /
on “An invitation to category theory”Submitted Lenses for philosophers as a story · 69 points
HN discussionA property P is compositional with respect to terms A and B and composition ∘ if P(A) ∧ P(B) ⇔ P(A∘B); the equivalence is sometimes replaced with implication in one of the directions (this is a special case for a predicate, i.e. a boolean-valued function; a function F is compositional if F(A∘B) = F(A) ⋆ F(B)). What you're saying is that proofs can be composed. That is true, but unhelpful, as it doesn't make proofs e…
Comment linking /2017/04/22/on-compositionality/
on “Dependent Haskell Is the Future (2018)”Submitted Probabilistic Programming with Continuations as a story · 3 points
HN discussionSubmitted On Compositionality (2017) as a story · 2 points
HN discussionSubmitted Free Publishing as a story · 2 points
HN discussionSubmitted Abusing the Continuation Monad (2016) as a story · 1 points
HN discussionSubmitted Lenses for Philosophers as a story · 1 points
HN discussion
