🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌐 NetworkProtocols
TLS, Formal Specification, Protocol State Machines, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com
·
1d
·
Discuss:
Hacker News
❄️
Nix
A Formal Refutation of the Blockchain Trilemma
arxiv.org
·
2d
🐫
OCaml
Ever looked at an MCP server and wondered why we’re running a whole wrapper just to pass JSON through? So I scrapped the wrapper entirely and let agents call th...
reddit.com
·
14h
·
Discuss:
r/programming
🛡️
seL4
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev
·
10h
·
Discuss:
Hacker News
👁️
System Observability
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org
·
23h
·
Discuss:
Hacker News
📡
Network Protocol Design
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com
·
14h
·
Discuss:
r/homelab
🏠
HomeLab
Show HN: Please check out my Free OpenAPI audit tool
devunus.com
·
13h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Full QuickJS Support for Nginx
blog.nginx.org
·
7h
·
Discuss:
Hacker News
🔤
DSLs
Critical Analysis of the Meshtastic Protocol
disk91.com
·
17h
·
Discuss:
Hacker News
📡
Network Protocol Design
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com
·
3h
·
Discuss:
Hacker News
👁️
System Observability
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org
·
6h
🔍
Formal Verification
A Refreshing SQL Injection Discovery in Z-Push
xbow.com
·
17h
·
Discuss:
Hacker News
🛡️
seL4
Setting Up Your Own Certificate Authority for Development
isc.sans.edu
·
1d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Opossum Attack: Application Layer Desynchronization Using Opportunistic TLS
opossum-attack.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
Monitoring My Homelab, Simply
b.tuxes.uk
·
23h
·
Discuss:
Lobsters
,
Hacker News
👁️
System Observability
Implementing OAuth2 in Node.js: Where to Start?
oauth.net
·
2d
·
Discuss:
r/programming
📡
Network Protocol Design
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
17h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Croissant! Building a No-Framework Web App
dbushell.com
·
2h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com
·
1d
·
Discuss:
r/devops
,
r/programming
🖥️
Self-hosted Infrastructure
Loading...
Loading more...
Page 2 »