Temporary employment and protection of human capital in Major League Baseball
onlinelibrary.wiley.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·2d·
Discuss: Hacker News
🍎XNU Internals
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·2d·
Discuss: Hacker News
🧮Lambda Calculus
Page Object (2013)
martinfowler.com·2d·
Discuss: Hacker News
📊Runtime Verification
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·4d·
Discuss: r/programming
🔬Unikernels
Washback Effect
en.wikipedia.org·1d·
Discuss: Hacker News
🧪Property-Based Testing
humanely dealing with humungus crawlers
flak.tedunangst.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🍎Apple
Show HN: Writing – How to make a computer browser internet automatically
news.ycombinator.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·4d·
Discuss: Substack
🎮Verification Games
Monitoring Claude Code with OpenTelemetry
signoz.io·3d·
Discuss: Hacker News
👁️System Observability
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
The subjective experience of coding in different programming languages
interconnected.org·3d·
Discuss: Hacker News
🔬Static Analysis
GmSLM : Generative Marmoset Spoken Language Modeling
arxiv.org·1d
🧩Parser Combinators
Documents Are People and Words Are Items: A Psychometric Approach to Textual Data with Contextual Embeddings
arxiv.org·1d
🧩Parser Combinators
An Interpretable Deep Learning Model for General Insurance Pricing
arxiv.org·2d
🧩Parser Combinators
AuraSight: Generating Realistic Social Media Data
arxiv.org·1d
🎮Verification Games
Agents of Discovery
arxiv.org·2d
🧩Parser Combinators
ADHDeepNet From Raw EEG to Diagnosis: Improving ADHD Diagnosis through Temporal-Spatial Processing, Adaptive Attention Mechanisms, and Explainability in Raw EEG...
arxiv.org·2d
📚Automata Learning
Hackaday Podcast Episode 337: Homebrew Inductors, Teletypes in the Bedroom, and Action!
hackaday.com·1d
💾Retro Computing
Large Language Model Hacking: Quantifying the Hidden Risks of Using LLMs for Text Annotation
arxiv.org·2d·
Discuss: Hacker News
🛡️seL4