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
81228
posts in
545.3
ms
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
14h
λ
Lambda Calculus
Topological
Semantics
for Common
Inductive
Knowledge
arxiv.org
·
1d
⚖️
Inference Rules
/C O R R E C T I O N --
Conexiant
/
prnewswire.com
·
3h
🎮
Language Ergonomics
QtWidgets
to
QtQuick
, An Application Journey Part 2
qt.io
·
13h
🌉
Cross-Platform FFI
It’s about to get a lot
easier
for your JavaScript to clean up after
itself
piccalil.li
·
7h
🌈
Gradual Languages
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
13h
·
Discuss:
Hacker News
,
r/programming
🎭
Program Synthesis
#2 - Going to second
base
: know your
boundaries
dev.to
·
2h
·
Discuss:
DEV
🚂
Error Propagation
Noel
Welsh
: Direct-style
Effects
Explained
noelwelsh.com
·
6d
⚡
Effect Handlers
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
19h
·
Discuss:
Lobsters
,
Hacker News
📋
Tablegen
On A
Lark
dothemath.ucsd.edu
·
4h
🔗
Concatenative Theory
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
∫
Mathematical DSLs
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
AutoCleanML
– Intelligent ML Data
preprocessing
automation (pip install
autocleanml
)
dev.to
·
6h
·
Discuss:
DEV
🌱
Minimal ML
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🚂
Error Monads
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
21h
🌐
Network Protocols
Opus 4.6, Codex 5.3, and the post-benchmark era: On comparing models in 2026. (
Nathan
Lambert
)
interconnects.ai
·
34m
🎮
Language Ergonomics
observation
: the future of building software
hanspham.com
·
1d
🎮
Language Ergonomics
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
3h
·
Discuss:
Hacker News
📚
Self-Documenting Code
Implementing
vector
accu.org
·
2d
·
Discuss:
r/cpp
🏷️
Symbol Mangling
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
11h
·
Discuss:
Hacker News
🔄
Nanopass
Loading...
Loading more...
« Page 4
•
Page 6 »
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