Battlefield 6 Forces Enabling Secure Boot, and Call of Duty: Black Ops 7 Is Next
ign.com·15h·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Cheeeck – Stop shipping broken websites
cheeeck.com·1d·
Discuss: Hacker News
🛡️seL4
Civil Service: a Victim or a Villain?
250bpm.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Disclaimer
xkcd.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Marchat v0.2: Terminal chat with E2E encryption and plugin ecosystem
cod-e-codes.com·5d·
Discuss: Hacker News
🍎XNU Internals
Show HN: I built a plugin to create a ChatGPT archive with Typemill CMS
typemill.net·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Against the Computer and Its World
illwill.com·3d·
Discuss: Hacker News
🔬Unikernels
2025.8: The summer of AI ☀️
home-assistant.io·3d·
Discuss: Hacker News
🔬Unikernels
ARCNET: The Sleeping Giant (gitpi.us)
gitpi.us·2d·
Discuss: Hacker News
💾Retro Computing
Why Conspiracy Theories Never Die, Richard Hofstadter's Paranoid Style
medium.com·2d·
Discuss: Hacker News
➡️Category Theory
Revival Hijacking: How Deleted PyPI Packages Become Threats
protsenko.dev·3d·
Discuss: Hacker News
❄️Nixified Development
OpenAI OSS Model Policy Contains Directions on Rokos Basilisk
news.ycombinator.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Car Reinforcement Learning Training
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Tearing Down A Mysteriously Cheap $5 Fiber Optic To Cable TV Adapter
hackaday.com·23h
💾Retro Computing
Automated Test Failures in CICD – what is true cost?
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·5d
✓Automated Theorem Proving
Rust Making Progress On Its 2025 Project Goals
phoronix.com·3d·
Discuss: Hacker News
⎈Kubernetes
The Science Fiction Science Method
arxiv.org·3d
🎮Verification Games
E-VRAG: Enhancing Long Video Understanding with Resource-Efficient Retrieval Augmented Generation
arxiv.org·4d
➡️Category Theory
S-RRG-Bench: Structured Radiology Report Generation with Fine-Grained Evaluation Framework
arxiv.org·4d
🧪Property-Based Testing