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
Effect Systems, Handlers, Continuation, Delimited Control
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81130
posts in
232.0
ms
Algebraic
Effects
for the Rest of Us
overreacted.io
·
5d
🔄
Functional Programming
Differential
Logic
• 4
inquiryintoinquiry.com
·
16h
🔄
Functional Programming
On Complete
Categorical
Semantics for Effect
Handlers
arxiv.org
·
5d
🔧
programming language design
When
Policies
Collide
dev.to
·
5h
·
Discuss:
DEV
🦀
Borrow Checker
EqPad
: A Calculator-Style Equation Editor for
LaTeX
, Markdown, and PNG
eqpad.kttin.net
·
1d
·
Discuss:
DEV
🔧
programming language design
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
1d
🔧
programming language design
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
3d
🔄
Functional Programming
Main
Content ||
Math
∩ Programming
jeremykun.com
·
7h
🔄
Functional Programming
Dot
Chain Special
Operators
yamlscript.org
·
2d
🔧
programming language design
What are
Effect
System and Why Do We care?
idiomaticsoft.com
·
5d
📊
Incremental Computation
Proportional
–integral–
derivative
controller
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
📊
Incremental Computation
Beautiful
Perl
feature:
BLOCKs
dev.to
·
1d
·
Discuss:
DEV
🔧
programming language design
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
📊
Incremental Computation
The control
layer
for AI
blog.dottxt.ai
·
2d
·
Discuss:
Hacker News
📊
Incremental Computation
Recording
aes.org
·
1h
🕸
semantic web
brynary/attractor
: Full implementation of
StrongDM
Attractor specs in TypeScript
github.com
·
13h
·
Discuss:
Hacker News
📲
local-first software
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
18h
·
Discuss:
Hacker News
🔄
Functional Programming
Build a
Compiler
in Five Projects
kmicinski.com
·
1d
🔧
programming language design
When Optimization Works: The Role of
Convexity
in Business
Decisions
pub.towardsai.net
·
5h
🔄
Functional Programming
Oatmeal
-
Constraint
propagation for fun
eli.li
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
Functional Programming
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