Yes, the referee might be biased. Discipline in English football
blog.engora.com·35m·
Discuss: Hacker News
✅Formal Methods
L. E. Modesitt, jr. interview (2024)
fantasyhotlist.blogspot.com·14h·
Discuss: Hacker News
🦀Rust
The possibility of a giant impact on Venus
arxiv.org·2d·
Discuss: Hacker News
🎨Rendering
Show HN: A creative writing game that makes writing fun for kids
storywritinglab.com·1d·
Discuss: Hacker News
🦀Rust
NetBSD New build cluster speeds up daily autobuilds
blog.netbsd.org·4d·
Discuss: Lobsters, Hacker News
🔒Cryptography
Updated Portal Map Editor in Battlefield 6 Runs on Godot Engine
80.lv·4d·
Discuss: Hacker News
✅Formal Methods
Meta places order for its next ASIC-powered AI servers with Broadcom and Quanta
datacenterdynamics.com·4d·
Discuss: Hacker News
🔒Cryptography
Musk Embedding Ads Into X’s Chatbot
pymnts.com·2d·
Discuss: Hacker News
🔒Cryptography
LG ordered to pay £150k after phone defect caused Scotland house fire
theregister.com·2d·
Discuss: Hacker News
✅Formal Methods
Fail-Open: Reckless or Resilient?
nextorbit.co·3d·
Discuss: Hacker News
🔒Cryptography
Why the U.S. China Hawks Are Hurting the U.S.
thefp.com·4d·
Discuss: Hacker News
🔒Cryptography
Predictive CI: Why Smart Teams Are Making the Switch
usetusk.ai·4d·
Discuss: Hacker News
✅Formal Methods
FLUX.1-Krea & the Rise of Opinionated Models
dbreunig.com·4d·
Discuss: Hacker News
🎨Rendering
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Rails ViewComponent 4.0.0
github.com·4d·
Discuss: Hacker News
🦀Rust
Secure Protocols for Best Arm Identification Using Secret Sharing Schemes
eprint.iacr.org·1d
🔐Zero-Knowledge Proofs
Show HN: Potty – A Python CLI tool to download Spotify music using yt-dlp
github.com·19h·
Discuss: Hacker News
✅Formal Methods
Show HN: Octofriend, a cute coding agent that can swap between GPT-5 and Claude
github.com·1d·
Discuss: Hacker News
🦀Rust
Web browsers with AI assistants built-in are coming
manualdousuario.net·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
APIs Don't Make Good MCP Tools
reillywood.com·2d·
Discuss: Hacker News
✅Formal Methods