All posts published during .
I'm under contract with RChain, two days a week from June to December, to work on smart contracts for health research data sharing....
My quest to to find a good digital preservation technique for my college math and computer science notebooks has been rekindled most recently by idris and earlier by metamath and proofcheck.
I'm purging another box of files today: college math & C.S. notes, including a few dozen transparencies I prepared for classes on...
In our PAW and TAMI projects, we're making a lot of progress on the practical aspects of proof exchange: in PAW we're working out...