corpus.blog
41554 blogs · [ { "id": "01a087ed-080a-71c9-97df-4f6d7ef8a443", "title": "A note on the correct definition of a proportion space", "url": "https://thehousecarpenter.wordpress.com/2024/06/05/a-note-on-the-correct-definition-of-a-proportion-space/", "published_at": "2024-06-05T00:09:40+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d7f056c67", "title": "The trajectory of a bouncing ball", "url": "https://thehousecarpenter.wordpress.com/2024/05/08/the-trajectory-of-a-bouncing-ball/", "published_at": "2024-05-08T18:30:18+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d7fea2ec2", "title": "Implementing Python’s `cmp_to_key` function", "url": "https://thehousecarpenter.wordpress.com/2024/03/25/implementing-pythons-cmp_to_key-function/", "published_at": "2024-03-25T23:56:22+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d808792a1", "title": "Enumerating the ordered k-partitions of an integer", "url": "https://thehousecarpenter.wordpress.com/2024/03/23/enumerating-the-ordered-k-partitions-of-an-integer/", "published_at": "2024-03-23T23:17:33+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d812af967", "title": "Dualities between depth-first search and breadth-first search", "url": "https://thehousecarpenter.wordpress.com/2022/01/30/dualities-between-depth-first-search-and-breadth-first-search/", "published_at": "2022-01-30T23:53:07+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d81517145", "title": "A simple motivation for the notion of a natural transformation", "url": "https://thehousecarpenter.wordpress.com/2020/02/26/a-simple-motivation-for-the-notion-of-a-natural-transformation/", "published_at": "2020-02-26T21:00:32+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d822b7418", "title": "Notes on periodic functions", "url": "https://thehousecarpenter.wordpress.com/2019/12/23/notes-on-periodic-functions/", "published_at": "2019-12-23T16:14:43+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d82896525", "title": "A proof of the boundedness theorem by induction", "url": "https://thehousecarpenter.wordpress.com/2019/06/18/a-proof-of-the-boundedness-theorem-by-induction/", "published_at": "2019-06-18T21:52:12+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d82fa0d1d", "title": "Notes on proving the completeness theorem for propositional logic", "url": "https://thehousecarpenter.wordpress.com/2019/05/16/notes-on-proving-the-completeness-theorem-for-propositional-logic/", "published_at": "2019-05-16T11:54:40+00:00" }, { "id": "01a087ed-080a-71c9-97df-4f6d83c27685", "title": "Programming languages as theorem verifiers", "url": "https://thehousecarpenter.wordpress.com/2019/04/12/programming-languages-as-theorem-verifiers/", "published_at": "2019-04-12T20:13:16+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e80e6b6a3", "title": "Motivating Hilbert systems", "url": "https://thehousecarpenter.wordpress.com/2019/04/06/motivating-hilbert-systems/", "published_at": "2019-04-06T16:01:25+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e817e5978", "title": "Tricks in computer arithmetic", "url": "https://thehousecarpenter.wordpress.com/2019/03/26/tricks-in-computer-arithmetic/", "published_at": "2019-03-26T16:00:03+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e823de679", "title": "The difference between key-value containers and functions", "url": "https://thehousecarpenter.wordpress.com/2019/01/20/the-difference-between-key-value-containers-and-functions/", "published_at": "2019-01-20T19:43:53+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e832edb69", "title": "Reversing a linked list in place", "url": "https://thehousecarpenter.wordpress.com/2019/01/12/reversing-a-linked-list-in-place/", "published_at": "2019-01-12T01:36:27+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e8370f5b9", "title": "Voles and Orkney", "url": "https://thehousecarpenter.wordpress.com/2017/06/11/voles-and-orkney/", "published_at": "2017-06-11T20:56:38+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e84081390", "title": "Truth-uncertainty and meaning-uncertainty", "url": "https://thehousecarpenter.wordpress.com/2017/04/23/truth-uncertainty-and-meaning-uncertainty/", "published_at": "2017-04-23T09:08:31+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e84c60a7d", "title": "Selections from Tumblr", "url": "https://thehousecarpenter.wordpress.com/2017/04/10/selections-from-tumblr/", "published_at": "2017-04-10T14:38:29+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e85a6c310", "title": "Some of the phonological history of English vowels, illustrated by failed rhymes in English folk songs", "url": "https://thehousecarpenter.wordpress.com/2017/04/08/some-of-the-phonological-history-of-english-vowels-illustrated-by-failed-rhymes-in-english-folk-songs/", "published_at": "2017-04-08T17:04:01+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e85b7091c", "title": "Pure and mixed strategies in prediction", "url": "https://thehousecarpenter.wordpress.com/2017/03/10/pure-and-mixed-strategies-in-prediction/", "published_at": "2017-03-10T11:57:00+00:00" }, { "id": "01a0dec6-6726-7239-82ae-827e8643c46d", "title": "Generating random probability distributions", "url": "https://thehousecarpenter.wordpress.com/2017/02/22/generating-random-probability-distributions/", "published_at": "2017-02-22T23:19:36+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-015924679e9a", "title": "Modelling communication systems", "url": "https://thehousecarpenter.wordpress.com/2017/02/14/modelling-communication-systems/", "published_at": "2017-02-14T21:13:50+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-0159246f3ca1", "title": "The mathematics of surprise, part 1", "url": "https://thehousecarpenter.wordpress.com/2017/02/03/the-mathematics-of-surprise-part-1/", "published_at": "2017-02-03T08:25:37+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-01592533e940", "title": "Bonferroni’s inequalities and the inclusion-exclusion principle", "url": "https://thehousecarpenter.wordpress.com/2017/01/02/bonferronis-inequalities-and-the-inclusion-exclusion-principle/", "published_at": "2017-01-02T02:35:12+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-0159253e2398", "title": "A very simple stochastic model of diachronic change", "url": "https://thehousecarpenter.wordpress.com/2016/11/27/a-very-simple-stochastic-model-of-diachronic-change/", "published_at": "2016-11-27T15:38:29+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-01592618c5fc", "title": "Greenberg’s Universal 38 and its diachronic implications", "url": "https://thehousecarpenter.wordpress.com/2016/11/06/greenbergs-universal-38-and-its-diachronic-implications/", "published_at": "2016-11-06T01:39:55+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-015926aa44d3", "title": "That’s OK, but this’s not OK?", "url": "https://thehousecarpenter.wordpress.com/2016/09/30/thats-ok-but-thiss-not-ok/", "published_at": "2016-09-30T18:34:09+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-015926ed50bf", "title": "A language with no word-initial consonants", "url": "https://thehousecarpenter.wordpress.com/2016/09/26/a-language-with-no-word-initial-consonants/", "published_at": "2016-09-26T21:19:46+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-01592776d0a9", "title": "The insecurity of relative chronologies", "url": "https://thehousecarpenter.wordpress.com/2016/09/19/the-insecurity-of-relative-chronologies/", "published_at": "2016-09-19T00:24:50+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-0159287050c1", "title": "Animacy and the meanings of ‘in front of’ and ‘behind’", "url": "https://thehousecarpenter.wordpress.com/2016/08/27/animacy-and-the-meanings-of-in-front-of-and-behind/", "published_at": "2016-08-27T18:53:27+00:00" }, { "id": "01a0dee0-3f9a-723a-9238-015928e86f8d", "title": "Vowel-initial and vowel-final roots in Proto-Indo-European", "url": "https://thehousecarpenter.wordpress.com/2016/08/27/vowel-initial-and-vowel-final-roots-in-proto-indo-european/", "published_at": "2016-08-27T13:34:00+00:00" }, { "id": "01a0def5-170b-7263-96de-c81ca50895de", "title": "The Duke of York gambit in diachronic linguistics", "url": "https://thehousecarpenter.wordpress.com/2016/08/15/the-duke-of-york-gambit-in-diachronic-linguistics/", "published_at": "2016-08-14T23:39:58+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c16ea658c4", "title": "The Kra-Dai languages of Hainan", "url": "https://thehousecarpenter.wordpress.com/2016/08/12/the-kra-dai-languages-of-hainan/", "published_at": "2016-08-12T15:26:58+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c16f25c9e9", "title": "The perfect pathway", "url": "https://thehousecarpenter.wordpress.com/2016/03/27/the-perfect-pathway/", "published_at": "2016-03-27T19:39:40+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c16ffb44a5", "title": "Dirichlet’s approximation theorem", "url": "https://thehousecarpenter.wordpress.com/2016/02/12/dirichlets-approximation-theorem/", "published_at": "2016-02-12T15:23:09+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c170c7fe48", "title": "The evolutionary approach to syntax", "url": "https://thehousecarpenter.wordpress.com/2016/01/23/the-evolutionary-approach-to-syntax/", "published_at": "2016-01-23T00:17:33+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c1717b2699", "title": "Emics and etics", "url": "https://thehousecarpenter.wordpress.com/2016/01/16/emics-and-etics/", "published_at": "2016-01-16T17:25:34+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c1721ac588", "title": "Status update", "url": "https://thehousecarpenter.wordpress.com/2015/12/17/status-update/", "published_at": "2015-12-17T11:07:05+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c1722dcebf", "title": "An example of metathesis of features", "url": "https://thehousecarpenter.wordpress.com/2015/10/14/an-example-of-metathesis-of-features/", "published_at": "2015-10-14T19:11:49+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c172597611", "title": "Thoughts on “Morphology of the Folktale”, by Vladimir Propp", "url": "https://thehousecarpenter.wordpress.com/2015/10/04/thoughts-on-morphology-of-the-folktale-by-vladimir-propp/", "published_at": "2015-10-04T16:25:37+00:00" }, { "id": "01a0def5-170c-712f-af8e-14c17340d64c", "title": "Examples of relict languages", "url": "https://thehousecarpenter.wordpress.com/2015/09/22/examples-of-relict-languages/", "published_at": "2015-09-22T12:06:02+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb93859d9110", "title": "The mystery of Proto-Germanic *awahaimaz ‘maternal uncle’", "url": "https://thehousecarpenter.wordpress.com/2015/09/18/the-mystery-of-proto-germanic-awahaimaz-maternal-uncle/", "published_at": "2015-09-18T18:21:56+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb93860d9ee2", "title": "The relative chronology of Grimm’s Law and Verner’s Law, part 1: aspiration in the Germanic languages.", "url": "https://thehousecarpenter.wordpress.com/2015/09/17/the-relative-chronology-of-grimms-law-and-verners-law-part-1-aspiration-in-the-germanic-languages/", "published_at": "2015-09-17T22:11:09+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb938628e442", "title": "Why are German adjectives so weird?", "url": "https://thehousecarpenter.wordpress.com/2015/09/05/why-are-german-adjectives-so-weird/", "published_at": "2015-09-05T00:22:15+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb9386689f2a", "title": "Reconstructing the sound of the Proto-Indo-European laryngeals", "url": "https://thehousecarpenter.wordpress.com/2015/08/12/475/", "published_at": "2015-08-12T13:26:47+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb93870dc1bc", "title": "A brief history of English kinship terminology", "url": "https://thehousecarpenter.wordpress.com/2015/08/07/a-brief-history-of-english-kinship-terminology/", "published_at": "2015-08-07T12:08:32+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb9387c715b7", "title": "Words for men and women in Indo-European languages", "url": "https://thehousecarpenter.wordpress.com/2015/08/05/words-for-men-and-women-in-indo-european-languages/", "published_at": "2015-08-05T00:55:02+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb9387ee8a57", "title": "Some facts about gender", "url": "https://thehousecarpenter.wordpress.com/2015/07/31/some-facts-about-gender/", "published_at": "2015-07-31T18:39:02+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb938869cd40", "title": "Etymologies of some English kinship terms", "url": "https://thehousecarpenter.wordpress.com/2015/07/20/etymologies-of-some-english-kinship-terms/", "published_at": "2015-07-19T23:19:51+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb938875428a", "title": "The origins of the songs on Joan Baez’s first album", "url": "https://thehousecarpenter.wordpress.com/2015/07/09/the-origins-of-the-songs-on-joan-baezs-first-album/", "published_at": "2015-07-09T16:27:59+00:00" }, { "id": "01a0df0e-87b2-72fb-aeff-eb93888af94a", "title": "The phonetic motivation for Grimm’s Law", "url": "https://thehousecarpenter.wordpress.com/2015/07/08/the-phonetic-motivation-for-grimms-law/", "published_at": "2015-07-08T19:11:37+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf140b7bcde", "title": "The origin of war (summary of Cannibals and Kings by Marvin Harris, chapter 4)", "url": "https://thehousecarpenter.wordpress.com/2015/07/01/the-origin-of-war-summary-of-cannibals-and-kings-by-marvin-harris-chapter-4/", "published_at": "2015-07-01T14:08:24+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf140f146c0", "title": "A controversial maths question", "url": "https://thehousecarpenter.wordpress.com/2015/06/07/a-controversial-maths-question/", "published_at": "2015-06-07T01:09:18+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf141eeb1c3", "title": "A summary of Cannibals and Kings by Marvin Harris, chapter 2", "url": "https://thehousecarpenter.wordpress.com/2015/06/03/a-summary-of-cannibals-and-kings-by-marvin-harris-chapter-2/", "published_at": "2015-06-03T22:58:24+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf1429737a5", "title": "English words for mammal species, ordered by age", "url": "https://thehousecarpenter.wordpress.com/2015/05/29/english-words-for-mammal-species-ordered-by-age/", "published_at": "2015-05-28T23:22:15+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf142f56ff9", "title": "A review of “The Buried Giant”, by Kazuo Ishiguro", "url": "https://thehousecarpenter.wordpress.com/2015/05/08/a-review-of-the-buried-giant-by-kazuo-ishiguro/", "published_at": "2015-05-08T18:17:39+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf143a3f14d", "title": "Formal semantic analysis of natural language quantifiers", "url": "https://thehousecarpenter.wordpress.com/2015/04/25/formal-semantic-analysis-of-natural-language-quantifiers/", "published_at": "2015-04-25T16:38:29+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf1440ae1ee", "title": "Thoughts on “The Master and Margarita” by Mikhail Bulgakov", "url": "https://thehousecarpenter.wordpress.com/2015/04/02/thoughts-on-the-master-and-margarita-by-mikhail-bulgakov/", "published_at": "2015-04-02T16:01:06+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf1449f7a21", "title": "Hávamál 77 in Wendoth", "url": "https://thehousecarpenter.wordpress.com/2015/03/28/havamal-77-in-wendoth/", "published_at": "2015-03-28T15:33:03+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf144bd6a09", "title": "Some thoughts on how people come up with mathematical proofs", "url": "https://thehousecarpenter.wordpress.com/2015/03/12/some-thoughts-on-how-people-come-up-with-mathematical-proofs/", "published_at": "2015-03-12T18:35:18+00:00" }, { "id": "01a0df26-d91b-73de-9eaf-dcf145b167d2", "title": "Large and small sets", "url": "https://thehousecarpenter.wordpress.com/2015/03/01/large-and-small-sets/", "published_at": "2015-03-01T15:08:34+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b5f4ebf4", "title": "A review of “Shadows in the Night” by Bob Dylan", "url": "https://thehousecarpenter.wordpress.com/2015/02/22/a-review-of-shadows-in-the-night-by-bob-dylan/", "published_at": "2015-02-22T17:39:47+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b6a450a5", "title": "How to calculate cube roots in your head", "url": "https://thehousecarpenter.wordpress.com/2015/02/16/how-to-calculate-cube-roots-in-your-head/", "published_at": "2015-02-16T19:35:34+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b6b47544", "title": "An introduction to Turing machines", "url": "https://thehousecarpenter.wordpress.com/2015/02/01/an-introduction-to-turing-machines/", "published_at": "2015-02-01T00:46:30+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b72fecf6", "title": "Generating random numbers", "url": "https://thehousecarpenter.wordpress.com/2015/01/24/generating-random-numbers/", "published_at": "2015-01-24T21:28:26+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b78f2239", "title": "An introduction to the cardinal numbers", "url": "https://thehousecarpenter.wordpress.com/2015/01/17/an-introduction-to-the-cardinal-numbers/", "published_at": "2015-01-17T20:36:04+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b885b7b1", "title": "Notes on perfect numbers", "url": "https://thehousecarpenter.wordpress.com/2015/01/14/319/", "published_at": "2015-01-14T16:25:30+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b8ebff80", "title": "Fermat’s Christmas theorem", "url": "https://thehousecarpenter.wordpress.com/2014/12/27/fermats-christmas-theorem/", "published_at": "2014-12-27T20:01:39+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b9183af4", "title": "Set isomorphisms", "url": "https://thehousecarpenter.wordpress.com/2014/12/19/set-isomorphisms/", "published_at": "2014-12-19T16:45:46+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b9ca3822", "title": "0.999…, 0.000…1 and other numbers with infinitely many digits", "url": "https://thehousecarpenter.wordpress.com/2014/12/13/0-999-0-000-1-and-other-numbers-with-infinitely-many-digits/", "published_at": "2014-12-13T12:28:49+00:00" }, { "id": "01a0df3a-bbf8-71c9-967e-5f27b9d8cb95", "title": "Definitions of finiteness", "url": "https://thehousecarpenter.wordpress.com/2014/12/10/definitions-of-finiteness/", "published_at": "2014-12-10T16:23:30+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140b5e32f4", "title": "Some thoughts on generating random members of infinite sets", "url": "https://thehousecarpenter.wordpress.com/2014/12/07/some-thoughts-on-generating-random-members-of-infinite-sets/", "published_at": "2014-12-07T16:54:53+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140bb84292", "title": "Explaining the Monty Hall problem", "url": "https://thehousecarpenter.wordpress.com/2014/11/30/explaining-the-monty-hall-problem/", "published_at": "2014-11-30T17:20:41+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140bfb43ad", "title": "A review of “Hejira” by Joni Mitchell", "url": "https://thehousecarpenter.wordpress.com/2014/11/29/a-review-of-hejira-by-joni-mitchell/", "published_at": "2014-11-29T17:44:43+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140c3915b3", "title": "The Kuratowski definition of sequences", "url": "https://thehousecarpenter.wordpress.com/2014/11/26/the-kuratowski-definition-of-sequences/", "published_at": "2014-11-26T23:18:57+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140cc6ce5d", "title": "The conditional operator of formal logic", "url": "https://thehousecarpenter.wordpress.com/2014/11/15/the-conditional-operator-of-formal-logic/", "published_at": "2014-11-15T15:02:15+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140d419769", "title": "Notes on gradients", "url": "https://thehousecarpenter.wordpress.com/2014/11/14/notes-on-gradients/", "published_at": "2014-11-14T21:22:43+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140d9ab1d0", "title": "What are numbers?", "url": "https://thehousecarpenter.wordpress.com/2014/11/06/what-are-numbers/", "published_at": "2014-11-06T22:51:47+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140e59aced", "title": "Constructing the hyperreal numbers", "url": "https://thehousecarpenter.wordpress.com/2014/11/05/200/", "published_at": "2014-11-05T23:59:34+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140ee36619", "title": "Linear congruences", "url": "https://thehousecarpenter.wordpress.com/2014/11/02/linear-congruences/", "published_at": "2014-11-02T23:04:30+00:00" }, { "id": "01a0df4e-787b-70d9-8c05-d1140f319a33", "title": "A review of “Bringing It All Back Home” by Bob Dylan", "url": "https://thehousecarpenter.wordpress.com/2014/10/28/a-review-of-bringing-it-all-back-home-by-bob-dylan/", "published_at": "2014-10-28T20:34:50+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a3c8a1fa", "title": "Quadratic equations", "url": "https://thehousecarpenter.wordpress.com/2014/10/27/quadratic-equations/", "published_at": "2014-10-27T10:51:25+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a4234ff1", "title": "How to compute remainders in your head, and why prime bases aren’t such a bad idea", "url": "https://thehousecarpenter.wordpress.com/2014/10/19/how-to-compute-remainders-in-your-head-and-why-prime-bases-arent-such-a-bad-idea/", "published_at": "2014-10-19T19:05:29+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a4f31eab", "title": "An introduction to modular arithmetic", "url": "https://thehousecarpenter.wordpress.com/2014/10/18/an-introduction-to-modular-arithmetic/", "published_at": "2014-10-18T16:37:21+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a5babf4f", "title": "A review of “Joan” by Joan Baez", "url": "https://thehousecarpenter.wordpress.com/2014/10/13/a-review-of-joan-by-joan-baez/", "published_at": "2014-10-13T21:52:41+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a686e56a", "title": "Differential roots of unity", "url": "https://thehousecarpenter.wordpress.com/2014/10/06/differential-roots-of-unity/", "published_at": "2014-10-06T18:27:32+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a782f6d0", "title": "MetaMath: a website you should check out", "url": "https://thehousecarpenter.wordpress.com/2014/09/26/130/", "published_at": "2014-09-25T23:27:46+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a85d8c94", "title": "The natural logarithm", "url": "https://thehousecarpenter.wordpress.com/2014/09/25/the-natural-logarithm/", "published_at": "2014-09-25T17:28:40+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a9545d6e", "title": "The definition of a prime number", "url": "https://thehousecarpenter.wordpress.com/2014/09/23/the-definition-of-a-prime-number/", "published_at": "2014-09-23T16:02:10+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4a979423f", "title": "A review of “Court and Spark” by Joni Mitchell", "url": "https://thehousecarpenter.wordpress.com/2014/09/23/a-review-of-court-and-spark-by-joni-mitchell/", "published_at": "2014-09-23T13:15:23+00:00" }, { "id": "01a0df74-c2e9-7356-808b-4de4aa04c6ec", "title": "The harmonic series – further notes", "url": "https://thehousecarpenter.wordpress.com/2014/09/21/the-harmonic-series-further-notes/", "published_at": "2014-09-21T19:47:38+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e9428e086d97", "title": "The harmonic series", "url": "https://thehousecarpenter.wordpress.com/2014/09/19/the-harmonic-series/", "published_at": "2014-09-19T18:08:49+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e9428ea96008", "title": "A review of “Joan Baez/5”", "url": "https://thehousecarpenter.wordpress.com/2014/09/15/a-review-of-joan-baez5/", "published_at": "2014-09-15T12:07:32+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e9428fa66e61", "title": "The axioms of set theory, part 3", "url": "https://thehousecarpenter.wordpress.com/2014/09/14/the-axioms-of-set-theory-part-3/", "published_at": "2014-09-14T19:09:37+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e9428fe87a3b", "title": "A review of “Farewell, Angelina” by Joan Baez", "url": "https://thehousecarpenter.wordpress.com/2014/09/12/a-review-of-farewell-angelina-by-joan-baez/", "published_at": "2014-09-12T15:30:46+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e94290c04f46", "title": "Lindsay Caldwell’s music videos", "url": "https://thehousecarpenter.wordpress.com/2014/09/11/lindsay-caldwells-music-videos/", "published_at": "2014-09-11T18:54:20+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e94291119fdc", "title": "The axioms of set theory, part 2", "url": "https://thehousecarpenter.wordpress.com/2014/09/11/the-axioms-of-set-theory-part-2/", "published_at": "2014-09-11T13:17:27+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e942912d9f7c", "title": "The axioms of set theory, part 1", "url": "https://thehousecarpenter.wordpress.com/2014/09/10/the-axioms-of-set-theory/", "published_at": "2014-09-10T22:26:08+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e942914e431e", "title": "A review of “Joan Baez, Vol. 2”", "url": "https://thehousecarpenter.wordpress.com/2014/09/10/a-review-of-joan-baez-vol-2/", "published_at": "2014-09-10T14:50:06+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e942918309c4", "title": "A review of “Joan Baez”", "url": "https://thehousecarpenter.wordpress.com/2014/09/09/a-review-of-joan-baezs-self-titled-debut-album/", "published_at": "2014-09-09T18:15:34+00:00" }, { "id": "01a0df89-8bef-71ff-aa09-e94291ae7921", "title": "/a/ in foreign language pronunciation teaching", "url": "https://thehousecarpenter.wordpress.com/2011/09/03/a-in-foreign-language-pronunciation-teaching/", "published_at": "2011-09-03T16:49:22+00:00" } ] posts Claim your blog
Back to housecarpenter
Blog · corpus.blog/blogs/thehousecarpenter.wordpress.com/posts

