humanely dealing with humungus crawlers
flak.tedunangst.com·1d·
Discuss: Lobsters, Hacker News
🍎Apple
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·4h·
Discuss: Hacker News
🍎XNU Internals
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·19h·
Discuss: Hacker News
🧮Lambda Calculus
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·2d·
Discuss: r/programming
🔬Unikernels
Page Object (2013)
martinfowler.com·22h·
Discuss: Hacker News
📊Runtime Verification
The Magic of the Hall Effect Sensor
hackaday.com·1d
🩹Self-Healing Systems
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·2d·
Discuss: Substack
🎮Verification Games
Trends in Economic Inputs to AI
lesswrong.com·5h
🖥️Self-hosted Infrastructure
Grasp Like Humans: Learning Generalizable Multi-Fingered Grasping from Human Proprioceptive Sensorimotor Integration
arxiv.org·23h
📚Automata Learning
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·12h·
Discuss: Hacker News
🐫Embedded OCaml
Monitoring Claude Code with OpenTelemetry
signoz.io·1d·
Discuss: Hacker News
👁️System Observability
Tokenizing Loops of Antibodies
arxiv.org·23h
🧮Lambda Calculus
Accuracy analysis and optimization of scale-independent third-order WENO-Z scheme with critical-point accuracy preservation
arxiv.org·23h
🐫OCaml
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🧠Automated Reasoning
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·2d
🐫Embedded OCaml
OTESGN:Optimal Transport Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
arxiv.org·23h
🧩Parser Combinators
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·2d
📦Unikernel Systems
Bias in the Loop: How Humans Evaluate AI-Generated Suggestions
arxiv.org·23h
✓Automated Theorem Proving
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·23h
📚Automata Learning
The Majority is not always right: RL training for solution aggregation
arxiv.org·2d
🎮Verification Games