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, Pattern Matching, Type Systems, Monads
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82403
posts in
502.5
ms
Font
Rendering
from First Principles
mccloskeybr.com
·
15h
·
Discuss:
Hacker News
🌳
BSP Trees
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
2d
·
Discuss:
Hacker News
🗺️
Pathfinding Algorithms
Learning
Swift
-
Generics
troz.net
·
5d
λ
Haskell
When Language Models Get Stuck: The Mechanics of
Repetition
Loops
pub.towardsai.net
·
1d
🔲
Cellular Automata
Presentation:
Expanding
Swift
from Apps to Services
infoq.com
·
2d
🔧
Functional programming
Show HN:
Programming
Language for Music-
Aethra
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔧
Functional programming
Stop Writing
Boilerplate
: How I Built a Code Generator to Automate
NestJS
Development
dev.to
·
7h
·
Discuss:
DEV
🔄
Effect Handlers
Puzzle
Potential
jhyde.itch.io
·
4h
🏰
Dungeon Generation
SpectraKAN
:
Conditioning
Spectral Operators
arxiv.org
·
2d
⚡
Algebraic Effects
ERC-8004
: A
Trustless
Agent Standard for On-Chain AI in Avalanche C-Chain
medium.com
·
15h
🔲
Cellular Automata
Tip of the Week #175: Changes to
Literal
Constants
in C++14 and C++17.
abseil.io
·
18h
🔧
Functional programming
Weekly
Bookmarks
inkdroid.org
·
11h
⚡
Algebraic Effects
Tip of the Week #180: Avoiding
Dangling
References
abseil.io
·
18h
🔄
Effect Handlers
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
9h
·
Discuss:
DEV
⚡
Algebraic Effects
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
3d
⚡
Algebraic Effects
Zinc
Language Design
ziggit.dev
·
1d
🌳
BSP Trees
The
wonders
of
cooperative
inheritance, or using super in Python 3
artima.com
·
18h
⚡
Algebraic Effects
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
2d
λ
Haskell
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
16h
·
Discuss:
Hacker News
⚡
Algebraic Effects
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
1d
🔧
Functional programming
Loading...
Loading more...
« Page 7
•
Page 9 »
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