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
Dive into Systems
💻CS
Flag this post
Principles of Epistemology (2025, essay)
🏔️Domain Theory
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
Lessons from Implementing RAG in 2025
🧩Parser Combinators
Flag this post
4 Rules for Successful Vibe Coding
🤖Program Synthesis
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
I Use AI
🔤Language Design
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
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
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
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
Loading...Loading more...