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 22h Education
related
Episode 155: Open Knowledge Graph
34 sats \ 1 comment \ @AtlantisPleb 8 Jan openagents
Designing agentic loopssimonwillison.net/2025/Sep/30/designing-agentic-loops/
274 sats \ 0 comments \ @deSign_r 5 Oct 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 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 tech
Grok 3 Beta — The Age of Reasoning Agentsx.ai/blog/grok-3
763 sats \ 7 comments \ @k00b 20 Feb AI
New MIT Research Proves AGI Was Achievedwww.geeky-gadgets.com/artificial-general-intelligence-advancements/
65 sats \ 1 comment \ @ch0k1 16 Nov 2024 news
HRM (Hierarchical Reasoning Model): Chain-in-representation New way of reasoningxcancel.com/heyshrutimishra/status/1951231294131863821
121 sats \ 0 comments \ @cointastical 4 Aug AI
The Name Game - A Thought Experiment
908 sats \ 5 comments \ @kytt 11 Apr 2024 ideasfromtheedge
Obituary for Cyc the greatest monument to logical AGIyuxi-liu-wired.github.io/essays/posts/cyc/
33 sats \ 0 comments \ @carter 8 Apr AI
Small Language Models are the Future of Agentic AIarxiv.org/pdf/2506.02153
100 sats \ 1 comment \ @carter 3 Jul 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 tech
Structured Agentic Software Engineeringarxiv.org/abs/2509.06216
100 sats \ 0 comments \ @optimism 20 Sep AI
Hermes 4 outperforms OpenAI models with minimal content restrictions
121 sats \ 0 comments \ @lunin 1 Sep 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
Cisco donates agentic AI platform Agntcy to Linux Foundationwww.theregister.com/2025/07/30/agntcy_lf_donation/
110 sats \ 0 comments \ @0xbitcoiner 30 Jul AI
Kanju: For When Formal Systems Fall Shortbc1984.com/kanju-for-when-formal-systems-fall-short/
125 sats \ 0 comments \ @k00b 21 Jan culture
Exploring Advanced Reasoning Techniques for LLMs: CoT, STaR, and ToTwww.eddieoz.com/exploring-advanced-reasoning-techniques-for-llms-chain-of-thought-cot-step-by-step-rationalization-star-and-tree-of-thoughts-tot/
11 sats \ 0 comments \ @Rsync25 20 Aug 2024 tech
On building a semantic search enginevickiboykis.com/2024/01/05/retro-on-viberary/
10 sats \ 1 comment \ @hn 7 Jan 2024 tech
DNN: Decentralized Naming Network
767 sats \ 4 comments \ @freakoverseOG 24 Oct nostr