housecarpenter

thehousecarpenter.wordpress.com

2024

A note on the correct definition of a proportion spaceoriginal ↗
5 Jun 2024
The trajectory of a bouncing balloriginal ↗
8 May 2024
Implementing Python’s `cmp_to_key` functionoriginal ↗
25 Mar 2024
Enumerating the ordered k-partitions of an integeroriginal ↗
23 Mar 2024

2022

Dualities between depth-first search and breadth-first searchoriginal ↗
30 Jan 2022

2020

A simple motivation for the notion of a natural transformationoriginal ↗
26 Feb 2020

2019

Notes on periodic functionsoriginal ↗
23 Dec 2019
A proof of the boundedness theorem by inductionoriginal ↗
18 Jun 2019
Notes on proving the completeness theorem for propositional logicoriginal ↗
16 May 2019
Programming languages as theorem verifiersoriginal ↗
12 Apr 2019
Motivating Hilbert systemsoriginal ↗
6 Apr 2019
Tricks in computer arithmeticoriginal ↗
26 Mar 2019
The difference between key-value containers and functionsoriginal ↗
20 Jan 2019
Reversing a linked list in placeoriginal ↗
12 Jan 2019

2017

Voles and Orkneyoriginal ↗
11 Jun 2017
Truth-uncertainty and meaning-uncertaintyoriginal ↗
23 Apr 2017
Selections from Tumblroriginal ↗
10 Apr 2017
Some of the phonological history of English vowels, illustrated by failed rhymes in English folk songsoriginal ↗
8 Apr 2017
Pure and mixed strategies in predictionoriginal ↗
10 Mar 2017
Generating random probability distributionsoriginal ↗
22 Feb 2017
Modelling communication systemsoriginal ↗
14 Feb 2017
The mathematics of surprise, part 1original ↗
3 Feb 2017
Bonferroni’s inequalities and the inclusion-exclusion principleoriginal ↗
2 Jan 2017

