corpus.blog
41554 blogs · [ { "id": "01a08764-36c3-7152-bcab-8f7b998769b5", "title": "Schanuel’s conjecture and the semantics of FPSan", "url": "https://cp4space.hatsya.com/2026/05/03/schanuels-conjecture-and-the-semantics-of-fpsan/", "published_at": "2026-05-03T15:19:30+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b99a638b3", "title": "Charles Corderman’s computer", "url": "https://cp4space.hatsya.com/2025/03/18/charles-cordermans-computer/", "published_at": "2025-03-18T22:18:56+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b99cb0db7", "title": "The minimal infinite threeld", "url": "https://cp4space.hatsya.com/2024/07/07/the-minimal-infinite-threeld/", "published_at": "2024-07-07T21:52:49+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b9a612f66", "title": "Every finite phoenix has period 2", "url": "https://cp4space.hatsya.com/2024/01/20/every-finite-phoenix-has-period-2/", "published_at": "2024-01-20T16:14:50+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b9b03a116", "title": "Miscellaneous discoveries", "url": "https://cp4space.hatsya.com/2023/07/23/miscellaneous-discoveries/", "published_at": "2023-07-23T22:44:07+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b9b4c08e2", "title": "Aperiodic monotile", "url": "https://cp4space.hatsya.com/2023/03/21/aperiodic-monotile/", "published_at": "2023-03-21T07:47:17+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b9c31ae4f", "title": "The Osmiumlocks Prime", "url": "https://cp4space.hatsya.com/2023/03/08/the-osmiumlocks-prime/", "published_at": "2023-03-08T15:07:28+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b9cd5005d", "title": "Searching for optimal Boolean chains", "url": "https://cp4space.hatsya.com/2023/03/02/searching-for-optimal-boolean-chains/", "published_at": "2023-03-02T19:07:09+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b9d1ed204", "title": "The ordered partial partition polytope", "url": "https://cp4space.hatsya.com/2023/02/03/the-ordered-partial-partition-polytope/", "published_at": "2023-02-03T13:48:55+00:00" }, { "id": "01a08764-36c3-7152-bcab-8f7b9d54a579", "title": "Tensor rank paper", "url": "https://cp4space.hatsya.com/2023/01/18/tensor-rank-paper/", "published_at": "2023-01-18T12:00:36+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb138283b351", "title": "Matrix multiplication update", "url": "https://cp4space.hatsya.com/2022/10/06/matrix-multiplication-update/", "published_at": "2022-10-06T17:18:02+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb13835c7d9c", "title": "Updates and errata", "url": "https://cp4space.hatsya.com/2022/09/25/updates-and-errata/", "published_at": "2022-09-25T12:53:08+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb13838ec87b", "title": "A combinatorial proof of Houston’s identity", "url": "https://cp4space.hatsya.com/2022/07/02/a-combinatorial-proof-of-houstons-identity/", "published_at": "2022-07-02T16:11:20+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb138407094a", "title": "Tetrational machines", "url": "https://cp4space.hatsya.com/2022/06/23/tetrational-machines/", "published_at": "2022-06-23T23:49:33+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb1384864641", "title": "Infinitely many rational dodecahedra", "url": "https://cp4space.hatsya.com/2022/06/20/infinitely-many-rational-dodecahedra/", "published_at": "2022-06-20T14:56:10+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb13852c76ec", "title": "Threelds", "url": "https://cp4space.hatsya.com/2022/05/25/threelds/", "published_at": "2022-05-25T18:56:22+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb13862a9c4b", "title": "29-year-old Conway conjecture settled", "url": "https://cp4space.hatsya.com/2022/01/14/conway-conjecture-settled/", "published_at": "2022-01-14T13:42:43+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb1386a159e1", "title": "Training a random Gaussian generator", "url": "https://cp4space.hatsya.com/2022/01/09/training-a-random-gaussian-generator/", "published_at": "2022-01-09T14:58:25+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb13874871ee", "title": "Involutions on a finite set", "url": "https://cp4space.hatsya.com/2021/12/02/involutions-on-a-finite-set/", "published_at": "2021-12-02T17:18:24+00:00" }, { "id": "01a0c504-5e00-72fc-b3ac-cb1387725890", "title": "Hamming backups: a 2-of-3 variant of SeedXOR", "url": "https://cp4space.hatsya.com/2021/09/10/hamming-backups-a-2-of-3-variant-of-seedxor/", "published_at": "2021-09-10T19:15:11+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c574da12cd6", "title": "An efficient prime for number-theoretic transforms", "url": "https://cp4space.hatsya.com/2021/09/01/an-efficient-prime-for-number-theoretic-transforms/", "published_at": "2021-09-01T11:19:46+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c574e287f5c", "title": "Hamming cube of primes", "url": "https://cp4space.hatsya.com/2021/07/20/hamming-cube-of-primes/", "published_at": "2021-07-20T16:47:24+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c574ee9d0ac", "title": "Determinacy", "url": "https://cp4space.hatsya.com/2021/07/10/determinacy/", "published_at": "2021-07-10T21:01:53+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c574fca447e", "title": "One-way permutations", "url": "https://cp4space.hatsya.com/2021/07/05/one-way-permutations/", "published_at": "2021-07-05T19:58:32+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c5750ab1eb1", "title": "Cyclotomic fields", "url": "https://cp4space.hatsya.com/2021/06/14/cyclotomic-fields/", "published_at": "2021-06-14T19:01:09+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c5750b5de4d", "title": "Urbit for mathematicians", "url": "https://cp4space.hatsya.com/2021/05/12/urbit-for-mathematicians/", "published_at": "2021-05-12T19:58:47+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c5751947ddd", "title": "A curious construction of the Mathieu group M11", "url": "https://cp4space.hatsya.com/2021/02/08/a-curious-construction-of-the-mathieu-group-m11/", "published_at": "2021-02-08T20:42:38+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c5751fe22a5", "title": "Assorted topics", "url": "https://cp4space.hatsya.com/2021/01/31/assorted-topics/", "published_at": "2021-01-31T17:23:11+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c5752149aaa", "title": "Meagre sets and null sets", "url": "https://cp4space.hatsya.com/2021/01/16/meagre-sets-and-null-sets/", "published_at": "2021-01-16T01:10:41+00:00" }, { "id": "01a0c516-71b0-71be-9554-6c5752aa63de", "title": "Keep your public keys private", "url": "https://cp4space.hatsya.com/2021/01/13/keep-your-public-keys-private/", "published_at": "2021-01-13T18:26:27+00:00" }, { "id": "01a0c521-671f-73f8-8015-d4329448f881", "title": "The neural network of the Stockfish chess engine", "url": "https://cp4space.hatsya.com/2021/01/08/the-neural-network-of-the-stockfish-chess-engine/", "published_at": "2021-01-08T11:14:09+00:00" }, { "id": "01a0c521-671f-73f8-8015-d432954759a7", "title": "Rigid heptagon linkage", "url": "https://cp4space.hatsya.com/2020/12/31/rigid-heptagon-linkage/", "published_at": "2020-12-31T02:07:37+00:00" }, { "id": "01a0c521-671f-73f8-8015-d432956d20f8", "title": "Barreto-Naehrig curves and cryptographic pairings", "url": "https://cp4space.hatsya.com/2020/12/27/barreto-naehrig-curves-and-cryptographic-pairings/", "published_at": "2020-12-27T03:35:44+00:00" }, { "id": "01a0c521-671f-73f8-8015-d432963d1fff", "title": "Shallow trees with heavy leaves", "url": "https://cp4space.hatsya.com/2020/12/13/shallow-trees-with-heavy-leaves/", "published_at": "2020-12-13T20:44:04+00:00" }, { "id": "01a0c521-671f-73f8-8015-d43296a3ffca", "title": "Let the circumcentre be your origin", "url": "https://cp4space.hatsya.com/2020/12/03/let-the-circumcentre-be-your-origin/", "published_at": "2020-12-03T21:12:34+00:00" }, { "id": "01a0c521-671f-73f8-8015-d4329712a6d8", "title": "An attempt to understand the Monster group", "url": "https://cp4space.hatsya.com/2020/11/29/an-attempt-to-understand-the-monster-group/", "published_at": "2020-11-29T21:19:27+00:00" }, { "id": "01a0c521-671f-73f8-8015-d43297bbfac4", "title": "The exceptional Jordan algebra", "url": "https://cp4space.hatsya.com/2020/10/28/the-exceptional-jordan-algebra/", "published_at": "2020-10-28T14:19:54+00:00" }, { "id": "01a0c521-671f-73f8-8015-d432983a06c4", "title": "Closed-form numbers", "url": "https://cp4space.hatsya.com/2020/10/17/closed-form-numbers/", "published_at": "2020-10-17T17:46:50+00:00" }, { "id": "01a0c521-671f-73f8-8015-d43298f515e1", "title": "The Barnes-Wall lattices", "url": "https://cp4space.hatsya.com/2020/10/10/the-barnes-wall-lattices/", "published_at": "2020-10-10T19:15:37+00:00" }, { "id": "01a0c521-671f-73f8-8015-d432995ab74b", "title": "Subsumptions of regular polytopes", "url": "https://cp4space.hatsya.com/2020/10/01/subsumptions-of-regular-polytopes/", "published_at": "2020-10-01T18:39:39+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c89d44dd8", "title": "Relocation", "url": "https://cp4space.hatsya.com/2020/09/29/relocation/", "published_at": "2020-09-29T02:00:36+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8a2d7c69", "title": "Associative universal gates", "url": "https://cp4space.hatsya.com/2020/08/19/associative-universal-gates/", "published_at": "2020-08-19T21:04:51+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8a7863ca", "title": "Another two rational dodecahedra", "url": "https://cp4space.hatsya.com/2020/08/05/another-two-rational-dodecahedra/", "published_at": "2020-08-05T18:27:54+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8aa7d430", "title": "Banach-Tarski and the Axiom of Choice", "url": "https://cp4space.hatsya.com/2020/08/03/banach-tarski-and-the-axiom-of-choice/", "published_at": "2020-08-03T18:43:19+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8ac237ee", "title": "Rational dodecahedron inscribed in unit sphere", "url": "https://cp4space.hatsya.com/2020/07/25/rational-dodecahedron-inscribed-in-unit-sphere/", "published_at": "2020-07-25T23:39:12+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8aeaf075", "title": "Fast-growing functions revisited", "url": "https://cp4space.hatsya.com/2020/07/24/fast-growing-functions-revisited/", "published_at": "2020-07-24T16:49:13+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8bd41f61", "title": "4-input 2-output Boolean circuits", "url": "https://cp4space.hatsya.com/2020/06/30/4-input-2-output-boolean-circuits/", "published_at": "2020-06-30T23:26:38+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8be4cb3a", "title": "That group of order 348364800", "url": "https://cp4space.hatsya.com/2020/06/14/that-group-of-order-348364800/", "published_at": "2020-06-14T20:05:41+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8c3b11cf", "title": "More quantum gates and lattices", "url": "https://cp4space.hatsya.com/2020/05/20/more-quantum-gates-and-lattices/", "published_at": "2020-05-20T00:22:23+00:00" }, { "id": "01a0c52c-d7ef-71ef-8c01-103c8cf64f69", "title": "Minimalistic quantum computation", "url": "https://cp4space.hatsya.com/2020/05/10/minimalistic-quantum-computation/", "published_at": "2020-05-10T16:22:28+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b50da9cb25", "title": "Nested lattices", "url": "https://cp4space.hatsya.com/2020/05/03/nested-lattices/", "published_at": "2020-05-03T13:48:51+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b50e073ef0", "title": "Self-replicator caught on video", "url": "https://cp4space.hatsya.com/2019/06/11/self-replicator-caught-on-video/", "published_at": "2019-06-11T17:13:42+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b50eb0f507", "title": "Five-input Boolean circuits", "url": "https://cp4space.hatsya.com/2019/05/28/five-input-boolean-circuits/", "published_at": "2019-05-28T00:50:49+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b50ef22756", "title": "(W^2 + X^2) / (W^2 + X^2 + Y^2 + Z^2)", "url": "https://cp4space.hatsya.com/2019/05/24/w2-x2-w2-x2-y2-z2/", "published_at": "2019-05-24T15:01:19+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b50f44bea1", "title": "Complexity of integer multiplication almost solved", "url": "https://cp4space.hatsya.com/2019/03/28/complexity-of-integer-multiplication-almost-solved/", "published_at": "2019-03-28T19:58:44+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b510008a58", "title": "Fully self-directed replication", "url": "https://cp4space.hatsya.com/2018/11/12/fully-self-directed-replication/", "published_at": "2018-11-12T20:30:30+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b510f6fb5a", "title": "6-colourings of subsets of the plane", "url": "https://cp4space.hatsya.com/2018/09/24/6-colourings-of-subsets-of-the-plane/", "published_at": "2018-09-24T14:25:20+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b5116e3aea", "title": "Atiyah’s problem", "url": "https://cp4space.hatsya.com/2018/09/21/atiyahs-problem/", "published_at": "2018-09-21T21:30:05+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b5122bcb06", "title": "Sorting networks", "url": "https://cp4space.hatsya.com/2018/07/14/sorting-networks/", "published_at": "2018-07-14T14:17:08+00:00" }, { "id": "01a0c537-9de1-720b-9af2-60b512dec8ff", "title": "Eurozone’s Lemma", "url": "https://cp4space.hatsya.com/2018/06/01/eurozones-lemma/", "published_at": "2018-06-01T09:26:27+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f0f0069c0", "title": "Royal Wedding and Polymath16", "url": "https://cp4space.hatsya.com/2018/05/19/royal-wedding-and-polymath16/", "published_at": "2018-05-19T13:44:50+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f0f82506e", "title": "Assorted news", "url": "https://cp4space.hatsya.com/2018/04/15/assorted-news-3/", "published_at": "2018-04-15T21:38:43+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f10411f17", "title": "Cubical Type Theory", "url": "https://cp4space.hatsya.com/2018/04/09/cubical-type-theory/", "published_at": "2018-04-09T21:52:25+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f10d0f0d0", "title": "Diamonds", "url": "https://cp4space.hatsya.com/2018/04/09/diamonds/", "published_at": "2018-04-09T04:05:54+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f11bbb164", "title": "Happy Noethday", "url": "https://cp4space.hatsya.com/2018/03/24/happy-noethday/", "published_at": "2018-03-24T00:14:32+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f128aa4f6", "title": "Serge Vlăduţ : Lattices with exponentially large kissing numbers", "url": "https://cp4space.hatsya.com/2018/03/12/serge-vladut-lattices-with-exponentially-large-kissing-numbers/", "published_at": "2018-03-12T00:34:25+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f1307b513", "title": "A rather satisfying winter", "url": "https://cp4space.hatsya.com/2018/03/11/a-rather-satisfying-winter/", "published_at": "2018-03-11T23:57:35+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f136518dd", "title": "Olympiad news", "url": "https://cp4space.hatsya.com/2018/02/12/olympiad-news/", "published_at": "2018-02-12T23:21:52+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f13a3569b", "title": "Generalised Riemann Hypothesis", "url": "https://cp4space.hatsya.com/2017/11/05/generalised-riemann-hypothesis/", "published_at": "2017-11-05T16:25:19+00:00" }, { "id": "01a0c541-4a89-71ef-81a3-f53f145e7698", "title": "AlphaGo Zero", "url": "https://cp4space.hatsya.com/2017/10/19/alphago-zero/", "published_at": "2017-10-19T20:19:35+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-4874887e4efa", "title": "Undecidability of contractibility", "url": "https://cp4space.hatsya.com/2017/10/13/undecidability-of-contractibility/", "published_at": "2017-10-13T16:38:56+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-48748975e8fb", "title": "Homotopy Type Theory", "url": "https://cp4space.hatsya.com/2017/10/02/homotopy-type-theory/", "published_at": "2017-10-02T12:30:27+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-487489cc4b0d", "title": "Wallis Workshop", "url": "https://cp4space.hatsya.com/2016/11/08/wallis-workshop/", "published_at": "2016-11-08T13:06:29+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-48748a57bdc1", "title": "Is Craig Wright?", "url": "https://cp4space.hatsya.com/2016/05/02/is-craig-wright/", "published_at": "2016-05-02T18:25:51+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-48748af85bf0", "title": "March miscellany", "url": "https://cp4space.hatsya.com/2016/03/25/march-miscellany/", "published_at": "2016-03-25T01:07:42+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-48748b725974", "title": "Presidential endorsement paradox", "url": "https://cp4space.hatsya.com/2016/03/02/presidential-endorsement-paradox/", "published_at": "2016-03-02T00:07:35+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-48748bb43ec3", "title": "Deep Learning with the Analytical Engine", "url": "https://cp4space.hatsya.com/2016/02/06/deep-learning-with-the-analytical-engine/", "published_at": "2016-02-06T18:15:59+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-48748bbbcc91", "title": "Lovelace hackathon: results", "url": "https://cp4space.hatsya.com/2016/02/05/lovelace-hackathon-results/", "published_at": "2016-02-05T14:57:18+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-48748c9d365f", "title": "Ada Lovelace Day: 10th December 2015", "url": "https://cp4space.hatsya.com/2015/12/01/ada-lovelace-day-10th-december-2015/", "published_at": "2015-12-01T12:42:27+00:00" }, { "id": "01a0c54a-2100-70f6-b0c6-48748ce06fdd", "title": "Superflip composed with fourspot", "url": "https://cp4space.hatsya.com/2015/09/25/superflip-composed-with-fourspot/", "published_at": "2015-09-25T15:24:53+00:00" }, { "id": "01a0c552-942e-7312-9296-568aea816b18", "title": "Coverings, convolutions and Corbynatorics", "url": "https://cp4space.hatsya.com/2015/09/14/coverings-convolutions-and-corbynatorics/", "published_at": "2015-09-14T17:41:11+00:00" }, { "id": "01a0c552-942e-7312-9296-568aeafa3f52", "title": "∂ eclipse", "url": "https://cp4space.hatsya.com/2015/03/20/partial-eclipse/", "published_at": "2015-03-20T15:25:34+00:00" }, { "id": "01a0c552-942e-7312-9296-568aeb506217", "title": "Proto-Penrose tilings", "url": "https://cp4space.hatsya.com/2015/02/19/proto-penrose-tilings/", "published_at": "2015-02-19T01:12:39+00:00" }, { "id": "01a0c552-942e-7312-9296-568aeb83eb9a", "title": "Oligomath 2: When are polylogarithms integers?", "url": "https://cp4space.hatsya.com/2015/01/22/oligomath-2-when-are-polylogarithms-integers/", "published_at": "2015-01-22T22:14:00+00:00" }, { "id": "01a0c552-942e-7312-9296-568aec64a7ed", "title": "Oligomath 1: Deletion and duplication", "url": "https://cp4space.hatsya.com/2014/12/21/oligomath-1/", "published_at": "2014-12-21T18:12:59+00:00" }, { "id": "01a0c552-942e-7312-9296-568aecd86e69", "title": "Holyhedron update", "url": "https://cp4space.hatsya.com/2014/11/10/holyhedron-update/", "published_at": "2014-11-10T18:48:31+00:00" }, { "id": "01a0c552-942e-7312-9296-568aed2c7001", "title": "Ménage primes", "url": "https://cp4space.hatsya.com/2014/10/31/menage-primes/", "published_at": "2014-10-31T01:33:15+00:00" }, { "id": "01a0c552-942e-7312-9296-568aed8adee7", "title": "Random circular mazes", "url": "https://cp4space.hatsya.com/2014/10/29/random-circular-mazes/", "published_at": "2014-10-29T16:46:49+00:00" }, { "id": "01a0c552-942e-7312-9296-568aedfdb241", "title": "Cipher 71: Monoalphabetic II", "url": "https://cp4space.hatsya.com/2014/10/19/cipher-71-monoalphabetic-ii/", "published_at": "2014-10-19T16:53:09+00:00" }, { "id": "01a0c552-942e-7312-9296-568aeeaf9653", "title": "Tweetable architecture", "url": "https://cp4space.hatsya.com/2014/09/21/tweetable-architecture/", "published_at": "2014-09-21T23:21:12+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c98dad5e08", "title": "Tributes to cryptanalysts", "url": "https://cp4space.hatsya.com/2014/09/12/tributes-to-cryptanalysts/", "published_at": "2014-09-12T13:33:43+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c98e6d1b83", "title": "Hyperbolic Minecraft", "url": "https://cp4space.hatsya.com/2014/09/12/hyperbolic-minecraft/", "published_at": "2014-09-12T02:06:18+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c98f61bae4", "title": "First female Fields medallist", "url": "https://cp4space.hatsya.com/2014/08/12/first-female-fields-medallist/", "published_at": "2014-08-12T22:11:03+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c98fd76146", "title": "How to do geometry properly", "url": "https://cp4space.hatsya.com/2014/08/10/how-to-do-geometry-properly/", "published_at": "2014-08-10T20:52:31+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c98ff5140e", "title": "I’m still alive", "url": "https://cp4space.hatsya.com/2014/07/23/im-still-alive/", "published_at": "2014-07-23T01:25:38+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c990d45d17", "title": "If sunflowers were square", "url": "https://cp4space.hatsya.com/2014/07/06/if-sunflowers-were-square/", "published_at": "2014-07-06T13:46:35+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c99101262f", "title": "Applications of quaternions", "url": "https://cp4space.hatsya.com/2014/06/30/applications-of-quaternions/", "published_at": "2014-06-30T06:29:04+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c991ca8017", "title": "Cipher 70: Wild goose chase", "url": "https://cp4space.hatsya.com/2014/06/23/cipher-70-wild-goose-chase/", "published_at": "2014-06-23T23:16:39+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c99200785b", "title": "Cavalieri’s principle", "url": "https://cp4space.hatsya.com/2014/06/13/cavalieris-principle/", "published_at": "2014-06-13T10:40:59+00:00" }, { "id": "01a0c55a-f208-701d-b2ae-a0c992d6e118", "title": "Cipher 69: A void", "url": "https://cp4space.hatsya.com/2014/06/07/cipher-69-a-void/", "published_at": "2014-06-07T20:38:42+00:00" } ] posts Claim your blog
Back to cp4space.hatsya.com
Blog · corpus.blog/blogs/cp4space.hatsya.com/posts

