How to Secure a Linux Server
github.com·13h·
Discuss: Hacker News
🔍eBPF
Self-Signed JWTs
selfref.com·5h·
Discuss: Hacker News
⚡Zig
This Week in Security: Spilling Tea, Rooting AIs, and Accusing of Backdoors
hackaday.com·10h
⚡Zig
How Long Before Superintelligence?
nickbostrom.com·1d·
Discuss: Hacker News
🌐Distributed Systems
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·1d·
Discuss: DEV, Hacker News
✅Formal Methods
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
⚡Zig
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
📐Type Theory
Matrix Is Not Safe for EU Data Privacy
wire.com·1d·
Discuss: Hacker News
🔍eBPF
Quoting Christina Wodtke
simonwillison.net·1d
🤖ai
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
🧮Functional Programming
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·2d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·8h·
Discuss: Lobsters, Hacker News
⚡Zig
At 17, Hannah Cairo Solved a Major Math Mystery
quantamagazine.org·10h·
Discuss: Hacker News
📐Type Theory
Introduction to Computer Music an Electronic Textbook
cmtext.com·1d·
Discuss: Hacker News
✅Formal Methods
Does the Bitter Lesson Have Limits?
dbreunig.com·8h·
Discuss: Hacker News
🤖ai
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Zig
Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.com·5h
⚡Zig
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·1d·
Discuss: Hacker News, r/programming
⚙LLVM
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·3d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Vibe coding platform allowed access to private apps
wiz.io·3d·
Discuss: Hacker News, Hacker News
🔍eBPF