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
💫 Effect Systems
Algebraic Effects, Monads, Side Effects, Purity
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
75427
posts in
615.7
ms
What are
Effect
System and Why Do We care?
idiomaticsoft.com
·
4d
🧮
Algebraic Effects
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
2d
🔄
Concurrency Patterns
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🌊
CALM Theorem
Implementing
vector
accu.org
·
6h
·
Discuss:
r/cpp
📌
Pin Projection
How I Built My Project in
Haskell
dev.to
·
16h
·
Discuss:
DEV
👻
Phantom Types
Differential
Logic
• 4
inquiryintoinquiry.com
·
3h
🔍
Type Inference
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
Oatmeal
-
Constraint
propagation for fun
eli.li
·
13h
🧩
Constraint Programming
What should I program?
jamesmcm.github.io
·
7h
🦀
Rust
Four
Godot
+Rust
tricks
blog.lokkij.com
·
5h
🦀
Rust
Categorical
systems
theory
danmackinlay.name
·
3d
∘
Category Theory
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
2d
🧠
Memory Models
Naughty
is
Nice
!
yamlscript.org
·
1d
🔨
Compiler Design
What
Bleeds
Through
futurisold.github.io
·
47m
·
Discuss:
Hacker News
✨
Gleam
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
5h
💬
Prompt Engineering
=============================================================================================================================== **Abstract**
freederia.com
·
2d
🤖
TVM
The control
layer
for AI
blog.dottxt.ai
·
1d
·
Discuss:
Hacker News
🛡️
AI Security
Algebraic
Effects
for the Rest of Us
overreacted.io
·
4d
🧮
Algebraic Effects
Autonomous
agency
theory
en.wikipedia.org
·
1d
👁️
Phenomenology
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
5h
⚓
Anchors
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