% Posts
% Michael Stone
% February 14, 2023

<div class="posts">

  1. [Better debug logs](./debug-logging/) <span class="metadata">(m:February 14, 2023 ← c:February 13, 2022)</span><span class="preview">---</span>
  1. [Applied Category Theory (ACT) diagrams vs mechanical drawings](./act-vs-mechanical-drawings/) <span class="metadata">(m:February 3, 2023 ← c:February 3, 2023)</span><span class="preview">---</span>
  1. [Applied Category Theory (ACT) as "precision machining"](./act-as-precision-machining/) <span class="metadata">(m:February 3, 2023 ← c:November 11, 2022)</span><span class="preview">Last week, while attending NIST's 2022 workshop on [compositional</span>
  1. [Real-world system depictions with *depict*](./real-world-system-depictions/) <span class="metadata">(m:January 20, 2023 ← c:September 13, 2022)</span><span class="preview">---</span>
  1. [Introducing *depict*, a tool and notation for depicting systems](./introducing-depict/) <span class="metadata">(m:September 12, 2022 ← c:September 10, 2022)</span><span class="preview"># Introduction</span>
  1. [WASM, Rust, and C](./wasm-20220628/) <span class="metadata">(m:June 28, 2022 ← c:June 28, 2022)</span><span class="preview">## Depict</span>
  1. [API Security](./api-security/) <span class="metadata">(m:November 30, 2021 ← c:November 30, 2021)</span><span class="preview">A friend and colleague recently asked for an overview of the relevant language of "API security". Here was my reply:</span>
  1. [Running qemu-system-aarch64 with -accel hvf on aarch64-darwin](./qemu-aarch64-hvf-20210831/) <span class="metadata">(m:September 1, 2021 ← c:August 31, 2021)</span><span class="preview"># tl;dr</span>
  1. [Nix Tutorial](./nix-tutorial/) <span class="metadata">(m:June 27, 2021 ← c:June 20, 2021)</span><span class="preview">## Introduction</span>
  1. [Software Quality](./software_quality/) <span class="metadata">(m:January 30, 2021 ← c:March 6, 2011)</span><span class="preview">I've been fascinated for years by the question:</span>
  1. [A style guide for state machines](./state-machines-20200828/) <span class="metadata">(m:August 30, 2020 ← c:August 28, 2020)</span><span class="preview">I have a coffee-making robot.</span>
  1. [DRAFT: Review: "Ego Depletion", JDW 2010](./willpower-20130421/) <span class="metadata">(m:July 26, 2020 ← c:April 20, 2013)</span><span class="preview">Earlier this weekend, I read a fun [paper][pdf] ([SAGE]) by Job, Dweck,</span>
  1. [Equations vs. Definitions](./equations-vs-definitions/) <span class="metadata">(m:July 20, 2020 ← c:February 5, 2012)</span><span class="preview">About a year ago, in the context of a course on Scheme, a friend and colleague</span>
  1. [System Safety ∩ Ψ](./system-safety-psychology-20181204/) <span class="metadata">(m:February 17, 2019 ← c:December 4, 2018)</span><span class="preview">This winter, [Dr. Matthew Cain](http://www.mattcain.com) invited me to give a talk to his Engineering Psychology (Tufts PSY 53) students at Tufts.</span>
  1. [Performance Engineering](./performance-20181014/) <span class="metadata">(m:October 18, 2018 ← c:October 14, 2018)</span><span class="preview"># Introduction</span>
  1. [Solving Stinky Trash with Adsorption via Zeolite and Activated Carbon](./stinky-trash-20171230/) <span class="metadata">(m:December 30, 2017 ← c:December 30, 2017)</span><span class="preview">## The Problem</span>
  1. [Stove-top Infra-red Surface Temperature Monitoring Concept](./ir-stove-20171230/) <span class="metadata">(m:December 30, 2017 ← c:December 30, 2017)</span><span class="preview">## The Problem</span>
  1. [SELinux Notes](./selinux-20151018/) <span class="metadata">(m:July 24, 2016 ← c:October 18, 2015)</span><span class="preview">### Introduction</span>
  1. [Reading, 2015-2016](./reading-20160529/) <span class="metadata">(m:May 30, 2016 ← c:May 29, 2016)</span><span class="preview">## Business Dynamics</span>
  1. [Nix Packaging Tricks: Making Go, R, Python, Haskell, OpenSSL, and Docker Dance](./nix-20151018/) <span class="metadata">(m:October 18, 2015 ← c:October 18, 2015)</span><span class="preview">## Introduction</span>
  1. [Fall 2014 Reading](./reading-20141102/) <span class="metadata">(m:November 2, 2014 ← c:November 2, 2014)</span><span class="preview">* [Intent Specifications](http://sunnyday.mit.edu/papers/intent-tse.pdf) and [again](http://sunnyday.mit.edu/16.355/levesonintent.pdf). Useful ideas: *part-whole*, *information-hiding*, and *means-end* abstraction/refinement hierarchies, notation.</span>
  1. [Fault Tolerance for TLS?](./crypto-20141025/) <span class="metadata">(m:October 25, 2014 ← c:October 25, 2014)</span><span class="preview">Caveat: I'm not a cryptographer, so please don't take my comments below as</span>
  1. [Talk: An Atlas of Systems](./talk-atlas-20130327/) <span class="metadata">(m:August 23, 2014 ← c:August 23, 2014)</span><span class="preview">I gave a talk in [March of 2013](http://psas.scripts.mit.edu/home/2013</span>
  1. [Latency, Jitter, Cost, and Queueing Theory](./queueing-theory-20140727/) <span class="metadata">(m:July 27, 2014 ← c:July 27, 2014)</span><span class="preview">If [Engineering a Safer World](http://mitpress.mit.edu/books/engineering-</span>
  1. [Thoughts: Docker, Sociology, Mathematical Models of Security, Word Choice, and Death](./thoughts-20140716/) <span class="metadata">(m:July 16, 2014 ← c:July 16, 2014)</span><span class="preview">1. Multi-container docker configuration is presently mired in complexity</span>
  1. [Fate-sharing, end-to-end arguments, and secrecy](./secrecy-zones-20140712/) <span class="metadata">(m:July 12, 2014 ← c:July 12, 2014)</span><span class="preview">[Fate-sharing] is the principle that "it is acceptable to lose the state</span>
  1. [DRAFT: Running Software: A Preliminary Hierarchy of Abstraction](./nix-20140315/) <span class="metadata">(m:March 16, 2014 ← c:March 15, 2014)</span><span class="preview">As I wrote a few months back, I've been thinking about [how to run</span>
  1. [Understanding and controlling gcc's inlining decisions](./gcc-inlining-20121007/) <span class="metadata">(m:September 22, 2013 ← c:October 7, 2012)</span><span class="preview"><!-- tags: gcc perf 6.172 mit --></span>
  1. [August Reading: how to run software?](./running-software-20130816/) <span class="metadata">(m:August 16, 2013 ← c:August 16, 2013)</span><span class="preview">I've been reading about how to run software. Here are some of the more curious</span>
  1. [DRAFT: User-Agent (UA) Accidents](./ua-accidents-20130714/) <span class="metadata">(m:August 16, 2013 ← c:July 14, 2013)</span><span class="preview">I rely heavily on a small number of "user agents" -- my web browser, my email</span>
  1. [Keeping Calm with Demographics](./keeping-calm-20130419/) <span class="metadata">(m:April 19, 2013 ← c:April 19, 2013)</span><span class="preview">Finding myself unable to get back to sleep after a volley of phone calls</span>
  1. [DRAFT: Re: On critical thinking](./critical-thinking/) <span class="metadata">(m:April 11, 2013 ← c:February 24, 2013)</span><span class="preview">On 2/24/13, Brian Sniffen <bts@...> wrote:</span>
  1. [Advice on Studying Programming Languages](./advice-on-studying-pl/) <span class="metadata">(m:February 24, 2013 ← c:February 24, 2013)</span><span class="preview">## Dear Student...</span>
  1. [Scheduling Shift-Work](./scheduling/) <span class="metadata">(m:February 23, 2013 ← c:February 23, 2013)</span><span class="preview">## Introduction</span>
  1. [Boston Clojure: Talk + Review of "clojars.org"](./stws-clojure-jan-2013/) <span class="metadata">(m:February 18, 2013 ← c:January 10, 2013)</span><span class="preview">## Overview</span>
  1. [Fall Reading 2012](./reading-20121208/) <span class="metadata">(m:December 8, 2012 ← c:December 8, 2012)</span><span class="preview">Fall reading. Mostly not finished. Some jewels: Senge, Argyris, Porter.</span>
  1. [NixOS Notes: November 3, 2012](./nixos-20121103/) <span class="metadata">(m:November 3, 2012 ← c:November 3, 2012)</span><span class="preview">For the last few months, I've been using what one might call an "impressively</span>
  1. [Thoughts for October 27, 2012](./thoughts-20121027/) <span class="metadata">(m:October 27, 2012 ← c:October 27, 2012)</span><span class="preview">* API Design</span>
  1. [`perf`, `gdb`, and x86 tricks and reference materials](./perf-gdb-tricks-20121008/) <span class="metadata">(m:October 9, 2012 ← c:October 8, 2012)</span><span class="preview">+--------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+</span>
  1. ["What determines the size of the population of Wikipedians?"](./wikipedia-20120704/) <span class="metadata">(m:October 6, 2012 ← c:July 4, 2012)</span><span class="preview">Let $n$ be Wikipedia's age in days. Yesterday, $W(n-1)$ people edited</span>
  1. [Influencing Wikipedia Readers](./wikipedia-20121006/) <span class="metadata">(m:October 6, 2012 ← c:October 6, 2012)</span><span class="preview">Almost 30 years ago, Robert Cialdini wrote a classic book, ["Influence"], on</span>
  1. [Summer Reading 2012](./reading-20120826/) <span class="metadata">(m:August 26, 2012 ← c:August 26, 2012)</span><span class="preview">Back in April, I met some [awesome folks][] at the first [STAMP/STPA</span>
  1. [June 2012 Travel Photos](./travel-june-2012/) <span class="metadata">(m:July 1, 2012 ← c:July 1, 2012)</span><span class="preview">In the "better late than never" department, here are some photos, first of a</span>
  1. [April Flowers + Sketches](./flowers-20120501/) <span class="metadata">(m:May 1, 2012 ← c:May 1, 2012)</span><span class="preview">On my way home earlier this week, I ran into some lovely petunias at Mom's [favorite</span>
  1. [Notes from the STAMP 2012 Workshop](./stamp-2012-wrapup/) <span class="metadata">(m:April 22, 2012 ← c:April 22, 2012)</span><span class="preview">Earlier this week, I was privileged to attend the [2012 STAMP</span>
  1. [Favorite TED and Youtube Performances for April 15-22](./thoughts-20120422/) <span class="metadata">(m:April 22, 2012 ← c:April 22, 2012)</span><span class="preview">For an [old friend](http://www.princeton.edu/~achaney/) from</span>
  1. [Systems Thinking in Web Security](./systems-thinking-in-web-security/) <span class="metadata">(m:April 16, 2012 ← c:April 15, 2012)</span><span class="preview">See [the presentation](stws.svg).</span>
  1. [Constrained Seating](./seating-20120403/) <span class="metadata">(m:April 3, 2012 ← c:April 3, 2012)</span><span class="preview">Did I just use a [constraint solver][Alloy] to play a musical chairs at work?</span>
  1. [git-find-blob (faster)](./git-find-blob/) <span class="metadata">(m:March 19, 2012 ← c:March 17, 2012)</span><span class="preview">Presently, Google's index seems to know [three][] [different][] [answers][]</span>
  1. [Reading for March 11-18](./thoughts-20120318/) <span class="metadata">(m:March 19, 2012 ← c:March 18, 2012)</span><span class="preview">Weekend reading:</span>
  1. [Thoughts for March 4-11](./thoughts-20120311/) <span class="metadata">(m:March 12, 2012 ← c:March 11, 2012)</span><span class="preview">Busy week; for stories, ask me about [Nell](http://wiki.laptop.org/go/Nell), [obfuscation](http://www.boazbarak.org/Papers/obfuscate.ps), or [Kerckhoff's Principle](http://en.wikipedia.org/wiki/Kerckhoffs's_principle)...</span>
  1. [Initial Reactions to "Inventing on Principle"](./initial-reactions-to-inventing-on-principle/) <span class="metadata">(m:February 27, 2012 ← c:February 26, 2012)</span><span class="preview">### Introduction</span>
  1. [Defining Sugar](./defining-sugar/) <span class="metadata">(m:February 26, 2012 ← c:July 11, 2010)</span><span class="preview">Once upon a time, I asked some friends[^friends] to help me to distill my</span>
  1. [Plotting Spilled... Ink?](./plots-20120225/) <span class="metadata">(m:February 25, 2012 ← c:February 25, 2012)</span><span class="preview">Ever since I bought [Hadley Wickham]'s lovely book ["ggplot2: Elegant Graphics</span>
  1. [Site Search](./site_search/) <span class="metadata">(m:February 20, 2012 ← c:February 20, 2012)</span><span class="preview">Several folks have recently asked me how my "*Search site*" box works, so</span>
  1. [Thoughts for Jan. 30 -- Feb. 5.](./thoughts-20120205/) <span class="metadata">(m:February 20, 2012 ← c:February 5, 2012)</span><span class="preview">As I mentioned [last week], I've recently become interested in trying to fill</span>
  1. [Thoughts for February 6-12](./thoughts-20120212/) <span class="metadata">(m:February 13, 2012 ← c:February 12, 2012)</span><span class="preview">This week, I was pleasantly reminded of the power of learning by Evelyn</span>
  1. [Thoughts for January 22-29, 2012](./thoughts-20120129/) <span class="metadata">(m:January 30, 2012 ← c:January 29, 2012)</span><span class="preview">Some fun books I encountered this week:</span>
  1. [Thoughts for January 15-22, 2012](./thoughts-20120122/) <span class="metadata">(m:January 22, 2012 ← c:January 22, 2012)</span><span class="preview">This week, I hacked a bit on two fun programs and one old memory:</span>
  1. [Thoughts for January 8-15, 2012](./thoughts-20120114/) <span class="metadata">(m:January 16, 2012 ← c:January 14, 2012)</span><span class="preview">Some fun things/questions I encountered this week:</span>
  1. [Klee: a poor man's QuickCheck...](./klee_quickcheck/) <span class="metadata">(m:January 2, 2012 ← c:January 1, 2012)</span><span class="preview">Recently, I've been working on [packaging] the [Klee] symbolic interpreter for</span>
  1. [Links for December 18-25, 2011](./thoughts-20111225/) <span class="metadata">(m:December 26, 2011 ← c:December 25, 2011)</span><span class="preview">["How Doctors Die"][docs]: worth reading, c/o [Mom].</span>
  1. [Security Features vs. Security Guarantees](./security_features_vs_security_guarantees/) <span class="metadata">(m:December 19, 2011 ← c:December 18, 2011)</span><span class="preview">Dear Santa: can you introduce me to a browser vendor who offers a security</span>
  1. [Links for December 4-11, 2011](./thoughts-20111211/) <span class="metadata">(m:December 12, 2011 ← c:December 11, 2011)</span><span class="preview">Some thoughts and links that caught my fancy around the week of December 4-11:</span>
  1. [klee + microclimates](./microclimates/) <span class="metadata">(m:December 5, 2011 ← c:December 4, 2011)</span><span class="preview">This week, we have a preliminary [Debianization] of [klee] (a.k.a.</span>
  1. [On bug-tracking... (draft)](./on_bugtracking/) <span class="metadata">(m:November 26, 2011 ← c:November 19, 2011)</span><span class="preview">Earlier this week, my friend [Brian][bts] offered me a gentle provocation on</span>
  1. [Photos for November, 2011](./photos-20111126/) <span class="metadata">(m:November 26, 2011 ← c:November 26, 2011)</span><span class="preview">Earlier views from Cambridge MA, Portland ME, and Pemaquid Point, ME:</span>
  1. [Virtio, AOP, social currencies, and primitive media](./questions-20111118/) <span class="metadata">(m:November 19, 2011 ← c:November 18, 2011)</span><span class="preview">Some questions and corresponding links that caught my fancy around the week of</span>
  1. [Technique](./technique/) <span class="metadata">(m:September 5, 2011 ← c:September 5, 2011)</span><span class="preview">Mike Cardwell's essay ["Protecting a Laptop from Simple and Sophisticated Attacks"](https://grepular.com/Protecting_a_Laptop_from_Simple_and_Sophisticated_Attacks) is good introduction to an under-appreciated field.</span>
  1. [Public Goods](./public_goods/) <span class="metadata">(m:July 24, 2011 ← c:July 24, 2011)</span><span class="preview">After returning from my [recent travels](../travel_2011/), I've found myself</span>
  1. [2011 Travel Photos](./travel_2011/) <span class="metadata">(m:July 17, 2011 ← c:July 16, 2011)</span><span class="preview">Here are some photos from my recent trip to Bangalore, Mysore, Mudumalai, Ooty,</span>
  1. [Comment Systems](./comment_systems/) <span class="metadata">(m:April 23, 2011 ← c:April 10, 2011)</span><span class="preview">## Comment Systems</span>
  1. [Convergence (draft)](./convergence/) <span class="metadata">(m:April 10, 2011 ← c:March 29, 2011)</span><span class="preview">## Forms, Maps, and Convergent Sequences</span>
  1. [AfD Discussions (draft)](./afd_discussions/) <span class="metadata">(m:April 9, 2011 ← c:March 16, 2011)</span><span class="preview">## Greetings</span>
  1. [Keeping Secrets (notes)](./secrets/) <span class="metadata">(m:April 9, 2011 ← c:April 8, 2011)</span><span class="preview">## Keeping Secrets</span>
  1. [OpenKey.cc](./openkey/) <span class="metadata">(m:April 9, 2011 ← c:June 6, 2010)</span><span class="preview">## Weak Secret-keepers</span>
  1. [Irrefutability](./irrefutability/) <span class="metadata">(m:March 28, 2011 ← c:February 15, 2009)</span><span class="preview"><!-- tags: thoughts --></span>
  1. [The Joy of TeX](./joy_of_tex/) <span class="metadata">(m:March 28, 2011 ← c:January 22, 2009)</span><span class="preview"><!-- tags: TeX --></span>
  1. [Safe(r) Phones (draft)](./safe_phones/) <span class="metadata">(m:March 28, 2011 ← c:March 20, 2011)</span><span class="preview">## Difficulties</span>

</div>