Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
📚Automata Learning
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
To improve Rationality, create Situations
lesswrong.com·18h
🎮Verification Games
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·5h
📦Opam
Flag this post
Branched Signature Model
arxiv.org·5h
🕸️Graph Theory
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·5h
📚Automata Learning
Flag this post
Coverage Analysis and Optimization of FIRES-Assisted NOMA and OMA Systems
arxiv.org·5h
🩹Self-Healing Systems
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
🌐ActivityPub
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·5h
📐Linear Algebra
Flag this post
In AI, Everything is Meta
🔲Cellular Automata
Flag this post
Subgame Credible Nash Equilibrium
arxiv.org·5h
🎮Verification Games
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·5h
📚Automata Learning
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
👁️System Observability
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·5h
🔲Cellular Automata
Flag this post
Robust Single-Agent Reinforcement Learning for Regional Traffic Signal Control Under Demand Fluctuations
arxiv.org·5h
🩹Self-Healing Systems
Flag this post
Loading...Loading more...