I wasn't familiar with Ko's work, so checking some of her earlier stuff

From 2010 but still holds up quite well 🙂 https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html

I really liked this. Nice thoughts about computer science being a refuge, the problematic long term impacts of that, and the potential of CS culture as a decentred network of coalition between cultures

Yes really nice work, and an interesting counterpoint to the push for natural language-like (generally English-like) programming languages.

I'm enjoying the introduction to the book Language and the Rise of the Algorithm by Jeffey Binder, especially in the context of watching Amy Ko's "Searching for Justice in Programming Language Design" linked above. Her approach seems to have a lot more in common with Leibniz et al than I was expecting, in terms of addressing the political and social contexts of symbols. It isn't open access, but you can download it from a shadow library if you want.

This is part of my ongoing obsession with cool projection stuff, here's a paper from before I was born on some fascinating tracking and interaction methods!

Anyone attending SPLASH, or who happens to find themselves in the Lisbon area on October 25th, you should come to the Ink & Switch unconference. Sessions may cover any of the following: programmable ink, local-first, tools for thought, malleable software, or whatever weird programming session you feel like hosting! Details and Sign-up Page

Thank you for sharing her talk! It is something I needed to hear this morning - grateful for work that engages with the flawed social contexts of CS in a nuanced and sympathetic way. Binder's STS project has got a cogent description of Leibniz's notations as an early upstream of blackboard cultures, like maths and CS (i.e. the refuge of constructive mathematics).

This algebraic sense of algorithm [...] placed the idea in an intimate relation to the development of new symbolic notations.

Another useful downstream of STS (by way of Susan Leigh Star's reading of symbolic notations as boundary objects) might be Ribes' "The logic of domains". With his lens, I'd read Ko's description of CS as having the useful domain-like characteristic of normalizing / abstracting problems, but also an unfortunate tendency of neutralizing / colonizing other domains. https://journals.sagepub.com/doi/full/10.1177/0306312719849709

I've updated the Member Handbook to specifically recommend this practice.

That variable-frequency thing is clever. In a sense it’s similar to how old-school light pens worked: a light sensor can determine its position using a position-varying signal. But: I can’t think of a situation where you’d be better off with this system than with Dynamicland-style fiducial tracking, given that this requires custom projectors (eep!) and active (wired or battery-powered) targets (yuck!).

Thanks @Jasmine Otto, very grateful for STS perspectives as it's all pretty new to me. I did work with an STS scholar Annapurna Mamidipudi on a previous project and every conversation blew my mind! From the perspective of that project (which was about ancient weaving) Binder's book looks very Euro-centric, and seems to ignore the use of algorithms in the much longer history of craft.

Quantitative Program Reasoning with Graded Modal Types: Most programming languages treat data as infinitely copiable, arbitrarily discardable, and universally unconstrained. However, this overly abstract view is naïve and can lead to software errors. For example, some data encapsulates resources subject to protocols (e.g., file and device handles, channels); some data has confidentiality requirements and thus should not be copied or communicated arbitrarily. Dually, some programs have non-functional properties (e.g., execution time) dependenton data (e.g., on its size). Thus, the reality is that some data acts as a resource, subject to constraints. In this paper we present Granule, a typed functional language that embeds a notion of data as a resource into the type system in a way that can be specialised to different resource and dataflow properties. Granule’s type system combines linear types, indexed types (lightweight dependent types), and graded modal types to enable novel quantitative reasoning. Link

Why wouldn't you use ImGUI for end users? I know it's not intended for that, but I didn't find it too bad

Really need to bump up the FPS on this. About 10x