2016

A very simple stochastic model of diachronic changeoriginal ↗
27 Nov 2016
Greenberg’s Universal 38 and its diachronic implicationsoriginal ↗
6 Nov 2016
That’s OK, but this’s not OK?original ↗
30 Sept 2016
A language with no word-initial consonantsoriginal ↗
26 Sept 2016
The insecurity of relative chronologiesoriginal ↗
19 Sept 2016
Animacy and the meanings of ‘in front of’ and ‘behind’original ↗
27 Aug 2016
Vowel-initial and vowel-final roots in Proto-Indo-Europeanoriginal ↗
27 Aug 2016
The Duke of York gambit in diachronic linguisticsoriginal ↗
14 Aug 2016
The Kra-Dai languages of Hainanoriginal ↗
12 Aug 2016
The perfect pathwayoriginal ↗
27 Mar 2016
Dirichlet’s approximation theoremoriginal ↗
12 Feb 2016
The evolutionary approach to syntaxoriginal ↗
23 Jan 2016
Emics and eticsoriginal ↗
16 Jan 2016

2015

Status updateoriginal ↗
17 Dec 2015
An example of metathesis of featuresoriginal ↗
14 Oct 2015
Thoughts on “Morphology of the Folktale”, by Vladimir Propporiginal ↗
4 Oct 2015
Examples of relict languagesoriginal ↗
22 Sept 2015
The mystery of Proto-Germanic *awahaimaz ‘maternal uncle’original ↗
18 Sept 2015
The relative chronology of Grimm’s Law and Verner’s Law, part 1: aspiration in the Germanic languages.original ↗
17 Sept 2015
Why are German adjectives so weird?original ↗
5 Sept 2015
Reconstructing the sound of the Proto-Indo-European laryngealsoriginal ↗
12 Aug 2015
A brief history of English kinship terminologyoriginal ↗
7 Aug 2015
Words for men and women in Indo-European languagesoriginal ↗
5 Aug 2015
Some facts about genderoriginal ↗
31 Jul 2015
Etymologies of some English kinship termsoriginal ↗
19 Jul 2015
The origins of the songs on Joan Baez’s first albumoriginal ↗
9 Jul 2015
The phonetic motivation for Grimm’s Laworiginal ↗
8 Jul 2015
The origin of war (summary of Cannibals and Kings by Marvin Harris, chapter 4)original ↗
1 Jul 2015
A controversial maths questionoriginal ↗
7 Jun 2015
A summary of Cannibals and Kings by Marvin Harris, chapter 2original ↗
3 Jun 2015
English words for mammal species, ordered by ageoriginal ↗
28 May 2015
A review of “The Buried Giant”, by Kazuo Ishigurooriginal ↗
8 May 2015
Formal semantic analysis of natural language quantifiersoriginal ↗
25 Apr 2015
Thoughts on “The Master and Margarita” by Mikhail Bulgakovoriginal ↗
2 Apr 2015
Hávamál 77 in Wendothoriginal ↗
28 Mar 2015
Some thoughts on how people come up with mathematical proofsoriginal ↗
12 Mar 2015
Large and small setsoriginal ↗
1 Mar 2015
A review of “Shadows in the Night” by Bob Dylanoriginal ↗
22 Feb 2015
How to calculate cube roots in your headoriginal ↗
16 Feb 2015
An introduction to Turing machinesoriginal ↗
1 Feb 2015
Generating random numbersoriginal ↗
24 Jan 2015
An introduction to the cardinal numbersoriginal ↗
17 Jan 2015
Notes on perfect numbersoriginal ↗
14 Jan 2015

