Temporary employment and protection of human capital in Major League Baseball
onlinelibrary.wiley.com·1d·
Discuss: Hacker News
Automated Theorem Proving
Advice to students in the age of AI: "always be competing"
jobsort.com·16h·
Discuss: Hacker News
🎮Verification Games
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·1d·
Discuss: Hacker News
🍎XNU Internals
How Ketamine Works in the Brain and Why It Alters Thought
lightcapai.medium.com·6h·
Discuss: Hacker News
🩹Self-Healing Systems
humanely dealing with humungus crawlers
flak.tedunangst.com·3d·
🍎Apple
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Just Enough Automation
bevel.work·3d·
Discuss: Hacker News
🤖Program Synthesis
I wish my web server were in the corner of my room
interconnected.org·1d·
Discuss: Hacker News
🖥Self-Hosting
OpenSSF Experts Weigh in on CISA’s SBOM Minimum Elements Update
thenewstack.io·1d
🔤DSLs
Fused Lasso Improves Accuracy of Co-occurrence Network Inference in Grouped Samples
arxiv.org·1d
🧮Lambda Calculus
LLM Ensemble for RAG: Role of Context Length in Zero-Shot Question Answering for BioASQ Challenge
arxiv.org·2d
🧩Parser Combinators
Memexes, mountain lakes, and the serendipity of old ideas
interconnected.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Trusting builds with Bazel remote execution
blogsystem5.substack.com·1d·
Discuss: Substack
🧱Immutable Infrastructure
Evaluating the Efficiency of Latent Spaces via the Coupling-Matrix
arxiv.org·4d
📚Automata Learning
Towards Knowledge-Aware Document Systems: Modeling Semantic Coverage Relations via Answerability Detection
arxiv.org·2d
📝Term Rewriting
How to tell your co-workers that they suck at InfoSec and actually get away with it (mrmcd25)
cdn.media.ccc.de·1d
🛡️seL4
The Magic of the Hall Effect Sensor
hackaday.com·3d
🩹Self-Healing Systems
The subjective experience of coding in different programming languages
interconnected.org·3d·
Discuss: Hacker News
🔬Static Analysis