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

I was a consultant at Accenture. Here's why I opted out of climbing the corporate ladder.
businessinsider.comยท2h
โณTime Capsule Networks
Digital Forensics Round-Up, September 03 2025
forensicfocus.comยท2d
๐ŸšจIncident Response
DLL ForwardSideloading, Part 2
hexacorn.comยท2d
๐Ÿ”—Assembly Linking
Signal Processing Recipes for Communication Systems
wirelesspi.comยท3dยท
Discuss: Hacker News
๐ŸŒŠDigital Signal Processing
Detail about Linkity Link
bradbarrish.comยท3dยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Pg_guard: Database Proxy for Programming Agents
blog.jonaylor.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rusty Databases
For all that's holy, can you just leverage the Web, please?
blog.tomayac.comยท3dยท
Discuss: Hacker News
๐ŸบZIP Archaeology
Comment Directives for Claude Code
giuseppegurgone.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Why RDF Is the Natural Knowledge Layer for AI Systems
bryon.ioยท1dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธKnowledge Graphs
The Three Sacred Guardrails of AI
aboard.comยท1dยท
Discuss: Hacker News
โšกProof Automation
WasiPy โ€“ Python Interpreter in Wasi
github.comยท3dยท
Discuss: Hacker News
โš™๏ธWASM Runtime
Lexxy โ€“ a modern text editor for Rails from 37signals
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“„PostScript
Raylib helpers for Go
reddit.comยท2dยท
Discuss: r/golang
ฮปLambda Formalization
Merge Forward Meeting - 2025-09-02
youtube.comยท1d
๐ŸŒŠApache Kafka
Home server from old office PCs
reddit.comยท16hยท
Discuss: r/homelab
๐Ÿ Homelab Archaeology
Black Hat Training Attendees Scan Aviation Organization
blogs.cisco.comยท2d
๐ŸŽฏThreat Hunting
The future is here: AI-borne ransomware has arrived
reversinglabs.comยท3d
๐Ÿ”“Hacking
Fil's Unbelievable Garbage Collector
fil-c.orgยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿง Separation Logic
Robots by Request: Designing Intelligent Machines with Natural Language by Arvind Sundararajan
dev.toยท11hยท
Discuss: DEV
๐Ÿค–AI Translation
Why 'Clean Code' Is Harder Than It Sounds
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap