Does Go's garbage collector use Depth-First Search (DFS) or Breadth-First Search (BFS) during the scan/marking phase?
reddit.com·2h·
Discuss: r/golang
🧩Separation Logic
Flag this post
The Noise and the Signal
russmiles.substack.com·4h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·1d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
The Development of Pie
terathon.com·2d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·1d·
Discuss: r/LLM
📚Automata Learning
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·7h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
Digital Twin based Automatic Reconfiguration of Robotic Systems in Smart Environments
arxiv.org·5h
🤖Robotics
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·9h·
Discuss: DEV
🔤Language Design
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·5h
🎮Verification Games
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·4d
🔲Cellular Automata
Flag this post
Scalable Multi-Modal Feedback Loop for Constrained Reinforcement Learning in Robotic Grasping
dev.to·1d·
Discuss: DEV
🤖Robotics
Flag this post
World Simulation with Video Foundation Models for Physical AI
arxiv.org·5h
🔲Cellular Automata
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·5h
🔲Cellular Automata
Flag this post
Modulation of temporal decision-making in a deep reinforcement learning agent under the dual-task paradigm
arxiv.org·5h
Timed Automata
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·1d·
Discuss: DEV
🕸️Graph Theory
Flag this post
Towards Automated Petrography
arxiv.org·5h
🔲Cellular Automata
Flag this post