Hi guys! My name is David, I'm from Seattle and I am about to finish my undergrad after this school year. I discovered the pod yesterday, and the FoC community seemed exactly like the kind of community I've been looking for ever since I got into PLT/xenocomputing. For the past year or so, I've been working on a project called IRIS, which is a low-level reversible programming language and virtual machine designed for efficient reversible computing. If you don't know what reversible computing is, I recommend reading the Wikipedia page - basically, it's a form of computing where every program implements its inverse, meaning that each line of code has twice the semantic utility. Via the Landauer principle, reversible computing has the potential to become WAY more power efficient than traditional computing, in the order of magnitudes! My dev setup is a Thinkpad T430 running Void Linux (musl) + hikari, and one of the high-res Thinkpad X61T models which I mainly use as an e-reader. Through my experiments with Plan 9 I have gained some familiarity with the xxiivv/merveilles community, with which it seems that FoC has a lot of crossover. I'm super excited to get to know y'all and learn a thing or two!

That is fascinating! Very cool work and glad to meet you :)

Thank you! I'm interested after reading your post - what is permacomputing?

Permacomputing is basically computing for the long haul assuming scarcity. Typical considerations are low power, portability (esp for old/existing hardware), offline-first (or local/mesh first if it must be networked), and long-term maintainability

https://github.com/dabernado/iris/blob/main/iris.md#language-spec is very interesting. I was vaguely aware of reversible computing but hadn't looked at the details. This helps me imagine how it would work in practice.

[Moved from top level, original post by nilix via Matrix] I think reversible computing goes right up there with it considering the inherent energy efficiency!

@Kartik Agaram I based IRIS off of this research paper, which describes a very small yet highly expressive concatenative language for RC, which grounds itself in concepts from Homotopy Type Theory