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
144714
posts in
27.3
ms
Effectful
Toposes
and Their
Lawvere-Tierney
Topologies
arxiv.org
·
1d
∘
Category Theory
I'm Building a
Programming
Language From
Scratch
. Here's What That's Actually Like.
dev.to
·
2h
·
Discuss:
DEV
🦀
Rust Macros
On language models and
intuition
aleksei.dev
·
37m
🎯
Hindley-Milner
Differential
Logic
• 13
inquiryintoinquiry.com
·
1d
✅
Model Checking
Theos
Dual-Engine
Dialectical
Reasoning Framework (open source, patent pending)
github.com
·
21h
·
Discuss:
Hacker News
🧮
SMT Solvers
On
Diagnosis
and
Formulation
psychologytoday.com
·
1h
🏗️
Data Modeling
The Lie algebra of XY-mixer
topologies
and warm starting
QAOA
for constrained optimization
nature.com
·
1d
⚛️
Quantum Computing
The
Topology
of LLM
Behavior
lesswrong.com
·
18h
⚓
Anchors
Claude Skills and
Subagents
: Escaping the Prompt Engineering
Hamster
Wheel
towardsdatascience.com
·
4h
💬
Prompt Engineering
The
Enshittificator
vimeo.com
·
6h
🤖
Cyberpunk
QORA
- Native Rust LLM
Inference
Engine
huggingface.co
·
1h
·
Discuss:
DEV
🍱
Nom
Why “Small Changes” Don’t
Exist
in Production Game Systems
hackernoon.com
·
3h
⚡
Incremental Computation
The
Interpretability
Crisis: Why We Don’t
Understand
AI and What It Costs Us
pub.towardsai.net
·
6h
🌳
Pratt Parsing
Some notes on
unreliability
of LLM
APIs
andrewpwheeler.com
·
1d
·
Discuss:
Hacker News
🦙
Ollama
Power of C++26 Reflection: Strong (
opaque
) type
definitions
godbolt.org
·
19h
·
Discuss:
r/cpp
👻
Phantom Types
Unsupervised
Learning NO. 518
newsletter.danielmiessler.com
·
4h
🛡️
AI Security
Why
measurements
are made of
effects
arxiv.org
·
4d
🧮
Algebraic Effects
An
Introduction
to
Lean
4
uv.es
·
8h
🏗️
Cranelift
The Day an AI Said "Left Brain" — Dependent
Origination
in Transformer
Self-Description
zenodo.org
·
10h
·
Discuss:
DEV
🤖
Cyberpunk
maximilliangeorge/prime-md
: A
machine-readable
graph of truth claims, built on Git and Markdown
github.com
·
4h
·
Discuss:
Hacker News
🌳
Merkle Trees
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