corpus.blog
41554 blogs · [ { "id": "01a08c65-067a-7305-a214-d1156e5a450b", "title": "Parenting Recommendations", "url": "https://xorshammer.com/2026/02/22/parenting-recommendations/", "published_at": "2026-02-22T14:28:13+00:00" }, { "id": "01a08c65-067a-7305-a214-d1156f20bdd2", "title": "The Axiom of Choice Isn’t Always Non-Constructive", "url": "https://xorshammer.com/2022/08/10/the-axiom-of-choice-isnt-always-non-constructive/", "published_at": "2022-08-10T20:59:02+00:00" }, { "id": "01a08c65-067a-7305-a214-d1156fde95d8", "title": "A Nice Definition of “Field Theory”", "url": "https://xorshammer.com/2021/04/08/a-nice-definition-of-field-theory/", "published_at": "2021-04-09T00:51:17+00:00" }, { "id": "01a08c65-067a-7305-a214-d115706dd824", "title": "But Why Is Proof by Contradiction Non-Constructive?", "url": "https://xorshammer.com/2021/04/08/but-why-is-proof-by-contradiction-non-constructive/", "published_at": "2021-04-09T00:30:29+00:00" }, { "id": "01a08c65-067a-7305-a214-d1157144604e", "title": "What does it mean to extend the manipulability of differentials?", "url": "https://xorshammer.com/2019/11/09/what-does-it-mean-to-extend-the-manipulability-of-differentials/", "published_at": "2019-11-09T14:12:23+00:00" }, { "id": "01a08c65-067a-7305-a214-d1157239972b", "title": "Hoping for Lane Closures", "url": "https://xorshammer.com/2019/11/09/hoping-for-lane-closures/", "published_at": "2019-11-09T13:32:59+00:00" }, { "id": "01a08c65-067a-7305-a214-d1157325d9a7", "title": "Differentiating Sine Without Doing Any Work or Knowing Anything", "url": "https://xorshammer.com/2019/10/27/differentiating-sine-without-doing-any-work-or-knowing-anything/", "published_at": "2019-10-27T15:27:33+00:00" }, { "id": "01a08c65-067a-7305-a214-d1157425d4be", "title": "How does the Infinitesimal Intuition About Lie Brackets Actually Work?", "url": "https://xorshammer.com/2019/10/16/how-does-the-infinitesimal-intuition-about-lie-brackets-actually-work/", "published_at": "2019-10-16T19:19:09+00:00" }, { "id": "01a08c65-067a-7305-a214-d115747faa4c", "title": "How is it even possible for a sailboat to sail into the wind?", "url": "https://xorshammer.com/2017/05/29/how-is-it-even-possible-for-a-sailboat-to-sail-into-the-wind/", "published_at": "2017-05-29T17:21:21+00:00" }, { "id": "01a08c65-067a-7305-a214-d11574fe0975", "title": "Making Money Disappear Through Infinite Iteration, Now In YouTube Form!", "url": "https://xorshammer.com/2017/05/07/making-money-disappear-through-infinite-iteration-now-in-youtube-form/", "published_at": "2017-05-07T17:32:12+00:00" }, { "id": "01a08c65-067a-7305-a214-d11575a3fb06", "title": "The CGP Grey Sheaf of Continents", "url": "https://xorshammer.com/2016/07/24/the-cgp-grey-topos-of-continents/", "published_at": "2016-07-24T18:52:27+00:00" }, { "id": "01a08c65-067a-7305-a214-d11575e3e68e", "title": "Thermodynamics is Easier Than I Thought", "url": "https://xorshammer.com/2016/05/19/thermodynamics-is-easier-than-i-thought/", "published_at": "2016-05-19T04:26:14+00:00" }, { "id": "01a08c65-067a-7305-a214-d115769b8e82", "title": "Gravity is Stronger Than I Thought", "url": "https://xorshammer.com/2016/05/18/gravity-is-stronger-than-i-thought/", "published_at": "2016-05-19T02:57:21+00:00" }, { "id": "01a08c65-067a-7305-a214-d11577967e76", "title": "The Arithmetic Hierarchy Meets the Real World", "url": "https://xorshammer.com/2016/05/14/the-arithmetic-hierarchy-meets-the-real-world/", "published_at": "2016-05-15T00:30:42+00:00" }, { "id": "01a08c65-067a-7305-a214-d115787f3e41", "title": "YouTube Physics Explanations Shouldn’t Use the Right-Hand Rule", "url": "https://xorshammer.com/2016/05/09/youtube-physics-explanations-shouldnt-use-the-right-hand-rule/", "published_at": "2016-05-10T03:32:46+00:00" }, { "id": "01a08c65-067a-7305-a214-d115793778cf", "title": "A Complexity-Theoretic Account of The Strong Law of Small Numbers", "url": "https://xorshammer.com/2016/05/09/a-complexity-theoretic-account-of-the-strong-law-of-small-numbers/", "published_at": "2016-05-09T19:17:51+00:00" }, { "id": "01a08c65-067a-7305-a214-d1157a1dcc0e", "title": "Two Constants: Khinchin and Chaitin", "url": "https://xorshammer.com/2016/05/05/two-constants-khinchin-and-chaitin/", "published_at": "2016-05-06T03:45:44+00:00" }, { "id": "01a08c65-067a-7305-a214-d1157a2ce813", "title": "A Good Definition of Randomness", "url": "https://xorshammer.com/2016/05/03/a-good-definition-of-randomness/", "published_at": "2016-05-04T02:37:53+00:00" }, { "id": "01a08c65-067a-7305-a214-d1157ab53227", "title": "Why is the derivative of a generating function meaningful?", "url": "https://xorshammer.com/2015/08/21/why-is-the-derivative-of-a-generating-function-meaningful/", "published_at": "2015-08-21T14:59:45+00:00" }, { "id": "01a08c65-067a-7305-a214-d1157b7a4ed7", "title": "Complexity to Simplicity and Back Again", "url": "https://xorshammer.com/2012/02/13/complexity-to-simplicity-and-back-again/", "published_at": "2012-02-13T04:29:46+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc12a832db", "title": "Generating Functions as Cardinality of Set Maps", "url": "https://xorshammer.com/2011/12/24/generating-functions-as-cardinality-of-set-maps/", "published_at": "2011-12-24T18:57:28+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc136ba651", "title": "Mathematica and Quantifier Elimination", "url": "https://xorshammer.com/2011/12/15/mathematica-and-quantifier-elimination/", "published_at": "2011-12-15T05:38:22+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc13d0f494", "title": "A Logical Interpretation of Some Bits of Topology", "url": "https://xorshammer.com/2011/07/09/a-logical-interpretation-of-some-bits-of-topology/", "published_at": "2011-07-09T09:26:56+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc140526db", "title": "The Spectrum From Logic to Probability", "url": "https://xorshammer.com/2010/09/18/the-spectrum-from-logic-to-probability/", "published_at": "2010-09-18T22:36:29+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1426832f", "title": "Topology and First-Order Modal Logic", "url": "https://xorshammer.com/2010/03/13/topology-and-first-order-modal-logic/", "published_at": "2010-03-13T07:23:02+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc14741a80", "title": "Two Interesting Observations about Voting I Hadn’t Seen Until Recently", "url": "https://xorshammer.com/2010/02/22/two-interesting-observations-about-voting-i-hadnt-seen-until-recently/", "published_at": "2010-02-23T01:32:43+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc156cf915", "title": "Quantish Physics: A Discrete Model of Quantum Physics", "url": "https://xorshammer.com/2010/02/17/quantish-physics-a-discrete-model-of-quantum-physics/", "published_at": "2010-02-17T05:11:12+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc163b3785", "title": "Functions with Very Low Symmetry and the Continuum Hypothesis", "url": "https://xorshammer.com/2009/07/19/functions-with-very-low-symmetry-and-the-continuum-hypothesis/", "published_at": "2009-07-19T20:32:03+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc16424adb", "title": "A Suite of Cool Logic Programs", "url": "https://xorshammer.com/2009/05/14/a-suite-of-cool-logic-programs/", "published_at": "2009-05-15T00:24:49+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc166e0dd8", "title": "An Interesting Puzzle in Propositional Logic", "url": "https://xorshammer.com/2009/04/09/an-interesting-puzzle-in-propositional-logic/", "published_at": "2009-04-09T13:47:48+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc170aa516", "title": "What Happens When You Iterate Gödel’s Theorem?", "url": "https://xorshammer.com/2009/03/23/what-happens-when-you-iterate-godels-theorem/", "published_at": "2009-03-24T02:38:30+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc17c8d706", "title": "Trigonometric Series and the Beginnings of Set Theory", "url": "https://xorshammer.com/2008/12/20/trigonometric-series-and-the-beginnings-of-set-theory/", "published_at": "2008-12-20T13:38:17+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc182a4fe8", "title": "A Simple Introduction to Quantum Groups", "url": "https://xorshammer.com/2008/12/11/a-simple-introduction-to-quantum-groups/", "published_at": "2008-12-12T02:49:23+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc183585bb", "title": "Doing Calculus on the Rationals (with the help of Nonstandard Analysis)", "url": "https://xorshammer.com/2008/11/14/doing-calculus-on-the-rationals-with-the-help-of-nonstandard-analysis/", "published_at": "2008-11-15T02:32:08+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc188a965d", "title": "Games Which are Impossible to Analyze", "url": "https://xorshammer.com/2008/11/09/games-which-are-impossible-to-analyze/", "published_at": "2008-11-09T14:38:35+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc18bed62d", "title": "How to Show that Games are Hard", "url": "https://xorshammer.com/2008/11/03/how-to-show-that-games-are-hard/", "published_at": "2008-11-04T02:35:43+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc196b7623", "title": "Another Puzzle in Recursion Theory: n-Enumerable Sets", "url": "https://xorshammer.com/2008/10/26/another-puzzle-in-recursion-theory-n-enumerable-sets/", "published_at": "2008-10-26T17:11:40+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1975fe61", "title": "Two Puzzles in Recursion Theory: Verbose Sets and Terse Sets", "url": "https://xorshammer.com/2008/10/16/two-puzzles-in-recursion-theory-verbose-sets-and-terse-sets/", "published_at": "2008-10-16T23:16:05+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1a63b2e3", "title": "When are the Real Numbers Necessary?", "url": "https://xorshammer.com/2008/10/13/when-are-the-real-numbers-necessary/", "published_at": "2008-10-14T02:44:18+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1aed24ea", "title": "What Would the World Look Like if Everything was Computable?: An Introduction to Hyland’s Effective Topos", "url": "https://xorshammer.com/2008/10/13/what-would-the-world-look-like-if-everything-was-computable-an-introduction-to-hylands-effective-topos/", "published_at": "2008-10-14T00:48:39+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1b6471c7", "title": "A language which does term inference", "url": "https://xorshammer.com/2008/10/07/term-inference/", "published_at": "2008-10-08T01:38:53+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1bde437a", "title": "Playing Games in the Transfinite: An Introduction to “Ordinal Chomp”", "url": "https://xorshammer.com/2008/09/29/playing-games-in-the-transfinite-an-introduction-to-ordinal-chomp/", "published_at": "2008-09-30T03:14:52+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1c6b6f64", "title": "Avoiding Set-Theoretic Paradoxes using Symmetry", "url": "https://xorshammer.com/2008/09/21/avoiding-set-theoretic-paradoxes-using-symmetry/", "published_at": "2008-09-22T02:34:08+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1d642742", "title": "The Undecidability of Identities Involving Sine, Exponentiation, and Absolute Value", "url": "https://xorshammer.com/2008/09/14/the-undecidability-of-identities/", "published_at": "2008-09-14T17:45:27+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1e3e9123", "title": "A Geometrically Natural Uncomputable Function", "url": "https://xorshammer.com/2008/09/04/a-geometrically-natural-uncomputable-function/", "published_at": "2008-09-05T02:50:47+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1e682f9c", "title": "Integrability Conditions (Guest Post!)", "url": "https://xorshammer.com/2008/09/04/integrability-conditions-guest-post/", "published_at": "2008-09-04T23:38:13+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1e8a6bed", "title": "Lots of Fun Math Papers", "url": "https://xorshammer.com/2008/08/29/lots-of-fun-math-papers/", "published_at": "2008-08-29T18:22:11+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1f50425c", "title": "Non-Rigorous Arguments 1: Two Formulas For e", "url": "https://xorshammer.com/2008/08/29/non-rigorous-arguments-1-two-formulas-for-e/", "published_at": "2008-08-29T17:31:25+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc1fa4f7dc", "title": "A Curious Application of Ambiguity with Respect to the Possessive Form", "url": "https://xorshammer.com/2008/08/25/a-curious-application-of-ambiguity-with-respect-to-the-possessive-form/", "published_at": "2008-08-25T22:38:25+00:00" }, { "id": "01a08c65-067b-72de-b29a-11fc20338375", "title": "Almost a Number-Theoretic Miracle", "url": "https://xorshammer.com/2008/08/25/almost-a-number-theoretic-miracle/", "published_at": "2008-08-25T18:33:20+00:00" } ] posts Claim your blog
Back to xorshammer.com
Blog · corpus.blog/blogs/xorshammer.com/posts

