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
λ Functional Programming
Lambda Functions, Immutability, Higher-Order Functions, Recursion
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80094
posts in
304.1
ms
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
4d
🔬
Static Analysis
Splitwise
alternative that makes
sense
divvy.club
·
1d
·
Discuss:
Hacker News
🔄
Dynamic Programming
Towards
Understanding What State Space Models Learn About Code
arxiv.org
·
1d
·
Discuss:
Hacker News
🏗️
Design Patterns
Early History of a Perfect Join
Algorithm
remy.wang
·
2d
🔄
Dynamic Programming
From
Static
Portfolio to
Indexed
Decisions 📃
dev.to
·
1d
·
Discuss:
DEV
⏱️
Computational Complexity
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
1d
·
Discuss:
Hacker News
🎨
Computer Graphics
Kotlin Symbol Processing:
создаём
свой
процессор
habr.com
·
3d
💻
programming
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
1d
·
Discuss:
DEV
🌳
Red-Black Trees
Declarative
,
Reproducible
Emacs
irreal.org
·
2d
💻
programming
How
Lisp
Became
God
's Own Programming Language
twobithistory.org
·
6d
💻
programming
Software design is now
cheap
dottedmag.net
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
5d
🏗️
Design Patterns
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
1d
💻
programming
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🔬
Static Analysis
Beyond
agentic
coding
haskellforall.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
💻
programming
EP201
: The
Evolution
of AI in Software Development
blog.bytebytego.com
·
2d
⏱️
Computational Complexity
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🎯
A* Search
Home
multi-module.org
·
2d
💻
programming
Atomics
in C++26?
meetingcpp.com
·
2d
🔁
Recursion
Loading...
Loading more...
« Page 18
•
Page 20 »
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