MadMode: Home

Code | 2020

All posts published during 2020.

Fun with @ski at Agoric "Hack the Orb" | 2020-12-07 | capabilities | programming | events | Agoric | smart-contracts

This was great fun... especially working with <a href="https://twitter.com/suhailski?ref_src=twsrc%5Etfw">@suhailski....
Javascript on genode, genode on HP Envy 15 | 2020-06-07 | capabilities | genode | javascript | hardware

Achievements unlocked: Moddable XS JavaScript engine onr genode and HP Envy Notebook PC running free software.
Rosetta Stone: Taking propositions-as-types to the next level | 2020-05-02 | logic | fp | programming | idris | rchain

I read CS papers by turning notation into (@idrislang) code. Slow going, but the only way I really grok. e.g....
Trying znc IRC bouncer to stay in touch with the ocap community | 2020-01-17 | collaboration | capabilities | what-i-use | sysadmin

I'm typically connected to IRC channels for a few ocap projects etc.: #erights #genode #idris #indieweb #monte #ocaml #sandstorm...