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
109296
posts in
2.36
s
Choosing between Amazon ECS Blue/Green Native or AWS
CodeDeploy
in AWS
CDK
aws.amazon.com
·
18h
🏗️
Terraform
Can you disable
multithreaded
calculations
for avoidance logic?
forrestthewoods.com
·
2h
·
Discuss:
r/godot
🧵
Core Scheduling
Hacktoria
:Emergency
TransmissionWalkthrough
(Spoilers Included)
medium.com
·
18h
📝
Write-Ahead Logging
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
21h
·
Discuss:
Lobsters
📦
Serde
UCIe
’s Major Technical
Components
Are Now In Place
semiengineering.com
·
5h
🌊
Memory Bandwidth
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
2d
🔵
Go
Black-Box Kubernetes
Penetration
Testing
Playbook
infosecwriteups.com
·
23h
☸️
Kubernetes
AFMTJ
Model For In-Memory Computing (University of
Arizona
)
semiengineering.com
·
1d
🧠
PIM
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
5d
📐
TLA+
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
1d
📊
Profile-Guided Optimization
SecureFlow
: Automating Cryptographic and Data Flow Security for Modern
Backends
github.com
·
19h
·
Discuss:
DEV
🔍
eBPF Verifier
Show HN: Run AWS
CDK
apps locally -
speeding
up agentic coding
local-web-services.github.io
·
2d
·
Discuss:
Hacker News
🚀
Shuttle
ByteNess/aws-vault
: A vault for
securely
storing and accessing AWS credentials in development environments
github.com
·
23h
📋
etcd
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
10h
·
Discuss:
Hacker News
🔵
Clojure
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
2d
✅
Property Testing
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
20h
·
Discuss:
DEV
🔵
Go
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
∘
Category Theory
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
5h
·
Discuss:
Hacker News
🌊
Seastar Framework
RFC
2549: IP over
Avian
Carriers with Quality of Service
rfc-editor.org
·
16h
📋
Protocol Design
I
Asked
My AI to Find
Vulnerable
AI. It Found 2,442
infosecwriteups.com
·
7h
🛡️
AI Security
Loading...
Loading more...
« Page 3
•
Page 5 »
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