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
Haskell, Clojure, Immutability, Lambda Calculus
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
113347
posts in
1.20
s
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
🔗
Lisp
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
19h
·
Discuss:
DEV
🔗
Lisp
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
3d
·
Discuss:
Hacker News
⚡
Erlang
Functional
Programming
in an LLM World
notes.druchan.com
·
1d
🔗
Lisp
Finite model theory for
pseudovarieties
and universal algebra: preservation,
definability
and complexity
arxiv.org
·
23h
🎮
Reinforcement Learning
How to think like a computer
scientist
: Learning with C
open.umn.edu
·
1h
·
Discuss:
r/C_Programming
📊
Data Science
LISP
Prolog
and Evolution
blog.samibadawi.com
·
1d
🔗
Lisp
Computing Least Fixed Points with
Overwrite
Semantics
in Parallel and Distributed Systems
arxiv.org
·
23h
🎮
Reinforcement Learning
I got
bored
and had Claude design and
implement
a programming language
github.com
·
2d
·
Discuss:
Hacker News
🔗
Lisp
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
16h
🤖
AI
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
18m
·
Discuss:
Hacker News
🔗
Lisp
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
2d
🤖
AI
Functional
Optics
for Modern Java
blog.scottlogic.com
·
1d
⚡
Erlang
Generics
docs.modular.com
·
1d
⚡
Erlang
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
4d
·
Discuss:
Hacker News
⚡
Erlang
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
16h
·
Discuss:
Hacker News
🗄
Databases
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
·
3d
⚡
Erlang
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
3d
🔗
Lisp
Rust
Standard
Library Challenges
rustfinity.com
·
1d
·
Discuss:
r/rust
📝
Emacs
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
8h
·
Discuss:
Lobsters
🕹
Gamedev
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