On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·1h
✅Type Checking
Self-Reflective Generation at Test Time
arxiv.org·1h
✨Gleam
Automated Algorithmic Bias Mitigation in Automated Code Generation Pipelines
dev.to·1d·
Discuss: DEV
🔥JIT Compilers
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1h
📋Souffle Datalog
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.org·1h
🚂Error Propagation
Building a Command-Line Quiz Application in R
towardsdatascience.com·15h
💬Interactive REPLs
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
A grand week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·2d·
Discuss: DEV
🎮Language Ergonomics
Batch Processing with Spring Batch and Multiple Data Sources
dev.to·24m·
Discuss: DEV
🔧Error Recovery
Unit Testing is Overrated and Won't Help You Write Better Code
dev.to·51m·
Discuss: DEV
🧪Zig Testing
Better Properties v0.1.11 release
reddit.com·1d·
Discuss: r/ObsidianMD
📝Rope Editors
Q-Learning with Shift-Aware Upper Confidence Bound in Non-Stationary Reinforcement Learning
arxiv.org·1h
⚡Partial Evaluation
Show HN: AutoRules AI – Check all files against a list of questions
markwylde.com·1d·
Discuss: Hacker News
🛡️Security Type Systems
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·17h·
Discuss: Hacker News
🔧API Design
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·6h·
Discuss: Hacker News
🔢Algebraic Datatypes
LLMs are badly misaligned
lesswrong.com·15h
✅Type Checking
Four years, Five failures, One compiler
daymare.net·20h·
Discuss: Hacker News, r/programming
🌱Minimal Languages
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·1d·
Discuss: Hacker News
🧩Constraint Solvers
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·10h·
Discuss: Hacker News
🔢Algebraic Datatypes