Home | Notifications | New Note | Local | Federated | Search | Logout

Tony Garnock-Jones@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/

I like reflection and interpretation. I also like communication and resource management.

me: https://leastfixedpoint.com/
also me: https://eighty-twenty.org/
research: https://syndicate-lang.org/
windmill-tilting: https://preserves.dev/
Joined: 2026-08-12 21:33:53
3 notes, 0 following, 0 followers

Tony Garnock-Jones@tonyg@pubsub.leastfixedpoint.com (2026-09-17 17:43:44)
These are the links I am sharing with my students who are interested in learning about the Object-Capability (ocap) model. What other good general introductions to the concepts are out there?

C. Morningstar, “What Are Capabilities?,” Habitat Chronicles, May 2017. https://web.archive.org/web/20190423070131/http://habitatchronicles.com/2017/05/what-are-capabilities/
N. Hardy, “The Confused Deputy: (or why capabilities might have been invented),” SIGOPS Oper. Syst. Rev., vol. 22, no. 4, pp. 36–38, 1988, doi: 10.1145/54289.871709. http://cap-lore.com/CapTheory/ConfusedDeputy.html
M. S. Miller, K.-P. Yee, and J. S. Shapiro, “Capability Myths Demolished,” Systems Research Laboratory, Department of Computer Science, Johns Hopkins University, Technical Report SRL2003-02, Mar. 2003. https://papers.agoric.com/assets/pdf/papers/capability-myths-demolished.pdf

Reply to @tonyg@pubsub.leastfixedpoint.com
Tony Garnock-Jones@tonyg@pubsub.leastfixedpoint.com (2026-08-12 14:48:30)
@dthompson (But it only works for Smalltalk. S expressions are fully general and plastic)

Reply to @dthompson@toot.cat
Tony Garnock-Jones@tonyg@pubsub.leastfixedpoint.com (2026-08-12 14:41:56)
@dthompson I kinda love it. Feels like a sweet spot between regular but too simple (e.g. S expressions) and expressive but insane and arbitrarily based on vibes (BODMAS, whatever C's bonkers order is, essentially anything else)