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
112318
posts in
1.12
s
Kiro
: DeepSeek,
MiniMax
, and Qwen now available as open weight model options
kiro.dev
·
10h
·
Discuss:
Hacker News
🦙
Ollama
Hacktoria
:Emergency
TransmissionWalkthrough
(Spoilers Included)
medium.com
·
6h
📝
Write-Ahead Logging
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
1d
🔵
Go
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
2d
🦙
Ollama
CodeSOD
:
Cover
Up
thedailywtf.com
·
19h
📡
SonarQube
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
14h
🌀
Naiad
AFMTJ
Model For In-Memory Computing (University of
Arizona
)
semiengineering.com
·
1d
🧠
PIM
Choosing between Amazon ECS Blue/Green Native or AWS
CodeDeploy
in AWS
CDK
aws.amazon.com
·
6h
🏗️
Terraform
[
AINews
] Qwen Image 2 and
Seedance
2
latent.space
·
20h
🌀
Naiad
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
10h
·
Discuss:
Hacker News
🔄
Glommio vs Tokio
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
5d
📐
TLA+
Reliable
Deployments
for Large Kubernetes Fleet
fastly.com
·
2d
☸️
Kubernetes
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
1d
·
Discuss:
r/LocalLLaMA
📊
Dynamic Programming
Rewrote
my Node.js data generator in Rust. 20x faster, but the 15MB binary (vs 500MB node_
modules
) is the real win.
algomimic.com
·
1d
·
Discuss:
r/rust
🌟
Neon
remote
locks
and
distributed
locks
tautik.me
·
10h
🔒
Two-Phase Locking
Flash Freezing Flash Boys:
Per-transaction
encryption to fight malicious
MEV
cointelegraph.com
·
1d
🔄
Hardware Transactional Memory
On A
Parameterized
Theory of Dynamic Logic for
Operationally-based
Programs
arxiv.org
·
20h
✅
Model Checking
KeyleSSH
: A New PAM Concept for IT
Admins
dev.to
·
18m
·
Discuss:
DEV
🔐
Capability Systems
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
13h
·
Discuss:
Lobsters
📦
Nix Flakes
Mastering Amazon
Bedrock
throttling
and service availability: A comprehensive guide
aws.amazon.com
·
9h
🦀
Pingora
Loading...
Loading more...
« Page 1
•
Page 3 »
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