https://www.yodaiken.com/2013/12/08/a-basic-design-error-in-software/2014-04-19T10:53:04-05:00https://www.yodaiken.com/2004/12/19/what-is-software-security-for/2004-12-19T21:02:43-06:00https://www.yodaiken.com/2004/12/20/soft-real-time-and-software-costs/2004-12-20T07:40:47-06:00https://www.yodaiken.com/2004/12/20/class-and-lack-thereof/2004-12-20T18:23:49-06:00https://www.yodaiken.com/2004/12/22/synchronization-blues/2014-06-28T16:09:13-05:00https://www.yodaiken.com/2004/12/27/embedded-productivity-and-engineering-skills/2004-12-27T19:50:41-06:00https://www.yodaiken.com/2005/01/01/rtlinux-is-easy-but-rt-is-dangerous/2005-01-01T19:15:42-06:00https://www.yodaiken.com/2005/02/24/spyware-and-security/2005-02-24T10:00:45-06:00https://www.yodaiken.com/2005/04/08/the-romance-of-trade/2005-04-08T18:23:28-05:00https://www.yodaiken.com/2005/12/16/proving-operating-sytems-correct8/2005-12-16T11:13:22-06:00https://www.yodaiken.com/2005/12/16/handbook-of-networked-and-embedded-control-systems/2005-12-16T13:11:34-06:00https://www.yodaiken.com/2005/12/16/comparing-vxworks-to-rtlinux-memory-persistence/2005-12-16T14:44:07-06:00https://www.yodaiken.com/2005/12/27/priority-inheritance-hack-or-error/2005-12-27T16:58:30-06:00https://www.yodaiken.com/2005/12/30/why-programs-fail-and-get-hacked/2005-12-30T00:33:18-06:00https://www.yodaiken.com/2006/01/02/formal-methods-academic-computer-science-and-relevance/2017-01-10T15:35:57-06:00https://www.yodaiken.com/2006/01/03/power-point-and-rocket-science-dangers-of-compelling-stories/2014-10-02T22:30:37-05:00https://www.yodaiken.com/2006/01/04/digital-rights-management-and-logic/2006-01-04T15:52:08-06:00https://www.yodaiken.com/2006/01/10/powerpoint-and-rocketscience-ii/2021-03-19T09:40:54-05:00https://www.yodaiken.com/2006/01/28/the-long-haul-in-the-embedded-software-business/2006-01-28T21:43:25-06:00https://www.yodaiken.com/2006/02/25/amd-powered-16-core-systems-are-real/2006-02-25T21:39:21-06:00https://www.yodaiken.com/2006/03/04/auragen-computers-remembered/2023-09-10T16:39:46-05:00https://www.yodaiken.com/2006/03/05/spining-the-press-about-technology/2006-03-05T22:57:57-06:00https://www.yodaiken.com/2006/03/20/paul-erdos-day/2006-03-20T14:50:04-06:00https://www.yodaiken.com/2006/04/09/dso-wind-river-robert-mitchum/2006-04-09T01:14:38-05:00https://www.yodaiken.com/2006/05/01/pitiful-formal-methods-in-computer-science/2006-05-01T11:53:05-05:00https://www.yodaiken.com/2006/05/15/greenhills-foreigners-and-the-gummi-bear-threat/2006-05-15T16:39:22-05:00https://www.yodaiken.com/2006/05/15/microkernels-and-why-academic-os-research-is-boring/2019-06-26T11:25:47-05:00https://www.yodaiken.com/2006/05/26/single-core-cell-phone-solution-and-marketing-vs-engineering-2/2006-05-26T02:19:37-05:00https://www.yodaiken.com/2006/06/11/multicore-and-virtualization-and-real-time-provisioning/2006-06-11T15:41:39-05:00https://www.yodaiken.com/2006/06/15/speculation-on-odularity-and-information-theory/2006-06-15T01:56:47-05:00https://www.yodaiken.com/2006/06/29/the-embedded-enterprise/2006-06-29T09:30:31-05:00https://www.yodaiken.com/2006/08/29/afghanistani-mountain-village-ponders-microsoft-business-tactics/2006-08-29T21:55:47-05:00https://www.yodaiken.com/2006/08/31/programming-design-style/2006-08-31T00:31:02-05:00https://www.yodaiken.com/2006/09/05/soft-real-time-and-soft-design-strategies-versus-qos/2006-09-05T22:25:44-05:00https://www.yodaiken.com/2006/09/11/amar-g-bose-on-business/2006-09-11T23:38:42-05:00https://www.yodaiken.com/2006/10/21/on-the-way-to-india/2006-10-21T20:26:44-05:00https://www.yodaiken.com/2006/10/21/soft-real-time-continues-to-sag/2006-10-21T21:41:19-05:00https://www.yodaiken.com/2006/10/22/another-version-of-the-slow-moving-recursive-equations-paper/2006-10-22T17:28:27-05:00https://www.yodaiken.com/2006/11/02/back-from-india/2006-11-02T03:40:55-06:00https://www.yodaiken.com/2006/11/15/the-embedded-enterprise-pruit-igoe-ayn-rand-the-telecommunications-stack-and-why-software-does-not-suck/2006-11-15T19:07:09-06:00https://www.yodaiken.com/2006/11/18/formal-methods-and-verification/2006-11-18T05:53:09-06:00https://www.yodaiken.com/2006/11/26/plagiarism-watch/2006-11-26T12:44:11-06:00https://www.yodaiken.com/2006/11/30/adding-value-to-windows/2006-11-30T21:52:34-06:00https://www.yodaiken.com/2006/12/06/bitkeeper-and-tossing-crates-of-money-out-the-windows-vistas/2006-12-06T02:18:26-06:00https://www.yodaiken.com/2006/12/10/free-software-economics/2006-12-10T17:47:31-06:00https://www.yodaiken.com/2006/12/17/elegance-shmelagance-the-le-corbusier-fallacy-again/2006-12-17T19:50:46-06:00https://www.yodaiken.com/2006/12/30/talmudic-codes/2006-12-30T01:40:23-06:00https://www.yodaiken.com/2007/01/05/digital-rights-management-catastrophe-continues-to-approach/2007-01-05T16:26:38-06:00https://www.yodaiken.com/2007/01/14/when-mathematicians-get-mad/2007-01-14T21:04:23-06:00https://www.yodaiken.com/2007/01/28/books-on-operating-system-design-and-paleontology/2007-01-28T07:08:22-06:00https://www.yodaiken.com/2007/02/03/jim-gray-and-the-existence-of-working-software/2016-08-29T10:53:26-05:00https://www.yodaiken.com/2007/02/05/security-notes/2007-02-05T00:59:28-06:00https://www.yodaiken.com/2007/02/15/moving-on/2007-02-15T02:04:46-06:00https://www.yodaiken.com/2007/02/19/operating-system-interfaces-are-what-you-bump-into/2007-02-19T12:55:37-06:00https://www.yodaiken.com/2007/02/25/difference-between-theory-and-practice-in-security-and-reliability/2007-02-25T21:17:26-06:00https://www.yodaiken.com/2007/03/06/watering-down-computer-science-java-and-feminism/2019-10-15T11:24:47-05:00https://www.yodaiken.com/2007/03/16/low-wage-programming/2007-03-16T09:57:19-05:00https://www.yodaiken.com/2007/03/23/software-patents-are-so-different-from-circuit-patents-really/2007-03-23T08:35:39-05:00https://www.yodaiken.com/2007/03/25/off-site-storage/2007-03-25T21:18:08-05:00https://www.yodaiken.com/2007/03/26/transaction-costs-are-good-software-patent-debate-continues/2007-03-26T17:28:57-05:00https://www.yodaiken.com/2007/03/26/enterprise-file-systems/2007-03-26T22:01:16-05:00https://www.yodaiken.com/2007/04/17/navysecurity/2007-04-17T21:14:39-05:00https://www.yodaiken.com/2007/04/18/net-neutrality-and-real-time/2007-04-18T07:29:05-05:00https://www.yodaiken.com/2007/04/26/still-trying-after-all-these-years/2007-04-26T08:44:00-05:00https://www.yodaiken.com/2007/05/05/prelapsarian-software/2007-05-05T23:09:18-05:00https://www.yodaiken.com/2007/05/10/free-as-in-double-espresso/2007-05-10T00:07:47-05:00https://www.yodaiken.com/2007/05/12/benchmarking-real-time/2007-05-12T20:54:37-05:00https://www.yodaiken.com/2007/05/13/certified-good/2007-05-13T19:13:56-05:00https://www.yodaiken.com/2007/05/15/lots-of-great-inventions-seem-obvious-in-retrospect/2007-05-15T12:00:52-05:00https://www.yodaiken.com/2007/06/06/operating-system-design-and-specification-part-1/2007-06-06T17:49:30-05:00https://www.yodaiken.com/2007/06/12/they-took-all-the-water-what-could-i-do/2007-06-12T00:47:51-05:00https://www.yodaiken.com/2007/06/21/chapter-2-liveness-and-scheduling/2007-06-21T06:46:40-05:00https://www.yodaiken.com/2007/06/22/formal-methods-for-doing-what/2025-12-26T13:09:36-06:00https://www.yodaiken.com/2007/07/20/specifying-the-unix-file-system/2007-07-20T23:01:23-05:00https://www.yodaiken.com/2007/07/24/drm-and-trusted-boot-products-nobody-wants/2007-07-24T12:22:37-05:00https://www.yodaiken.com/2007/08/10/building-what-customers-want/2007-08-10T10:51:22-05:00https://www.yodaiken.com/2007/08/11/notes-on-fault-tolerance/2007-08-11T01:20:23-05:00https://www.yodaiken.com/2007/08/12/notes-on-unintended-security-effects/2007-08-12T13:10:58-05:00https://www.yodaiken.com/2007/08/14/easy-patent-solution-exponential-method/2007-08-14T13:46:46-05:00https://www.yodaiken.com/2007/08/16/gpl-interface-arguments/2007-08-16T19:00:03-05:00https://www.yodaiken.com/2007/08/22/drm-python-sets-another-coil/2007-08-22T22:55:11-05:00https://www.yodaiken.com/2007/08/25/universal-machinery/2007-08-25T05:59:55-05:00https://www.yodaiken.com/2007/08/28/underlying-requirement-for-hard-real-time/2007-08-28T21:44:41-05:00https://www.yodaiken.com/2007/09/05/carbon-neutral-processors/2025-12-31T06:58:28-06:00https://www.yodaiken.com/2007/09/07/apples-strategic-brilliance/2007-09-07T09:42:52-05:00https://www.yodaiken.com/2007/09/08/thinking-like-a-subcontractor/2007-09-08T12:14:17-05:00https://www.yodaiken.com/2007/09/22/exciting-moments-in-fiber/2007-09-22T19:51:30-05:00https://www.yodaiken.com/2007/09/22/osim-madrid-and-value-manifolds/2007-09-22T20:11:55-05:00https://www.yodaiken.com/2007/09/23/two-new-web-sites/2007-09-23T18:49:49-05:00https://www.yodaiken.com/2007/09/27/silver-bullets/2007-09-27T16:50:02-05:00https://www.yodaiken.com/2007/10/03/the-lost-wakeup-problem/2019-06-26T16:49:21-05:00https://www.yodaiken.com/2007/10/08/death-of-1000-suboptimal-solutions/2019-08-26T18:30:14-05:00https://www.yodaiken.com/2007/10/08/data-structures-and-algebra/2019-09-24T14:04:07-05:00https://www.yodaiken.com/2007/10/11/more-on-missed-wakeup/2019-08-26T19:11:53-05:00https://www.yodaiken.com/2007/10/13/smart-engineering-design/2007-10-13T10:54:47-05:00https://www.yodaiken.com/2007/10/14/distributed-shared-memory-from-first-principles/2007-10-14T00:49:27-05:00https://www.yodaiken.com/2007/10/18/the-linux-community/2007-10-18T07:18:17-05:00https://www.yodaiken.com/2007/10/25/openbsd-developer-notes-kings-clothing-is-virtual/2007-10-25T11:33:58-05:00https://www.yodaiken.com/2007/11/05/sparc-t2-niagra-2/2007-11-05T20:43:45-06:00https://www.yodaiken.com/2007/11/08/hollywood-writers-are-smarter-than-programmers/2007-11-08T10:08:20-06:00https://www.yodaiken.com/2007/11/16/free-digital-content-and-the-daily-show/2007-11-16T21:32:44-06:00https://www.yodaiken.com/2007/11/20/soft-real-time-and-qos-revised/2007-11-20T10:41:53-06:00https://www.yodaiken.com/2007/11/28/are-programmers-smarter-than-hollywood-writers-after-all/2025-12-27T11:05:58-06:00https://www.yodaiken.com/2007/12/15/formal-methods-considered-harmful-and-more-on-soft-real-time/2007-12-15T12:31:14-06:00https://www.yodaiken.com/2007/12/20/cell-phone-handsets-and-linux-and-software-value/2007-12-20T02:14:50-06:00https://www.yodaiken.com/2007/12/20/imitation-hemingway-winner-repost/2007-12-20T02:22:36-06:00https://www.yodaiken.com/2007/12/28/happy-new-year-and-validation/2007-12-28T15:38:24-06:00https://www.yodaiken.com/2008/01/01/update-to-blog/2008-01-01T12:32:51-06:00https://www.yodaiken.com/2008/01/06/blog-administration/2008-01-06T21:10:01-06:00https://www.yodaiken.com/2008/01/06/what-do-we-got-to-verify-in-an-os/2008-01-06T21:17:47-06:00https://www.yodaiken.com/2008/01/09/the-forefront-of-internet-20-and-stuff/2008-01-09T12:33:56-06:00https://www.yodaiken.com/2008/01/09/boeings-clever-idea/2008-01-09T18:54:49-06:00https://www.yodaiken.com/2008/01/17/googles-engineering-culture/2021-03-27T08:54:20-05:00https://www.yodaiken.com/2008/01/26/the-smart-phone-patent/2008-01-26T00:52:07-06:00https://www.yodaiken.com/2008/01/31/yale-patt-on-abstraction/2008-01-31T14:07:10-06:00https://www.yodaiken.com/2008/02/04/sorcerers-apprentice-at-att-security-and-privacy-and-reliability-collide-again/2008-02-04T15:45:12-06:00https://www.yodaiken.com/2008/03/16/south-by-southwest-and-apple-versus-dell/2008-03-16T10:51:14-05:00https://www.yodaiken.com/2008/03/22/we-uh-threw-those-disk-drives-away-your-honor/2008-03-22T08:30:35-05:00https://www.yodaiken.com/2008/04/04/end-to-end-design-versus-bom-design/2008-04-04T19:29:52-05:00https://www.yodaiken.com/2008/04/05/who-should-control-the-internets/2008-04-05T16:22:17-05:00https://www.yodaiken.com/2008/04/06/linux-kernel/2008-04-06T19:13:30-05:00https://www.yodaiken.com/2008/04/13/clouds-versus-pcs/2008-04-13T08:54:38-05:00https://www.yodaiken.com/2008/04/16/operating-systems-are-harder-than-quantum-physics/2026-08-10T16:23:34-05:00https://www.yodaiken.com/2008/05/18/new-paper-on-operating-system-semantics/2008-05-18T09:47:28-05:00https://www.yodaiken.com/2008/05/26/common-weakness-enumeration/2021-04-01T00:37:01-05:00https://www.yodaiken.com/2008/05/27/more-on-common-weakness/2008-05-27T04:32:13-05:00https://www.yodaiken.com/2008/06/04/meaning-of-concurrent-programs/2008-06-04T01:57:41-05:00https://www.yodaiken.com/2008/07/17/meaning-of-concurrent-programs-and-ip/2023-02-01T20:48:01-06:00https://www.yodaiken.com/2008/08/22/why-databases-are-more-interesting-than-operating-systems/2008-08-22T14:14:52-05:00https://www.yodaiken.com/2008/09/14/us-elections-and-startupsmall-business-economics/2008-09-14T08:34:27-05:00https://www.yodaiken.com/2008/09/13/more-security-databases/2015-11-01T06:54:24-06:00https://www.yodaiken.com/2008/09/17/patent-trolling-and-guilty-knowledge/2008-09-17T15:37:54-05:00https://www.yodaiken.com/2008/09/25/cleantech-and-history-of-software/2008-09-25T17:15:22-05:00https://www.yodaiken.com/2008/09/27/scada-system-security-in-the-internet-era/2008-09-27T20:04:23-05:00https://www.yodaiken.com/2008/09/29/investors-and-software-patents/2008-09-29T06:53:15-05:00https://www.yodaiken.com/2008/10/05/reliable-broadcast-algorithms-after-20-years/2008-10-05T08:34:08-05:00https://www.yodaiken.com/2008/10/06/doing-business-with-avayas-bizzare-business-model/2015-03-20T13:04:14-05:00https://www.yodaiken.com/2008/10/07/operating-system-research-14-years-perspective/2015-03-15T20:12:24-05:00https://www.yodaiken.com/2008/10/16/future-of-the-data-center/2008-10-16T02:48:44-05:00https://www.yodaiken.com/2008/11/04/fsmlabs-move-to-new-zealand-is-postponed-indefinitely/2008-11-04T22:08:15-06:00https://www.yodaiken.com/2008/11/05/most-influential-software-company-in-america-and-maybe-the-world/2008-11-05T12:44:49-06:00https://www.yodaiken.com/2008/11/10/dijkstra-versus-perlis/2016-10-13T14:58:39-05:00https://www.yodaiken.com/2008/11/19/supercomputing-and-mathematica/2008-11-19T12:53:37-06:00https://www.yodaiken.com/2008/11/24/costs-of-not-building-security-into-the-system/2008-11-24T17:19:53-06:00https://www.yodaiken.com/2008/11/25/updated-dijkstra-vs-perlis-really-demillo/2016-08-27T07:04:32-05:00https://www.yodaiken.com/2008/12/03/the-continued-male-weirdness-of-computer-science/2017-01-11T01:41:23-06:00https://www.yodaiken.com/2008/12/15/apples-spotlight-and-future-databases/2008-12-15T14:53:28-06:00https://www.yodaiken.com/2008/12/27/the-coming-bust-in-venture-cap/2008-12-27T10:42:05-06:00https://www.yodaiken.com/2009/01/04/great-software-patents-fault-tolerance/2009-01-04T16:12:00-06:00https://www.yodaiken.com/2009/01/04/fault-tolerant-patent/2009-01-04T16:51:13-06:00https://www.yodaiken.com/2009/01/04/fault-tolerant-patent-application-for-virtual-machine/2009-01-04T20:07:04-06:00https://www.yodaiken.com/2009/01/07/satyam-explodes/2009-01-07T11:26:37-06:00https://www.yodaiken.com/2009/01/22/mobile-device-security-and-president-obama/2009-01-22T11:41:57-06:00https://www.yodaiken.com/2009/02/02/venture-capital-falls-off-the-cliff/2009-02-02T09:17:11-06:00https://www.yodaiken.com/2009/02/25/are-threads-evil/2016-02-20T22:59:12-06:00https://www.yodaiken.com/2009/03/01/aig-and-me/2009-03-01T08:41:32-06:00https://www.yodaiken.com/2009/03/02/marine-one-blueprints-via-pirates-bay/2009-03-01T23:32:13-06:00https://www.yodaiken.com/2009/03/05/program-structure-and-threads/2016-02-17T19:50:32-06:00https://www.yodaiken.com/2009/03/09/software-comes-from-the-sky-and-labor-is-overpaid-not/2009-03-09T07:20:28-05:00https://www.yodaiken.com/2009/03/23/happy-birthday-to-emmy-noether/2009-03-23T01:07:57-05:00https://www.yodaiken.com/2009/04/02/power-systems-reliability-challenges/2009-04-02T18:42:08-05:00https://www.yodaiken.com/2009/04/03/sgi-assets-to-rackable-the-mighty-have-fallen/2026-02-27T20:32:43-06:00https://www.yodaiken.com/2009/04/05/suns-tracking-sgi/2009-04-05T23:08:20-05:00https://www.yodaiken.com/2009/04/09/the-ultimate-snarky-geeky-sun-fail-post/2009-04-09T10:10:52-05:00https://www.yodaiken.com/2009/04/10/venture-capital-short-term-and-india/2026-08-16T08:08:22-05:00https://www.yodaiken.com/2009/04/15/the-cell-phone-market-in-brief/2009-04-15T12:10:40-05:00https://www.yodaiken.com/2009/04/17/the-train-to-the-terminal-station/2009-04-17T13:56:20-05:00https://www.yodaiken.com/2009/04/18/organizational-man/2009-04-18T02:54:18-05:00https://www.yodaiken.com/2009/04/21/virtualization-versus-physicalization/2009-04-21T23:06:29-05:00https://www.yodaiken.com/2009/04/27/department-of-hell-freezing-over/2009-04-27T15:49:25-05:00https://www.yodaiken.com/2009/06/05/wind-river-purchased-by-intel/2025-12-14T08:20:13-06:00https://www.yodaiken.com/2009/06/09/unnovation/2009-06-09T22:17:30-05:00https://www.yodaiken.com/2009/06/13/wind-river-sold-to-intel-more-reaction/2025-12-14T08:20:02-06:00https://www.yodaiken.com/2009/06/24/state-machine-functions-and-recursive-composition/2009-06-24T12:26:08-05:00https://www.yodaiken.com/2009/07/02/recursion-and-state/2009-07-02T16:32:40-05:00https://www.yodaiken.com/2009/07/05/robin-milner-and-automata-theory/2026-02-22T08:18:31-06:00https://www.yodaiken.com/2009/07/06/os-design/2016-09-06T14:57:27-05:00https://www.yodaiken.com/2009/07/08/the-source-of-error/2014-04-19T10:48:16-05:00https://www.yodaiken.com/2009/07/08/chrome-os/2009-07-08T00:19:43-05:00https://www.yodaiken.com/2009/07/09/wind-power-slowdown-in-germany/2009-07-09T07:29:10-05:00https://www.yodaiken.com/2009/07/09/process-algebra/2025-12-07T08:48:12-06:00https://www.yodaiken.com/2009/07/11/mathematics-education-needs-probability/2009-07-11T17:44:12-05:00https://www.yodaiken.com/2009/07/15/rtos-design-and-embedded-system-development/2009-07-15T07:20:36-05:00https://www.yodaiken.com/2009/07/23/parallel-processing-and-bash-reduce/2009-07-23T18:00:02-05:00https://www.yodaiken.com/2009/08/04/ieees-war-on-science/2009-08-04T08:30:55-05:00https://www.yodaiken.com/2009/08/10/deterministic-multithreading/2016-02-20T21:58:51-06:00https://www.yodaiken.com/2009/08/25/primitive-recursion-and-transducers/2015-10-04T02:04:55-05:00https://www.yodaiken.com/2009/08/28/godels-lost-letter/2020-10-16T15:40:50-05:00https://www.yodaiken.com/2009/09/29/future-of-innovation/2009-09-29T07:35:21-05:00https://www.yodaiken.com/2009/09/29/china-manufacturing/2009-09-29T18:28:11-05:00https://www.yodaiken.com/2009/09/30/more-china-manufacturing/2019-06-02T15:17:32-05:00https://www.yodaiken.com/2009/11/01/process-algebra-and-classical-automata/2009-11-01T13:25:36-06:00https://www.yodaiken.com/2009/11/01/parallelism-and-multicore/2009-11-01T13:42:40-06:00https://www.yodaiken.com/2009/11/10/montavista-f-f-fades-away/2009-11-10T16:46:04-06:00https://www.yodaiken.com/2009/11/12/montavista-thoughts/2009-11-12T05:54:45-06:00https://www.yodaiken.com/2009/11/13/more-petty/2014-09-16T09:15:22-05:00https://www.yodaiken.com/2009/11/14/software-design-and-time-synchronization/2009-11-14T22:04:39-06:00https://www.yodaiken.com/2009/11/22/recursive-transducers-and-products-pre-submit-version/2009-11-22T21:22:45-06:00https://www.yodaiken.com/2009/11/25/10th-anniversary-of-the-rtlinux-manifesto-paper/2009-11-25T20:13:04-06:00https://www.yodaiken.com/2009/11/25/the-ridiculous-gpl-only-tagging-of-linux/2009-11-25T20:53:08-06:00https://www.yodaiken.com/2009/11/26/multicore-and-multiprocessor-performance/2009-11-26T10:53:22-06:00https://www.yodaiken.com/2009/11/30/the-elusive-open-source-business-model/2009-11-29T23:14:57-06:00https://www.yodaiken.com/2009/12/03/green-energy-and-smart-devices/2009-12-03T22:04:51-06:00https://www.yodaiken.com/2009/12/15/fake-steve-jobs-then-i-hung-up/2009-12-15T05:00:57-06:00https://www.yodaiken.com/2009/12/17/security-for-dummies-a-lesson-for-smart-grid/2009-12-17T11:23:50-06:00https://www.yodaiken.com/2010/01/05/amory-lovins-on-smart-engineering/2010-01-05T20:58:26-06:00https://www.yodaiken.com/2010/01/06/computer-science-as-a-failed-discipline/2010-01-06T11:47:03-06:00https://www.yodaiken.com/2010/01/16/bias-in-academic-reviewing/2010-01-16T15:06:35-06:00https://www.yodaiken.com/2010/01/16/public-spirit-of-programmers/2010-01-16T19:31:06-06:00https://www.yodaiken.com/2010/01/17/state-machines-and-circuits/2010-01-17T21:13:23-06:00https://www.yodaiken.com/2010/01/20/linux-descends-into-priorty-inheritance-hell/2010-01-20T06:31:02-06:00https://www.yodaiken.com/2010/01/28/why-computer-science-is-a-failed-field-2/2022-01-31T13:13:13-06:00https://www.yodaiken.com/2010/01/29/linux-semaphores/2010-01-29T20:47:17-06:00https://www.yodaiken.com/2010/02/02/sequential-and-combinational-state-machines/2010-02-02T12:36:24-06:00https://www.yodaiken.com/2010/02/02/instructions-per-joule-a-good-start/2010-02-02T16:53:11-06:00https://www.yodaiken.com/2010/02/04/recursion-and-state-update/2010-02-04T12:19:44-06:00https://www.yodaiken.com/2010/02/06/toyotas-problem-hardware-weenies-and-poor-accounting-practices/2019-05-22T08:07:43-05:00https://www.yodaiken.com/2010/02/07/an-interesting-article-in-acm-communications-is-the-world-ending/2010-02-07T05:34:59-06:00https://www.yodaiken.com/2010/02/08/the-amory-lovins-bottleneck/2010-02-08T13:00:39-06:00https://www.yodaiken.com/2010/02/25/simple-lemma-about-pipelines/2010-02-25T19:23:42-06:00https://www.yodaiken.com/2010/02/28/queues-and-algebra/2010-02-28T20:00:15-06:00https://www.yodaiken.com/2010/03/04/power-savings-via-software/2010-03-04T14:23:16-06:00https://www.yodaiken.com/2010/03/05/shape-of-the-internet/2010-03-05T08:43:47-06:00https://www.yodaiken.com/2010/03/15/more-computer-science-as-humbug/2014-09-20T06:31:28-05:00https://www.yodaiken.com/2010/03/17/continuing-mathematician-sanity-thread-boltzmann/2010-03-17T21:41:25-05:00https://www.yodaiken.com/2010/03/23/peer-review-in-the-electronic-age/2015-03-07T08:22:57-06:00https://www.yodaiken.com/2010/03/25/oh-snap-maurice-wilkes-on-alan-turing/2022-02-02T17:20:51-06:00https://www.yodaiken.com/2010/03/29/notes-on-modularity/2010-03-29T22:53:18-05:00https://www.yodaiken.com/2010/04/01/computer-science-as-a-failed-discipline-again/2010-04-01T07:18:04-05:00https://www.yodaiken.com/2010/04/07/how-much-should-software-cost/2010-04-07T08:09:30-05:00https://www.yodaiken.com/2010/04/14/limits-of-state-diagrams/2010-04-14T23:53:46-05:00https://www.yodaiken.com/2010/04/18/more-state-diagrams/2010-04-18T23:27:07-05:00https://www.yodaiken.com/2010/04/19/out-of-the-loop-in-silicon-valley/2010-04-19T16:35:21-05:00https://www.yodaiken.com/2010/05/01/r-l-moore-topologist-and-racist/2010-05-01T16:13:02-05:00https://www.yodaiken.com/2010/05/07/process-algebra-reconsidered/2010-05-07T11:23:52-05:00https://www.yodaiken.com/2010/06/27/doing-it-wrong-poul-henning-kamp/2020-10-18T09:48:58-05:00https://www.yodaiken.com/2010/06/28/microsoft-by-the-numbers/2010-06-28T18:41:06-05:00https://www.yodaiken.com/2010/07/29/virtualization-and-power-use-and-spreadsheet-games/2010-07-29T17:34:41-05:00https://www.yodaiken.com/2010/08/06/memories/2010-08-06T16:06:50-05:00https://www.yodaiken.com/2010/09/05/processor-architecture/2016-10-14T17:54:57-05:00https://www.yodaiken.com/2010/09/21/security-versus-the-dreaded-cleanup/2010-09-21T20:07:33-05:00https://www.yodaiken.com/2010/10/10/mobile-phone-faking-in-china/2010-10-10T13:18:17-05:00https://www.yodaiken.com/2010/10/10/state-of-the-art/2010-10-10T21:18:34-05:00https://www.yodaiken.com/2010/10/17/social-network-and-lessig/2010-10-17T07:58:59-05:00https://www.yodaiken.com/2010/10/21/shocking-advances-in-operating-systems/2010-10-21T22:38:45-05:00https://www.yodaiken.com/2010/10/23/why-microkernels-dont-work/2010-10-23T22:24:11-05:00https://www.yodaiken.com/2010/10/26/modern-corporate-america-meets-fsmlabs/2010-10-26T11:40:39-05:00https://www.yodaiken.com/2010/11/08/corporate-law-and-programming-state-of-the-art/2010-11-08T20:19:13-06:00https://www.yodaiken.com/2010/11/09/free-and-open-source-licenses/2010-11-09T17:53:15-06:00https://www.yodaiken.com/2010/11/26/copyright-in-a-networked-world/2019-08-16T16:13:47-05:00https://www.yodaiken.com/2010/11/29/the-internet-as-we-know-it/2010-11-29T19:16:38-06:00https://www.yodaiken.com/2010/11/29/wikileaks/2010-11-29T20:42:54-06:00https://www.yodaiken.com/2010/11/30/corporate-organization-in-the-modern-age/2010-11-30T08:38:34-06:00https://www.yodaiken.com/2011/03/07/incumbent-capitalism/2011-03-07T21:39:30-06:00https://www.yodaiken.com/2011/03/11/security-news/2011-03-11T21:29:06-06:00https://www.yodaiken.com/2011/03/19/industrial-robots-state-of-the-art/2011-03-19T21:34:56-05:00https://www.yodaiken.com/2011/03/26/the-wizards-of-finance/2011-03-26T21:07:53-05:00https://www.yodaiken.com/2011/05/07/boeing-security/2011-05-07T13:54:04-05:00https://www.yodaiken.com/2011/06/20/dropbox-shows-utility-of-regression-tests/2014-04-19T11:39:08-05:00https://www.yodaiken.com/2011/06/02/information-technology-for-medical-care/2011-06-02T14:18:23-05:00https://www.yodaiken.com/2011/07/09/dutch-masters/2011-07-09T07:22:28-05:00https://www.yodaiken.com/2011/07/12/computer-science-101/2011-07-12T14:19:07-05:00https://www.yodaiken.com/2011/07/30/apples-patents-possibly-covering-android/2011-07-30T07:31:02-05:00https://www.yodaiken.com/2011/08/21/american-corporate-management/2014-04-19T11:37:05-05:00https://www.yodaiken.com/2011/09/04/vcs-bailing-on-signed-term-sheets/2011-09-04T20:26:13-05:00https://www.yodaiken.com/2011/09/09/computer-architecture-power-and-php/2011-09-09T11:39:19-05:00https://www.yodaiken.com/2011/09/09/sinking-in-too-many-layers/2014-06-28T16:07:57-05:00https://www.yodaiken.com/2011/10/03/fukushima-robot-blog/2011-10-03T15:12:21-05:00https://www.yodaiken.com/2011/10/07/the-multics-file-system/2011-10-07T22:12:38-05:00https://www.yodaiken.com/2011/10/08/1207/2014-04-19T11:36:48-05:00https://www.yodaiken.com/2011/10/12/dennis-ritchie/2014-04-19T11:36:29-05:00https://www.yodaiken.com/2011/10/30/richard-stallman-speaks/2014-04-19T11:35:43-05:00https://www.yodaiken.com/2011/12/17/apples-a5-chip-made-in-austin/2014-04-19T11:35:14-05:00https://www.yodaiken.com/2012/01/01/the-unix-file-system-as-a-recursive-function/2014-04-19T11:31:09-05:00https://www.yodaiken.com/2012/02/20/julia-programming-language-and-hadoop/2014-04-19T11:33:13-05:00https://www.yodaiken.com/2012/02/21/manufacturing-and-devices/2012-02-21T14:41:18-06:00https://www.yodaiken.com/2012/02/25/loose-cables-at-cern-and-time-synchronization-is-hard/2014-04-19T11:32:38-05:00https://www.yodaiken.com/2012/03/26/murdoch-strikes-against-copyrights/2014-04-19T11:38:27-05:00https://www.yodaiken.com/2012/04/19/timestamp-based-reconciliation/2014-04-19T11:34:37-05:00https://www.yodaiken.com/2012/05/28/free-software-and-newspapers/2012-05-28T20:36:00-05:00https://www.yodaiken.com/2012/07/09/timekeeper-server/2014-04-19T10:57:20-05:00https://www.yodaiken.com/2010/11/12/airbus-computer-and-electrical-problems/2010-11-12T19:53:23-06:00https://www.yodaiken.com/2010/11/25/branchless-bankingmicro-finance-and-wal-mart/2010-11-25T16:13:53-06:00https://www.yodaiken.com/2011/07/09/why-computers-are-more-and-more-devices-for-generating-heat-from-electricity/2014-04-19T11:38:01-05:00https://www.yodaiken.com/2012/07/28/samsungs-trail-brief-in-the-apple-patent-lawsuit/2014-04-19T10:57:06-05:00https://www.yodaiken.com/2012/08/16/free-software-patents-alan-cox/2013-12-17T08:09:39-06:00https://www.yodaiken.com/2012/11/07/big-data-and-politics/2014-04-19T10:56:23-05:00https://www.yodaiken.com/2013/01/14/obamas-big-data-team/2014-04-19T11:34:21-05:00https://www.yodaiken.com/2013/01/30/what-are-patents-for/2014-04-19T11:32:14-05:00https://www.yodaiken.com/2013/12/04/i-just-dont-know-what-to-say/2014-04-19T10:54:14-05:00https://www.yodaiken.com/2013/12/04/the-terrible-effect-of-krohn-rhodes/2023-02-06T21:15:51-06:00https://www.yodaiken.com/2013/12/06/paying-for-music/2014-04-19T10:56:41-05:00https://www.yodaiken.com/2013/12/10/patent-reform-modest-proposal/2014-05-20T18:02:00-05:00https://www.yodaiken.com/2014/01/19/challenges-deploying-ptpv2-in-a-global-financial-company/2014-01-19T11:51:56-06:00https://www.yodaiken.com/2014/01/19/the-business-case-for-being-time-protocol-agnostic/2014-01-19T17:16:09-06:00https://www.yodaiken.com/2014/01/20/mitre-and-gps-spoofing/2014-01-19T19:04:17-06:00https://www.yodaiken.com/2014/01/21/time-synchronization-in-the-cloud/2014-01-20T22:04:41-06:00https://www.yodaiken.com/2014/01/21/1631/2014-01-22T14:33:08-06:00https://www.yodaiken.com/2014/01/22/data-integrity-depends-on-time-synchronization/2014-01-22T09:35:19-06:00https://www.yodaiken.com/2014/01/22/time-maps-for-visualizing-time-distribution-networks/2014-01-22T14:42:08-06:00https://www.yodaiken.com/2014/02/04/challenges-upgrading-time-synchronization-in-a-global-financial-company/2014-02-03T21:04:45-06:00https://www.yodaiken.com/2014/04/03/data-tiedowns-with-reliable-time-stamping/2014-04-03T16:07:13-05:00https://www.yodaiken.com/2014/04/04/ntpd-dos-attacks/2014-04-04T14:03:24-05:00https://www.yodaiken.com/2014/04/06/cassandra-cluster-synchronization/2014-04-06T14:57:44-05:00https://www.yodaiken.com/2014/04/07/1668/2014-04-07T11:16:44-05:00https://www.yodaiken.com/2014/04/07/at-issue-in-apple-versus-samsung-patent-fight/2014-04-07T12:48:13-05:00https://www.yodaiken.com/2014/04/09/measuring-clock-synchronization-in-the-cloud-ntpd-versus-timekeeper/2014-04-19T10:51:57-05:00https://www.yodaiken.com/2014/04/15/economics-of-free-software/2014-04-19T10:51:35-05:00https://www.yodaiken.com/2014/04/23/measuring-ntpd-in-the-cloud-ii/2014-04-23T00:27:17-05:00https://www.yodaiken.com/2014/05/05/heartbleed-and-open-source/2014-05-05T11:59:26-05:00https://www.yodaiken.com/2014/05/20/back-in-the-day/2015-03-07T13:37:39-06:00https://www.yodaiken.com/2014/06/18/1733/2014-06-18T08:58:03-05:00https://www.yodaiken.com/2014/06/18/the-technology-disconnect/2014-06-18T10:49:27-05:00https://www.yodaiken.com/2014/06/23/the-horrors-of-software-patents/2016-02-19T07:07:14-06:00https://www.yodaiken.com/2014/07/17/real-time-linux/2014-07-17T15:42:05-05:00https://www.yodaiken.com/2014/07/30/from-jersey-to-wall-street-or-the-equivalent/2014-07-30T16:41:21-05:00https://www.yodaiken.com/2014/09/08/a-hard-theorem-becomes-easy-over-time/2016-03-30T09:56:15-05:00https://www.yodaiken.com/2014/09/10/casandra/2014-09-20T22:01:45-05:00https://www.yodaiken.com/2014/09/16/a-claimed-validate-operating-system/2014-09-16T10:06:06-05:00https://www.yodaiken.com/2014/09/16/1811/2014-09-16T11:56:03-05:00https://www.yodaiken.com/2014/09/19/why-is-clock-synchronization-so-important-in-big-data/2014-09-20T22:01:35-05:00https://www.yodaiken.com/2014/09/20/1822/2015-03-07T07:50:45-06:00https://www.yodaiken.com/2014/09/24/what-happens-when-you-do-not-use-enterprise-quality-technology/2014-09-26T08:20:53-05:00https://www.yodaiken.com/2014/10/03/jp-morgan-security-breach/2014-10-03T08:30:12-05:00https://www.yodaiken.com/2014/10/02/paths-versus-recursion/2014-10-01T20:37:56-05:00https://www.yodaiken.com/2014/10/16/why-is-computer-science-education-so-horrible/2014-10-16T13:20:29-05:00https://www.yodaiken.com/2014/10/17/project-roseline/2014-10-16T21:23:06-05:00https://www.yodaiken.com/2014/10/17/telecom-is-10-years-behind-wall-street-on-time-synchronization/2014-10-16T22:01:52-05:00https://www.yodaiken.com/2014/11/09/how-business-works-in-the-real-world-apple-and-gt-and-beelzebub/2025-10-27T10:58:35-05:00https://www.yodaiken.com/2015/03/05/pointers-draft/2015-03-06T13:42:39-06:00https://www.yodaiken.com/2015/03/07/einstein-and-peer-review/2015-03-07T08:19:22-06:00https://www.yodaiken.com/2015/03/13/space-x-patents/2015-03-13T16:43:37-05:00https://www.yodaiken.com/2015/03/23/gilbert-and-sullivans-innovative-business-model/2015-03-23T09:27:36-05:00https://www.yodaiken.com/2015/07/07/ikea-and-redhat/2015-07-07T14:43:45-05:00https://www.yodaiken.com/2015/07/10/the-opm-break-in-was-super-horrific/2015-07-10T10:01:46-05:00https://www.yodaiken.com/2015/07/28/1967/2015-07-28T08:51:17-05:00https://www.yodaiken.com/2015/08/27/german-banking/2015-08-27T08:00:49-05:00https://www.yodaiken.com/2015/09/09/update-of-unix-filesystem-paper/2015-09-15T10:44:07-05:00https://www.yodaiken.com/2015/09/17/smart-and-dumb-clients-and-the-so-called-best-master-clock-algorithm-in-ptp-ieee-1588/2015-09-18T11:39:43-05:00https://www.yodaiken.com/2015/09/29/primitive-recursion-over-words/2015-09-29T14:25:47-05:00https://www.yodaiken.com/2015/10/01/what-does-the-unix-file-system-do/2015-10-01T09:58:05-05:00https://www.yodaiken.com/2015/10/01/the-enterprise-profile-for-ptp-and-timekeeper/2015-10-01T17:06:33-05:00https://www.yodaiken.com/2015/10/10/annals-of-unintentional-irony/2015-10-10T07:40:54-05:00https://www.yodaiken.com/2015/10/12/risc-v-and-bloat/2015-10-12T14:59:45-05:00https://www.yodaiken.com/2015/10/23/mifid2-timestamp-regulations/2015-10-23T06:12:45-05:00https://www.yodaiken.com/2015/10/25/mifid2-and-security-keeping-track-of-the-money/2015-10-25T19:12:40-05:00https://www.yodaiken.com/2015/11/02/windows-support-in-timekeeper-and-mifid-ii-compliance/2015-11-02T12:09:52-06:00https://www.yodaiken.com/2015/11/04/ultrafinitism/2015-11-04T10:54:41-06:00https://www.yodaiken.com/2015/11/05/2121/2015-11-05T09:20:22-06:00https://www.yodaiken.com/2015/11/05/patent-5995745/2015-11-05T10:40:48-06:00https://www.yodaiken.com/2015/11/06/algebra-for-computer-science-and-function-nesting/2015-11-06T07:57:02-06:00https://www.yodaiken.com/2015/11/16/relaxed-memory-order/2015-11-16T07:46:51-06:00https://www.yodaiken.com/2015/11/23/kirkharts-conjecture/2015-11-23T13:11:44-06:00https://www.yodaiken.com/2015/11/24/mifid-ii-gps-and-utc-time/2015-11-24T10:52:34-06:00https://www.yodaiken.com/2015/12/12/theories-of-abstract-automata-arbib/2015-12-12T19:14:00-06:00https://www.yodaiken.com/2015/12/21/practical-state-machines-for-computer-software-and-engineering/2019-08-23T21:28:56-05:00https://www.yodaiken.com/2016/01/07/esma-clarifies-time-sources-for-mifid-ii/2016-01-07T19:36:47-06:00https://www.yodaiken.com/2016/01/14/more-on-fischer-lynch-patterson-and-the-parrot-theorem/2024-04-12T09:53:17-05:00https://www.yodaiken.com/2016/01/23/keynes-apology/2016-01-23T08:47:55-06:00https://www.yodaiken.com/2016/01/20/process-algebra-versus-state-machines-part-1/2025-12-07T08:49:56-06:00https://www.yodaiken.com/2016/01/24/paxos-and-other-consensus-algorithms-draft/2026-08-09T10:16:20-05:00https://www.yodaiken.com/2016/01/25/the-auragen-file-system/2016-01-26T09:51:24-06:00https://www.yodaiken.com/2016/02/06/one-way-queues/2017-07-06T21:53:58-05:00https://www.yodaiken.com/2016/02/09/notes-on-modularity-and-algebra-updated/2019-08-23T21:28:36-05:00https://www.yodaiken.com/2016/02/16/software-quality-at-toyota/2016-02-20T02:00:02-06:00https://www.yodaiken.com/2016/02/20/the-difference-between-unspecified-undefined-and-non-deterministic/2016-02-20T22:44:21-06:00https://www.yodaiken.com/2016/03/11/operations-and-maps-on-finite-sequences/2016-03-11T09:12:03-06:00https://www.yodaiken.com/2016/04/18/mifid-ii-clock-sync-talk-at-bank-of-england-april-12-2016/2016-04-18T21:55:00-05:00https://www.yodaiken.com/2016/04/27/ieee-1588-ptp-is-a-mess/2016-04-27T05:45:12-05:00https://www.yodaiken.com/2016/05/11/synchronous-processors/2022-04-19T17:59:42-05:00https://www.yodaiken.com/2016/06/10/rtlinux/2016-06-10T12:23:21-05:00https://www.yodaiken.com/2016/06/12/cutting-and-pasting-about-kodaks-demise/2016-06-13T07:13:02-05:00https://www.yodaiken.com/2016/08/04/state-equations/2019-08-23T21:28:06-05:00https://www.yodaiken.com/2016/08/15/state-equations-in-practice/2026-07-02T06:33:08-05:00https://www.yodaiken.com/2016/08/25/circularity-problems-distributed-consensus/2022-01-13T18:23:04-06:00https://www.yodaiken.com/2016/08/26/the-replicated-state-machine-method-of-fault-tolerance/2025-12-29T07:10:07-06:00https://www.yodaiken.com/2016/08/30/distributed-consensus-and-network-reliability/2016-08-30T22:02:07-05:00https://www.yodaiken.com/2016/08/31/data-base-design-criteria-ease-of-use/2016-08-31T08:12:22-05:00https://www.yodaiken.com/2016/09/02/time-out-of-joint/2016-09-02T08:39:22-05:00https://www.yodaiken.com/2016/09/02/chang-maxemchuk-atomic-broadcast/2016-09-02T11:13:45-05:00https://www.yodaiken.com/2016/12/08/current-reading/2016-12-24T15:23:24-06:00https://www.yodaiken.com/2016/12/22/computer-science-as-a-scholarly-discipline/2019-08-16T09:23:55-05:00https://www.yodaiken.com/2018/12/31/undefined-behavior-and-the-purpose-of-c/2021-10-06T15:36:11-05:00https://www.yodaiken.com/2017/06/09/basic-math-for-basic-algorithms/2017-11-21T08:12:50-06:00https://www.yodaiken.com/2017/06/16/the-c-standard-committee-effort-to-kill-c-continues/2019-08-23T21:02:13-05:00https://www.yodaiken.com/2017/06/26/the-c-standard-versus-c-and-the-mother-of-all-hacks/2026-07-08T16:18:38-05:00https://www.yodaiken.com/2017/07/08/current-reading-july-8-2017/2017-07-17T15:08:00-05:00https://www.yodaiken.com/2017/07/17/c-compiler-developers-are-hostile-to-c-programming/2019-08-23T21:26:26-05:00https://www.yodaiken.com/2017/07/22/sorting-and-groups/2019-08-23T21:26:10-05:00https://www.yodaiken.com/2017/08/10/google-manifesto-shows-that-many-programmers-are-bad-at-logic/2017-08-11T11:39:13-05:00https://www.yodaiken.com/2017/08/16/the-crackpot-google-manifesto/2024-03-15T10:41:46-05:00https://www.yodaiken.com/2017/08/20/current-reading-august-2017/2017-08-20T15:35:02-05:00https://www.yodaiken.com/2017/11/30/types-considered-harmful-ii/2025-11-24T08:23:03-06:00https://www.yodaiken.com/2018/01/04/current-reading-meltdown-and-spectre-edition/2018-01-05T08:32:03-06:00https://www.yodaiken.com/2018/01/16/informal-methods-applied-to-networks-and-timeouts/2019-08-23T21:24:39-05:00https://www.yodaiken.com/2018/03/13/more-ub-madness-from-llvm-clang/2019-08-23T21:00:18-05:00https://www.yodaiken.com/2018/03/24/xor/2018-03-24T14:17:18-05:00https://www.yodaiken.com/2018/04/14/new-and-or-notable/2018-04-20T09:14:21-05:00https://www.yodaiken.com/2018/05/02/linked-lists/2019-08-23T21:24:09-05:00https://www.yodaiken.com/2018/05/05/trees-in-informal-methods/2019-08-23T21:23:49-05:00https://www.yodaiken.com/2018/05/14/clock-sync-in-finance-and-beyond/2018-05-14T00:38:23-05:00https://www.yodaiken.com/2018/05/18/scott-aaronsons-handwringing/2022-08-23T10:06:09-05:00https://www.yodaiken.com/2018/05/20/depressing-and-faintly-terrifying-days-for-the-c-standard/2026-04-03T07:14:07-05:00https://www.yodaiken.com/2018/05/21/judea-pearls-mysterious-claim/2018-05-21T14:19:45-05:00https://www.yodaiken.com/2018/06/03/pointer-alias-analysis-in-c/2021-03-21T11:51:01-05:00https://www.yodaiken.com/2018/06/07/torvalds-on-aliasing/2026-07-06T05:21:44-05:00https://www.yodaiken.com/2018/06/17/vector-optimization-with-c-aliasing/2019-08-23T20:59:25-05:00https://www.yodaiken.com/2018/06/17/three-modest-proposals-for-the-c-standard-wg14/2021-05-23T00:15:18-05:00https://www.yodaiken.com/2018/07/16/practical-uses-of-synchronized-clocks-liskov/2019-08-23T21:01:13-05:00https://www.yodaiken.com/2018/07/21/flat-address-spaces-another-crank-idea-for-computer-architecture/2021-02-01T15:53:18-06:00https://www.yodaiken.com/2018/11/04/comrades-cheyne-and-stokes-and-mathematics/2019-06-15T19:40:42-05:00https://www.yodaiken.com/2018/11/10/spanner-in-the-works/2019-08-23T20:57:54-05:00https://www.yodaiken.com/2019/03/02/semiotics-of-functional-programming/2022-01-13T19:17:43-06:00https://www.yodaiken.com/2019/02/20/von-neumanns-critique-of-automata-theory-and-logic-in-computer-science/2026-07-08T15:47:15-05:00https://www.yodaiken.com/2019/07/12/the-halting-problem-has-nothing-to-do-with-computers/2021-03-19T12:52:01-05:00https://www.yodaiken.com/2019/10/06/paxos-demystified/2022-01-13T18:18:38-06:00https://www.yodaiken.com/2020/09/02/sorting-algorithms-as-recursive-functions/2021-07-19T16:42:45-05:00https://www.yodaiken.com/2021/03/01/c89-standard/2021-05-22T10:03:26-05:00https://www.yodaiken.com/2021/05/21/your-computer-is-a-fast-pdp-11-and-more-on-c-the-c-standard-and-computer-architecture/2026-02-21T07:03:36-06:00https://www.yodaiken.com/2021/03/19/dennis-ritchie-on-alias-analysis-in-the-c-programming-language-1988/2026-07-06T05:20:14-05:00https://www.yodaiken.com/2021/05/16/c-is-not-a-serious-programming-language/2021-05-26T12:44:34-05:00https://www.yodaiken.com/2021/05/19/undefined-behavior-in-c-is-a-reading-error/2023-02-10T12:45:47-06:00https://www.yodaiken.com/2021/08/03/memory-model-and-semantics-for-c/2025-12-11T07:10:41-06:00https://www.yodaiken.com/2021/10/06/plos-2021-paper-how-iso-c-became-unusable-for-operating-system-development/2025-12-11T07:10:22-06:00https://www.yodaiken.com/2022/01/31/open-source-free-music-downloading-and-intellectual-property/2023-07-20T23:01:10-05:00https://www.yodaiken.com/2022/03/26/threads-in-c/2025-12-11T07:09:48-06:00https://www.yodaiken.com/2022/04/21/4661/2022-04-21T15:14:21-05:00https://www.yodaiken.com/2022/05/07/process-algebra-and-automata-theory/2026-07-09T15:20:45-05:00https://www.yodaiken.com/2022/09/11/unforgiveable-c-programming/2026-07-09T15:20:21-05:00https://www.yodaiken.com/2022/10/17/theorems-are-not-poems/2024-04-12T06:15:15-05:00https://www.yodaiken.com/2023/12/04/dont-defer/2025-12-11T07:07:37-06:00https://www.yodaiken.com/2024/01/24/kuths-merge-sort-in-c/2026-10-18T19:23:12-05:00https://www.yodaiken.com/2024/09/19/rtlinux-retrospective/2026-07-09T15:18:14-05:00https://www.yodaiken.com/2024/12/16/al-gore-and-the-internet/2025-12-02T16:32:51-06:00https://www.yodaiken.com/2025/01/30/rabina-scott-finite-automat-and-their-decision-problems/2026-07-09T15:16:38-05:00https://www.yodaiken.com/2025/11/23/specifying-digital-systems/2026-01-15T07:06:14-06:00https://www.yodaiken.com/2025/12/21/von-neumann-on-the-empirical-roots-of-mathematics/2025-12-23T07:38:58-06:00https://www.yodaiken.com/2026/02/16/c23-standard-final-draft/2026-09-01T12:43:13-05:00https://www.yodaiken.com/2026/08/09/papers/2026-10-18T11:17:59-05:00https://www.yodaiken.com/2026/08/16/scientific-credibility-and-ieee/2026-10-18T11:14:47-05:00https://www.yodaiken.com/2026/09/01/c-standards/2026-10-18T11:38:16-05:00