🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔒 S2N-QUIC
AWS QUIC, Formal Verification, Performance
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
253460
posts in
2.48
s
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io
·
12h
📐
TLA+
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Does the QUIC handshake require compression to be fast?
fastly.com
·
1d
·
Discuss:
Hacker News
⚡
QUIC Protocol
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
<p>**Abstract:** This paper proposes a novel framework for Federated Quantum Key Distribution (FQKD) integrating adaptive trust management mechanisms to enhance...
freederia.com
·
2h
⚛️
Quantum Computing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Building a Full-Stack E-Commerce Platform with AWS
dev.to
·
16h
·
Discuss:
DEV
🚀
Shuttle
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
IPC in Rust
3tilley.github.io
·
1d
🌊
Glommio
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Cloudflare Open Sources tokio‑quiche, Promising Easier QUIC and HTTP/3 in Rust
infoq.com
·
19h
🦀
Pingora
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac
·
3d
🤝
Paxos
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
LangChain core vulnerability allows prompt injection and data exposure
securityaffairs.com
·
9h
🔍
eBPF Verifier
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Microservices work perfectly fine while you’re just returning simple JSON. But the moment you start real-time token streaming from multiple AI agents simultaneously — distributed architecture turns…
linkedin.com
·
1d
·
Discuss:
r/programming
🎯
Microservices
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏗️
Pavex
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Improved Simulation of Stabilizer Circuits
paperium.net
·
19h
·
Discuss:
DEV
⚛️
Quantum Computing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io
·
11h
·
Discuss:
DEV
📞
Tauri IPC
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Think Your Python Code Is Slow? Stop Guessing and Start Measuring
towardsdatascience.com
·
1d
📊
Profiling Tools
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The 3 a.m. Call That Changed The Way I Design APIs
thenewstack.io
·
9h
💓
PHI Accrual
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com
·
15h
·
Discuss:
r/LocalLLaMA
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk
·
6h
·
Discuss:
Hacker News
🏷️
Memory Tagging
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.com
·
2d
·
Discuss:
r/cpp
🔨
Incremental Compilation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
sys4/smtp-dane-verify: SMTP DANE verify is a service that let’s you monitor and detect typical DANE related problems for DANE-enabled inbound SMTP services.
github.com
·
1d
·
Discuss:
Hacker News
🧪
Jepsen Testing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org
·
1d
📐
TLA+
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.to
·
1d
·
Discuss:
DEV
🏗️
Terraform
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »