Feeds to Scour
SubscribedAll
Scoured 15555 posts in 735.4 ms
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
network library for C/C++
mongoose.ws·22h·
Discuss: Hacker News
📻Homebrew Protocols
Preview
Report Post
Tenable Discovers SSRF Vulnerability in Java TLS Handshakes That Creates DoS Risk
tenable.com·1d
🔐Certificate Analysis
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·20h
📊Static Analysis
Preview
Report Post
On MPLS Paths, Tunnels and Interfaces
blog.ipspace.net·2d
📡Network Protocol Design
Preview
Report Post
a transport layer for agentic apps
ably.com·10h·
Discuss: Hacker News
🌊Streaming Systems
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
**How to Build a Service Mesh Sidecar in Go for Microservices Communication**
dev.to·1d·
Discuss: DEV
gRPC
Preview
Report Post
Ark and GENESIS A protocol for sovereign know nodes and consent-based federation
news.ycombinator.com·8h·
Discuss: Hacker News
🤝Consensus Protocols
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·13h·
Discuss: Hacker News
Format Verification
Preview
Report Post
What is API Security?
securityscorecard.com·14h
📦Container Security
Preview
Report Post
[Podcast] NITK Students at IETF: Fresh minds for standards development
blog.apnic.net·11h
📝ABNF Parsing
Preview
Report Post
A 3rd-Party Notion API Sandbox to Provide a Safer Agent Sandbox by The API Evangelist
apievangelist.com·1d
🔒WASM Capabilities
Preview
Report Post
Token Issuer Metadata: A Proposal for Config-as-Code SSO
docs.meetchar.ai·1d·
Discuss: Hacker News
🔐CBOR
Preview
Report Post
Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case
arxiv.org·1d
🧪Protocol Fuzzing
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔧Binary Parsing
Preview
Report Post
emmveqz/grpc-browser-native: Browser to real gRPC services over HTTP/2, without grpc-web
github.com·1d·
Discuss: Hacker News
gRPC
Preview
Report Post
Defence in Depth in Python Security: Why Using Multiple SAST Tools Matters
nocomplexity.com·16h
🔒WASM Capabilities
Preview
Report Post
OWASP Mobile Application Security Explained: How to Put MASVS, MASTG and MASWE Into Practice
nowsecure.com·19h
🔒WASM Capabilities
Preview
Report Post
Building an eBPF/XDP L2 Direct Server Return Load Balancer from Scratch
labs.iximiuz.com·1d·
Discuss: Hacker News
📞WebRTC
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help