pull down to refresh

A Metonymic Architecture for Symbolic Reasoning Systemsbeyondturbulence.blogspot.com/2025/10/a-metonymic-architecture-for-symbolic.html?m=1
0 sats \ 0 comments \ @beyond_turbulence 25 Oct 2025 Education
related
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
175 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
The Normalization of Deviance in AIembracethered.com/blog/posts/2025/the-normalization-of-deviance-in-ai/
318 sats \ 1 comment \ @0xbitcoiner 5 Dec 2025 AI
Designing agentic loopssimonwillison.net/2025/Sep/30/designing-agentic-loops/
274 sats \ 0 comments \ @deSign_r 5 Oct 2025 Design
LangChain: Applications that can reason. Powered by LangChainwww.langchain.com/
25 sats \ 0 comments \ @Rsync25 11 Nov 2024 tech
Hidden Reasoning in LLMs: A Taxonomywww.lesswrong.com/posts/ZrgFfeWuckpwK5Lyi/hidden-reasoning-in-llms-a-taxonomy
178 sats \ 0 comments \ @carter 16 Oct 2025 AI
Less is More: Recursive Reasoning w/ Tiny Networks - Alexia Jolicoeur-Martineaugithub.com/SamsungSAILMontreal/TinyRecursiveModels
308 sats \ 1 comment \ @Scoresby 8 Oct 2025 AI
Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs
ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
21 sats \ 0 comments \ @hn 4 Oct 2025 tech
Grok 3 Beta — The Age of Reasoning Agentsx.ai/blog/grok-3
763 sats \ 7 comments \ @k00b 20 Feb 2025 AI
New MIT Research Proves AGI Was Achievedwww.geeky-gadgets.com/artificial-general-intelligence-advancements/
65 sats \ 1 comment \ @ch0k1 16 Nov 2024 news
Sats4AI - Private, Unmanipulated, Permissionless, Open-Source models AI platform
2288 sats \ 11 comments \ @sats4ai 20 Mar 2024 bitcoin
HRM (Hierarchical Reasoning Model): Chain-in-representation New way of reasoningxcancel.com/heyshrutimishra/status/1951231294131863821
121 sats \ 0 comments \ @cointastical 4 Aug 2025 AI
The Name Game - A Thought Experiment
908 sats \ 5 comments \ @kytt 11 Apr 2024 ideasfromtheedge
Trustodial: An Ontological Dilemmabitcoinmagazine.com/technical/trustodial-an-ontological-dilemma
530 sats \ 2 comments \ @k00b 7 Jul 2025 lightning
Obituary for Cyc the greatest monument to logical AGIyuxi-liu-wired.github.io/essays/posts/cyc/
33 sats \ 0 comments \ @carter 8 Apr 2025 AI
Small Language Models are the Future of Agentic AIarxiv.org/pdf/2506.02153
100 sats \ 1 comment \ @carter 3 Jul 2025 AI
Who Can Understand the Proof? A Window on Formalized Mathematicswritings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
13 sats \ 0 comments \ @hn 10 Jan 2025 tech
Structured Agentic Software Engineeringarxiv.org/abs/2509.06216
100 sats \ 0 comments \ @optimism 20 Sep 2025 AI
Merkleized Abstract Syntax Treesbtctranscripts.com/bitcoin-core-dev-tech/2017-09-07-merkleized-abstract-syntax-trees/
20 sats \ 0 comments \ @pietro1861 9 Aug 2023 bitcoin
White Paper: Topological Formalization of Self-Referential Legal Paradoxbeyondturbulence.blogspot.com/2025/12/white-paper-topological-formalization.html?m=1
36 sats \ 1 comment \ @beyond_turbulence 11 Dec 2025 Politics_And_Law
Cisco donates agentic AI platform Agntcy to Linux Foundationwww.theregister.com/2025/07/30/agntcy_lf_donation/
110 sats \ 0 comments \ @0xbitcoiner 30 Jul 2025 AI