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
81820
posts in
951.4
ms
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
13h
🤖
AI
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🤖
AI
Tip
of the Week #143: C++11
Deleted
Functions (<code>= delete</code>)
abseil.io
·
1d
💻
Software development
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
3d
·
Discuss:
Hacker News
💎
Ruby
ESLint
Plugin
Perfectionist
perfectionist.dev
·
1h
💻
Software development
The Adventures of a
Pythonista
in
Schemeland/30
artima.com
·
1d
💎
Ruby
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
4h
🤖
AI
Why JavaScript Needs
Structured
Concurrency
| Blog
frontside.com
·
2h
·
Discuss:
r/javascript
💻
Software development
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
Protean
Compiler: An
Agile
Framework to Drive Fine-grain Phase Ordering
arxiv.org
·
13h
🤖
AI
The Return of
Algol
68
jxself.org
·
22h
💻
Software development
What should I program?
jamesmcm.github.io
·
1d
💻
Software development
tzcnt/TooManyCooks
: C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
github.com
·
8h
💻
Software development
A
Proof
of P =
NP
dev.to
·
18h
·
Discuss:
DEV
🤖
AI
I don't like
imports
kevincox.ca
·
15m
·
Discuss:
Hacker News
💻
Software development
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
3h
💻
Software development
A Language For Agents
lucumr.pocoo.org
·
18h
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
🎲 TypeScript
strictness
is
non-monotonic
: strict-null-checks and no-implicit-any interact
huonw.github.io
·
2d
💎
Ruby
Learn
Weird
Programming
Languages
okienko.day
·
5h
·
Discuss:
Hacker News
💻
Software development
I Built an API for LLM
JSON
Validation
in Rust
dev.to
·
4h
·
Discuss:
DEV
💻
Software development
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