Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·17h·
Discuss: Hacker News
🤖AI
Major updates to JSON Web Proof specifications in preparation for IETF 123
self-issued.info·2d
📜Smart Contracts
Revisiting my digital security model
manualdousuario.net·1d·
Discuss: Hacker News
🔗Crypto
Binding Application in Idris
andrevidela.com·1d·
Discuss: Hacker News
⚙️Programming
SAP NetWeaver S/4HANA ABAP Code Execution
packetstorm.news·1d
🔗Crypto
Clustered PostgreSQL
arch.dog·1d·
Discuss: Lobsters, Hacker News
🔄Protocol Design
Undecidability in resource theory: can you tell theories apart?
arxiv.org·3d
✅Formal Verification
Moan-routine: LO's Predicate Signatures
lmika.org·1d
⚙️Programming
Check Point Named a Leader in the 2025 Forrester Wave™: Zero Trust Platforms Evaluation
blog.checkpoint.com·16h
🔄Protocol Design
Rate my desktop linux security setup
discuss.privacyguides.net·2d
🧮Homomorphic Encryption
Preprints: Forecast-LLMs, Dream-Augmented Memory, and Behavioral Safety Mechanisms
reddit.com·17h·
Discuss: r/LLM
🛡️AI Safety
Galois field instructions on 2021 CPUs
corsix.org·1d·
Discuss: Hacker News
🧮Homomorphic Encryption
A Formal Refutation of the Blockchain Trilemma
arxiv.org·3d
🔄Protocol Design
Can adversarial attacks by large language models be attributed?
arxiv.org·2d
🤖AI
The double-edged sword of MCP: Understanding the threat landscape for AI workflows
redcanary.com·1d
🤖AI
Regolith - A JavaScript library immune to ReDoS attacks
github.com·1d
⚙️Programming
Encryption and Decryption in Go: A Hands-On Guide
dev.to·3d·
Discuss: DEV
🔗Crypto
Ditch Passwords, Use Passkeys to Secure Your Account
blogger.com·2d
🔗Crypto
Redefining Identity Management Systems with Blockchain Technology
dev.to·2d·
Discuss: DEV
📜Smart Contracts
BSDCan 2025 Trip Report – Mark Johnston
freebsdfoundation.org·13h
🔧MLIR