2014

Fermat’s Christmas theoremoriginal ↗
27 Dec 2014
Set isomorphismsoriginal ↗
19 Dec 2014
0.999…, 0.000…1 and other numbers with infinitely many digitsoriginal ↗
13 Dec 2014
Definitions of finitenessoriginal ↗
10 Dec 2014
Some thoughts on generating random members of infinite setsoriginal ↗
7 Dec 2014
Explaining the Monty Hall problemoriginal ↗
30 Nov 2014
A review of “Hejira” by Joni Mitchelloriginal ↗
29 Nov 2014
The Kuratowski definition of sequencesoriginal ↗
26 Nov 2014
The conditional operator of formal logicoriginal ↗
15 Nov 2014
Notes on gradientsoriginal ↗
14 Nov 2014
What are numbers?original ↗
6 Nov 2014
Constructing the hyperreal numbersoriginal ↗
5 Nov 2014
Linear congruencesoriginal ↗
2 Nov 2014
A review of “Bringing It All Back Home” by Bob Dylanoriginal ↗
28 Oct 2014
Quadratic equationsoriginal ↗
27 Oct 2014
How to compute remainders in your head, and why prime bases aren’t such a bad ideaoriginal ↗
19 Oct 2014
An introduction to modular arithmeticoriginal ↗
18 Oct 2014
A review of “Joan” by Joan Baezoriginal ↗
13 Oct 2014
Differential roots of unityoriginal ↗
6 Oct 2014
MetaMath: a website you should check outoriginal ↗
25 Sept 2014
The natural logarithmoriginal ↗
25 Sept 2014
The definition of a prime numberoriginal ↗
23 Sept 2014
A review of “Court and Spark” by Joni Mitchelloriginal ↗
23 Sept 2014
The harmonic series – further notesoriginal ↗
21 Sept 2014
The harmonic seriesoriginal ↗
19 Sept 2014
A review of “Joan Baez/5”original ↗
15 Sept 2014
The axioms of set theory, part 3original ↗
14 Sept 2014
A review of “Farewell, Angelina” by Joan Baezoriginal ↗
12 Sept 2014
Lindsay Caldwell’s music videosoriginal ↗
11 Sept 2014
The axioms of set theory, part 2original ↗
11 Sept 2014
The axioms of set theory, part 1original ↗
10 Sept 2014
A review of “Joan Baez, Vol. 2”original ↗
10 Sept 2014
A review of “Joan Baez”original ↗
9 Sept 2014

2011

/a/ in foreign language pronunciation teachingoriginal ↗
3 Sept 2011