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
110686
posts in
1.39
s
Can you disable
multithreaded
calculations
for avoidance logic?
forrestthewoods.com
·
7h
·
Discuss:
r/godot
🧵
Core Scheduling
Hacktoria
:Emergency
TransmissionWalkthrough
(Spoilers Included)
medium.com
·
23h
📝
Write-Ahead Logging
UCIe
’s Major Technical
Components
Are Now In Place
semiengineering.com
·
10h
🌊
Memory Bandwidth
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
2d
🔵
Go
How to Build a Privacy-Preserving Federated Pipeline to Fine-Tune Large Language Models with
LoRA
Using Flower and
PEFT
marktechpost.com
·
2d
🦙
Ollama
AFMTJ
Model For In-Memory Computing (University of
Arizona
)
semiengineering.com
·
2d
🧠
PIM
I built a
zero-noise
AI code review agent using Claude Code
medium.com
·
23h
·
Discuss:
Hacker News
🎭
Program Synthesis
ANIMAGUS
: A Provably Secure
Accordion
Mode of Operation
eprint.iacr.org
·
1d
🔒
Tetragon
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
∘
Category Theory
Choosing between Amazon ECS Blue/Green Native or AWS
CodeDeploy
in AWS
CDK
aws.amazon.com
·
23h
🏗️
Terraform
Stop "Hope-Based" Security: Why Your
CI/CD
Needs a
Deterministic
Gate
github.com
·
4h
·
Discuss:
DEV
🔍
eBPF Verifier
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
1d
·
Discuss:
Hacker News
⚛️
Quantum Computing
PICASSO: Scaling
CHERI
Use-After-Free Protection to Millions of
Allocations
using Colored Capabilities
arxiv.org
·
1d
🧩
Cache Partitioning
Dear
Agent:
Prove
it.
rijnard.com
·
13h
·
Discuss:
Hacker News
✓
Formal Verification
SecureFlow
: Automating Cryptographic and Data Flow Security for Modern
Backends
github.com
·
1d
·
Discuss:
DEV
🔍
eBPF Verifier
What AI Security Research Looks Like When It Works
aisle.com
·
2d
🛡️
AI Security
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
15h
·
Discuss:
Hacker News
🔵
Clojure
Redefining
Go
Functions
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🐹
golang
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
20h
·
Discuss:
Hacker News
🌈
Nannou
From 97% Model Accuracy to 74% Clinical Reliability: Building
RSN-NNSL-GATE-001
dev.to
·
1h
·
Discuss:
DEV
🏗️
Cranelift
Loading...
Loading more...
« Page 5
•
Page 7 »
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