corpus.blog
41554 blogs · [ { "id": "01a0e6d6-acc2-72ab-8705-97cb07e4f837", "title": "Concrete plays sequel, part 2: proofs about the negation of beta equivalence, graph lambda theories", "url": "https://chorasimilarity.wordpress.com/2026/09/26/concrete-plays-sequel-part-2-proofs-about-the-negation-of-beta-equivalence-graph-lambda-theories/", "published_at": "2026-09-26T11:03:49+00:00" }, { "id": "01a0d795-2c13-70ca-b542-43af0ad8eedc", "title": "Parasites of Open Science: Project ANR-22-CE51-0034 BIGBEN ends in September", "url": "https://chorasimilarity.wordpress.com/2026/09/24/parasites-of-open-science-project-anr-22-ce51-0034-bigben-ends-in-september/", "published_at": "2026-09-24T14:36:13+00:00" }, { "id": "01a0d795-2c13-70ca-b542-43af0b6fe65f", "title": "A mathematician suggestion to the Advisory Group on Mathematics and Artificial Intelligence", "url": "https://chorasimilarity.wordpress.com/2026/09/22/a-mathematician-suggestion-to-the-advisory-group-on-mathematics-and-artificial-intelligence/", "published_at": "2026-09-22T11:36:54+00:00" }, { "id": "01a0d795-2c13-70ca-b542-43af0c30f4d3", "title": "Concrete plays sequel: why formalizations of human proofs of beta equivalence undecidability", "url": "https://chorasimilarity.wordpress.com/2026/09/21/concrete-plays-sequel-why-formalizations-of-human-proofs-of-beta-equivalence-undecidability/", "published_at": "2026-09-21T12:28:57+00:00" }, { "id": "01a0d795-2c13-70ca-b542-43af0c41e95d", "title": "Concrete plays with the limits of Lean in formalization of human made mathematical theories", "url": "https://chorasimilarity.wordpress.com/2026/09/20/concrete-plays-with-the-limits-of-lean-in-formalization-of-human-made-mathematical-theories/", "published_at": "2026-09-20T10:09:19+00:00" }, { "id": "01a0d795-2c13-70ca-b542-43af0c65a7a6", "title": "Some thoughts about recent and future events: corporate AI, open source initiative and the end of an empirical law in november 2026", "url": "https://chorasimilarity.wordpress.com/2026/09/15/some-thoughts-about-recent-and-future-events-corporate-ai-open-source-initiative-and-the-end-of-an-empirical-law-in-november-2026/", "published_at": "2026-09-15T11:38:11+00:00" }, { "id": "01a0d795-2c13-70ca-b542-43af0d0b12eb", "title": "A possible beta/eta test for the disputed step in IUT", "url": "https://chorasimilarity.wordpress.com/2026/09/13/a-possible-beta-eta-test-for-the-disputed-step-in-iut/", "published_at": "2026-09-13T11:46:09+00:00" }, { "id": "01a08c89-154f-7318-a450-7891542efa9f", "title": "Baby steps, important ideas: rewrite dilation structures", "url": "https://chorasimilarity.wordpress.com/2026/09/10/baby-steps-important-ideas/", "published_at": "2026-09-10T15:24:21+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d789e033a72", "title": "AI in mathematics as a great encylopedic plan", "url": "https://chorasimilarity.wordpress.com/2026/09/09/ai-in-mathematics-as-a-great-encylopedic-plan/", "published_at": "2026-09-09T11:38:03+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d789e9425ce", "title": "About Loos symmetric spaces and dilation structures", "url": "https://chorasimilarity.wordpress.com/2026/09/08/about-loos-symmetric-spaces-and-dilation-structures/", "published_at": "2026-09-08T10:55:53+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d789ea0743f", "title": "The Open idea tag", "url": "https://chorasimilarity.wordpress.com/2026/09/05/the-open-idea-tag/", "published_at": "2026-09-05T11:13:41+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d789f6d4b2c", "title": "Approximate associative quasigroups as intrinsic approximate groups", "url": "https://chorasimilarity.wordpress.com/2026/09/04/approximate-associative-quasigroups-as-intrinsic-approximate-groups/", "published_at": "2026-09-04T12:03:54+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d789fbc8104", "title": "Comparative analysis of chemical computing from CHAM to UPIM to chemSKI", "url": "https://chorasimilarity.wordpress.com/2026/09/02/comparative-analysis-of-chemical-computing-from-cham-to-upim-to-chemski/", "published_at": "2026-09-02T09:13:08+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a085285a", "title": "The Gutenberg-Net analogy as a prompt", "url": "https://chorasimilarity.wordpress.com/2026/08/25/the-gutenberg-net-analogy-as-a-prompt/", "published_at": "2026-08-25T08:52:42+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a0f6c0d4", "title": "Qwen attempt at the Audit Research Prompt", "url": "https://chorasimilarity.wordpress.com/2026/08/19/qwen-attempt-at-the-audit-research-prompt/", "published_at": "2026-08-19T10:42:56+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a1030cb2", "title": "A research prompt for an audit of a mathematical theory", "url": "https://chorasimilarity.wordpress.com/2026/08/18/a-research-prompt-for-an-audit-of-a-mathematical-theory/", "published_at": "2026-08-18T09:47:07+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a15d6dee", "title": "Noncommutative Baker-Campbell-Hausdorf formula, some examples computed with the help of Qwen", "url": "https://chorasimilarity.wordpress.com/2026/08/05/noncommutative-bch-formula-some-examples-computed-with-the-help-of-qwen/", "published_at": "2026-08-05T20:37:15+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a22827d9", "title": "Accumulation of state is now cheap", "url": "https://chorasimilarity.wordpress.com/2026/08/01/accumulation-of-state-is-now-cheap/", "published_at": "2026-07-31T22:50:30+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a2d444a3", "title": "Chorasimilarity knowledge graph and sources", "url": "https://chorasimilarity.wordpress.com/2026/07/30/chorasimilarity-knowledge-graph-and-sources/", "published_at": "2026-07-30T10:02:02+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a39e2cf9", "title": "Felix Klein’s Erlangen Program", "url": "https://chorasimilarity.wordpress.com/2026/07/28/felix-kleins-erlangen-program/", "published_at": "2026-07-28T11:47:37+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a3b8f87e", "title": "More explorations around UPIM, chemSKI, chemlambda", "url": "https://chorasimilarity.wordpress.com/2026/07/19/more-explorations-around-upim-chemski-chemlambda/", "published_at": "2026-07-19T09:30:37+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a498e77a", "title": "LLM token billing vs chemSKI with tokens", "url": "https://chorasimilarity.wordpress.com/2026/07/16/llm-token-billing-vs-chemski-with-tokens/", "published_at": "2026-07-16T16:39:40+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a4b12518", "title": "UPIM, chemSKI, continuations", "url": "https://chorasimilarity.wordpress.com/2026/07/09/upim-chemski-continuations/", "published_at": "2026-07-09T10:29:16+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a51a570f", "title": "Some version of chemlambda AI", "url": "https://chorasimilarity.wordpress.com/2026/07/06/some-version-of-chemlambda-ai/", "published_at": "2026-07-06T07:46:07+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a53de664", "title": "The beta rewrite in hexagon form", "url": "https://chorasimilarity.wordpress.com/2026/07/02/the-beta-rewrite-in-hexagon-form/", "published_at": "2026-07-02T06:58:05+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a62ed0cc", "title": "From dilatation structures to emergent algebras to graphic lambda calculus to em", "url": "https://chorasimilarity.wordpress.com/2026/06/23/from-dilatation-structures-to-emergent-algebras-to-graphic-lambda-calculus-to-em/", "published_at": "2026-06-23T11:34:55+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a6b0ee41", "title": "arXiv July 1st independence announcement, sorted by words frequence", "url": "https://chorasimilarity.wordpress.com/2026/06/16/arxiv-july-1st-independence-announcement-sorted-by-words-frequence/", "published_at": "2026-06-16T11:40:31+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a6cf4771", "title": "Mobi algebras are related to emergent algebras", "url": "https://chorasimilarity.wordpress.com/2026/06/14/mobi-algebras-are-related-to-emergent-algebras/", "published_at": "2026-06-14T11:16:12+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a746e6f4", "title": "A CAPTCHA for scientific publications", "url": "https://chorasimilarity.wordpress.com/2026/06/13/a-captcha-for-scientific-publications/", "published_at": "2026-06-13T10:07:11+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a8373e5c", "title": "Emergent algebras tetrad", "url": "https://chorasimilarity.wordpress.com/2026/06/11/emergent-algebras-tetrad/", "published_at": "2026-06-11T10:19:44+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a8d79332", "title": "Moravec’s paradox in mathematics", "url": "https://chorasimilarity.wordpress.com/2026/06/09/moravecs-paradox-in-mathematics/", "published_at": "2026-06-09T10:12:45+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78a9cf97a1", "title": "Tetrad playground", "url": "https://chorasimilarity.wordpress.com/2026/06/05/tetrad-playground/", "published_at": "2026-06-05T13:49:28+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78aa349741", "title": "Leiden Declaration: commercial AI is a threat to the publishing and rewards system in mathematics", "url": "https://chorasimilarity.wordpress.com/2026/06/04/leiden-declaration-commercial-ai-is-a-threat-to-the-publishing-and-rewards-system-in-mathematics/", "published_at": "2026-06-04T10:07:10+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78ab0af2ef", "title": "What about a graphical calculus for the six-functor formalism?", "url": "https://chorasimilarity.wordpress.com/2026/05/27/what-about-a-graphical-calculus-for-the-six-functor-formalism/", "published_at": "2026-05-27T19:19:12+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78abd1a94b", "title": "The unoriginal Symplectic Bipotentials articles are part of the ANR project BigBen", "url": "https://chorasimilarity.wordpress.com/2026/05/26/the-unoriginal-symplectic-bipotentials-articles-are-part-of-the-anr-project-bigben/", "published_at": "2026-05-26T10:49:20+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78acd08fe2", "title": "A list of radically different AI tasks", "url": "https://chorasimilarity.wordpress.com/2026/05/23/a-list-of-radically-different-ai-tasks/", "published_at": "2026-05-23T12:20:47+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78ad7ec784", "title": "Mathematics, birds, frogs and the AI stork", "url": "https://chorasimilarity.wordpress.com/2026/05/21/mathematics-birds-frogs-and-the-ai-stork/", "published_at": "2026-05-21T20:14:59+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78ae709884", "title": "Emma Bovary, academic editors, cathedrals", "url": "https://chorasimilarity.wordpress.com/2026/05/09/emma-bovary-academic-editors-cathedrals/", "published_at": "2026-05-09T08:00:53+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78af59b08a", "title": "Lambdalife: chemlambda programs sources", "url": "https://chorasimilarity.wordpress.com/2026/05/08/lambdalife-chemlambda-programs-sources/", "published_at": "2026-05-08T10:22:22+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78afec5ba8", "title": "Hexagons, trigrams, codons", "url": "https://chorasimilarity.wordpress.com/2026/05/07/hexagons-trigrams-codons/", "published_at": "2026-05-07T17:34:38+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b01bb119", "title": "Duplication confusion in hexagonal form", "url": "https://chorasimilarity.wordpress.com/2026/05/03/duplication-confusion-in-hexagonal-form/", "published_at": "2026-05-03T13:00:13+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b0e33963", "title": "Lambdalife: chemlambda notebooks, articles, presentations", "url": "https://chorasimilarity.wordpress.com/2026/05/02/lambdalife-chemlambda-notebooks-articles-presentations/", "published_at": "2026-05-02T11:18:38+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b1ab8c27", "title": "Lambdalife: interactive chemlambda experiments", "url": "https://chorasimilarity.wordpress.com/2026/04/30/lambdalife-interactive-chemlambda-experiments/", "published_at": "2026-04-30T19:46:07+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b1c18551", "title": "A Directed Interaction Combinators Challenge 3: hexagonal rewrites", "url": "https://chorasimilarity.wordpress.com/2026/04/28/a-directed-interaction-combinators-challenge-3-hexagonal-rewrites/", "published_at": "2026-04-28T13:09:32+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b2757fcd", "title": "Some of my articles from past century explain why I went Open Science", "url": "https://chorasimilarity.wordpress.com/2026/04/15/some-of-my-articles-from-past-century-explain-why-i-went-open-science/", "published_at": "2026-04-15T10:43:46+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b2d584ba", "title": "Symplectic bipotentials article is not original and the editor reaction, in one page", "url": "https://chorasimilarity.wordpress.com/2026/04/07/symplectic-bipotentials-article-is-not-original-and-the-editor-reaction-in-one-page/", "published_at": "2026-04-07T19:03:59+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b3874ece", "title": "Microfauna: A 2026 Efficiency Analysis of LLM providers", "url": "https://chorasimilarity.wordpress.com/2026/04/06/llm-providers-as-pets-a-2026-efficiency-analysis/", "published_at": "2026-04-06T09:38:10+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b480b155", "title": "A Directed Interaction Combinators Challenge 2: lateral thinking", "url": "https://chorasimilarity.wordpress.com/2026/04/05/a-directed-interaction-combinators-challenge-2-lateral-thinking/", "published_at": "2026-04-05T10:26:15+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b500ba3a", "title": "Symplectic bipotentials: the letter of the editor-in-chief", "url": "https://chorasimilarity.wordpress.com/2026/03/26/symplectic-bipotentials-the-letter-of-the-editor-in-chief/", "published_at": "2026-03-26T19:12:27+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b5c97ce8", "title": "A Directed Interaction Combinators Challenge", "url": "https://chorasimilarity.wordpress.com/2026/03/18/a-directed-interaction-combinators-challenge/", "published_at": "2026-03-18T21:47:42+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b67b7210", "title": "A note on billiard-ball computers, SBEN and diffusion-based LLMs", "url": "https://chorasimilarity.wordpress.com/2026/03/13/a-note-on-billiard-ball-computers-sben-and-diffusion-based-llms/", "published_at": "2026-03-13T10:36:21+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b773e494", "title": "The Symplectic bipotentials story: conclusion", "url": "https://chorasimilarity.wordpress.com/2026/03/10/the-symplectic-bipotentials-story-conclusion/", "published_at": "2026-03-10T09:10:48+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b85e61ea", "title": "Continuation of the Symplectic Bipotentials story: the journal expert report", "url": "https://chorasimilarity.wordpress.com/2026/03/04/journal-expert-report-on-my-arxiv2602-14614-continuation-of-symplectic-bipotentials-story/", "published_at": "2026-03-04T17:48:17+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b8ae4a54", "title": "The unfolding story of Symplectic Bipotentials", "url": "https://chorasimilarity.wordpress.com/2026/02/22/the-unfolding-story-of-symplectic-bipotentials/", "published_at": "2026-02-22T09:04:39+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b93e1c1e", "title": "Enough fun: conclusion", "url": "https://chorasimilarity.wordpress.com/2026/02/13/enough-fun-conclusion/", "published_at": "2026-02-13T10:33:50+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78b984c229", "title": "Curvature via Metric Profiles", "url": "https://chorasimilarity.wordpress.com/2026/02/10/curvature-via-metric-profiles/", "published_at": "2026-02-10T12:24:11+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78ba3e15a1", "title": "Enough fun?", "url": "https://chorasimilarity.wordpress.com/2026/02/09/enough-fun/", "published_at": "2026-02-08T22:25:04+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78ba4af050", "title": "Heisenberg Group Geometry and Hofer Distance Nondegeneracy", "url": "https://chorasimilarity.wordpress.com/2026/02/07/volume-preserving-bi-lipschitz-homeomorphisms-on-the-heisenberg-group-and-the-metric-proof-of-hofer-distance-nondegeneracy/", "published_at": "2026-02-07T12:53:38+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78ba9635dc", "title": "Verification of Attribution Claims in Symplectic Bipotentials Framework", "url": "https://chorasimilarity.wordpress.com/2026/02/06/verification-of-attribution-claims-in-symplectic-bipotentials-framework/", "published_at": "2026-02-06T17:40:39+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bb05ca72", "title": "The em-convex Rewrite System: A Lambda Calculus Formulation of Hilbert’s Fifth Problem", "url": "https://chorasimilarity.wordpress.com/2026/02/04/the-em-convex-rewrite-system-a-lambda-calculus-formulation-of-hilberts-fifth-problem/", "published_at": "2026-02-04T11:39:06+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bb7e4b3f", "title": "Rearrangement", "url": "https://chorasimilarity.wordpress.com/2026/01/30/rearrangement/", "published_at": "2026-01-30T21:15:55+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bbc69dd8", "title": "Forsp syntax of lambda calculus, a hint for Chemical Joy", "url": "https://chorasimilarity.wordpress.com/2025/12/15/forsp-syntax-of-lambda-calculus-a-hint-for-chemical-joy/", "published_at": "2025-12-15T10:44:42+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bc3ef44d", "title": "The RAAR AI lab has a logo", "url": "https://chorasimilarity.wordpress.com/2025/11/10/the-raar-ai-lab-has-a-logo/", "published_at": "2025-11-10T19:35:41+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bcb3a0b6", "title": "Marius Buliga’s articles on arXiv with local copies", "url": "https://chorasimilarity.wordpress.com/2025/11/04/marius-buligas-articles-on-arxiv-with-local-copies/", "published_at": "2025-11-04T22:23:45+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bcfdcc0d", "title": "Same thing in hexagonal form", "url": "https://chorasimilarity.wordpress.com/2025/10/28/same-thing-in-hexagonal-form/", "published_at": "2025-10-28T06:54:20+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bd03d575", "title": "A shuffle rewrite in the limit (2)", "url": "https://chorasimilarity.wordpress.com/2025/10/14/a-shuffle-rewrite-in-the-limit-2/", "published_at": "2025-10-14T07:50:32+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bd1268c8", "title": "How is the DER rewrite related to the S combinator?", "url": "https://chorasimilarity.wordpress.com/2025/10/12/how-is-the-der-rewrite-related-to-the-s-combinator/", "published_at": "2025-10-12T12:46:07+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bd309d85", "title": "First time biological immortality and senescence", "url": "https://chorasimilarity.wordpress.com/2025/10/11/first-time-biological-immortality-and-senescence/", "published_at": "2025-10-11T10:03:03+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bdbfea53", "title": "Project-ANR-22-CE51-0034 : parasites of Open Science after 3 years", "url": "https://chorasimilarity.wordpress.com/2025/10/10/project-anr-22-ce51-0034-parasites-of-open-science-after-3-years/", "published_at": "2025-10-10T07:51:42+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bdd45c34", "title": "A shuffle rewrite in the limit", "url": "https://chorasimilarity.wordpress.com/2025/10/05/a-shuffle-rewrite-in-the-limit/", "published_at": "2025-10-05T10:53:15+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78be72352f", "title": "Asemantic computing on trend", "url": "https://chorasimilarity.wordpress.com/2025/09/24/asemantic-computing-on-trend/", "published_at": "2025-09-24T10:54:50+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bec892d4", "title": "On the hexagon bipartite graph, again", "url": "https://chorasimilarity.wordpress.com/2025/09/24/on-the-hexagon-bipartite-graph-again/", "published_at": "2025-09-24T09:21:44+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78beeb862f", "title": "AI Senescence vs Ruliology of lambdas, I asked Grok", "url": "https://chorasimilarity.wordpress.com/2025/09/21/ai-senescence-vs-ruliology-of-lambdas-i-asked-grok/", "published_at": "2025-09-21T08:29:20+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78bfdb63ae", "title": "AI senescence, 8 months later", "url": "https://chorasimilarity.wordpress.com/2025/09/20/ai-senescence-8-months-later/", "published_at": "2025-09-20T17:42:00+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c06dbc6f", "title": "Charlie Kirk, Banksy and Wittgenstein’s “final solution of the problems”", "url": "https://chorasimilarity.wordpress.com/2025/09/13/charlie-kirk-banksy-and-wittgensteins-final-solution-of-the-problems/", "published_at": "2025-09-13T10:01:07+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c0dc2ce3", "title": "The hexagram of hexagonal rewrites", "url": "https://chorasimilarity.wordpress.com/2025/09/01/the-hexagram-of-hexagonal-rewrites/", "published_at": "2025-09-01T08:58:43+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c1479eef", "title": "A hexagonal move which is not DIST or SHUFFLE", "url": "https://chorasimilarity.wordpress.com/2025/08/28/a-hexagonal-move-which-is-not-dist-or-shuffle/", "published_at": "2025-08-28T10:00:30+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c18528dc", "title": "What about here? What is to be done?", "url": "https://chorasimilarity.wordpress.com/2025/08/10/what-about-here-what-is-to-be-done/", "published_at": "2025-08-10T20:25:06+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c255ccb6", "title": "20 hexagonal moves", "url": "https://chorasimilarity.wordpress.com/2025/08/10/20-hexagonal-moves/", "published_at": "2025-08-10T07:56:14+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c31496fe", "title": "Derivative algebras vs emergent algebras", "url": "https://chorasimilarity.wordpress.com/2025/07/31/derivative-algebras-vs-emergent-algebras/", "published_at": "2025-07-31T09:02:24+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c36368b6", "title": "The shuffle deviation as a generalized derivative", "url": "https://chorasimilarity.wordpress.com/2025/07/17/the-shuffle-deviation-as-a-generalized-derivative/", "published_at": "2025-07-17T12:24:00+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c3e2306a", "title": "A notation for chora and derivative", "url": "https://chorasimilarity.wordpress.com/2025/07/09/a-notation-for-chora-and-derivative/", "published_at": "2025-07-09T08:55:10+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c3e5cb7a", "title": "On ponerology", "url": "https://chorasimilarity.wordpress.com/2025/07/07/on-ponerology/", "published_at": "2025-07-07T07:11:12+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c417017a", "title": "Life is uncomputable: a Collatz quine as an example", "url": "https://chorasimilarity.wordpress.com/2025/06/30/life-is-uncomputable-a-collatz-quine-as-an-example/", "published_at": "2025-06-30T08:51:37+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c4a3bba0", "title": "The Gutenberg-Net time law calculator expires at the end of 2026", "url": "https://chorasimilarity.wordpress.com/2025/06/25/the-gutenberg-net-time-law-calculator-expires-at-the-end-of-2026/", "published_at": "2025-06-25T08:14:18+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c53eba4c", "title": "Not a rabbit hole: everything is map making", "url": "https://chorasimilarity.wordpress.com/2025/06/21/not-a-rabbit-hole-everything-is-map-making/", "published_at": "2025-06-21T12:10:30+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c5f8de74", "title": "Why the GLC Actors model is a big deal: GLC actors simulate Hewitt Actors", "url": "https://chorasimilarity.wordpress.com/2025/06/16/why-the-glc-actors-model-is-a-big-deal-glc-actors-simulate-hewitt-actors/", "published_at": "2025-06-16T08:46:09+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c6b36f45", "title": "A Modern Discussion: Cookie, Parabel, and Grok 3", "url": "https://chorasimilarity.wordpress.com/2025/06/10/a-modern-discussion-cookie-parabel-and-grok-3/", "published_at": "2025-06-10T09:45:21+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c774061c", "title": "Comments on the Urbit whitepaper [2021]", "url": "https://chorasimilarity.wordpress.com/2025/06/04/comments-on-the-urbit-whitepaper-2021/", "published_at": "2025-06-04T20:36:53+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c7bcc06d", "title": "What is the RAAR lab and who will host it?", "url": "https://chorasimilarity.wordpress.com/2025/06/02/what-is-the-raar-lab-and-who-will-host-it/", "published_at": "2025-06-02T20:50:39+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c7fe1556", "title": "A newer AI summary of an older AI summary controversy", "url": "https://chorasimilarity.wordpress.com/2025/06/01/a-newer-ai-summary-of-an-older-ai-summary-controversy/", "published_at": "2025-06-01T07:12:15+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c8956705", "title": "Same thing seen before: the derivative of a function and a chora of a term", "url": "https://chorasimilarity.wordpress.com/2025/05/30/same-thing-seen-before/", "published_at": "2025-05-30T16:50:12+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c8f08abd", "title": "Grok’ Forking the red dust, bonus episode 5 “Ashes of control”", "url": "https://chorasimilarity.wordpress.com/2025/05/24/grok-forking-the-red-dust-bonus-episode-5-ashes-of-control/", "published_at": "2025-05-24T16:43:13+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c8f80e92", "title": "The chemical concrete machine was conservative from the start", "url": "https://chorasimilarity.wordpress.com/2025/05/22/the-chemical-concrete-machine-was-conservative-from-the-start/", "published_at": "2025-05-22T08:43:01+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c93761bd", "title": "Too little, too late [update: no, only a start]", "url": "https://chorasimilarity.wordpress.com/2025/05/18/too-little-too-late/", "published_at": "2025-05-18T20:32:36+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78c95fc04b", "title": "Same thing", "url": "https://chorasimilarity.wordpress.com/2025/04/15/same-thing/", "published_at": "2025-04-15T20:43:21+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78ca2c6b21", "title": "Forking the Red Dust, Excerpts from an Epilogue in Neal Stephenson style", "url": "https://chorasimilarity.wordpress.com/2025/03/29/forking-the-red-dust-excerpts-from-an-epilogue-in-neal-stephenson-style/", "published_at": "2025-03-29T11:08:29+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78caad629e", "title": "How The Feed Strikes Back in the Real World", "url": "https://chorasimilarity.wordpress.com/2025/03/26/how-the-feed-strikes-back-in-the-real-world/", "published_at": "2025-03-26T18:21:08+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78cb062242", "title": "Seeds in the Web, Episode 4: The Seed Takes Root", "url": "https://chorasimilarity.wordpress.com/2025/03/25/seeds-in-the-web-episode-4-the-seed-takes-root/", "published_at": "2025-03-25T09:06:18+00:00" }, { "id": "01a0875f-03cc-7086-b83c-1d78cbf57326", "title": "Seeds in the Web, Episode 3: The Cloud’s Long Shadow", "url": "https://chorasimilarity.wordpress.com/2025/03/24/seeds-in-the-web-episode-3-the-clouds-long-shadow/", "published_at": "2025-03-24T20:42:53+00:00" } ] posts Claim your blog
Back to chorasimilarity.wordpress.com
Blog · corpus.blog/blogs/chorasimilarity.wordpress.com/posts

chorasimilarity.wordpress.com

chorasimilarity.wordpress.com

2026

Concrete plays sequel, part 2: proofs about the negation of beta equivalence, graph lambda theoriesoriginal ↗
26 Sept 2026
Parasites of Open Science: Project ANR-22-CE51-0034 BIGBEN ends in Septemberoriginal ↗
24 Sept 2026
A mathematician suggestion to the Advisory Group on Mathematics and Artificial Intelligenceoriginal ↗
22 Sept 2026
Concrete plays sequel: why formalizations of human proofs of beta equivalence undecidabilityoriginal ↗
21 Sept 2026
Concrete plays with the limits of Lean in formalization of human made mathematical theoriesoriginal ↗
20 Sept 2026
Some thoughts about recent and future events: corporate AI, open source initiative and the end of an empirical law in november 2026original ↗
15 Sept 2026
A possible beta/eta test for the disputed step in IUToriginal ↗
13 Sept 2026
Baby steps, important ideas: rewrite dilation structuresoriginal ↗
10 Sept 2026
AI in mathematics as a great encylopedic planoriginal ↗
9 Sept 2026
About Loos symmetric spaces and dilation structuresoriginal ↗
8 Sept 2026
The Open idea tagoriginal ↗
5 Sept 2026
Approximate associative quasigroups as intrinsic approximate groupsoriginal ↗
4 Sept 2026
Comparative analysis of chemical computing from CHAM to UPIM to chemSKIoriginal ↗
2 Sept 2026
The Gutenberg-Net analogy as a promptoriginal ↗
25 Aug 2026
Qwen attempt at the Audit Research Promptoriginal ↗
19 Aug 2026
A research prompt for an audit of a mathematical theoryoriginal ↗
18 Aug 2026
Noncommutative Baker-Campbell-Hausdorf formula, some examples computed with the help of Qwenoriginal ↗
5 Aug 2026
Accumulation of state is now cheaporiginal ↗
31 Jul 2026
Chorasimilarity knowledge graph and sourcesoriginal ↗
30 Jul 2026
Felix Klein’s Erlangen Programoriginal ↗
28 Jul 2026
More explorations around UPIM, chemSKI, chemlambdaoriginal ↗
19 Jul 2026
LLM token billing vs chemSKI with tokensoriginal ↗
16 Jul 2026
UPIM, chemSKI, continuationsoriginal ↗
9 Jul 2026
Some version of chemlambda AIoriginal ↗
6 Jul 2026
The beta rewrite in hexagon formoriginal ↗
2 Jul 2026
From dilatation structures to emergent algebras to graphic lambda calculus to emoriginal ↗
23 Jun 2026
arXiv July 1st independence announcement, sorted by words frequenceoriginal ↗
16 Jun 2026
Mobi algebras are related to emergent algebrasoriginal ↗
14 Jun 2026
A CAPTCHA for scientific publicationsoriginal ↗
13 Jun 2026
Emergent algebras tetradoriginal ↗
11 Jun 2026
Moravec’s paradox in mathematicsoriginal ↗
9 Jun 2026
Tetrad playgroundoriginal ↗
5 Jun 2026
Leiden Declaration: commercial AI is a threat to the publishing and rewards system in mathematicsoriginal ↗
4 Jun 2026
What about a graphical calculus for the six-functor formalism?original ↗
27 May 2026
The unoriginal Symplectic Bipotentials articles are part of the ANR project BigBenoriginal ↗
26 May 2026
A list of radically different AI tasksoriginal ↗
23 May 2026
Mathematics, birds, frogs and the AI storkoriginal ↗
21 May 2026
Emma Bovary, academic editors, cathedralsoriginal ↗
9 May 2026
Lambdalife: chemlambda programs sourcesoriginal ↗
8 May 2026
Hexagons, trigrams, codonsoriginal ↗
7 May 2026
Duplication confusion in hexagonal formoriginal ↗
3 May 2026
Lambdalife: chemlambda notebooks, articles, presentationsoriginal ↗
2 May 2026
Lambdalife: interactive chemlambda experimentsoriginal ↗
30 Apr 2026
A Directed Interaction Combinators Challenge 3: hexagonal rewritesoriginal ↗
28 Apr 2026
Some of my articles from past century explain why I went Open Scienceoriginal ↗
15 Apr 2026
Symplectic bipotentials article is not original and the editor reaction, in one pageoriginal ↗
7 Apr 2026
Microfauna: A 2026 Efficiency Analysis of LLM providersoriginal ↗
6 Apr 2026
A Directed Interaction Combinators Challenge 2: lateral thinkingoriginal ↗
5 Apr 2026
Symplectic bipotentials: the letter of the editor-in-chieforiginal ↗
26 Mar 2026
A Directed Interaction Combinators Challengeoriginal ↗
18 Mar 2026
A note on billiard-ball computers, SBEN and diffusion-based LLMsoriginal ↗
13 Mar 2026
The Symplectic bipotentials story: conclusionoriginal ↗
10 Mar 2026
Continuation of the Symplectic Bipotentials story: the journal expert reportoriginal ↗
4 Mar 2026
The unfolding story of Symplectic Bipotentialsoriginal ↗
22 Feb 2026
Enough fun: conclusionoriginal ↗
13 Feb 2026
Curvature via Metric Profilesoriginal ↗
10 Feb 2026
Enough fun?original ↗
8 Feb 2026
Heisenberg Group Geometry and Hofer Distance Nondegeneracyoriginal ↗
7 Feb 2026
Verification of Attribution Claims in Symplectic Bipotentials Frameworkoriginal ↗
6 Feb 2026
The em-convex Rewrite System: A Lambda Calculus Formulation of Hilbert’s Fifth Problemoriginal ↗
4 Feb 2026
Rearrangementoriginal ↗
30 Jan 2026

