walnut 🌱 (@walnut)

@mildsunrise
From the other posts in the thread this actually sounds even less related than I might have thought. I was thinking more on how it lets you reason on a high level what a program or parts of it can and can't do, but you're talking about memory pointers and stuff