Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔒 S2N-QUIC
AWS QUIC, Formal Verification, Performance
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
109554
posts in
4.42
s
Open Compute taps
IOWN
to help design distributed
datacenters
and a 'computing continuum'
theregister.com
·
1d
🌍
Edge Computing
Introducing
reusable
Connections in the
Debezium
Platform
debezium.io
·
1d
🐝
Cilium
Only A Few AI
Platforms
Can
Survive
nextplatform.com
·
10h
🧩
mimalloc
How to
Automate
AWS Incident Investigation with
Tines
and AI
bleepingcomputer.com
·
1d
💓
PHI Accrual
CloudFront
Adds Origin
mTLS
Authentication for End-to-End Zero Trust
infoq.com
·
1d
🐝
Cilium
Spotlight on
SIG
Architecture: API
Governance
kubernetes.io
·
12h
🎨
API Design
zkAgent
:
Verifiable
Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org
·
4d
✅
Model Checking
*A Machine‑Learning Guided
Counterexample
‑Based
Abstraction
Refinement Framework for Probabilistic Duration‑Preserving Verification of Real‑Time Concurrent Systems*
freederia.com
·
6d
✅
Model Checking
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
2d
🧮
SMT Solvers
Monitor
Jailbreaking
:
Evading
Chain-of-Thought Monitoring Without
lesswrong.com
·
19h
🦅
Falco
GLM
5 is already on
huggingface
!
huggingface.co
·
18h
·
Discuss:
r/LocalLLaMA
🦙
Ollama
HTTP/2
From
Scratch
: Part 1
kmcd.dev
·
1d
🔌
gRPC
AI
Inference
Needs A
Mix-And-Match
Memory Strategy
semiengineering.com
·
4h
🌊
Memory Bandwidth
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
3d
🔓
Lock-Free Programming
MDST
Engine: run
GGUF
models in the browser with WebGPU/WASM
mdst.app
·
22h
·
Discuss:
Hacker News
🎮
WebGPU
Architectural Foundations for
Checkpointing
and Restoration in Quantum
HPC
Systems
arxiv.org
·
1d
♻️
Epoch-Based Reclamation
Benchmark
Software Testing: How to Know Your App Is Actually Fast
dev.to
·
4h
·
Discuss:
DEV
🚀
Performance
Building a
Slack
Bot
siivikko.fi
·
2d
·
Discuss:
Hacker News
⚡
FastAPI
RuleFlow
: Generating Reusable Program
Optimizations
with LLMs
arxiv.org
·
1d
📊
Profile-Guided Optimization
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
20h
·
Discuss:
Hacker News
💰
TigerBeetle
Loading...
Loading more...
« Page 6
•
Page 8 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help