xorshammer.com

xorshammer.com

2026

Parenting Recommendationsoriginal ↗
22 Feb 2026

2022

The Axiom of Choice Isn’t Always Non-Constructiveoriginal ↗
10 Aug 2022

2021

A Nice Definition of “Field Theory”original ↗
9 Apr 2021
But Why Is Proof by Contradiction Non-Constructive?original ↗
9 Apr 2021

2019

What does it mean to extend the manipulability of differentials?original ↗
9 Nov 2019
Hoping for Lane Closuresoriginal ↗
9 Nov 2019
Differentiating Sine Without Doing Any Work or Knowing Anythingoriginal ↗
27 Oct 2019
How does the Infinitesimal Intuition About Lie Brackets Actually Work?original ↗
16 Oct 2019

2017

How is it even possible for a sailboat to sail into the wind?original ↗
29 May 2017
Making Money Disappear Through Infinite Iteration, Now In YouTube Form!original ↗
7 May 2017

2016

The CGP Grey Sheaf of Continentsoriginal ↗
24 Jul 2016
Thermodynamics is Easier Than I Thoughtoriginal ↗
19 May 2016
Gravity is Stronger Than I Thoughtoriginal ↗
19 May 2016
The Arithmetic Hierarchy Meets the Real Worldoriginal ↗
15 May 2016
YouTube Physics Explanations Shouldn’t Use the Right-Hand Ruleoriginal ↗
10 May 2016
A Complexity-Theoretic Account of The Strong Law of Small Numbersoriginal ↗
9 May 2016
Two Constants: Khinchin and Chaitinoriginal ↗
6 May 2016
A Good Definition of Randomnessoriginal ↗
4 May 2016

2015

Why is the derivative of a generating function meaningful?original ↗
21 Aug 2015

2012

Complexity to Simplicity and Back Againoriginal ↗
13 Feb 2012

2011

Generating Functions as Cardinality of Set Mapsoriginal ↗
24 Dec 2011
Mathematica and Quantifier Eliminationoriginal ↗
15 Dec 2011
A Logical Interpretation of Some Bits of Topologyoriginal ↗
9 Jul 2011

2010

The Spectrum From Logic to Probabilityoriginal ↗
18 Sept 2010
Topology and First-Order Modal Logicoriginal ↗
13 Mar 2010
Two Interesting Observations about Voting I Hadn’t Seen Until Recentlyoriginal ↗
23 Feb 2010
Quantish Physics: A Discrete Model of Quantum Physicsoriginal ↗
17 Feb 2010

2009

Functions with Very Low Symmetry and the Continuum Hypothesisoriginal ↗
19 Jul 2009
A Suite of Cool Logic Programsoriginal ↗
15 May 2009
An Interesting Puzzle in Propositional Logicoriginal ↗
9 Apr 2009
What Happens When You Iterate Gödel’s Theorem?original ↗
24 Mar 2009

2008

Trigonometric Series and the Beginnings of Set Theoryoriginal ↗
20 Dec 2008
A Simple Introduction to Quantum Groupsoriginal ↗
12 Dec 2008
Doing Calculus on the Rationals (with the help of Nonstandard Analysis)original ↗
15 Nov 2008
Games Which are Impossible to Analyzeoriginal ↗
9 Nov 2008
How to Show that Games are Hardoriginal ↗
4 Nov 2008
Another Puzzle in Recursion Theory: n-Enumerable Setsoriginal ↗
26 Oct 2008
Two Puzzles in Recursion Theory: Verbose Sets and Terse Setsoriginal ↗
16 Oct 2008
When are the Real Numbers Necessary?original ↗
14 Oct 2008
What Would the World Look Like if Everything was Computable?: An Introduction to Hyland’s Effective Toposoriginal ↗
14 Oct 2008
A language which does term inferenceoriginal ↗
8 Oct 2008
Playing Games in the Transfinite: An Introduction to “Ordinal Chomp”original ↗
30 Sept 2008
Avoiding Set-Theoretic Paradoxes using Symmetryoriginal ↗
22 Sept 2008
The Undecidability of Identities Involving Sine, Exponentiation, and Absolute Valueoriginal ↗
14 Sept 2008
A Geometrically Natural Uncomputable Functionoriginal ↗
5 Sept 2008
Integrability Conditions (Guest Post!)original ↗
4 Sept 2008
Lots of Fun Math Papersoriginal ↗
29 Aug 2008
Non-Rigorous Arguments 1: Two Formulas For eoriginal ↗
29 Aug 2008
A Curious Application of Ambiguity with Respect to the Possessive Formoriginal ↗
25 Aug 2008
Almost a Number-Theoretic Miracleoriginal ↗
25 Aug 2008