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
112595
posts in
518.6
ms
Causal
Inference through the lens of
probabilistic
programming
2026.pycon.de
·
2h
✨
Effect Inference
Building an ARC-2
Solver
— From
Socratic
Panels to a Single Oracle
pub.towardsai.net
·
1d
🎭
Program Synthesis
Co-Routines
in 1-page of C (2013)
embeddedrelated.com
·
17h
·
Discuss:
Hacker News
🪄
C Metaprogramming
Introducing the
arXiv
Explorer
curtispoe.org
·
17h
💬
Interactive REPLs
(Re)
Discovering
Natural
Laws
lesswrong.com
·
1d
🔗
Concatenative Theory
Moltis
: Rust based AI assistant with memory, tools, and
self-extending
skills
moltis.org
·
1d
·
Discuss:
Hacker News
🚂
Cranelift Backend
My Claude Code
Toolkit
newartisans.com
·
5h
📚
Self-Documenting Code
PRIME: A Process-Outcome Alignment Benchmark for
Verifiable
Reasoning in
Mathematics
and Engineering
arxiv.org
·
1d
🧩
SAT Solvers
plumce/plumcp
:
Clojure/ClojureScript
library for making MCP server and client
github.com
·
10h
🪆
Embedded DSLs
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
2d
🔍
Type Inference
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
2d
·
Discuss:
Hacker News
🔮
Clojure
vindarel
: 🖌️
Lisp
screenshots: today's Common
Lisp
applications in action
lisp-journey.gitlab.io
·
2d
🐍
lisp
The
Impatient
Programmer's Guide to
Bevy
and Rust: Build a 2D Game from Scratch
aibodh.com
·
11h
·
Discuss:
Hacker News
🏗️
Cranelift
REPL-Driven
Development Is Back (
Thanks
to AI)
llbbl.blog
·
14h
💬
REPL Design
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
1d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
2d
🧩
Constraint Solvers
6
niche
programming
languages
developers secretly love
howtogeek.com
·
1d
🏺
Code Archeology
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
✨
Gleam
Lessons
from
Zig
vinniefalco.com
·
2d
·
Discuss:
Hacker News
⚡
Zig
Recursive
Language Models: Stop
Stuffing
the Context Window
nlp.elvissaravia.com
·
1d
🪜
Recursive Descent
Sign up or log in to see more results
Sign Up
Login
« 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