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
✅ Formal Methods
formal verification, model checking, proof assistants, TLA+
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
70
posts in
6.7
ms
Modeling Token Buckets in
PlusCal
and
TLA
+
muratbuffalo.blogspot.com
·
4d
·
Discuss:
Lobsters
,
Blogger
📐
TLA+
Be
intentional
about how AI changes your
codebase
aicode.swerdlow.dev
·
21h
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/vibecoding
📐
TLA+
Less-relevant results
Claude Code experiment:
Visualizing
Hybrid Logical
Clocks
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Hacker News
,
Blogger
🔄
Concurrency
I
wrote
a paper
arguing
the best AI coding agent might be the one you forget is there.
tunnel-availability-flexible-goal.trycloudflare.com
·
2d
·
Discuss:
r/coding
🤝
Paxos Consensus
From Topic to Transition Structure: Unsupervised Concept Discovery at
Corpus
Scale via Predictive
Associative
Memory
arxiv.org
·
15h
🎯
Vector Search
Google details new 24-hour process to
sideload
unverified
Android apps (Ars Technica)
lwn.net
·
23h
·
Discuss:
Hacker News
🕳️
Obscure Tech
Compiling
to
WebAssembly
ktye.github.io
·
5d
·
Discuss:
Hacker News
🔧
Compilers
MongoDB
Query Plan Cache Explained: Performance,
Pitfalls
, and Re-Planning
percona.com
·
5h
🚀
Query Optimization
Speed up Java Startup with Spring
Boot
and Project
Leyden
piotrminkowski.com
·
1d
·
Discuss:
r/coding
,
r/programming
🔄
Cache Replacement
Security updates for Friday [
LWN.net
]
lwn.net
·
6h
🔄
Cache Replacement
Why Being Right Isn't Enough: A
Conceptual
Companion to On
Relevance
jonrademacher.substack.com
·
1d
·
Discuss:
r/systems
🔄
Eventual Consistency
How many
branches
can your CPU
predict
?
lemire.me
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
⚙️
Computer Architecture
Controllable
Evidence Selection in Retrieval-Augmented Question Answering via Deterministic Utility
Gating
arxiv.org
·
15h
🎯
Vector Search
prakersh/awesomePrep
: Open source interview prep -- 774 questions across Python and C with runnable code, narration, and SVG visualizations
github.com
·
2d
·
Discuss:
r/coding
,
r/learnprogramming
🔧
Compilers
Distributed model predictive control for district
heating
networks considering building and network
flexibility
sciencedirect.com
·
5d
🕸️
Distributed Systems
Open-Source "
GreenBoost
" Driver Aims To
Augment
NVIDIA GPUs vRAM With System RAM & NVMe To Handle Larger LLMs
phoronix.com
·
5d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🔄
Cache Replacement
A Comparison of New Search Engines:
Mojeek
and
Kagi
as Alternatives to Google
igorslab.de
·
6d
🔍
Search Indexing
Silicon Motion Introduces
PCIe
Gen5
SSD Controller
embedded.com
·
6d
🔌
Embedded Systems
Managed Event
Sourcing
&
Materialized
Views
primatomic.com
·
6d
·
Discuss:
DEV
,
Hacker News
⚙️
Database Internals
CFG
Tree Enumeration: A Simple Integer-Based
Bijection
Algorithm
hackernoon.com
·
6d
📊
Algorithms
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