🔮 Effect Systems

Algebraic Effects, Side Effect Tracking, Effect Handlers, Koka, Functional Programming

Feeds to Scour
SubscribedAll
Scoured 74465 posts in 795.4 ms
What are Effect System and Why Do We care?
idiomaticsoft.com·3d
📐Type Theory
On Complete Categorical Semantics for Effect Handlers
arxiv.org·3d
📝Parser Combinators
Beyond agentic coding
haskellforall.com·12m·
Discuss: r/programming
🤖Game AI
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
📐Type Theory
Rethinking Time in Computation – From Wall Clocks to State Transitions
d1gesto.blogspot.com·23h·
Discuss: Hacker News
🖥️G-Sync Technology
Dot Chain Special Operators
yamlscript.org·12h
📦Binary Formats
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
📐Type Theory
Algebraic Effects for the Rest of Us
overreacted.io·3d
🦀Rust
EqPad: A Calculator-Style Equation Editor for LaTeX, Markdown, and PNG
eqpad.kttin.net·3h·
Discuss: DEV
🔤Font Engineering
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
The Future of Systems
novlabs.ai·7h·
Discuss: Hacker News
🔌Network Programming
After the Compiler Writes Itself: The Human Skills That Still Matter
dev.to·1d·
Discuss: DEV
💻Creative Coding
A Causal Inference‑Based Liability Attribution Model for AI‑Enabled Surgical Robotics A Real‑Time Legal Risk Mitigation Framework **Abstract** The deployment...
freederia.com·1d
🛰️Spacecraft Operations
The control layer for AI
blog.dottxt.ai·17h·
Discuss: Hacker News
🤖Game AI
Build a Compiler in Five Projects
kmicinski.com·7h
⚙️Compiler Design
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🦀Rust
Autonomous agency theory
en.wikipedia.org·2h
📐Type Theory
Noel Welsh: Direct-style Effects Explained
noelwelsh.com·3d
📐Type Theory
hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
github.com·1d·
Discuss: r/cpp
🦀Rust
Turning Coding Tasks into Feedback Loops
feipeng.substack.com·2d·
Discuss: Substack
⏱️Async Programming

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help