The Why of PGP Authentication
articles.59.caยท2d
๐Ÿ”‘Cryptographic Protocols
What is Mobile Threat Defense (MTD)?
jamf.comยท3d
๐ŸŽฏThreat Hunting
Linux SBCs for development + RE
zetier.comยท3d
๐ŸŽฏEmulator Accuracy
A disenshittification moment from the land of mass storage
doctorow.medium.comยท2d
๐ŸงฒMagnetic Philosophy
Fighting Email Spam on Your Mail Server with LLMs โ€” Privately
cybercarnet.euยท1dยท
โšกgRPC
Three gripes about Go modules
jotaen.netยท2dยท
Discuss: Hacker News
๐Ÿ”“Reverse engineering
Performant 2D Renderer: A Tour of Cute Framework's Renderer
randygaul.github.ioยท1dยท
Discuss: Hacker News
๐ŸŽฏEmulator Accuracy
Using LibreChat to run your own chatbot connected to your MCP's
napsty.comยท16hยท
Discuss: Hacker News
โšกgRPC
Three ways formally verified code can go wrong in practice
buttondown.comยท2dยท
๐Ÿ“œProof Carrying Code
Generalized Orders of Magnitude (GOOMs)
github.comยท1dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธTensor Networks
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
โš™๏ธProof Engineering
The Agentic Era: From Artificial Intelligence to Cognitive Infrastructure
dev.toยท1hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Show HN: Plural โ€“ Bringing AI to DevOps the way Cursor did for coding
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Adversary TTP Simulation Lab
infosecwriteups.comยท5d
๐Ÿ Homelab Pentesting
Making Kubernetes learning more collaborative
reddit.comยท3dยท
Discuss: r/kubernetes
๐ŸŒฑPersonal Wikis
๐Ÿงฑ The SOLID Principles Explained (Like Youโ€™re a Developer Who Actually Writes Code)
dev.toยท6hยท
Discuss: DEV
๐ŸšShell Calculus
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.comยท1dยท
Discuss: Hacker News
๐ŸงฎAlgebraic Datatypes
Redis patches 13-Year-Old Lua flaw enabling Remote Code Execution
securityaffairs.comยท4d
๐ŸŒWASI
Patina project โ€“ a Rust implementation of UEFI firmware
github.comยท2dยท
๐Ÿฆ€Embedded Rust