The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·16h·
Discuss: Substack
🔢Mathematical Logic
Flag this post
Level 3: Building the Database Foundation with Rust + PostgreSQL
manjushaps.github.io·7h·
Discuss: DEV
🗄️Database Theory
Flag this post
News for October 2025
ptreview.sublinear.info·13h
📈Complexity Theory
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·7h
🕸️Graph Theory
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·7h
🎲Probabilistic Programming
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·1d·
Discuss: r/C_Programming
📝Lisp
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·7h
🎲Probabilistic Programming
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·7h
🧭SMT Solvers
Flag this post
Uncertain node-state PI-DBN: A novel framework for predictive modeling of real-time blowout risk in deepwater drilling
sciencedirect.com·21h
🎲Probabilistic Programming
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·9h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·20h
🧩Theorem Proving
Flag this post
This is one way I use AI for coding
dev.to·22h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·2d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·20h
🧩Theorem Proving
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·1d·
Discuss: DEV
🌍Distributed Systems
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·16m
🧮Programming Language Theory
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·10h
🧮Programming Language Theory
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·7h
🔗Parser Combinators
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·7h
🔢Mathematical Logic
Flag this post