http://jamesoswald.dev/authors/2026-08-27T00:00:00+00:00http://jamesoswald.dev/tags/automated-planning/2026-08-27T00:00:00+00:00http://jamesoswald.dev/2026-08-27T00:00:00+00:00http://jamesoswald.dev/authors/james-oswald/2026-08-27T00:00:00+00:00http://jamesoswald.dev/posts/2026-08-27T00:00:00+00:00http://jamesoswald.dev/tags/2026-08-27T00:00:00+00:00http://jamesoswald.dev/posts/fondpolicytypes/2026-08-27T00:00:00+00:00http://jamesoswald.dev/tags/computer-science/2026-02-20T00:00:00+00:00http://jamesoswald.dev/tags/mathematics/2026-02-20T00:00:00+00:00http://jamesoswald.dev/posts/bigoinequality/2026-02-20T00:00:00+00:00http://jamesoswald.dev/tags/lean4/2025-11-08T00:00:00+00:00http://jamesoswald.dev/posts/custom-quantifiers-lean/2025-11-08T00:00:00+00:00http://jamesoswald.dev/tags/programming/2025-11-08T00:00:00+00:00http://jamesoswald.dev/unpublished/2025-09-04T00:00:00+00:00http://jamesoswald.dev/posts/mathlib_sum_and_union/2025-08-29T00:00:00+00:00http://jamesoswald.dev/tags/mathlib/2025-08-29T00:00:00+00:00http://jamesoswald.dev/tags/opinion/2025-08-17T00:00:00+00:00http://jamesoswald.dev/posts/status-page-theater/2025-08-17T00:00:00+00:00http://jamesoswald.dev/tags/website/2025-08-17T00:00:00+00:00http://jamesoswald.dev/posts/meditation-extending-inductive-types/2025-04-23T00:00:00+00:00http://jamesoswald.dev/posts/a-type-class-for-logic/2025-04-23T00:00:00+00:00http://jamesoswald.dev/tags/logic/2025-04-23T00:00:00+00:00http://jamesoswald.dev/posts/jai-result/2025-02-02T00:00:00+00:00http://jamesoswald.dev/series/jai/2025-02-02T00:00:00+00:00http://jamesoswald.dev/tags/jai/2025-02-02T00:00:00+00:00http://jamesoswald.dev/series/2025-02-02T00:00:00+00:00http://jamesoswald.dev/posts/john-mccarthy-czech/2024-12-14T00:00:00+00:00http://jamesoswald.dev/tags/ai/2024-12-14T00:00:00+00:00http://jamesoswald.dev/tags/historical/2024-12-14T00:00:00+00:00http://jamesoswald.dev/tags/asm/2024-12-12T00:00:00+00:00http://jamesoswald.dev/tags/c/2024-12-12T00:00:00+00:00http://jamesoswald.dev/posts/collatz-inline-assembly/2024-12-12T00:00:00+00:00http://jamesoswald.dev/posts/sumtypes/2024-08-06T00:00:00+00:00http://jamesoswald.dev/tags/c++/2024-08-06T00:00:00+00:00http://jamesoswald.dev/tags/rust/2024-08-06T00:00:00+00:00http://jamesoswald.dev/posts/jai-2/2024-06-24T00:00:00+00:00http://jamesoswald.dev/posts/jai-1/2024-06-23T00:00:00+00:00http://jamesoswald.dev/series/an-introduction-to-peirces-existential-graphs/2024-06-11T00:00:00+00:00http://jamesoswald.dev/tags/existential-graphs/2024-06-11T00:00:00+00:00http://jamesoswald.dev/posts/alpha-existential-graphs-5/2024-06-11T00:00:00+00:00http://jamesoswald.dev/posts/singularizing-properties-lean/2024-04-11T00:00:00+00:00http://jamesoswald.dev/tags/math/2024-03-29T00:00:00+00:00http://jamesoswald.dev/posts/lem_aoc/2024-03-29T00:00:00+00:00http://jamesoswald.dev/tags/formal-methods/2024-03-18T00:00:00+00:00http://jamesoswald.dev/posts/rozeks-lean4-tutorial-golfed/2024-03-18T00:00:00+00:00http://jamesoswald.dev/tags/algorithms/2024-02-18T00:00:00+00:00http://jamesoswald.dev/posts/lean4-insertion-sort/2024-02-18T00:00:00+00:00http://jamesoswald.dev/tags/worldbuilding/2024-01-04T00:00:00+00:00http://jamesoswald.dev/posts/logicistmagesmanifesto/2024-01-04T00:00:00+00:00http://jamesoswald.dev/posts/anticode/2023-11-03T00:00:00+00:00http://jamesoswald.dev/tags/software-development/2023-11-03T00:00:00+00:00http://jamesoswald.dev/posts/alpha-existential-graphs-4/2023-10-30T00:00:00+00:00http://jamesoswald.dev/posts/alpha-existential-graphs-3/2023-10-03T00:00:00+00:00http://jamesoswald.dev/posts/alpha-existential-graphs-2/2023-08-20T00:00:00+00:00http://jamesoswald.dev/posts/alpha-existential-graphs-1/2023-07-31T00:00:00+00:00http://jamesoswald.dev/about/http://jamesoswald.dev/contact/http://jamesoswald.dev/profiles/http://jamesoswald.dev/publications/http://jamesoswald.dev/categories/