cp4space.hatsya.com

cp4space.hatsya.com

2026

Schanuel’s conjecture and the semantics of FPSanoriginal ↗
3 May 2026

2025

Charles Corderman’s computeroriginal ↗
18 Mar 2025

2024

The minimal infinite threeldoriginal ↗
7 Jul 2024
Every finite phoenix has period 2original ↗
20 Jan 2024

2023

Miscellaneous discoveriesoriginal ↗
23 Jul 2023
Aperiodic monotileoriginal ↗
21 Mar 2023
The Osmiumlocks Primeoriginal ↗
8 Mar 2023
Searching for optimal Boolean chainsoriginal ↗
2 Mar 2023
The ordered partial partition polytopeoriginal ↗
3 Feb 2023
Tensor rank paperoriginal ↗
18 Jan 2023

2022

Matrix multiplication updateoriginal ↗
6 Oct 2022
Updates and errataoriginal ↗
25 Sept 2022
A combinatorial proof of Houston’s identityoriginal ↗
2 Jul 2022
Tetrational machinesoriginal ↗
23 Jun 2022
Infinitely many rational dodecahedraoriginal ↗
20 Jun 2022
Threeldsoriginal ↗
25 May 2022
29-year-old Conway conjecture settledoriginal ↗
14 Jan 2022
Training a random Gaussian generatororiginal ↗
9 Jan 2022

