Posts

Michael Stone, February 14, 2023, , (src), (all posts)

  1. Better debug logs (m:February 14, 2023 ← c:February 13, 2022)—
  2. Applied Category Theory (ACT) diagrams vs mechanical drawings (m:February 3, 2023 ← c:February 3, 2023)—
  3. Applied Category Theory (ACT) as “precision machining” (m:February 3, 2023 ← c:November 11, 2022)Last week, while attending NIST’s 2022 workshop on [compositional
  4. Real-world system depictions with depict (m:January 20, 2023 ← c:September 13, 2022)—
  5. Introducing depict, a tool and notation for depicting systems (m:September 12, 2022 ← c:September 10, 2022)# Introduction
  6. WASM, Rust, and C (m:June 28, 2022 ← c:June 28, 2022)## Depict
  7. API Security (m:November 30, 2021 ← c:November 30, 2021)A friend and colleague recently asked for an overview of the relevant language of “API security”. Here was my reply:
  8. Running qemu-system-aarch64 with -accel hvf on aarch64-darwin (m:September 1, 2021 ← c:August 31, 2021)# tl;dr
  9. Nix Tutorial (m:June 27, 2021 ← c:June 20, 2021)## Introduction
  10. Software Quality (m:January 30, 2021 ← c:March 6, 2011)I’ve been fascinated for years by the question:
  11. A style guide for state machines (m:August 30, 2020 ← c:August 28, 2020)I have a coffee-making robot.
  12. DRAFT: Review: “Ego Depletion”, JDW 2010 (m:July 26, 2020 ← c:April 20, 2013)Earlier this weekend, I read a fun [paper][pdf] ([SAGE]) by Job, Dweck,
  13. Equations vs. Definitions (m:July 20, 2020 ← c:February 5, 2012)About a year ago, in the context of a course on Scheme, a friend and colleague
  14. System Safety ∩ Ψ (m:February 17, 2019 ← c:December 4, 2018)This winter, Dr. Matthew Cain invited me to give a talk to his Engineering Psychology (Tufts PSY 53) students at Tufts.
  15. Performance Engineering (m:October 18, 2018 ← c:October 14, 2018)# Introduction
  16. Solving Stinky Trash with Adsorption via Zeolite and Activated Carbon (m:December 30, 2017 ← c:December 30, 2017)## The Problem
  17. Stove-top Infra-red Surface Temperature Monitoring Concept (m:December 30, 2017 ← c:December 30, 2017)## The Problem
  18. SELinux Notes (m:July 24, 2016 ← c:October 18, 2015)### Introduction
  19. Reading, 2015-2016 (m:May 30, 2016 ← c:May 29, 2016)## Business Dynamics
  20. Nix Packaging Tricks: Making Go, R, Python, Haskell, OpenSSL, and Docker Dance (m:October 18, 2015 ← c:October 18, 2015)## Introduction
  21. Fall 2014 Reading (m:November 2, 2014 ← c:November 2, 2014)* Intent Specifications and again. Useful ideas: part-whole, information-hiding, and means-end abstraction/refinement hierarchies, notation.
  22. Fault Tolerance for TLS? (m:October 25, 2014 ← c:October 25, 2014)Caveat: I’m not a cryptographer, so please don’t take my comments below as
  23. Talk: An Atlas of Systems (m:August 23, 2014 ← c:August 23, 2014)I gave a talk in [March of 2013](http://psas.scripts.mit.edu/home/2013
  24. Latency, Jitter, Cost, and Queueing Theory (m:July 27, 2014 ← c:July 27, 2014)If [Engineering a Safer World](http://mitpress.mit.edu/books/engineering-
  25. Thoughts: Docker, Sociology, Mathematical Models of Security, Word Choice, and Death (m:July 16, 2014 ← c:July 16, 2014)1. Multi-container docker configuration is presently mired in complexity
  26. Fate-sharing, end-to-end arguments, and secrecy (m:July 12, 2014 ← c:July 12, 2014)[Fate-sharing] is the principle that “it is acceptable to lose the state
  27. DRAFT: Running Software: A Preliminary Hierarchy of Abstraction (m:March 16, 2014 ← c:March 15, 2014)As I wrote a few months back, I’ve been thinking about [how to run
  28. Understanding and controlling gcc’s inlining decisions (m:September 22, 2013 ← c:October 7, 2012)
  29. August Reading: how to run software? (m:August 16, 2013 ← c:August 16, 2013)I’ve been reading about how to run software. Here are some of the more curious
  30. DRAFT: User-Agent (UA) Accidents (m:August 16, 2013 ← c:July 14, 2013)I rely heavily on a small number of “user agents” – my web browser, my email
  31. Keeping Calm with Demographics (m:April 19, 2013 ← c:April 19, 2013)Finding myself unable to get back to sleep after a volley of phone calls
  32. DRAFT: Re: On critical thinking (m:April 11, 2013 ← c:February 24, 2013)On 2/24/13, Brian Sniffen <bts@…> wrote:
  33. Advice on Studying Programming Languages (m:February 24, 2013 ← c:February 24, 2013)## Dear Student…
  34. Scheduling Shift-Work (m:February 23, 2013 ← c:February 23, 2013)## Introduction
  35. Boston Clojure: Talk + Review of “clojars.org” (m:February 18, 2013 ← c:January 10, 2013)## Overview
  36. Fall Reading 2012 (m:December 8, 2012 ← c:December 8, 2012)Fall reading. Mostly not finished. Some jewels: Senge, Argyris, Porter.
  37. NixOS Notes: November 3, 2012 (m:November 3, 2012 ← c:November 3, 2012)For the last few months, I’ve been using what one might call an “impressively
  38. Thoughts for October 27, 2012 (m:October 27, 2012 ← c:October 27, 2012)* API Design
  39. perf, gdb, and x86 tricks and reference materials (m:October 9, 2012 ← c:October 8, 2012)+——————————————–+———————————————————————————————————————————————————————————-+
  40. “What determines the size of the population of Wikipedians?” (m:October 6, 2012 ← c:July 4, 2012)Let \(n\) be Wikipedia’s age in days. Yesterday, \(W(n-1)\) people edited
  41. Influencing Wikipedia Readers (m:October 6, 2012 ← c:October 6, 2012)Almost 30 years ago, Robert Cialdini wrote a classic book, [“Influence”], on
  42. Summer Reading 2012 (m:August 26, 2012 ← c:August 26, 2012)Back in April, I met some [awesome folks][] at the first [STAMP/STPA
  43. June 2012 Travel Photos (m:July 1, 2012 ← c:July 1, 2012)In the “better late than never” department, here are some photos, first of a
  44. April Flowers + Sketches (m:May 1, 2012 ← c:May 1, 2012)On my way home earlier this week, I ran into some lovely petunias at Mom’s [favorite
  45. Notes from the STAMP 2012 Workshop (m:April 22, 2012 ← c:April 22, 2012)Earlier this week, I was privileged to attend the [2012 STAMP
  46. Favorite TED and Youtube Performances for April 15-22 (m:April 22, 2012 ← c:April 22, 2012)For an old friend from
  47. Systems Thinking in Web Security (m:April 16, 2012 ← c:April 15, 2012)See the presentation.
  48. Constrained Seating (m:April 3, 2012 ← c:April 3, 2012)Did I just use a [constraint solver][Alloy] to play a musical chairs at work?
  49. git-find-blob (faster) (m:March 19, 2012 ← c:March 17, 2012)Presently, Google’s index seems to know [three][] [different][] [answers][]
  50. Reading for March 11-18 (m:March 19, 2012 ← c:March 18, 2012)Weekend reading:
  51. Thoughts for March 4-11 (m:March 12, 2012 ← c:March 11, 2012)Busy week; for stories, ask me about Nell, obfuscation, or Kerckhoff’s Principle…
  52. Initial Reactions to “Inventing on Principle” (m:February 27, 2012 ← c:February 26, 2012)### Introduction
  53. Defining Sugar (m:February 26, 2012 ← c:July 11, 2010)Once upon a time, I asked some friends[^friends] to help me to distill my
  54. Plotting Spilled… Ink? (m:February 25, 2012 ← c:February 25, 2012)Ever since I bought [Hadley Wickham]’s lovely book [“ggplot2: Elegant Graphics
  55. Site Search (m:February 20, 2012 ← c:February 20, 2012)Several folks have recently asked me how my “Search site” box works, so
  56. Thoughts for Jan. 30 – Feb. 5. (m:February 20, 2012 ← c:February 5, 2012)As I mentioned [last week], I’ve recently become interested in trying to fill
  57. Thoughts for February 6-12 (m:February 13, 2012 ← c:February 12, 2012)This week, I was pleasantly reminded of the power of learning by Evelyn
  58. Thoughts for January 22-29, 2012 (m:January 30, 2012 ← c:January 29, 2012)Some fun books I encountered this week:
  59. Thoughts for January 15-22, 2012 (m:January 22, 2012 ← c:January 22, 2012)This week, I hacked a bit on two fun programs and one old memory:
  60. Thoughts for January 8-15, 2012 (m:January 16, 2012 ← c:January 14, 2012)Some fun things/questions I encountered this week:
  61. Klee: a poor man’s QuickCheck… (m:January 2, 2012 ← c:January 1, 2012)Recently, I’ve been working on [packaging] the [Klee] symbolic interpreter for
  62. Links for December 18-25, 2011 (m:December 26, 2011 ← c:December 25, 2011)[“How Doctors Die”][docs]: worth reading, c/o [Mom].
  63. Security Features vs. Security Guarantees (m:December 19, 2011 ← c:December 18, 2011)Dear Santa: can you introduce me to a browser vendor who offers a security
  64. Links for December 4-11, 2011 (m:December 12, 2011 ← c:December 11, 2011)Some thoughts and links that caught my fancy around the week of December 4-11:
  65. klee + microclimates (m:December 5, 2011 ← c:December 4, 2011)This week, we have a preliminary [Debianization] of [klee] (a.k.a.
  66. On bug-tracking… (draft) (m:November 26, 2011 ← c:November 19, 2011)Earlier this week, my friend [Brian][bts] offered me a gentle provocation on
  67. Photos for November, 2011 (m:November 26, 2011 ← c:November 26, 2011)Earlier views from Cambridge MA, Portland ME, and Pemaquid Point, ME:
  68. Virtio, AOP, social currencies, and primitive media (m:November 19, 2011 ← c:November 18, 2011)Some questions and corresponding links that caught my fancy around the week of
  69. Technique (m:September 5, 2011 ← c:September 5, 2011)Mike Cardwell’s essay “Protecting a Laptop from Simple and Sophisticated Attacks” is good introduction to an under-appreciated field.
  70. Public Goods (m:July 24, 2011 ← c:July 24, 2011)After returning from my recent travels, I’ve found myself
  71. 2011 Travel Photos (m:July 17, 2011 ← c:July 16, 2011)Here are some photos from my recent trip to Bangalore, Mysore, Mudumalai, Ooty,
  72. Comment Systems (m:April 23, 2011 ← c:April 10, 2011)## Comment Systems
  73. Convergence (draft) (m:April 10, 2011 ← c:March 29, 2011)## Forms, Maps, and Convergent Sequences
  74. AfD Discussions (draft) (m:April 9, 2011 ← c:March 16, 2011)## Greetings
  75. Keeping Secrets (notes) (m:April 9, 2011 ← c:April 8, 2011)## Keeping Secrets
  76. OpenKey.cc (m:April 9, 2011 ← c:June 6, 2010)## Weak Secret-keepers
  77. Irrefutability (m:March 28, 2011 ← c:February 15, 2009)
  78. The Joy of TeX (m:March 28, 2011 ← c:January 22, 2009)
  79. Safe(r) Phones (draft) (m:March 28, 2011 ← c:March 20, 2011)## Difficulties