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
Immutability, Higher-Order Functions, Pure Functions, Elixir
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
120919
posts in
666.4
ms
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🤖
AI
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
🤖
AI
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
🤖
AI
What's up with
Haskell
's do
notation
?
slightknack.dev
·
2d
💎
Ruby
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
1d
🤖
AI
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
1d
·
Discuss:
Hacker News
🤖
AI
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
22h
·
Discuss:
DEV
🤖
AI
6
niche
programming
languages
developers secretly love
howtogeek.com
·
2h
💻
Software development
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
💎
Ruby
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
12h
·
Discuss:
Hacker News
💎
Ruby
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
·
2d
💎
Ruby
Redefining
Go
Functions
pboyd.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
💎
Ruby
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
1d
🤖
AI
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
9h
🤖
AI
🧠 Programming
Idioms
— Common Code Patterns Across
Languages
programming-idioms.org
·
1d
·
Discuss:
DEV
💻
Software development
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
6h
·
Discuss:
Hacker News
💻
Software development
Go -
Unit
&
Integration
Testing
linkedin.com
·
17h
·
Discuss:
r/programming
💻
Software development
Avoiding
UB
but "safe" data race in a lock-free slab
allocator
- help - The Rust Programming Language Forum
users.rust-lang.org
·
19h
💎
Ruby
vindarel
: 🖌️
Lisp
screenshots: today's Common
Lisp
applications in action
lisp-journey.gitlab.io
·
15h
💎
Ruby
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
1d
·
Discuss:
Hacker News
💎
Ruby
Loading...
Loading more...
« Page 1
•
Page 3 »
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