Kartik Agaram
Isaac Lewis
03/15/2025, 5:09 PMIsaac Lewis
03/15/2025, 5:09 PMIsaac Lewis
03/15/2025, 5:11 PMDuncan Cragg
03/15/2025, 5:11 PMDuncan Cragg
03/15/2025, 5:14 PM...there are many small-to-medium differences in implementation and language semantics, but I don't think there are any huge differences beyond the level of openness and the general philosophy of the projects -- we aren't that interested in simulations or in the moral imperative of getting rid of screens per se, we just think this area is interesting and underexplored, and we think it's important that people get to learn the concrete details of how you program the system. (we are generally more 'postmodernist', and you can see this in how our language/db semantics are diverging over time, too -- we're not wedded to fixpoint convergence and having a single consistent db state, more interested in high performance even if it comes with some inconsistency and glitches)