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
⚡ Algebraic Effects
Control Flow, Handler Systems, Effect Polymorphism, Koka
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112372
posts in
629.6
ms
Associative
Methods
dev.to
·
11h
·
Discuss:
DEV
🔄
Effect Handlers
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
1d
🧮
Functional Programming
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
18h
🔄
Effect Handlers
Functional
Optics
for Modern Java
blog.scottlogic.com
·
1d
🔄
Effect Handlers
Task 17:
Implement
property-based
invariant
tests · Issue #30
github.com
·
19h
🔄
Effect Handlers
models have some pretty
funny
attractor
states
lesswrong.com
·
9h
🔲
Cellular Automata
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
1d
🧮
Functional Programming
Deep C
Dives
:
Undefined
Behavior
i-programmer.info
·
1d
🔄
Effect Handlers
What Happens When One Parallel Call Fails? Structured
Concurrency
in
Scala
dev.to
·
8h
·
Discuss:
DEV
🔄
Effect Handlers
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
1d
·
Discuss:
Hacker News
⚔
Roguelike
Go -
Unit
&
Integration
Testing
linkedin.com
·
1d
·
Discuss:
r/programming
🧮
Functional Programming
Analysis of systems with dependent components through a
variance-based
index and
regression
importance signature
sciencedirect.com
·
15h
🔄
Effect Handlers
Balance
of
abstraction
aleksei.dev
·
11h
🌈
Color Theory
12
OOP
Concepts
EVERY Developer Should Know
blog.algomaster.io
·
1d
🔄
Effect Handlers
When Execution Governance Becomes a
Competitive
Advantage — The Layer After LLM
Gateways
qu3ry.net
·
9h
·
Discuss:
r/LLM
🔄
Effect Handlers
Reactive
state management with
JavaScript
Signals
infoworld.com
·
22h
🔄
Effect Handlers
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
🧮
Functional Programming
C++20 matching engine - arena allocator, lock-free
SPSC
, intrusive linked lists, 255ns
p50
latency
github.com
·
1h
·
Discuss:
r/cpp
🔲
Cellular Automata
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
11h
·
Discuss:
Lobsters
🧮
Functional Programming
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
9h
🔲
Cellular Automata
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