What Caused Democrats' No-Show Problem in 2024?
thenation.com·15h·
Discuss: Hacker News
📐Denotational Semantics
WASM GIF
igorbedesqui.com·2d·
Discuss: Hacker News
🧩Parser Combinators
OPNsense® 25.7 Released
deciso.com·1d·
Discuss: Hacker News
📦Unikernel Systems
NASA's Juno Mission Captures [Green] Lightning on Jupiter (2023)
nasa.gov·2d·
Discuss: Hacker News
🍎XNU Internals
Couldn't get a job, so I settled
reddit.com·1d·
Discuss: r/programming
💻CS
Deep Copy
developer.mozilla.org·5d·
Discuss: Hacker News
💎Refinement Types
Show HN: Modelling a macOS application around my productivity research
openmodeai.com·2d·
Discuss: Hacker News
🍎Apple
Show HN: Sentrilite: a hybrid-cloud control plane for observability and security
news.ycombinator.com·1d·
Discuss: Hacker News
⎈Kubernetes
When the job search becomes impossible: three phases of burnout
jeffwofford.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Don't vibe code (any of) your config
augmentedswe.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
You and Your Local Gradient
whybyfire.net·4d·
Discuss: Hacker News
🩹Self-Healing Systems
Cursor Agent CLI
cursor.com·2d·
Discuss: Hacker News
🛡️seL4
Agentic AI Runs on Tools
simplicityissota.substack.com·6d·
Discuss: Substack
✓Automated Theorem Proving
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·4d
🔄Reproducible Builds
Upcoming changes for bcachefs; notes for users distributions
lore.kernel.org·2d·
Discuss: Hacker News, r/linux
🔧Unikernel Development
A Low-Rank tensor framework for THB-Splines
arxiv.org·3d
🐫OCaml
GraMFedDHAR: Graph Based Multimodal Differentially Private Federated HAR
arxiv.org·6d
➡️Category Theory
Your AI Prompts Are Programming the Future So Use Them Wisely
thenewstack.io·1d
🩹Self-Healing Systems
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·4d
📚Automata Learning
Signals in the Noise: Decoding Unexpected Engagement Patterns on Twitter
arxiv.org·4d
🎮Verification Games