VCU upgrades free mini food pantries on campus (2023)
insidehighered.com·5h·
Discuss: Hacker News
⚙️Operating System Design
Announcing Neki
planetscale.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: AI-Powered Trip Planner
apps.apple.com·2d·
Discuss: Hacker News
🍎Apple
Help improve federal mass transit policy
slowboring.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Sandstorm- self-hostable web productivity suite
sandstorm.org·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com·4d·
Discuss: Hacker News
🎮Verification Games
What helps the brain stay healthy
neurofrontiers.blog·1d·
Discuss: Hacker News
🏹Effect Systems
The Fire Between: Agency as Creative Field
philosophermaker.substack.com·13h·
Discuss: Substack
🛡️seL4
The Missing Service: Notify One Time
deanebarker.net·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AdaBoost is not an Optimal Weak to Strong Learner
arxiv.org·2d
🎮Verification Games
LLM-based Agents for Automated Confounder Discovery and Subgroup Analysis in Causal Inference
arxiv.org·2d
✓Automated Theorem Proving
BiXSE: Improving Dense Retrieval via Probabilistic Graded Relevance Distillation
arxiv.org·2d
➡️Category Theory
MIND: A Noise-Adaptive Denoising Framework for Medical Images Integrating Multi-Scale Transformer
arxiv.org·2d
🏹Effect Systems
Isolating Docker containers from home network — but some need LAN & VPN access. Best approach
reddit.com·1d·
Discuss: r/homelab
⎈Kubernetes
M5 chip is coming to iPad first, but this time will be different
9to5mac.com·1d
🍎Apple
Cross-Subject and Cross-Montage EEG Transfer Learning via Individual Tangent Space Alignment and Spatial-Riemannian Feature Fusion
arxiv.org·2d
💻CS
Understanding reinforcement learning for model training from scratch
medium.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The EU Just Made Product Security Mandatory — Now What? (WHY2025)
cdn.media.ccc.de·4d
🛡️seL4
OmniEAR: Benchmarking Agent Reasoning in Embodied Tasks
arxiv.org·6d
✓Automated Theorem Proving
Linus Torvalds Rejects RISC-V Changes For Linux 6.17: "Garbage"
phoronix.com·5d·
Discuss: Hacker News, Hacker News
🍎XNU Internals