Disney's ESPN to acquire NFL media assets in major deal
cnbc.com·2d·
Discuss: Hacker News
❄️Nix
Dairy's Great Consolidation: What's Behind the Loss of 15,000 Farms
thebullvine.com·1d·
Discuss: Hacker News
🐫OCaml
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Linux Virus
brajeshwar.com·2d·
Discuss: Hacker News
🍎XNU Internals
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Trump says JPMorgan Chase, Bank of America rejected him as a bank customer
cnbc.com·2d·
Discuss: Hacker News, r/Economics
❄️Nix
Docker in Proxmox – Should You Use a VM or an LXC Container? I broke it down in a guide
edywerder.ch·2d·
Discuss: r/homelab
⎈Kubernetes
Australia’s Space Program Finally Gets Off The Pad, But Only Barely
hackaday.com·1d
🖥️Self-hosted Infrastructure
Co-designing Zoomorphic Robot Concepts for Animal Welfare Education
arxiv.org·2d
🔠Type-Level Programming
Relationship between Perceived Maneuverability and Involuntary Eye Movements under Systematically Varied Time Constants of Ride-on Machinery
arxiv.org·1d
🔄Finite State Machines
Inequality in the Age of Pseudonymity
arxiv.org·1d
🎮Verification Games
Web3 x AI Agents: Landscape, Integrations, and Foundational Challenges
arxiv.org·2d
🛡️seL4
Have 5 Old PCs, 100Mbps Internet, and 24/7 Power – What Direction Should I Take for a Homelab?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Large Language Models Reasoning Abilities Under Non-Ideal Conditions After RL-Fine-Tuning
arxiv.org·47m
✓Automated Theorem Proving
Numerical analysis of the stochastic Navier-Stokes equations
arxiv.org·47m
🐫OCaml
CloudStack+KVM based RPi5 Homelab
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Show HN: ReplyFast – Instantly reply to emails in your own tone (1-click)
news.ycombinator.com·4d·
Discuss: Hacker News
❄️Nix
Actionable Counterfactual Explanations Using Bayesian Networks and Path Planning with Applications to Environmental Quality Improvement
arxiv.org·3d
✓Automated Theorem Proving
The Manipulative Power of Voice Characteristics: Investigating Deceptive Patterns in Mandarin Chinese Female Synthetic Speech
arxiv.org·4d
💻CS
Algorithmic Recourse in Abnormal Multivariate Time Series
arxiv.org·3d
➡️Category Theory