questions

This is a collection of things that I don't know yet, and projects that I have not finished yet. Expect incomplete articles and half-baked ideas.

inet-os

a kernel that runs a huge inet

inet physics

can physics be encoded with inets?

inet processor

interaction net proecssing unit

interaction type theory

can inets constrain inet structure?

kelili

what's the best way to share computation without trust?

political activism

I want to get involved in local politics

profile pic

what identifies me, visually?

bracro

are brackets and croissants compatible with scopeless lambdas?

doce

a simple piano roll for the browser