Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·17h
📋Souffle Datalog
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·7h·
Discuss: Hacker News
🌐WASM Runtimes
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·17h·
Discuss: DEV
🌳Pattern Match Compilation
why & how i learnt ML
abinesh-mathivanan.vercel.app·1d·
Discuss: r/programming
🔍ML Language
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🌲Tree Rewriting
A Generic Vector Implementation in C using void*, func*
github.com·5h·
Discuss: r/C_Programming
🪄C Metaprogramming
Property-based testing of batch-invariant operations
mmaaz.ca·22h·
Discuss: Hacker News
🎲Property Testing
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·59m
⚡functional programming
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
Key components of a data-driven agentic AI application | AWS Database Blog
aws.amazon.com·14h
🎭Erlang OTP
What happened to Longcat models? Why are there no quants available?
huggingface.co·3h·
Discuss: r/LocalLLaMA
✨Gleam
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·17h
📱Bytecode Design
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·9h
💬Smalltalk VMs
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·5h·
Discuss: Hacker News
🗺️Region Inference
Behavior Best-of-N achieves Near Human Performance on Computer Tasks
lesswrong.com·1d
🏰Capability Machines
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·17h
🎲Parser Fuzzing
Adventures on the AI Coding side of things
medium.com·13h·
Discuss: Hacker News
🎭Program Synthesis
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·17h
✅Type Checking