2021

Involutions on a finite setoriginal ↗
2 Dec 2021
Hamming backups: a 2-of-3 variant of SeedXORoriginal ↗
10 Sept 2021
An efficient prime for number-theoretic transformsoriginal ↗
1 Sept 2021
Hamming cube of primesoriginal ↗
20 Jul 2021
Determinacyoriginal ↗
10 Jul 2021
One-way permutationsoriginal ↗
5 Jul 2021
Cyclotomic fieldsoriginal ↗
14 Jun 2021
Urbit for mathematiciansoriginal ↗
12 May 2021
A curious construction of the Mathieu group M11original ↗
8 Feb 2021
Assorted topicsoriginal ↗
31 Jan 2021
Meagre sets and null setsoriginal ↗
16 Jan 2021
Keep your public keys privateoriginal ↗
13 Jan 2021
The neural network of the Stockfish chess engineoriginal ↗
8 Jan 2021

2020

Rigid heptagon linkageoriginal ↗
31 Dec 2020
Barreto-Naehrig curves and cryptographic pairingsoriginal ↗
27 Dec 2020
Shallow trees with heavy leavesoriginal ↗
13 Dec 2020
Let the circumcentre be your originoriginal ↗
3 Dec 2020
An attempt to understand the Monster grouporiginal ↗
29 Nov 2020
The exceptional Jordan algebraoriginal ↗
28 Oct 2020
Closed-form numbersoriginal ↗
17 Oct 2020
The Barnes-Wall latticesoriginal ↗
10 Oct 2020
Subsumptions of regular polytopesoriginal ↗
1 Oct 2020
Relocationoriginal ↗
29 Sept 2020
Associative universal gatesoriginal ↗
19 Aug 2020
Another two rational dodecahedraoriginal ↗
5 Aug 2020
Banach-Tarski and the Axiom of Choiceoriginal ↗
3 Aug 2020
Rational dodecahedron inscribed in unit sphereoriginal ↗
25 Jul 2020
Fast-growing functions revisitedoriginal ↗
24 Jul 2020
4-input 2-output Boolean circuitsoriginal ↗
30 Jun 2020
That group of order 348364800original ↗
14 Jun 2020
More quantum gates and latticesoriginal ↗
20 May 2020
Minimalistic quantum computationoriginal ↗
10 May 2020
Nested latticesoriginal ↗
3 May 2020

