Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
183666
posts in
34.4
ms
Tsonnet
#31 - Taking back control of
equality
dev.to
·
9h
·
Discuss:
DEV
🔗
Lexical Scoping
ReasonX
:
Declarative
Reasoning on Explanations
arxiv.org
·
1d
⚖️
Inference Rules
xraymemory/vibetheory
: A mathematical model of aesthetic vibe, based on Peli Grietzer's Theory of Vibe (2017, 2025). Implements both VAE and diffusion/manifold models to derive the vibe of a given text.
github.com
·
6h
·
Discuss:
Hacker News
🌱
Minimal ML
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
7h
·
Discuss:
Hacker News
🤐
Zipper Structures
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
🎨
Domain-Specific Languages
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
Theorem Provers
The Body Problem
dev.to
·
3h
·
Discuss:
DEV
🏛️
Elm Architecture
Shipping
specialization
: a story of
soundness
aturon.github.io
·
17h
🌈
Gradual Languages
extended C*-
algebra
in
nLab
ncatlab.org
·
10h
🔗
Category Theory
The
Anatomy
of AI
Slop
and the Neural-surgery Pipeline
therantydev.com
·
1d
·
Discuss:
r/artificial
🗺️
Region Inference
Systems theory
en.wikipedia.org
·
1d
🔬
programming language theory
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
1d
🏗️
Calculus of Constructions
Zola
is dead to me. Long live
Kusachi
!
dork.dev
·
16h
·
Discuss:
Hacker News
🌊
Gradual Effects
Show HN: An
Auditable
Decision Engine for AI Systems
maelstrom.ghostlogic.tech
·
4h
·
Discuss:
Hacker News
🏰
Capability Machines
A New
PPML
Paradigm for
Quantized
Models
papers.cool
·
1d
⚡
Partial Evaluation
Enshittification
forums.anandtech.com
·
1d
🌲
Tree Rewriting
Your
AGENTS.md
is a
Liability
paddo.dev
·
7h
⚡
Effect Handlers
Lil' Fun
Langs
'
Guts
taylor.town
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🪆
Embedded DSLs
SOLID in FP:
Liskov
Substitution
, or The Principle That Was Never About Inheritance
cekrem.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🚀
Hindley-Milner+
Mutability
Considered
Harmful
psteitz.blogspot.com
·
1d
·
Discuss:
Hacker News
🏰
Capability Machines
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