17 citations · 18 across the 4 of their papers we have counts for
4 papers
Live & Local Schema Change: Challenge Problems
Jonathan Edwards, Tomas Petricek, Tijs van der Storm
Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expres…
Technical Dimensions of Programming Systems
Joel Jakubovic, Jonathan Edwards, Tomas Petricek
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a…
Typed Image-based Programming with Structure Editing
Jonathan Edwards, Tomas Petricek
Many beloved programming systems are image-based: self-contained worlds that persist both code and data in a single file. Examples include Smalltalk, LISP, HyperCard, Flash, and sp…
Increasing the Inference and Learning Speed of Tsetlin Machines with Clause Indexing
Saeed Rahimi Gorji, Ole-Christoffer Granmo, Sondre Glimsdal +2
The Tsetlin Machine (TM) is a machine learning algorithm founded on the classical Tsetlin Automaton (TA) and game theory. It further leverages frequent pattern mining and resource…