What Is a Manifold?
➡️Category Theory
Flag this post
On Async Mutexes
🔀OCaml Multicore
Flag this post
Principles of Epistemology (2025, essay)
🏔️Domain Theory
Flag this post
Dive into Systems
💻CS
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
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
The Hardest Bug to Fix Is Ambiguity
🔍Formal Verification
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·9h
📐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
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
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
AI and the Loss of the Flow
🔲Cellular Automata
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·1d
⚙️Compiler Design
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🔲Cellular Automata
Flag this post
Loading...Loading more...