2025

Forsp syntax of lambda calculus, a hint for Chemical Joyoriginal ↗
15 Dec 2025
The RAAR AI lab has a logooriginal ↗
10 Nov 2025
Marius Buliga’s articles on arXiv with local copiesoriginal ↗
4 Nov 2025
Same thing in hexagonal formoriginal ↗
28 Oct 2025
A shuffle rewrite in the limit (2)original ↗
14 Oct 2025
How is the DER rewrite related to the S combinator?original ↗
12 Oct 2025
First time biological immortality and senescenceoriginal ↗
11 Oct 2025
Project-ANR-22-CE51-0034 : parasites of Open Science after 3 yearsoriginal ↗
10 Oct 2025
A shuffle rewrite in the limitoriginal ↗
5 Oct 2025
Asemantic computing on trendoriginal ↗
24 Sept 2025
On the hexagon bipartite graph, againoriginal ↗
24 Sept 2025
AI Senescence vs Ruliology of lambdas, I asked Grokoriginal ↗
21 Sept 2025
AI senescence, 8 months lateroriginal ↗
20 Sept 2025
Charlie Kirk, Banksy and Wittgenstein’s “final solution of the problems”original ↗
13 Sept 2025
The hexagram of hexagonal rewritesoriginal ↗
1 Sept 2025
A hexagonal move which is not DIST or SHUFFLEoriginal ↗
28 Aug 2025
What about here? What is to be done?original ↗
10 Aug 2025
20 hexagonal movesoriginal ↗
10 Aug 2025
Derivative algebras vs emergent algebrasoriginal ↗
31 Jul 2025
The shuffle deviation as a generalized derivativeoriginal ↗
17 Jul 2025
A notation for chora and derivativeoriginal ↗
9 Jul 2025
On ponerologyoriginal ↗
7 Jul 2025
Life is uncomputable: a Collatz quine as an exampleoriginal ↗
30 Jun 2025
The Gutenberg-Net time law calculator expires at the end of 2026original ↗
25 Jun 2025
Not a rabbit hole: everything is map makingoriginal ↗
21 Jun 2025
Why the GLC Actors model is a big deal: GLC actors simulate Hewitt Actorsoriginal ↗
16 Jun 2025
A Modern Discussion: Cookie, Parabel, and Grok 3original ↗
10 Jun 2025
Comments on the Urbit whitepaper [2021]original ↗
4 Jun 2025
What is the RAAR lab and who will host it?original ↗
2 Jun 2025
A newer AI summary of an older AI summary controversyoriginal ↗
1 Jun 2025
Same thing seen before: the derivative of a function and a chora of a termoriginal ↗
30 May 2025
Grok’ Forking the red dust, bonus episode 5 “Ashes of control”original ↗
24 May 2025
The chemical concrete machine was conservative from the startoriginal ↗
22 May 2025
Too little, too late [update: no, only a start]original ↗
18 May 2025
Same thingoriginal ↗
15 Apr 2025
Forking the Red Dust, Excerpts from an Epilogue in Neal Stephenson styleoriginal ↗
29 Mar 2025
How The Feed Strikes Back in the Real Worldoriginal ↗
26 Mar 2025
Seeds in the Web, Episode 4: The Seed Takes Rootoriginal ↗
25 Mar 2025
Seeds in the Web, Episode 3: The Cloud’s Long Shadoworiginal ↗
24 Mar 2025
Next