Show HN: Anonymous Peer to Peer Therapy
🍎Apple
Flag this post
What Is a Manifold?
➡️Category Theory
Flag this post
On Async Mutexes
🔀OCaml Multicore
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
Lessons from Implementing RAG in 2025
🧩Parser Combinators
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔬Reverse Engineering
Flag this post
I Use AI
🔤Language Design
Flag this post
AI and the Loss of the Flow
🔲Cellular Automata
Flag this post
Unlocking AI Vision with the Wisdom of Cats: Building Generalizable Models
📚Automata Learning
Flag this post
ABIDES-MARL: A Multi-Agent Reinforcement Learning Environment for Endogenous Price Formation and Execution in a Limit Order Book
arxiv.org·6h
🧠Automated Reasoning
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·6h
📐Linear Algebra
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·1d
🤖Robotics
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
The Hardest Bug to Fix Is Ambiguity
🔍Formal Verification
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·1d
λFunctional Programming
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🔲Cellular Automata
Flag this post
Loading...Loading more...