mstone's posts

mstone's posts 2023-02-14T12:35:01-05:00 Michael Stone urn:uuid:4080a4e6-ef4b-40dc-a288-43e801bddb89 Better debug logs urn:uuid:4b761322-9a0e-4a5d-be37-b03e623eaa3c 2023-02-14T12:35:00-05:00 2022-02-13T00:00:00-05:00 Applied Category Theory (ACT) diagrams vs mechanical drawings urn:uuid:5c24c6c5-6757-44b0-bdc0-0cd4a0c5d60c 2023-02-03T10:58:07-05:00 2023-02-03T00:00:00-05:00 Applied Category Theory (ACT) as "precision machining" urn:uuid:2f56b720-0b2f-4a39-92a4-3e893233208b 2023-02-03T10:30:56-05:00 2022-11-11T00:00:00-05:00 Real-world system depictions with *depict* urn:uuid:0eab045c-510f-4a80-8e47-945ca195e248 2023-01-20T15:46:36-05:00 2022-09-13T00:00:00-04:00 Introducing *depict*, a tool and notation for depicting systems urn:uuid:1d013256-f8b2-4d67-a0d6-381f8c15e5b0 2022-09-12T18:26:31-04:00 2022-09-10T00:00:00-04:00 WASM, Rust, and C urn:uuid:c057b62e-67b4-41fc-94f9-404837208450 2022-06-28T12:11:20-04:00 2022-06-28T00:00:00-04:00 API Security urn:uuid:d27e8a7d-31bd-4d8b-971e-b9e651896308 2021-11-30T15:10:31-05:00 2021-11-30T00:00:00-05:00 Running qemu-system-aarch64 with -accel hvf on aarch64-darwin urn:uuid:05b43a37-a0ed-43cf-808e-bbd144bcce93 2021-09-01T13:51:02-04:00 2021-08-31T00:00:00-04:00 Nix Tutorial urn:uuid:16bd9118-43b1-4378-a624-0b75d93d859c 2021-06-27T13:59:52-04:00 2021-06-20T00:00:00-04:00 Software Quality urn:uuid:858d204e-da4d-466f-ac0a-6e17c0a231cc 2021-01-30T13:11:47-05:00 2011-03-06T00:00:00-05:00 A style guide for state machines urn:uuid:29367038-a820-445f-abe3-59e67dcab552 2020-08-30T10:34:18-04:00 2020-08-28T00:00:00-04:00 Equations vs. Definitions urn:uuid:0982d0bd-d670-4d86-beca-0df4d11dae10 2020-07-20T22:02:32-04:00 2012-02-05T00:00:00-05:00 System Safety ∩ Ψ urn:uuid:27ffebb6-38fe-4316-8861-79037164534d 2019-02-17T14:03:35-05:00 2018-12-04T00:00:00-05:00 Performance Engineering urn:uuid:bdc39c3c-a5da-4831-a0d4-37d14521c834 2018-10-18T09:55:29-04:00 2018-10-14T00:00:00-04:00 Solving Stinky Trash with Adsorption via Zeolite and Activated Carbon urn:uuid:c567b8fa-6d22-4415-ae90-33a22cdeab65 2017-12-30T15:09:11-05:00 2017-12-30T00:00:00-05:00 Stove-top Infra-red Surface Temperature Monitoring Concept urn:uuid:aaf79cca-8830-4e28-a18e-8607563d51a6 2017-12-30T12:57:10-05:00 2017-12-30T00:00:00-05:00 SELinux Notes urn:uuid:30b74c45-1bec-4753-bf0a-2d6c08d17ac2 2016-07-24T20:35:21-04:00 2015-10-18T00:00:00-04:00 Reading, 2015-2016 urn:uuid:e5d82e1e-deec-4e5f-baea-df4d0abee089 2016-05-30T21:19:30-04:00 2016-05-29T00:00:00-04:00 Nix Packaging Tricks: Making Go, R, Python, Haskell, OpenSSL, and Docker Dance urn:uuid:8497b2d9-03f3-443c-b6ad-6b018e27338a 2015-10-18T18:33:51-04:00 2015-10-18T00:00:00-04:00 Fall 2014 Reading urn:uuid:0d01e1ef-8970-4f95-8539-d7c8ff44f67b 2014-11-02T20:17:03-05:00 2014-11-02T00:00:00-04:00 Fault Tolerance for TLS? urn:uuid:e09c8334-c9f4-4484-9dec-3b2cbc1b8b72 2014-10-25T21:06:39-04:00 2014-10-25T00:00:00-04:00 Talk: An Atlas of Systems urn:uuid:d4f9c39b-162b-434b-9353-7523a016a0be 2014-08-23T15:03:12-04:00 2014-08-23T00:00:00-04:00 Latency, Jitter, Cost, and Queueing Theory urn:uuid:33af0db0-25da-4bd4-9bb1-30b58e38544d 2014-07-27T17:11:32-04:00 2014-07-27T00:00:00-04:00 Thoughts: Docker, Sociology, Mathematical Models of Security, Word Choice, and Death urn:uuid:fcdfc1d2-d0e5-429c-9c99-3df5249882c6 2014-07-16T13:28:16-04:00 2014-07-16T00:00:00-04:00 Fate-sharing, end-to-end arguments, and secrecy urn:uuid:648f8244-9e95-4a7c-9e98-3b7e07b57a5e 2014-07-12T14:29:53-04:00 2014-07-12T00:00:00-04:00 Understanding and controlling gcc's inlining decisions urn:uuid:d328371a-167a-4060-abe5-7dfd9579fbdb 2013-09-22T14:14:47-04:00 2012-10-07T00:00:00-04:00 August Reading: how to run software? urn:uuid:58f6176e-7b04-4e2b-8841-5b5530e74fe9 2013-08-16T21:59:34-04:00 2013-08-16T00:00:00-04:00 Keeping Calm with Demographics urn:uuid:9e5f4fc9-4439-44c5-a5c9-f7ec36788dcc 2013-04-19T17:02:31-04:00 2013-04-19T00:00:00-04:00 Advice on Studying Programming Languages urn:uuid:f2e610ba-91d5-4909-92a9-0360b4354d09 2013-02-24T18:01:44-05:00 2013-02-24T00:00:00-05:00 Scheduling Shift-Work urn:uuid:e5927141-aa98-4f51-ab7a-5e57c9696f80 2013-02-23T16:09:29-05:00 2013-02-23T00:00:00-05:00 Boston Clojure: Talk + Review of "clojars.org" urn:uuid:6a02768c-43be-496c-ad93-a40b14b4bab9 2013-02-18T12:03:22-05:00 2013-01-10T00:00:00-05:00 Fall Reading 2012 urn:uuid:d39536e9-e4f5-4416-a2e3-c2f138a5d09b 2012-12-08T18:31:39-05:00 2012-12-08T00:00:00-05:00 NixOS Notes: November 3, 2012 urn:uuid:fa0fe146-f596-48b2-8ac2-9d99f68af3c6 2012-11-03T22:56:08-04:00 2012-11-03T00:00:00-04:00 Thoughts for October 27, 2012 urn:uuid:17d2fc09-bc03-43a3-8fcc-1eebb041ba3d 2012-10-27T18:17:08-04:00 2012-10-27T00:00:00-04:00 `perf`, `gdb`, and x86 tricks and reference materials urn:uuid:5533de45-1d1a-4464-8b08-728bd930b5e2 2012-10-09T00:31:09-04:00 2012-10-08T00:00:00-04:00 "What determines the size of the population of Wikipedians?" urn:uuid:010a8c08-674b-41b1-91a1-ce45e95b05d6 2012-10-06T16:49:15-04:00 2012-07-04T00:00:00-04:00 Influencing Wikipedia Readers urn:uuid:bd84cdcb-28c5-45d2-bf7d-cc752a2bf645 2012-10-06T16:36:59-04:00 2012-10-06T00:00:00-04:00 Summer Reading 2012 urn:uuid:5cc24157-a17f-4e9a-8a44-fa136eff0f4b 2012-08-26T15:14:52-04:00 2012-08-26T00:00:00-04:00 June 2012 Travel Photos urn:uuid:ba57acb1-8613-441b-90cd-3215a135ed95 2012-07-01T01:58:51-04:00 2012-07-01T00:00:00-04:00 April Flowers + Sketches urn:uuid:9f4f6f0d-7c82-4a2d-ba45-8437e8481ef7 2012-05-01T13:48:42-04:00 2012-05-01T00:00:00-04:00 Notes from the STAMP 2012 Workshop urn:uuid:58101663-5a88-4ba7-8086-a580e3be3016 2012-04-22T17:02:03-04:00 2012-04-22T00:00:00-04:00 Favorite TED and Youtube Performances for April 15-22 urn:uuid:6b1bc00b-f6f5-48c4-8888-8b449b46ab47 2012-04-22T15:06:35-04:00 2012-04-22T00:00:00-04:00 Systems Thinking in Web Security urn:uuid:1cb06bde-5170-42e6-b247-cf5a44c35a3e 2012-04-16T23:57:38-04:00 2012-04-15T00:00:00-04:00 Constrained Seating urn:uuid:31a31092-4532-43e4-87b4-66d9258776ac 2012-04-03T21:03:05-04:00 2012-04-03T00:00:00-04:00 git-find-blob (faster) urn:uuid:91b18b6e-8e24-4a6d-ac83-2251a942480e 2012-03-19T01:38:42-04:00 2012-03-17T00:00:00-04:00 Reading for March 11-18 urn:uuid:f908f957-e508-40b3-927f-bdc5cccff42f 2012-03-19T01:29:20-04:00 2012-03-18T00:00:00-04:00 Thoughts for March 4-11 urn:uuid:cda42338-190c-4690-8df1-ff9291697f72 2012-03-12T00:53:02-04:00 2012-03-11T00:00:00-05:00 Initial Reactions to "Inventing on Principle" urn:uuid:2e46aa62-aac1-486d-bf74-10705d4703ab 2012-02-27T23:44:09-05:00 2012-02-26T00:00:00-05:00 Defining Sugar urn:uuid:cd386160-ba5c-4839-abd0-694df25e583a 2012-02-26T11:45:07-05:00 2010-07-11T00:00:00-04:00 Plotting Spilled... Ink? urn:uuid:0cdab8f6-2bef-462c-bad5-86f6611dddb0 2012-02-25T21:03:09-05:00 2012-02-25T00:00:00-05:00 Site Search urn:uuid:04695876-9046-4d6e-ac90-df77ca6d3960 2012-02-20T16:53:15-05:00 2012-02-20T00:00:00-05:00 Thoughts for Jan. 30 -- Feb. 5. urn:uuid:6afc8c1c-54de-444f-bff8-493268e8a4e4 2012-02-20T14:53:09-05:00 2012-02-05T00:00:00-05:00 Thoughts for February 6-12 urn:uuid:751779fc-603e-4c20-a230-a9909a4bba91 2012-02-13T00:24:37-05:00 2012-02-12T00:00:00-05:00 Thoughts for January 22-29, 2012 urn:uuid:d273e920-86cb-47fb-b736-8f016c3a7a4e 2012-01-30T00:55:08-05:00 2012-01-29T00:00:00-05:00 Thoughts for January 15-22, 2012 urn:uuid:51b9a80b-c206-434f-8b41-47df9f5b9a19 2012-01-22T20:49:48-05:00 2012-01-22T00:00:00-05:00 Thoughts for January 8-15, 2012 urn:uuid:5861c25d-ebb4-4934-b315-6101c0ee83e4 2012-01-16T01:46:53-05:00 2012-01-14T00:00:00-05:00 Klee: a poor man's QuickCheck... urn:uuid:f31fabf1-1090-46bf-91e7-d3c56e68748c 2012-01-02T02:14:58-05:00 2012-01-01T00:00:00-05:00 Links for December 18-25, 2011 urn:uuid:3206b746-c7cc-4a74-ba97-c4dae5474200 2011-12-26T00:10:00-05:00 2011-12-25T00:00:00-05:00 Security Features vs. Security Guarantees urn:uuid:9297db54-c21e-4585-8f20-bb2fe1e2677c 2011-12-19T01:54:23-05:00 2011-12-18T00:00:00-05:00 Links for December 4-11, 2011 urn:uuid:cc53f2a8-e43e-4a54-adaa-dba3bea4be01 2011-12-12T00:53:33-05:00 2011-12-11T00:00:00-05:00 klee + microclimates urn:uuid:5d75b2ec-b022-4b47-a47d-c47ea04bbc91 2011-12-05T00:53:18-05:00 2011-12-04T00:00:00-05:00 On bug-tracking... (draft) urn:uuid:2edeeaa6-c9f1-42a6-a546-5341e31ba0d5 2011-11-26T21:30:27-05:00 2011-11-19T00:00:00-05:00 Photos for November, 2011 urn:uuid:38da8131-62c5-477a-8a3d-b164620aec68 2011-11-26T21:14:15-05:00 2011-11-26T00:00:00-05:00 Virtio, AOP, social currencies, and primitive media urn:uuid:8e043282-d0f4-46ff-a27b-f10391d48950 2011-11-19T11:56:49-05:00 2011-11-18T00:00:00-05:00 Technique urn:uuid:1ab20137-1664-4161-be83-55e02d9ed0ce 2011-09-05T13:04:12-04:00 2011-09-05T00:00:00-04:00 Public Goods urn:uuid:19c746a7-9202-453a-997e-2daca9ecb06d 2011-07-24T19:34:22-04:00 2011-07-24T00:00:00-04:00 2011 Travel Photos urn:uuid:ad77f573-998c-4876-999c-4b6354483df3 2011-07-17T12:18:03-04:00 2011-07-16T00:00:00-04:00 Comment Systems urn:uuid:825386d7-117b-4c86-ba38-41c536d20ce5 2011-04-23T14:00:48-04:00 2011-04-10T00:00:00-04:00 Convergence (draft) urn:uuid:4b9ac958-3bc4-49d7-b575-31c39491b42c 2011-04-10T16:50:56-04:00 2011-03-29T00:00:00-04:00 AfD Discussions (draft) urn:uuid:d652c429-8e56-4387-b5b7-be2e41f5c0ba 2011-04-09T18:07:16-04:00 2011-03-16T00:00:00-04:00 Keeping Secrets (notes) urn:uuid:23be97fd-a1b6-4011-8706-f101421147f9 2011-04-09T17:55:01-04:00 2011-04-08T00:00:00-04:00 OpenKey.cc urn:uuid:f005b3f8-f405-425e-bdc3-0118c855ab6d 2011-04-09T16:52:55-04:00 2010-06-06T00:00:00-04:00 Irrefutability urn:uuid:4d566e02-94c9-4d1a-95ad-e82fe52392ec 2011-03-28T23:54:18-04:00 2009-02-15T00:00:00-05:00 The Joy of TeX urn:uuid:8b128070-0ec2-4595-b7ab-5921801d21ad 2011-03-28T23:53:20-04:00 2009-01-22T00:00:00-05:00 Safe(r) Phones (draft) urn:uuid:da7cdaba-ca21-43c5-8532-78bfa63fe591 2011-03-28T23:34:18-04:00 2011-03-20T00:00:00-04:00