OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🧮SMT Solvers
Flag this post
Lowering in Reverse
🔥DataFusion
Flag this post
The Ghost in the Machine Is Finally Allowed to See: A Beginner's Guide to MCP
⌨️CLI Development
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·13h
🔀Procedural Generation
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
🎨Computer Graphics
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·13h
🔢NumPy
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
🔓Binary Exploitation
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·13h
📐Linear Algebra
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🧮SMT Solvers
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
📝NLP
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·13h
🌳Tree-sitter
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
📚Technical Writing
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·13h
📊Dynamic Programming
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·13h
📱Edge AI
Flag this post
Loading...Loading more...