🔗 Hash Chains

Merkle Trees, Blockchain Fundamentals, Integrity Verification, Tamper Detection

Derek Elkins: Arithmetic Functions
hedonisticlearning.com·10h
⚔️Lean Theorem
How HackerOne Uses AI to Triage, Prioritize, and Validate Code Scanner Findings at Scale
hackerone.com·1d
⚡Proof Automation
Show HN: Ultra-fast, embedded KV store in pure Rust
github.com·1d·
Discuss: Hacker News
🦀Rusty Databases
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
AI Agents Need Data Integrity
schneier.com·22h·
Discuss: www.schneier.com
🛡️Preservation Proofs
Beyond the Hype: Critical Takeaways From BlackHat and Defcon
thenewstack.io·17h
🎯Threat Hunting
Is a new privacy protocol helping malicious actors more than Internet users?
techradar.com·2d
🔐Homomorphic Encryption
Changelog: Determinate now has a nix-darwin module, plus loads of performance perks
determinate.systems·1d
❄️Nix Adoption
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·18h·
Discuss: Hacker News
⚡Proof Automation
My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org·2d·
Discuss: Hacker News
💣ZIP Vulnerabilities
SecureBitChat v4.01.412 Release
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·19h·
Discuss: Substack
🖥️Game Emulation
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·16h·
Discuss: DEV
🔐Cryptographic Archaeology
Your Connection, Their Cash: Threat Actors Misuse SDKs to Sell Your Bandwidth
unit42.paloaltonetworks.com·1d
🌐DNS Security
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·17h·
Discuss: Hacker News
🚚Data Migration
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·17h
🔗Tailscale
Phishing in the Cloud: SendGrid Campaign Exploits Account Security
cofense.com·2d
🛡Cybersecurity
Centrally Collecting Events from Go Microservices
pliutau.com·20h·
Discuss: r/golang
📝Log Parsing
Why Latency Lies to You
systemssaturday.substack.com·1d·
Discuss: Substack
👁️Observatory Systems
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·16h·
Discuss: Hacker News
⚡Dependent Rust