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
🔓 Lock-Free Structures
Atomic Operations, CAS, Concurrent Data Structures, Wait-Free
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3124
posts in
42.3
ms
Co-Routines
in 1-page of C (2013)
embeddedrelated.com
·
1h
·
Discuss:
Hacker News
🪄
Prompt Engineering
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
8h
·
Discuss:
r/programming
🧮
SMT Solvers
Krause
Synchronization
Transformers
arxiv.org
·
9h
⏱️
Real-time Systems
Our AI Orchestration Frameworks Are
Reinventing
Linda
(1985)
otavio.cat
·
1h
·
Discuss:
Hacker News
🆕
New AI
Balance
of
abstraction
aleksei.dev
·
18h
✨
Code Aesthetics
keplertech/kepler-formal
:
LEC
- Logic Equivalence Checking - Formal Verification
github.com
·
3h
·
Discuss:
Hacker News
📐
TLA+
💻 Issue 503
rust.libhunt.com
·
17h
💫
IO_uring
models have some pretty
funny
attractor
states
lesswrong.com
·
17h
🆕
New AI
ml-rust/fluxbench
: Benchmarking framework with crash isolation,
bootstrap
statistics, and CI integration
github.com
·
1h
·
Discuss:
r/rust
🔬
Rust Profiling
Zero State
Architecture
deep
dive
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
🖥️
Hardware Architecture
Addendum
: Data splitting against information leakage with
DataSAIL
nature.com
·
1h
🎯
Qdrant
Smarter together in
concrete
:one
unified
data language
concretedatamodel.com
·
23h
📦
In-process Databases
interwhen
: A Generalizable Framework for
Verifiable
Reasoning with Test-time Monitors
arxiv.org
·
9h
📐
TLA+
Goutham
Reddy
: Row-level and Column-level Security
postgr.es
·
10h
⚙️
Database Internals
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
23h
·
Discuss:
Lobsters
🔍
Binary Analysis
New technology in
programming
and
poker
natemeyvis.com
·
16h
🆕
New AI
[Development] 4MB 32-bit
SRAM
for the
MicroMac
Performer
68kmla.org
·
15h
⚙️
Mechanical Sympathy
The
Fourth
Wave
of Computing
lucibrowser.com
·
4h
·
Discuss:
Hacker News
🪄
Prompt Engineering
Formal
Verification First: How AI Supports But
Cannot
Replace It
semiengineering.com
·
6h
📐
TLA+
Index
Compression
,
Query
Execution Improvements
marginalia.nu
·
14h
📇
Index Selection
Loading...
Loading more...
Page 2 »
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