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
🧩 Prolog
Logic Programming, Unification, Backtracking, Constraint Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80235
posts in
490.8
ms
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
7h
🧩
SAT Solvers
Progressive
Searching
for Retrieval in RAG
arxiv.org
·
7h
🔍
Text Indexing
Uncovering
Hidden
Informations
whiteravendev.itch.io
·
1d
🔍
Execution Tracing
Manufacturing
QMS
Software
samrian.com
·
20h
·
Discuss:
Hacker News
✅
Configuration Validation
Process
thinking
feeds.feedblitz.com
·
1d
π
Pi Calculus
Pretty Printing the ART (Adaptive
Radix
Tree) in
DuckDB
artjomplaunov.github.io
·
1d
🤐
Zipper Structures
STQK
:
EP.0
(We got a mystery on our hands!)
ancientshell.com
·
1d
⚖️
Inference Rules
What should I program?
jamesmcm.github.io
·
2d
🏗️
Minimal Compilers
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
1d
🔒
Rust Borrowing
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
2d
·
Discuss:
Hacker News
λ
Lambda Calculus
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
2d
·
Discuss:
Hacker News
🌱
Minimal Languages
My Claude Code
workflow
invertedpassion.com
·
23h
🚀
Code Motion
A Case of the Reverse
Ivory
Tower
russmiles.substack.com
·
21h
·
Discuss:
Substack
📚
Self-Documenting Code
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
🧸
Toy Compilers
Capybara
Programming
Language
github.com
·
1d
🔬
programming language theory
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
3d
·
Discuss:
Hacker News
📜
Proof Languages
The
Joy
of
Programming
deanclatworthy.com
·
21h
·
Discuss:
Hacker News
📚
Self-Documenting Code
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
19h
·
Discuss:
Hacker News
📏
Linear Logic
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
3d
📜
Proof Languages
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
4h
·
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