Wyoming Highway Patrol Backs State Bill to Ban Non-English Speaking Truckers
cowboystatedaily.com·1d·
Discuss: Hacker News
🛡️seL4
Grinding Through Depression
ravi64.com·1d·
Discuss: Hacker News
🎮Verification Games
Natural Property Rights: A Volokh Conspiracy Preview
reason.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
I sat down with the new SEC Crypto Task Force, they are legit
blog.phor.net·4d·
Discuss: Hacker News
📡Network Protocol Design
MAGA’s March Toward a Command Economy
insights.som.yale.edu·1d·
Discuss: Hacker News, r/Economics
🍎Apple
AI Can't Help You Write Well
jade.ellis.link·3d·
Discuss: Hacker News
🛡️seL4
GDP Will Reflect "AI" (Response to Dwarkesh Patel's Concern)
nominalnews.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Defending a City from Multi-Drone Attacks: A Sequential Stackelberg Security Games Approach
arxiv.org·4d
🎮Verification Games
What things would you do with access to an abundance of m.2 SSD's? (256GB-1TB)
i.redd.it·4d·
Discuss: r/homelab
💾Retro Computing
AI Is Power-Hungry
paulkrugman.substack.com·4d·
Discuss: Substack
💾Retro Computing
Can I use an M.2 NVMe to SATA adapter on the HP EliteDesk 800 G1 Mini’s M.2 slot?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Running OPNsense Bare Metal or Virtualized (Proxmox)?
reddit.com·6d·
Discuss: r/homelab
📦Unikernel Systems
HierOctFusion: Multi-scale Octree-based 3D Shape Generation via Part-Whole-Hierarchy Message Passing
arxiv.org·4d
➡️Category Theory
I'm blaming y'all for this.
reddit.com·4d·
Discuss: r/homelab
💾Retro Computing
Can We Tell if ChatGPT is a Parasite? Studying Human-AI Symbiosis with Game Theory
arxiv.org·4d
🎮Verification Games
Training Machine Learning Models on Human Spatio-temporal Mobility Data: An Experimental Study [Experiment Paper]
arxiv.org·3d
🔠Type-Level Programming
Intelligent Edge Resource Provisioning for Scalable Digital Twins of Autonomous Vehicles
arxiv.org·4d
⚙️Operating System Design
Latest React Router Release Improves Middleware API
thenewstack.io·6d
🔬Unikernels
ASAudio: A Survey of Advanced Spatial Audio Research
arxiv.org·4d
🏹Effect Systems
Failures to Surface Harmful Contents in Video Large Language Models
arxiv.org·4d
🎮Verification Games