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
112029
posts in
741.2
ms
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
3d
·
Discuss:
Hacker News
🔁
Recursion
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
🔬
Static Analysis
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
3d
🌳
Red-Black Trees
Savior
: Low-Level Design
dev.to
·
4h
·
Discuss:
DEV
🏗️
Design Patterns
Functional
Programming
in an LLM World
notes.druchan.com
·
2d
🔬
Static Analysis
Programming
languages
mothcodes.bearblog.dev
·
1h
💻
programming
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
22h
·
Discuss:
Hacker News
💻
programming
Associative
Methods
dev.to
·
15h
·
Discuss:
DEV
💻
programming
New Algorithms and Hardness Results for Robust
Satisfiability
of (Promise)
CSPs
arxiv.org
·
1d
⏱️
Computational Complexity
How to think like a computer
scientist
: Learning with C
open.umn.edu
·
8h
·
Discuss:
r/C_Programming
🔄
Dynamic Programming
I got
bored
and had Claude design and
implement
a programming language
github.com
·
3d
·
Discuss:
Hacker News
💻
programming
Functional
Optics
for Modern Java
blog.scottlogic.com
·
1d
🏗️
Design Patterns
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
1d
·
Discuss:
Hacker News
📈
Optimization
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
7h
·
Discuss:
Hacker News
⏱️
Computational Complexity
Cantor
Normal
Form
infinitelymore.xyz
·
22h
🔁
Recursion
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
1h
·
Discuss:
Hacker News
⏱️
Computational Complexity
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
22h
·
Discuss:
Hacker News
📊
Data Structures
ClojureScript
Guide: Why Modern
Devs
Need It Now (2026 Edition)
flexiana.com
·
26m
🔬
Static Analysis
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
1d
·
Discuss:
DEV
🔁
Recursion
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
15h
·
Discuss:
Lobsters
,
Hacker News
💻
programming
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