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
80311
posts in
577.1
ms
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
5d
λ
Functional Programming
SupChain-Bench
: Benchmarking Large Language Models for Real-World Supply Chain Management
arxiv.org
·
10h
⏱️
Computational Complexity
Using AI to
write
a
transpiler
dev.to
·
16h
·
Discuss:
DEV
λ
Functional Programming
Zinc
Language Design
ziggit.dev
·
3d
🔬
Static Analysis
How Netflix,
Uber
, and Google Build AI Systems: Architecture Deep
Dive
dev.to
·
1d
·
Discuss:
DEV
⏱️
Computational Complexity
The
Quest
for Knowledge in The
Witness
superjumpmagazine.com
·
2d
🎯
A* Search
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
2d
·
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
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
5d
λ
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
·
2d
·
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
·
2d
·
Discuss:
Hacker News
🌳
Red-Black Trees
How to Stay
Valuable
When AI
Writes
All The Code
pathtostaff.com
·
2d
·
Discuss:
r/programming
🔬
Static Analysis
My
Current
AI Coding
Workflow
jonathannen.com
·
4d
🔬
Static Analysis
Tip of the Week #123: <code>
absl
::optional</code> and <code>std::unique_
ptr
</code>
abseil.io
·
2d
λ
Functional Programming
Comparing
accumulate
to C++
23s
fold_left
meetingcpp.com
·
2d
🔁
Recursion
Tip of the Week #175: Changes to
Literal
Constants
in C++14 and C++17.
abseil.io
·
2d
λ
Functional Programming
How to
effectively
write
quality code with AI
heidenstedt.org
·
3d
·
Discuss:
Hacker News
🔬
Static Analysis
Loading...
Loading more...
« Page 17
•
Page 19 »
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