Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
25980
posts in
25.1
ms
Reevaluating
1990s OOP in Java:
DOP
, Scoped Values, and Structured Concurrency
blog.arkstack.dev
·
1h
·
Discuss:
Hacker News
⏳
Durable Execution
Prior art and simulation results for a non-von
Neumann
coordination
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
🚀
Async Optimization
Infinite
Lists in
Lean
unnamed.website
·
13h
💻
Programming languages
Critical
Sections
Are Not Per-Thread: A Trace
Semantics
for Lock-Based Concurrency
arxiv.org
·
5d
🧵
Concurrency
Avoiding
Overflow
Bugs in Fixed-Point
Arithmetic
with Formal Verification
github.com
·
45m
·
Discuss:
Hacker News
🧮
SMT Solvers
Solod
: Go can be a better C
antonz.org
·
45m
⚡
Comptime Programming
Finit
- Set theory
applied
to data structures
github.com
·
16h
·
Discuss:
r/rust
🌸
Bloom Filters
Writing a simple Rust
async
message
queue
server
bytepawn.com
·
1d
🔄
Async Rust
Prevent Lost Updates in
EF
Core: Optimistic vs.
Pessimistic
Concurrency
spin.atomicobject.com
·
2d
🔐
Database Concurrency
OSTEP
Chapter 10:
MultiProcessor
Scheduling
muratbuffalo.blogspot.com
·
3d
·
Discuss:
Blogger
🌐
Distributed systems
Cooperativity in E. coli
aspartate
transcarbamoylase
is tuned by allosteric breathing
nature.com
·
16h
🧪
Glutamate
Binary
Fuse
Filters: Fast and Smaller Than
Xor
Filters (2022)
dl.acm.org
·
1d
·
Discuss:
Lobsters
,
r/programming
🌸
Bloom Filters
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
2d
📐
TLA+
Wrapping my head around Tail
Recursion
and
TCO
jackwsmth.com
·
3d
💻
Programming languages
NumKong
: 2'000 Mixed Precision
Kernels
For All 🦍
ashvardanian.com
·
1d
·
Discuss:
Hacker News
⚡
SIMD
Looking at
Unity
finally made me understand the point of C++
coroutines
mropert.github.io
·
22h
·
Discuss:
Lobsters
,
r/cpp
⏳
Async/Await
Claude Code
Usage
Analysis
ccusage.com
·
20h
🔌
Claude Plugins
LongCat-Flash-Prover
: A new frontier for Open-Source Formal Reasoning.
huggingface.co
·
23h
·
Discuss:
r/LocalLLaMA
🪄
Prompt Engineering
Queuing
Revisited
nik.art
·
6h
📅
Resource Scheduling
Shirakami
: A Hybrid Concurrency Control Protocol for
Tsurugi
Relational Database System
arxiv.org
·
2d
🔐
Database Concurrency
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