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
📊 Algorithm Analysis
Correctness Proofs, Invariants, Termination, Recurrence Relations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81708
posts in
986.2
ms
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
3d
🔄
Dynamic Programming
Quantifying
Energy-Efficient Edge Intelligence: Inference-time Scaling Laws for
Heterogeneous
Computing
arxiv.org
·
21h
⏱️
Computational Complexity
I Built a Python CLI Tool for RAG Over Any
Document
Folder
dev.to
·
19h
·
Discuss:
DEV
🔬
Static Analysis
Using AI to
write
a
transpiler
dev.to
·
3h
·
Discuss:
DEV
λ
Functional Programming
Zinc
Language Design
ziggit.dev
·
2d
🔬
Static Analysis
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
1d
·
Discuss:
DEV
🌳
Red-Black Trees
Paths
of
MySQL
, vector search edition
theconsensus.dev
·
2d
·
Discuss:
Hacker News
🌳
Red-Black Trees
On
variability
surfingcomplexity.blog
·
2d
λ
Functional Programming
Waterloo
Style
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
🔬
Static Analysis
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
1d
·
Discuss:
Hacker News
λ
Functional Programming
I
wrote
a 23-chapter book on using Claude Code when you're not a developer - free
copies
if you want one
schoolofsimulation.com
·
2d
·
Discuss:
r/SideProject
🔬
Static Analysis
There is no
Alignment
Problem
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌳
Red-Black Trees
How to Stay
Valuable
When AI
Writes
All The Code
pathtostaff.com
·
1d
·
Discuss:
r/programming
🔬
Static Analysis
My
Current
AI Coding
Workflow
jonathannen.com
·
3d
🔬
Static Analysis
Tip of the Week #123: <code>
absl
::optional</code> and <code>std::unique_
ptr
</code>
abseil.io
·
2d
λ
Functional Programming
Tip of the Week #175: Changes to
Literal
Constants
in C++14 and C++17.
abseil.io
·
2d
λ
Functional Programming
Clearing
caches
artima.com
·
2d
λ
Functional Programming
**Abstract:** This paper presents a novel framework for
rigorously
verifying
algorithms claiming to efficiently predict prime number distributions. Current v...
freederia.com
·
6d
⏱️
Computational Complexity
Cooperative
Visitor
: A Template Technique for
Visitor
Creation
artima.com
·
2d
🏗️
Design Patterns
How to
effectively
write
quality code with AI
heidenstedt.org
·
3d
·
Discuss:
Hacker News
🔬
Static Analysis
Loading...
Loading more...
« Page 14
•
Page 16 »
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