2019

Self-replicator caught on videooriginal ↗
11 Jun 2019
Five-input Boolean circuitsoriginal ↗
28 May 2019
(W^2 + X^2) / (W^2 + X^2 + Y^2 + Z^2)original ↗
24 May 2019
Complexity of integer multiplication almost solvedoriginal ↗
28 Mar 2019

2018

Fully self-directed replicationoriginal ↗
12 Nov 2018
6-colourings of subsets of the planeoriginal ↗
24 Sept 2018
Atiyah’s problemoriginal ↗
21 Sept 2018
Sorting networksoriginal ↗
14 Jul 2018
Eurozone’s Lemmaoriginal ↗
1 Jun 2018
Royal Wedding and Polymath16original ↗
19 May 2018
Assorted newsoriginal ↗
15 Apr 2018
Cubical Type Theoryoriginal ↗
9 Apr 2018
Diamondsoriginal ↗
9 Apr 2018
Happy Noethdayoriginal ↗
24 Mar 2018
Serge Vlăduţ : Lattices with exponentially large kissing numbersoriginal ↗
12 Mar 2018
A rather satisfying winteroriginal ↗
11 Mar 2018
Olympiad newsoriginal ↗
12 Feb 2018

2017

Generalised Riemann Hypothesisoriginal ↗
5 Nov 2017
AlphaGo Zerooriginal ↗
19 Oct 2017
Undecidability of contractibilityoriginal ↗
13 Oct 2017
Homotopy Type Theoryoriginal ↗
2 Oct 2017

