Why `git diff` sometimes hangs for 10 seconds on Windows (it's Defender's behavioral analysis, and file exclusions won't help)
learn.microsoft.com·3d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Phishing training is pretty pointless, researchers find
scworld.com·3h·
Discuss: Hacker News
📡Network Protocol Design
Many Vulnerabilities Addressed by Intel, AMD, Nvidia
securityweek.com·5d·
Discuss: Hacker News
📦Unikernel Systems
HTTP/2 implementations are vulnerable to "MadeYouReset" DoS attack
kb.cert.org·4d·
Discuss: Hacker News
🌐NetworkProtocols
Beyond Booleans
overreacted.io·2d·
Discuss: Lobsters, r/javascript, r/programming, r/typescript
✓Automated Theorem Proving
Microsoft is getting ready to return to the office
theverge.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The C Pointer Card Game - Pointers, Arrays and Strings for Kids
punkx.org·1d·
Discuss: Hacker News
🎮Verification Games
How Should We Evaluate Healthcare AI?
outofpocket.health·3d·
Discuss: Hacker News
🎮Verification Games
Elon Musk and Sam Altman's AI Feud Gets Nasty
time.com·3h·
Discuss: Hacker News
🍎Apple
GitHub Copilot: Remote Code Execution via Prompt Injection (CVE-2025-53773)
embracethered.com·5d·
Discuss: Hacker News
❄️Nixified Development
Sam Altman sees AI bubble forming
cnbc.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
It's Not 10x. It's 36x – This Is What It Looks Like to Kill a $30k Meeting
cameronwestland.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Poisoned telemetry can turn AIOps into AI Oops, researchers show
theregister.com·6d·
Discuss: Hacker News
🔍Formal Verification
Rubberduck: Emulate OpenAI/Anthropic locally with caching and failure injection
github.com·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
Looking for Network Solution (Recommendations for / Necessity of Router, Switch, WAP)
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Emerging Skycube
arxiv.org·3d
🧱Immutable Infrastructure
Combining Machine Learning Defenses without Conflicts
arxiv.org·3d
✓Automated Theorem Proving
Collective dynamics of strategic classification
arxiv.org·4d
🎮Verification Games
Apple releases visionOS 26 developer beta 7
9to5mac.com·56m
🍎Apple
Linear scan register allocation on SSA
bernsteinbear.com·5d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation