MadMode

I hit 1,000mi on my e-bike this month!

Self-hosted Obsidian LiveSync using CouchDB on Proxmox LXC container, secured with Tailscale VPN and end-to-end encryption.

Say...

Formalization has trailed cutting-edge mathematics for some time: the four color theorem was proved in 1976, but it wasn't formally verifed until 2005.

The number of stars on my awesome-ocap repo has grown steadily since My Capability Security 2017 Wish-List.

Generative AI can definitely be a productivity booster...

I wasn't sure how long it would last when I replaced my car with an ebike.

I'm ready to say goodbye to my copy of Ubuntu 5.10 for i386 on CD, after nearly 2 decades of keeping it as a combination keepsake and software supply chain anchor.

One of my favorite patterns of cooperation is Office Hours.

walk-n-talk?

In this year's holiday lull, I got closer to a "capabilities all the way down" workstation using Genode, an OS framework with capability-based security.

I spent much of this year's annual file purge recovering from Flickr going back on their 1TB storage offer.

It was loud.

Hello, Spritely Institute!

A colleague suggested we shouldn't delete calendar items of old meetings.

After 15 years at W3C and 10 years at KU Med Center, my next gig is at Agoric.

This was great fun... especially working with @suhailski. https://t.co/11uJri3Wvv — Dan Connolly (@dckc) December 7, 2020 @agoric · Dec 7 2/ 📽️ Umqhele: @dckc, @suhailski, and @tgrecojs built a #dapp that allows you to auction and trade #NFTs that grant a…

Genode is a microkernel operating system with capability-based security; in the 20.05 release they added capability-based security using seccomp on Linux.

I read CS papers by turning notation into (@idrislang) code.

I'm typically connected to IRC channels for a few ocap projects etc.: #erights #genode #idris #indieweb #monte #ocaml #sandstorm #swig I use hexchat to connect to these channels on freenode but netsplits and other failure modes inherent in IRC make for an…

After months of indecision, I decided to go to San Francisco Blockchain Week in hopes of syncing up with the Agoric team.

Inspired by mention of a gRPC client and server library in Tokio alpha release with async & await, I tried building an rchain wallet client in rust.

In Writing sustainable Python scripts (lobsters discussion), the initial prototype looks like: import sys for n in range(int(sys.argv[1]), int(sys.argv[2])): if n % 3 == 0 and n % 5 == 0: print("fizzbuzz") elif n % 3 == 0: print("f…

Working on RChain was fun for a while, but I am no longer be comfortable with the RChain Cooperative's business practices.

A lot of the friction around my blog has been running the build step: re-constituting python dependencies, running the build, manually tweaking the results, and committing the build results to github pages[^1]. pmoorman turned me on to Netlify last fall,…