@anon
sign up
@anon
sign up
pull down to refresh
Geometric Algebra of Intention: A Formal Framework for Truth-Preservation
beyondturbulence.blogspot.com/2025/11/geometric-algebra-of-intention-formal.html?m=1
1000 sats
\
2 comments
\
@beyond_turbulence
26 Nov 2025
Education
related
The Geometric Topology of Intentionality
beyondturbulence.blogspot.com/2025/11/the-geometric-topology-of-intentionality.html?m=1
770 sats
\
6 comments
\
@beyond_turbulence
9 Nov 2025
relationships
Coulon Proof Theory: AI Mediation, Topological Functors, and Combinatorics
beyondturbulence.blogspot.com/2026/01/coulon-proof-theory-ai-mediation.html?m=1
300 sats
\
2 comments
\
@beyond_turbulence
26 Jan
AI
Mathematics as Semantic Algebra
beyondturbulence.blogspot.com/2025/11/mathematics-as-semantic-algebra.html?m=1
300 sats
\
1 comment
\
@beyond_turbulence
29 Nov 2025
AI
Homorupt || := When Genuine Logic Evaporates
beyondturbulence.blogspot.com/2026/03/homorupt.html?m=1
298 sats
\
6 comments
\
@beyond_turbulence
4 Mar
AI
science
Education
BooksAndArticles
Noun vs. Noun Phrase: Formal Isomorphism and Applied Mathematical Structures
beyondturbulence.blogspot.com/2026/02/noun-vs-noun-phrase-formal-isomorphism.html?m=1
210 sats
\
3 comments
\
@beyond_turbulence
9 Feb
science
Intentionality: A Neological Framework
beyondturbulence.blogspot.com/2025/11/vectorial-intentionality-neological.html?m=1
1300 sats
\
7 comments
\
@beyond_turbulence
6 Nov 2025
Education
A Topological Framework for Understanding Cognition
beyondturbulence.blogspot.com/2025/10/a-topological-framework-for_31.html?m=1
810 sats
\
5 comments
\
@beyond_turbulence
2 Nov 2025
relationships
Formal Reasoning [pdf] | Hacker News
news.ycombinator.com/item?id=45711062
210 sats
\
3 comments
\
@beyond_turbulence
26 Oct 2025
science
Olympiad-level formal mathematical reasoning with reinforcement learning
www.nature.com/articles/s41586-025-09833-y
205 sats
\
2 comments
\
@0xbitcoiner
20 Nov 2025
AI
Intent as Hole: Lambda Calculus, LISP, and the Topology of Action
beyondturbulence.blogspot.com/2025/10/intent-as-hole-lambda-calculus-lisp-and.html?m=1
436 sats
\
3 comments
\
@beyond_turbulence
22 Oct 2025
AI
The False Intention Economy: How AI Systems Are Replacing Human Will with Models
www.linkedin.com/pulse/false-intention-economy-how-ai-systems-replacing-b%C3%A1rtfai-walcott-4vxuc/
726 sats
\
2 comments
\
@k00b
3 Apr 2025
AI
White Paper: Topological Theory of Psychological Drift
beyondturbulence.blogspot.com/2026/01/white-paper-topological-theory-of.html?m=1
1000 sats
\
3 comments
\
@beyond_turbulence
7 Jan
Education
Systems: The Purpose of a System is What It Does
www.anildash.com/2024/05/29/systems-the-purpose-of-a-system/
816 sats
\
1 comment
\
@k00b
22 Mar 2025
mostly_harmless
Alchemy of Intent (Commerce Complex Redux)
beyondturbulence.blogspot.com/p/alchemy-of-intent.html?m=1
346 sats
\
5 comments
\
@beyond_turbulence
5 Nov 2025
culture
A shallow dive into formal verification - Vitalik Buterin
vitalik.eth.limo/general/2026/05/18/fv.html
1194 sats
\
1 comment
\
@Scoresby
28 May
math
bitcoin
Flasque Resolutions, Stable Invariance, and Legal Aikido: A Formal White Paper
beyondturbulence.blogspot.com/2025/11/flasque-resolutions-stable-invariance.html?m=1
1000 sats
\
2 comments
\
@beyond_turbulence
20 Nov 2025
Education
Russell O'Connor on formal verification and libsecp256k1
brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2221 sats
\
1 comment
\
@schmidty
7 Aug 2025
bitcoin
How Terry Tao Became an Evangelist for AI in Math
www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
1562 sats
\
2 comments
\
@0xbitcoiner
9 Jun
AI
math
science
Two Researchers Are Rebuilding Mathematics From the Ground Up
www.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/
946 sats
\
3 comments
\
@0xbitcoiner
20 May
math
Trust created by one on the path will serve humanity well by its intention
401 sats
\
0 comments
\
@mo
3 Jan
AGORA
LLMs don’t do formal reasoning - and that is a HUGE problem
garymarcus.substack.com/p/llms-dont-do-formal-reasoning-and
300 sats
\
0 comments
\
@Rsync25
11 Oct 2024
tech
more