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
⚡ Algebraic Effects
Control Flow, Handler Systems, Effect Polymorphism, Koka
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123514
posts in
1.72
s
Property-Wide Equipment
Supervision
Interfaces
trendhunter.com
·
7h
🌐
Portable Assembly
#0183:
RLWRAP
and Elixir: A Pragmatic Approach to CLI
Readline
Support
matthewsinclair.medium.com
·
12h
💻
Terminal UIs
Devlog
#04
spoocejuice.itch.io
·
1d
🐛
Interactive Debuggers
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
1d
·
Discuss:
r/LocalLLaMA
🧩
Constraint Solvers
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
12h
🔬
Nanopasses
Carnegie
Mellon at
NeurIPS
2025
blog.ml.cmu.edu
·
8h
🪜
Recursive Descent
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
💬
Interactive REPLs
Wrapping trait
implems
in an enum kept appearing in code base so I
blogged
about it. Are there other such useful patterns that are not much advertised?
asfaload.com
·
2d
·
Discuss:
r/rust
🔧
API Design
Customizing Your Claude Code
Spinner
Verbs
danielmiessler.com
·
4h
💬
Interactive REPLs
A Language For Agents
lucumr.pocoo.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🎨
Domain-Specific Languages
Using
Databases
Without Putting Domain
Logic
in Them (2023)
alexkondov.com
·
6h
·
Discuss:
Lobsters
🗄️
Database Engines
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
1d
🔍
Static Analysis
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
10h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
1d
·
Discuss:
Hacker News
🌈
Gradual Languages
Agentic
Interactions
linkedin.com
·
12h
💬
Interactive REPLs
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
1d
·
Discuss:
Substack
🎭
Program Synthesis
Understanding Providers and
Dependency
Injection in
NestJS
en.wikipedia.org
·
1d
·
Discuss:
DEV
🔀
Control Structures
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
1d
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
✅
Configuration Validation
feat
: implement Phase 3 observer statistics and history logging by
meleantonio
· Pull Request #3
github.com
·
4h
🔮
Metacircular Evaluators
Loading...
Loading more...
« Page 5
•
Page 7 »
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