🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🌐 NetworkProtocols

TLS, Formal Specification, Protocol State Machines, Verification

Data: a swift-foundation deep-dive
blog.jacobstechtavern.com·2d
🏺Protocol Archaeology
storing passwords with age
j3s.sh·2d
🔓Password Cracking
ClassDistribution is really neat
bernsteinbear.com·1d·
Discuss: Hacker News
📏Code Metrics
Fake Logins, Real Costs: The OTP Bug Worth €X,XXX
infosecwriteups.com·4h
🎫Kerberos Attacks
International Criminal Court says it was hit by sophisticated cyberattack
techradar.com·1d
🎫Kerberos Attacks
PPFL-RDSN: Privacy-Preserving Federated Learning-based Residual Dense Spatial Networks for Encrypted Lossy Image Reconstruction
arxiv.org·1d
🔒Privacy Preserving
A Simple Algorithm for Trimmed Multipoint Evaluation
arxiv.org·1d
📐Error Bounds
Hardness and Tight Approximations of Demand Strip Packing
arxiv.org·1d
📼Tape Combinators
Lazy B-Trees
arxiv.org·1d
🌲B-tree Variants
BlackBoxToBlueprint: Extracting Interpretable Logic from Legacy Systems using Reinforcement Learning and Counterfactual Analysis
arxiv.org·1d
⛏️Proof Mining
Show HN: I created AI Maturity Model for Software Engineering Teams
github.com·17h·
Discuss: Hacker News, r/SoftwareEngineering
🔄Archival Workflows
Lightning Talk: Beyond Good Enough: Why We Want a Kotlin API and SDK - Hanson Ho, Embrace
youtube.com·1d
💧Liquid Types
CodeSOD: It's Not Wrong to Say We're Equal
thedailywtf.com·2d
✅Format Verification
FreeBSD ZFS Encryption Bug Fix
discoverbsd.com·34m
🐡OpenBSD
WIREGUARD VPN SETUP
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Security
Building Autonomous AI Agents in .NET: Let GPT Handle Your Business Workflows
dev.to·2d·
Discuss: DEV
⚡Proof Automation
The Confidence Paradox: Can LLM Know When It's Wrong
arxiv.org·2d
🧠Intelligence Compression
Agent-to-Agent Theory of Mind: Testing Interlocutor Awareness among Large Language Models
arxiv.org·2d
💻Local LLMs
Powering AI Personalization with Your PostgreSQL Data and Shaped
shaped.ai·1d
🗄️PostgreSQL WAL
Memory Safety in Web Rust System Zero Cost Secure(1751130747707300)
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Loading...Loading more...
AboutBlogChangelogRoadmap