mstone's posts2023-02-14T12:35:01-05:00Michael Stoneurn:uuid:4080a4e6-ef4b-40dc-a288-43e801bddb89Better debug logsurn:uuid:4b761322-9a0e-4a5d-be37-b03e623eaa3c2023-02-14T12:35:00-05:002022-02-13T00:00:00-05:00Applied Category Theory (ACT) diagrams vs mechanical drawingsurn:uuid:5c24c6c5-6757-44b0-bdc0-0cd4a0c5d60c2023-02-03T10:58:07-05:002023-02-03T00:00:00-05:00Applied Category Theory (ACT) as "precision machining"urn:uuid:2f56b720-0b2f-4a39-92a4-3e893233208b2023-02-03T10:30:56-05:002022-11-11T00:00:00-05:00Real-world system depictions with *depict*urn:uuid:0eab045c-510f-4a80-8e47-945ca195e2482023-01-20T15:46:36-05:002022-09-13T00:00:00-04:00Introducing *depict*, a tool and notation for depicting systemsurn:uuid:1d013256-f8b2-4d67-a0d6-381f8c15e5b02022-09-12T18:26:31-04:002022-09-10T00:00:00-04:00WASM, Rust, and Curn:uuid:c057b62e-67b4-41fc-94f9-4048372084502022-06-28T12:11:20-04:002022-06-28T00:00:00-04:00API Securityurn:uuid:d27e8a7d-31bd-4d8b-971e-b9e6518963082021-11-30T15:10:31-05:002021-11-30T00:00:00-05:00Running qemu-system-aarch64 with -accel hvf on aarch64-darwinurn:uuid:05b43a37-a0ed-43cf-808e-bbd144bcce932021-09-01T13:51:02-04:002021-08-31T00:00:00-04:00Nix Tutorialurn:uuid:16bd9118-43b1-4378-a624-0b75d93d859c2021-06-27T13:59:52-04:002021-06-20T00:00:00-04:00Software Qualityurn:uuid:858d204e-da4d-466f-ac0a-6e17c0a231cc2021-01-30T13:11:47-05:002011-03-06T00:00:00-05:00A style guide for state machinesurn:uuid:29367038-a820-445f-abe3-59e67dcab5522020-08-30T10:34:18-04:002020-08-28T00:00:00-04:00Equations vs. Definitionsurn:uuid:0982d0bd-d670-4d86-beca-0df4d11dae102020-07-20T22:02:32-04:002012-02-05T00:00:00-05:00System Safety ∩ Ψurn:uuid:27ffebb6-38fe-4316-8861-79037164534d2019-02-17T14:03:35-05:002018-12-04T00:00:00-05:00Performance Engineeringurn:uuid:bdc39c3c-a5da-4831-a0d4-37d14521c8342018-10-18T09:55:29-04:002018-10-14T00:00:00-04:00Solving Stinky Trash with Adsorption via Zeolite and Activated Carbonurn:uuid:c567b8fa-6d22-4415-ae90-33a22cdeab652017-12-30T15:09:11-05:002017-12-30T00:00:00-05:00Stove-top Infra-red Surface Temperature Monitoring Concepturn:uuid:aaf79cca-8830-4e28-a18e-8607563d51a62017-12-30T12:57:10-05:002017-12-30T00:00:00-05:00SELinux Notesurn:uuid:30b74c45-1bec-4753-bf0a-2d6c08d17ac22016-07-24T20:35:21-04:002015-10-18T00:00:00-04:00Reading, 2015-2016urn:uuid:e5d82e1e-deec-4e5f-baea-df4d0abee0892016-05-30T21:19:30-04:002016-05-29T00:00:00-04:00Nix Packaging Tricks: Making Go, R, Python, Haskell, OpenSSL, and Docker Danceurn:uuid:8497b2d9-03f3-443c-b6ad-6b018e27338a2015-10-18T18:33:51-04:002015-10-18T00:00:00-04:00Fall 2014 Readingurn:uuid:0d01e1ef-8970-4f95-8539-d7c8ff44f67b2014-11-02T20:17:03-05:002014-11-02T00:00:00-04:00Fault Tolerance for TLS?urn:uuid:e09c8334-c9f4-4484-9dec-3b2cbc1b8b722014-10-25T21:06:39-04:002014-10-25T00:00:00-04:00Talk: An Atlas of Systemsurn:uuid:d4f9c39b-162b-434b-9353-7523a016a0be2014-08-23T15:03:12-04:002014-08-23T00:00:00-04:00Latency, Jitter, Cost, and Queueing Theoryurn:uuid:33af0db0-25da-4bd4-9bb1-30b58e38544d2014-07-27T17:11:32-04:002014-07-27T00:00:00-04:00Thoughts: Docker, Sociology, Mathematical Models of Security, Word Choice, and Deathurn:uuid:fcdfc1d2-d0e5-429c-9c99-3df5249882c62014-07-16T13:28:16-04:002014-07-16T00:00:00-04:00Fate-sharing, end-to-end arguments, and secrecyurn:uuid:648f8244-9e95-4a7c-9e98-3b7e07b57a5e2014-07-12T14:29:53-04:002014-07-12T00:00:00-04:00Understanding and controlling gcc's inlining decisionsurn:uuid:d328371a-167a-4060-abe5-7dfd9579fbdb2013-09-22T14:14:47-04:002012-10-07T00:00:00-04:00August Reading: how to run software?urn:uuid:58f6176e-7b04-4e2b-8841-5b5530e74fe92013-08-16T21:59:34-04:002013-08-16T00:00:00-04:00Keeping Calm with Demographicsurn:uuid:9e5f4fc9-4439-44c5-a5c9-f7ec36788dcc2013-04-19T17:02:31-04:002013-04-19T00:00:00-04:00Advice on Studying Programming Languagesurn:uuid:f2e610ba-91d5-4909-92a9-0360b4354d092013-02-24T18:01:44-05:002013-02-24T00:00:00-05:00Scheduling Shift-Workurn:uuid:e5927141-aa98-4f51-ab7a-5e57c9696f802013-02-23T16:09:29-05:002013-02-23T00:00:00-05:00Boston Clojure: Talk + Review of "clojars.org"urn:uuid:6a02768c-43be-496c-ad93-a40b14b4bab92013-02-18T12:03:22-05:002013-01-10T00:00:00-05:00Fall Reading 2012urn:uuid:d39536e9-e4f5-4416-a2e3-c2f138a5d09b2012-12-08T18:31:39-05:002012-12-08T00:00:00-05:00NixOS Notes: November 3, 2012urn:uuid:fa0fe146-f596-48b2-8ac2-9d99f68af3c62012-11-03T22:56:08-04:002012-11-03T00:00:00-04:00Thoughts for October 27, 2012urn:uuid:17d2fc09-bc03-43a3-8fcc-1eebb041ba3d2012-10-27T18:17:08-04:002012-10-27T00:00:00-04:00`perf`, `gdb`, and x86 tricks and reference materialsurn:uuid:5533de45-1d1a-4464-8b08-728bd930b5e22012-10-09T00:31:09-04:002012-10-08T00:00:00-04:00"What determines the size of the population of Wikipedians?"urn:uuid:010a8c08-674b-41b1-91a1-ce45e95b05d62012-10-06T16:49:15-04:002012-07-04T00:00:00-04:00Influencing Wikipedia Readersurn:uuid:bd84cdcb-28c5-45d2-bf7d-cc752a2bf6452012-10-06T16:36:59-04:002012-10-06T00:00:00-04:00Summer Reading 2012urn:uuid:5cc24157-a17f-4e9a-8a44-fa136eff0f4b2012-08-26T15:14:52-04:002012-08-26T00:00:00-04:00June 2012 Travel Photosurn:uuid:ba57acb1-8613-441b-90cd-3215a135ed952012-07-01T01:58:51-04:002012-07-01T00:00:00-04:00April Flowers + Sketchesurn:uuid:9f4f6f0d-7c82-4a2d-ba45-8437e8481ef72012-05-01T13:48:42-04:002012-05-01T00:00:00-04:00Notes from the STAMP 2012 Workshopurn:uuid:58101663-5a88-4ba7-8086-a580e3be30162012-04-22T17:02:03-04:002012-04-22T00:00:00-04:00Favorite TED and Youtube Performances for April 15-22urn:uuid:6b1bc00b-f6f5-48c4-8888-8b449b46ab472012-04-22T15:06:35-04:002012-04-22T00:00:00-04:00Systems Thinking in Web Securityurn:uuid:1cb06bde-5170-42e6-b247-cf5a44c35a3e2012-04-16T23:57:38-04:002012-04-15T00:00:00-04:00Constrained Seatingurn:uuid:31a31092-4532-43e4-87b4-66d9258776ac2012-04-03T21:03:05-04:002012-04-03T00:00:00-04:00git-find-blob (faster)urn:uuid:91b18b6e-8e24-4a6d-ac83-2251a942480e2012-03-19T01:38:42-04:002012-03-17T00:00:00-04:00Reading for March 11-18urn:uuid:f908f957-e508-40b3-927f-bdc5cccff42f2012-03-19T01:29:20-04:002012-03-18T00:00:00-04:00Thoughts for March 4-11urn:uuid:cda42338-190c-4690-8df1-ff9291697f722012-03-12T00:53:02-04:002012-03-11T00:00:00-05:00Initial Reactions to "Inventing on Principle"urn:uuid:2e46aa62-aac1-486d-bf74-10705d4703ab2012-02-27T23:44:09-05:002012-02-26T00:00:00-05:00Defining Sugarurn:uuid:cd386160-ba5c-4839-abd0-694df25e583a2012-02-26T11:45:07-05:002010-07-11T00:00:00-04:00Plotting Spilled... Ink?urn:uuid:0cdab8f6-2bef-462c-bad5-86f6611dddb02012-02-25T21:03:09-05:002012-02-25T00:00:00-05:00Site Searchurn:uuid:04695876-9046-4d6e-ac90-df77ca6d39602012-02-20T16:53:15-05:002012-02-20T00:00:00-05:00Thoughts for Jan. 30 -- Feb. 5.urn:uuid:6afc8c1c-54de-444f-bff8-493268e8a4e42012-02-20T14:53:09-05:002012-02-05T00:00:00-05:00Thoughts for February 6-12urn:uuid:751779fc-603e-4c20-a230-a9909a4bba912012-02-13T00:24:37-05:002012-02-12T00:00:00-05:00Thoughts for January 22-29, 2012urn:uuid:d273e920-86cb-47fb-b736-8f016c3a7a4e2012-01-30T00:55:08-05:002012-01-29T00:00:00-05:00Thoughts for January 15-22, 2012urn:uuid:51b9a80b-c206-434f-8b41-47df9f5b9a192012-01-22T20:49:48-05:002012-01-22T00:00:00-05:00Thoughts for January 8-15, 2012urn:uuid:5861c25d-ebb4-4934-b315-6101c0ee83e42012-01-16T01:46:53-05:002012-01-14T00:00:00-05:00Klee: a poor man's QuickCheck...urn:uuid:f31fabf1-1090-46bf-91e7-d3c56e68748c2012-01-02T02:14:58-05:002012-01-01T00:00:00-05:00Links for December 18-25, 2011urn:uuid:3206b746-c7cc-4a74-ba97-c4dae54742002011-12-26T00:10:00-05:002011-12-25T00:00:00-05:00Security Features vs. Security Guaranteesurn:uuid:9297db54-c21e-4585-8f20-bb2fe1e2677c2011-12-19T01:54:23-05:002011-12-18T00:00:00-05:00Links for December 4-11, 2011urn:uuid:cc53f2a8-e43e-4a54-adaa-dba3bea4be012011-12-12T00:53:33-05:002011-12-11T00:00:00-05:00klee + microclimatesurn:uuid:5d75b2ec-b022-4b47-a47d-c47ea04bbc912011-12-05T00:53:18-05:002011-12-04T00:00:00-05:00On bug-tracking... (draft)urn:uuid:2edeeaa6-c9f1-42a6-a546-5341e31ba0d52011-11-26T21:30:27-05:002011-11-19T00:00:00-05:00Photos for November, 2011urn:uuid:38da8131-62c5-477a-8a3d-b164620aec682011-11-26T21:14:15-05:002011-11-26T00:00:00-05:00Virtio, AOP, social currencies, and primitive mediaurn:uuid:8e043282-d0f4-46ff-a27b-f10391d489502011-11-19T11:56:49-05:002011-11-18T00:00:00-05:00Techniqueurn:uuid:1ab20137-1664-4161-be83-55e02d9ed0ce2011-09-05T13:04:12-04:002011-09-05T00:00:00-04:00Public Goodsurn:uuid:19c746a7-9202-453a-997e-2daca9ecb06d2011-07-24T19:34:22-04:002011-07-24T00:00:00-04:002011 Travel Photosurn:uuid:ad77f573-998c-4876-999c-4b6354483df32011-07-17T12:18:03-04:002011-07-16T00:00:00-04:00Comment Systemsurn:uuid:825386d7-117b-4c86-ba38-41c536d20ce52011-04-23T14:00:48-04:002011-04-10T00:00:00-04:00Convergence (draft)urn:uuid:4b9ac958-3bc4-49d7-b575-31c39491b42c2011-04-10T16:50:56-04:002011-03-29T00:00:00-04:00AfD Discussions (draft)urn:uuid:d652c429-8e56-4387-b5b7-be2e41f5c0ba2011-04-09T18:07:16-04:002011-03-16T00:00:00-04:00Keeping Secrets (notes)urn:uuid:23be97fd-a1b6-4011-8706-f101421147f92011-04-09T17:55:01-04:002011-04-08T00:00:00-04:00OpenKey.ccurn:uuid:f005b3f8-f405-425e-bdc3-0118c855ab6d2011-04-09T16:52:55-04:002010-06-06T00:00:00-04:00Irrefutabilityurn:uuid:4d566e02-94c9-4d1a-95ad-e82fe52392ec2011-03-28T23:54:18-04:002009-02-15T00:00:00-05:00The Joy of TeXurn:uuid:8b128070-0ec2-4595-b7ab-5921801d21ad2011-03-28T23:53:20-04:002009-01-22T00:00:00-05:00Safe(r) Phones (draft)urn:uuid:da7cdaba-ca21-43c5-8532-78bfa63fe5912011-03-28T23:34:18-04:002011-03-20T00:00:00-04:00