Top all-time · #8408
John Mumm
Personal blog · jtfmumm.com/blogprogrammingmath
John Mumm writes An Abstract Plane, a personal blog at jtfmumm.com about programming and math. Since 2013, 9 different Hacker News readers have linked it 12 times, most often “Safely Sharing Data: Reference Capabilities in Pony”. The last post was in 2019, but the archive is still widely read.
Too few sampled comments (4) to say how often HN recommends it.?
Why HN links it
HN commenters link these posts on CRDTs (a primer in two parts) and on Pony's reference capabilities and safe data sharing. The comments only cite or link the posts and do not judge the writing.
Summarised by Claude from a sample of 4 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
John Mumm, Software Engineer. Functional programming, distributed systems.
Most-linked posts?
- Safely Sharing Data: Reference Capabilities in Pony5 people · 5 mentions · first linked 2016-03-11
- A CRDT Primer Part I: Defanging Order Theory3 people · 3 mentions · first linked 2018-04-24
What Hacker News says?
Alexei's work on this subject is very good: the best practical introduction to the subject. However, I feel that it is worthwhile (necessary?) to completely understand the academic basis for CRDT. A good place to start is Shapiro et al's second paper : https://hal.inria.fr/inria-00555588/document . In order (sic) to understand the paper you need to have a grasp of Order Theory. This is not terribly hard to get your…
Comment linking /blog/2015/11/17/crdt-primer-1-defanging-order-theory/
on “CRDT: Conflict-free replicated data type”Submitted Safely Sharing Data: Reference Capabilities in Pony as a story · 7 points
HN discussionI don't know enough about how Pony was implemented, but I know that each `Actor` has its own GC going on independently of any other actors, which sounds very similar to the idea being proposed in this research? Memory sharing in Pony uses a more advanced form of borrow checker which allows not just two "kinds" of shared memory (as with Rust's `mut` and not `mut`), but several: `val`, `ref`, `iso`, `trn`, `box`, `tag…
Comment linking /blog/2016/03/06/safely-sharing-data-pony-reference-capabilities/
on “Provably space-efficient parallel functional programming”Submitted A CRDT Primer Part I: Defanging Order Theory as a story · 5 points
HN discussionThey told me Rust uses affine types (i.e. its move semantics). Clay language (see Lea Wittie et al) used linear and singleton types. Pony has reference capabilities. http://jtfmumm.com/blog/2016/03/06/safely-sharing-data-pony-...
Comment linking /blog/2016/03/06/safely-sharing-data-pony-reference-capabilities/
on “Reference Capabilities for Safe Parallel Array Programming”Submitted Setting up ClojureScript: A Beginner's Guide as a story · 3 points
HN discussionpart 2: http://jtfmumm.com/blog/2015/11/24/crdt-primer-2-convergent-...
Comment linking /blog/2015/11/24/crdt-primer-2-convergent-crdts/
on “A CRDT Primer Part I: Defanging Order Theory”Submitted A CRDT Primer Part I: Defanging Order Theory as a story · 2 points
HN discussionSubmitted Safely Sharing Data: Reference Capabilities in Pony as a story · 2 points
HN discussionSubmitted Safely Sharing Data: Reference Capabilities in Pony (2016) as a story · 1 points
HN discussionSubmitted Implementing and Verifying Algebraic Structures in Scala as a story · 1 points
HN discussionSubmitted Nested Higher-Order Functions in JavaScript as a story · 1 points
HN discussion
