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
81791
posts in
279.5
ms
Polynomial-Time Solutions for Longest Common
Subsequence
Related Problems Between a Sequence and a
Pangenome
Graph
arxiv.org
·
3d
⏱️
Computational Complexity
HyPER: Bridging Exploration and
Exploitation
for Scalable LLM Reasoning with
Hypothesis
Path Expansion and Reduction
arxiv.org
·
15h
λ
Functional Programming
When
Policies
Collide
dev.to
·
19h
·
Discuss:
DEV
🔬
Static Analysis
Web Developer Travis
McCracken
on The 80/20 Rule of
Backend
Dev
dev.to
·
7h
·
Discuss:
DEV
🔬
Static Analysis
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
I
struggled
with system design until I learned these 114
concepts
newsletter.systemdesign.one
·
2d
🏗️
Design Patterns
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
6d
·
Discuss:
Hacker News
λ
Functional Programming
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
The Rise of
Spec
Driven Development
dbreunig.com
·
3d
·
Discuss:
Hacker News
🔬
Static Analysis
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
3d
🏗️
Design Patterns
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
3d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Yet Another Blog Post About
Programming
With AI
amykhar.bearblog.dev
·
3d
λ
Functional Programming
Performance Tip of the Week #62:
Identifying
and reducing memory
bandwidth
needs
abseil.io
·
1d
🔄
Dynamic Programming
Tip
of the Week #166: When a
Copy
is not a
Copy
abseil.io
·
1d
💻
programming
"Pure Virtual
Function
Called": An
Explanation
artima.com
·
1d
🔁
Recursion
Sometimes
it's hard to be
lazy
yamlscript.org
·
2d
💻
programming
About the -0
yamlscript.org
·
2d
💣
Binary Exploitation
Fibonacci
number
certificates
johndcook.com
·
4d
·
Discuss:
Hacker News
📐
Matrix Theory
mstrYoda/goraphdb
: A graph database implemented in Golang
github.com
·
3d
·
Discuss:
r/programming
🕸️
Graph Theory
google/re2
:
RE2
is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in
PCRE
, Perl, and Python. It is a C++ library.
github.com
·
2d
💣
Binary Exploitation
Loading...
Loading more...
« Page 19
•
Page 21 »
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