Posts

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

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