Thomas Porter's Avatar

Thomas Porter

@thomjp

PhD Student at the University of Michigan ❦ thomasporter522.github.io

58
Followers
73
Following
8
Posts
29.03.2025
Joined
Posts Following

Latest posts by Thomas Porter @thomjp

Video thumbnail

3. In "interpolation mode" you can click and drag a cell continuously between states. The whole trace fuzzily interpolates accordingly.

07.03.2026 22:10 👍 2 🔁 0 💬 0 📌 1
Video thumbnail

2. Initially, the rules governing the cellular automaton are unspecified, so the trace is undefined except for the random initial state. But you can paint cells in, specifying their states and forcing the instantiation of propagation rules. Watch the trace grow.

07.03.2026 22:09 👍 2 🔁 0 💬 1 📌 0
A static spacetime diagram displaying the trace of a two-state cellular automaton.

A static spacetime diagram displaying the trace of a two-state cellular automaton.

1. At each point in time you're seeing a full spacetime trace of a cellular automaton. The horizontal axis is space, and the vertical axis is time (flowing down). The color of a cell represents its state.

07.03.2026 21:50 👍 2 🔁 0 💬 1 📌 0
Video thumbnail

thomasporter522.github.io/cellular-can...

07.03.2026 21:46 👍 5 🔁 1 💬 1 📌 0

Logic thought: proving that proposition A is a consistent extension to a consistent theory amounts to proving that falsity does not follow from A. To prove this internally is to prove ¬¬A. So double negation elimination can be seen as the license to add (internally provably) consistent extensions.

05.03.2026 16:34 👍 3 🔁 1 💬 0 📌 0

Soon our meditative acts will be done by Artificial Introspection

04.03.2026 03:25 👍 1 🔁 0 💬 0 📌 0

I'm convinced "sesamoid bones" aren't real, they were put on the internet to catch people who try to bypass legitimate medical training (where they reveal the trick, of course). "Yeah there are a bunch of tiny bones you've never heard of... they're not included in the standard bone count..."

03.03.2026 16:26 👍 2 🔁 0 💬 0 📌 0
Preview
Overlapping and Order-Independent Patterns | Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410

dl.acm.org/doi/abs/10.1...

12.05.2025 19:15 👍 1 🔁 0 💬 0 📌 0