Sam Arbesman 2023-09-18 01:30:51 Konrad Hinsen 2023-09-18 08:44:18 I see computing at the intersection of language and the desire for rationality and certainty. Perhaps the most explicit expression of this intersection was Leibniz' Characteristica universalis and Calculus ratiocinator. As a modern descendant of this line of thought, there's for example Lojban.
Recommended reading: "In search of the perfect language", by Umberto Eco.
Konrad Hinsen 2023-09-18 09:21:17 As for "Computation has the ability to provide a uniquely unifying framework, exerting a massive centripetal force on ideas and fields of knowledge. We must nurture its connective power", this is very close to my personal interest in computation. What's frustrating about it is the very much opposite, centrifugal, force of actual computing technologies. If you want to bring together ideas from different fields that have all been formalized as computations, you spend long unpleasant hours sorting out low-level interfacing issues.
Jason Morris 2023-09-19 20:12:28 The REAMDE.md below tells the story of how I used the user-friendly declarative logic tool I built over the last couple of years to encode a small portion of Canada's Privacy Act, and then had that code used as a tool by a langchain agent. Very interested in anyone's thoughts on both content and form. It's not as easy as it ought to be to talk publicly about what you are doing inside GoC, but evidently documentation for an open source software repository is something of an exception to the usual rule. github.com/PHACDataHub/privacy_rac_demo
Marcelle Rusu (they/them) 2023-09-20 13:47:07 I really like this.
Would it be possible to use this as a citizen to verify if / how something is breaking a law?
Lu Wilson 2023-09-19 22:31:08 My plan for a new visual programming language, currently named Fractal bucket
Kilian Butler 2023-09-20 21:12:56 This isn’t as interesting as what most people here are doing but I wrote a blog post about building products with machine learning at their core.
I’ve been working on ML focused products for the last 4 years and have learned a lot. Hopefully it may be useful to someone out there 😇 Always happy to chat ML products if anyone’s interested
papercup.com/blog/machine-learning-product-management
Alex McLean 2023-09-23 09:42:40 The Meaning of Live: From Art Without Audience to Programs Without Users with Julian Rohrhuber and Renate Weiser
zenodo.org/record/7843567
It includes critique of what we saw as the common approach to 'liveness' in future of coding community. We explain ways in which live debugging is the opposite of live coding.
📝 The Meaning of Live: From Art Without Audience to Programs Without Users
The concept of an `art without audience' has informed live coding since its beginnings. Live Coding concentrates on collective work and questions the division between producers and consumers. This understanding of art has enabled a parallel strategy in the understanding of programming: just as an audience is not necessary for art, a user isn't necessary for programming. In the same sense as we question the separation between developer and user, we question the juxtaposition of artist and audience. This gives us occasion to recall some aspects of live coding which we have always found central to this practice: the displacement of the relation between programmers and programs, and the emancipatory potential of public thought.
