Temporary employment and protection of human capital in Major League Baseball
onlinelibrary.wiley.com·11h·
Discuss: Hacker News
Automated Theorem Proving
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·1d·
Discuss: Hacker News
🍎XNU Internals
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·3d·
Discuss: r/programming
🔬Unikernels
humanely dealing with humungus crawlers
flak.tedunangst.com·2d·
🍎Apple
Washback Effect
en.wikipedia.org·10h·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·3d·
Discuss: Substack
🎮Verification Games
Monitoring Claude Code with OpenTelemetry
signoz.io·2d·
Discuss: Hacker News
👁️System Observability
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·11h·
Discuss: r/programming
🔄Reproducible Builds
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·3d
🧠Automated Reasoning
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·3d
🐫Embedded OCaml
OTESGN:Optimal Transport Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
arxiv.org·1d
🧩Parser Combinators
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·3d
📦Unikernel Systems
Bias in the Loop: How Humans Evaluate AI-Generated Suggestions
arxiv.org·1d
Automated Theorem Proving
Applications of Consciousness Research
lesswrong.com·5h
🩹Self-Healing Systems
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·1d
📚Automata Learning
Reverse Engineering a Robot Mower’s Fence
hackaday.com·1d
🩹Self-Healing Systems
Magical systems thinking
worksinprogress.news·14h·
Discuss: Hacker News
🩹Self-Healing Systems
The Majority is not always right: RL training for solution aggregation
arxiv.org·3d
🎮Verification Games
The Eldritch in the 21st century
lesswrong.com·1d
🔬Unikernels