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·19h·
Discuss: Hacker News
🎮Verification Games
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
Show HN: Freak.nvim, an nvim config for control freaks
codeberg.org·1h·
Discuss: Hacker News
🐳Containerization
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·4d·
Discuss: r/programming
🔬Unikernels
How Ketamine Works in the Brain and Why It Alters Thought
lightcapai.medium.com·9h·
Discuss: Hacker News
🩹Self-Healing Systems
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·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·4d·
Discuss: Substack
🎮Verification Games
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
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
Memexes, mountain lakes, and the serendipity of old ideas
interconnected.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
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