Daniel Harris 2024-09-30 12:53:31 Hi everyone! I just made 💬 #introduce-yourself@2024-09-30 and promised a glimpse of our work. We (the Kendraio team) are currently experimenting with no-code, local-first and malleable-software isms.
We want to create a local environment where it is really easy for end-users and non-developers to build workflows and manage their own data, whilst also being able to plug into the services (apps and websites) that they currently use and build their own user-interfaces for those services. It's a big dream and we've started small.
A few years ago during the pandemic we built a dashboard for COVID-19 data. Our Flow plugged into various APIs and then visualised the received data on one page – so a good demonstration of one aspect of our dream. The dashboard still exists but shows historical data. We wrote an article about the dashboard which also has an accompanying video explaining how it works and how you can edit the Flow while it's running.
Enjoy! Look forward to any comments or questions. Cheers!
Thomas van Binsbergen 2024-10-06 08:13:38 My students and I have worked on three papers (two prototypes) that will be presented at SPLASH at end of October
- This paper investigates control mechanisms in declarative languages that can be used by a programmer to have guarantees about the written program even when it is extended by other programmers. The work is motivated by distributed systems governed by policies in which the actors that provide the policies may have been competing interests. Concretely, think about (data sharing) contracts that are embedded in a federated cloud infrastructure.
- This paper investigates the use of "abstract interpretation" to give sound auto-complete suggestions for dynamic languages and demonstrates the technique on a subset of Python. Here "sound" means: if you select a given candidate, the inserted code will not contain variables that turns out to be undefined when the code runs.
- This paper demos a prototype that we built to investigate a modular graph structure for representing and running source code. The tool allows you to create different projections out of the code such as code structure, documentation view, and execution history. The tool supports incremental and exploratory programming and "nested graphs" (importing a graph as a node) for hierarchical views, although this is a more recent add-on.
Konrad Hinsen 2024-10-06 08:32:26 I am looking forward to the last one in particular. I hope that PAINT will accessible to remote participants.
Thomas van Binsbergen 2024-10-06 10:12:13 I believe PAINT does not intend to have talks/demos by the authors. Instead, the audience will discuss the work and will give an opportunity to the authors to ask questions. This should result in great feedback for us, and generally good discussion, but may not be the most informative about the work itself. I will ask Max to record a video demo and share it here once I have it.
Joshua Horowitz 2024-10-06 11:50:02 Thanks for posting! First link is wrong – goes to second paper.
