๐Ÿฟ๏ธ 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

SwiNOG 40: Application-Based Source Routing with SRv6
blog.ipspace.netยท10h
๐Ÿ“กBGP Archaeology
The Hidden Risk of Consumer Devices in the Hybrid Workforce
darkreading.comยท1d
๐Ÿ Homelab Security
How AWS averted an AI coding supply chain disaster
reversinglabs.comยท1d
โš™๏ธProof Engineering
Developer Spotlight: Drivers of Innovation โ€“ The Chowmain Way
blogs.qsc.comยท21h
๐Ÿ”ŒInterface Evolution
Librem Post Quantum Cryptography Comms Server
puri.smยท18hยท
Discuss: Hacker News
๐Ÿ”HSM Integration
SuperNICs Explained and Compared to DPUs
technetbooks.comยท23hยท
Discuss: Hacker News
โšกCompression Hardware
I Vibecoded my first app
apps.apple.comยท20hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
PromptLock: First AI-Powered Ransomware Emerges
securityweek.comยท5hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Classic Psion fan releases proof-of-concept language server for OPL
theregister.comยท1h
๐Ÿ•น๏ธRetro Gaming
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.comยท3dยท
Discuss: Lobsters, Hacker News
๐Ÿ”FPGA Verification
Implementing Forth in Go and C
eli.thegreenplace.netยท13hยท
Discuss: Lobsters, Hacker News, Hacker News
๐Ÿ”—Concatenative Programming
Why Iโ€™m Against Claude Codeโ€™s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.ioยท2dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Show HN: SecretMemoryLocker โ€“ File Encryption Without Static Passwords
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”Archive Encryption
Canary Deployment and Traffic Shifting with Kubernetes and Istio
blog.devops.devยท2d
๐Ÿ“กNetwork Monitoring
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.comยท5hยท
Discuss: Lobsters, Hacker News
โš”๏ธLean Tactics
The MCP Threat Landscape: Security Risks Every Developer Must Know
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ฆContainer Security
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.orgยท13h
๐Ÿง Intelligence Compression
vLLM on x86: Because Not Everyone Can Afford a GPU Cluster
dev.toยท1dยท
Discuss: DEV
โšกHomebrew CPUs
A Dynamic Approach to Collaborative Document Writing
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.orgยท1d
๐Ÿ”งHardware Verification
Loading...Loading more...
AboutBlogChangelogRoadmap