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
⏭️ Skip Lists
Data Structures, Probabilistic Algorithms, Concurrent Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112648
posts in
1.77
s
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
✅
Property Testing
Differential
Logic
• 5
inquiryintoinquiry.com
·
1d
🧮
SMT Solvers
AI giants are
racing
to secure
shrinking
memory. It’s creating opportunities for startups
sifted.eu
·
2d
🧩
mimalloc
Python is
slipping
in
popularity
infoworld.com
·
1d
🐍
Python
The Claude
Skills
I Actually Use for
DevOps
pulumi.com
·
2d
🔧
DevOps
The Skills
Decay
Curve
blog.gorewood.games
·
1d
⚓
Anchors
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
1d
🦙
Ollama
*Abstract* We present a scalable, fully‑implemented framework for enumerating
Goldbach
partitions of large even integers in the range \(10^{12}\!\
leq
n \
leq
...
freederia.com
·
5d
📦
Folly
Closing
the
Loop
on /insights
blog.gorewood.games
·
1d
🔧
Read Repair
I got fed up with
protontricks
being
slow
, so I built an alternative
github.com
·
1d
·
Discuss:
r/archlinux
,
r/linux
🔧
Abseil
Code
Reviews
: Here's What They Actually
Teach
Us
hackernoon.com
·
1d
📚
Technical Writing
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
2d
·
Discuss:
DEV
⚙️
JIT Compilation
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
1d
🔬
Static Analysis
Wheeler
Bisimulations
arxiv.org
·
1d
✅
Model Checking
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
2d
💬
Prompt Engineering
The End of
IPFS
: Centralized Pinning Single Points of Failure, Cryptographic Hash Backdoors, DDoS Exploitation, and Gossip-Based Distributed Node
Eradication
zenodo.org
·
2d
·
Discuss:
Hacker News
🌐
IPFS
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
3d
·
Discuss:
Hacker News
⚡
ZGC
StanfordBioinformatics/loom
: A tool for running
bioinformatics
workflows locally or in the cloud.
github.com
·
1d
🧵
Loom
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🎭
Program Synthesis
Why Nothing Really Gets Deleted Immediately: How Database Deletion Works Through
Tombstones
, LSM-Trees, and
Compaction
dev.to
·
17h
·
Discuss:
DEV
🔗
Intrusive Containers
Loading...
Loading more...
« Page 15
•
Page 17 »
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