2016

Wallis Workshoporiginal ↗
8 Nov 2016
Is Craig Wright?original ↗
2 May 2016
March miscellanyoriginal ↗
25 Mar 2016
Presidential endorsement paradoxoriginal ↗
2 Mar 2016
Deep Learning with the Analytical Engineoriginal ↗
6 Feb 2016
Lovelace hackathon: resultsoriginal ↗
5 Feb 2016

2015

Ada Lovelace Day: 10th December 2015original ↗
1 Dec 2015
Superflip composed with fourspotoriginal ↗
25 Sept 2015
Coverings, convolutions and Corbynatoricsoriginal ↗
14 Sept 2015
∂ eclipseoriginal ↗
20 Mar 2015
Proto-Penrose tilingsoriginal ↗
19 Feb 2015
Oligomath 2: When are polylogarithms integers?original ↗
22 Jan 2015

2014

Oligomath 1: Deletion and duplicationoriginal ↗
21 Dec 2014
Holyhedron updateoriginal ↗
10 Nov 2014
Ménage primesoriginal ↗
31 Oct 2014
Random circular mazesoriginal ↗
29 Oct 2014
Cipher 71: Monoalphabetic IIoriginal ↗
19 Oct 2014
Tweetable architectureoriginal ↗
21 Sept 2014
Tributes to cryptanalystsoriginal ↗
12 Sept 2014
Hyperbolic Minecraftoriginal ↗
12 Sept 2014
First female Fields medallistoriginal ↗
12 Aug 2014
How to do geometry properlyoriginal ↗
10 Aug 2014
I’m still aliveoriginal ↗
23 Jul 2014
If sunflowers were squareoriginal ↗
6 Jul 2014
Applications of quaternionsoriginal ↗
30 Jun 2014
Cipher 70: Wild goose chaseoriginal ↗
23 Jun 2014
Cavalieri’s principleoriginal ↗
13 Jun 2014
Cipher 69: A voidoriginal ↗
7 Jun 2014
Next