Title
#introduce-yourself
d

David Bernado

11/10/2022, 8:17 PM
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!
8:46 PM
Thank you! I'm interested after reading your post - what is permacomputing?
Kartik Agaram

Kartik Agaram

11/10/2022, 8:51 PM
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.
i

Ivan Reese

11/10/2022, 9:50 PM
[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!
d

David Bernado

11/10/2022, 9:57 PM
@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