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
🔗 Dependent Types
Idris, Agda, Proof Assistants, Type-Level Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123823
posts in
2.11
s
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
15h
🔧
Assembly DSLs
Togelius
:
Math
and me
togelius.blogspot.com
·
1d
·
Discuss:
Hacker News
📐
Mathematical Computing
Generate type-safe API
clients
from
OpenAPI
orval.dev
·
1d
·
Discuss:
DEV
🔧
API Design
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
1d
·
Discuss:
Hacker News
🎲
Test Generators
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
23h
·
Discuss:
r/programming
🏛️
Elm Architecture
The Return of
Algol
68
jxself.org
·
2d
📚
Forth Compilers
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
1d
🧠
Semantic Parsing
ConGLUDe
: Toward
General-Purpose
Foundation Models for Drug Discovery
cbirt.net
·
5h
✨
Effect Inference
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Error Handling
Kevin
Scott
: Building a
Sandbox
for Claude Code
thekevinscott.com
·
22h
🦀
MIR Optimization
The
Friendly
Functional
Programming Language
ivylang.net
·
6d
⚡
functional programming
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
1d
·
Discuss:
Hacker News
🗺️
Region Inference
zkAgent
:
Verifiable
Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org
·
3d
🧩
SAT Solvers
Heuristics
for lab
robotics
, and where its future may go
lesswrong.com
·
21h
🖥️
Minimal VMs
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🚂
Error Propagation
The Geometry of Linear
Equations
and Linear
Regression
pub.towardsai.net
·
20h
🧮
Linear Algebra
Cooperative
Visitor
: A Template Technique for
Visitor
Creation
artima.com
·
3d
📋
Template Compilers
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚡
Partial Evaluation
Show HN:
Kore
– Stack based language where
compiler
is the reward function
github.com
·
1d
·
Discuss:
Hacker News
🚀
Code Motion
Go vet can't go: How
PVS-Studio
analyzes
Go projects
dev.to
·
1h
·
Discuss:
DEV
🔧
Error Recovery
Loading...
Loading more...
« Page 10
•
Page 12 »
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