🐿️ 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

TLS and QUIC: A Masochist's Guide
quic.video·17h·
Discuss: Hacker News
🛡️seL4
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·5h
🛡️seL4
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·7h·
Discuss: Hacker News
🔄Reproducible Builds
From Local Hack to Production: How We Solved the MCP Multi-Tenant Auth Problem
braingrid.ai·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Dart implementation of the libp2p networking stack
github.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Your Signal, Their Data: Privacy Analysis of Wireless-Scanning SDKs in Android
dspace.networks.imdea.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I built a Redis-like server in Go, just for fun and learning – supports redis-cli, RESP protocol, and TTL!
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Mythbusting IPv6: Why Adoption Lags and What Will Change It
thenewstack.io·1d
📡Network Protocol Design
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
RFC 862: Echo Protocol
datatracker.ietf.org·20h·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
Announcing Precomputed Reachability Analysis in Socket
socket.dev·13h·
Discuss: Hacker News
🛡️seL4
Unit Testing in NestJS for Node Using Suites (Formerly Automock)
blog.appsignal.com·19h·
Discuss: Hacker News
🧪Property-Based Testing
The First Few Milliseconds of an HTTPS Connection
moserware.com·1d·
Discuss: Hacker News
🛡️seL4
Web Embeddable Common Lisp
ecl.common-lisp.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·5h
🔬Static Analysis
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.org·1d
🧱Immutable Infrastructure
Show HN: Finch – a fingerprint-aware TLS reverse proxy
github.com·3d·
Discuss: Hacker News
🛡️seL4
Automating container notes in Proxmox — built a small tool to streamline it - first Github code project
reddit.com·17h·
Discuss: r/homelab
👁️System Observability
Get Started with the Open Floor Protocol (OFP)
openfloor.dev·19h·
Discuss: Hacker News
🤖Program Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap