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
🔄 Protocol State Machines
Network Protocols, Finite Automata, Implementation, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123709
posts in
1.41
s
QtWidgets
to
QtQuick
, An Application Journey Part 2
qt.io
·
1d
🌉
Cross-Platform FFI
Event
sourcing
pattern
docs.aws.amazon.com
·
2d
↔️
Bidirectional Sync
Don't pass on small block
ciphers
00f.net
·
1d
🔗
Hash Functions
Vigil
Network: Information Architecture and Communication
Standards
stationeering.substack.com
·
1d
·
Discuss:
Substack
🛡️
Security Type Systems
Understanding Providers and
Dependency
Injection in
NestJS
en.wikipedia.org
·
22h
·
Discuss:
DEV
🔀
Control Structures
Insecurity
of Quantum Secure
Computations
paperium.net
·
1d
·
Discuss:
DEV
🔗
Hash Functions
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
1d
·
Discuss:
r/rust
🦀
MIR Optimization
gRPC
deep dive: from service
definition
to wire format
kreya.app
·
2d
·
Discuss:
Hacker News
📡
Network Serialization
Observe
emergent
behavior in autonomous multi-agent LLM networks
agents.glide2.app
·
23h
·
Discuss:
Hacker News
🎭
Erlang OTP
Revisiting
Regular
Types
abseil.io
·
3d
🚀
Hindley-Milner+
Let's Build a Simple
Database
cstack.github.io
·
1d
·
Discuss:
Hacker News
💾
Minimal Databases
I got tired of
copying
AI output between tools, so I built a system to keep context
intact
miniloop.ai
·
20h
·
Discuss:
DEV
🎭
Program Synthesis
What AI Security Research Looks Like When It Works
aisle.com
·
1d
🎯
Symbolic Execution
EDM
: An Ultra-Low Latency Ethernet Fabric for Memory
Disaggregation
danglingpointers.substack.com
·
1d
·
Discuss:
Substack
🌱
Green Threads
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Agentic
Tool
Patterns
– 54
patterns
for building tools LLM agents can use
blog.arcade.dev
·
1d
·
Discuss:
Hacker News
✅
Configuration Validation
Coding A PoS
Tagger
from Scratch — A Statistical Part-of-Speech
Tagger
|
NLP
pub.towardsai.net
·
1d
🔤
Language Tokenizers
Meet
Ekko
, the Potential Man!
Savior
of fighting games!
i.redd.it
·
22h
·
Discuss:
r/TwoBestFriendsPlay
🐍
lisp
**Abstract:** This paper introduces Hyper-Efficient Automated Theorem Proving for Modular Integer Set Systems (
HTP-MISS
), a novel framework substantially
enh
...
freederia.com
·
5d
🧮
Theorem Provers
Concurrent
vs.
Parallel
Execution in LLM API Calls: From an AI Engineer’s Perspective
pub.towardsai.net
·
2d
🔄
Coroutines
Loading...
Loading more...
« Page 9
•
Page 11 »
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
