Does Go's garbage collector use Depth-First Search (DFS) or Breadth-First Search (BFS) during the scan/marking phase?
🧩Separation Logic
Flag this post
The Noise and the Signal
🔲Cellular Automata
Flag this post
The Development of Pie
🔀Brzozowski Derivatives
Flag this post
On Async Mutexes
🔀OCaml Multicore
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
📚Automata Learning
Flag this post
Why AI Can't Write Good Software
🔤Language Design
Flag this post
From Lossy to Lossless Reasoning
🧩Parser Combinators
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
🎮Verification Games
Flag this post
Robust Single-Agent Reinforcement Learning for Regional Traffic Signal Control Under Demand Fluctuations
arxiv.org·14h
🩹Self-Healing Systems
Flag this post
X-TRACK: Physics-Aware xLSTM for Realistic Vehicle Trajectory Prediction
arxiv.org·14h
📚Automata Learning
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·14h
📚Automata Learning
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·14h
📚Automata Learning
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·14h
⚙️Compiler Design
Flag this post
Automated Discovery of Conservation Laws via Hybrid Neural ODE-Transformers
arxiv.org·14h
🧠Automated Reasoning
Flag this post
Loading...Loading more...