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
🧩 Constraint Logic
CLP, Logic Variables, Unification, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122271
posts in
935.4
ms
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
15h
🧮
Theorem Provers
Postgres
Locks
Explained
postgreslocksexplained.com
·
1d
·
Discuss:
Hacker News
🗑️
Concurrent GC
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
15h
🔗
Graph Rewriting
🔗 Explainer:
Tree-sitter
vs.
LSP
yellowduck.be
·
11h
🌲
Tree-sitter
Go -
Unit
&
Integration
Testing
linkedin.com
·
23h
·
Discuss:
r/programming
🧪
Zig Testing
Explain
Your Rules
blog.sebastiansastre.co
·
17h
·
Discuss:
Hacker News
💫
Effect Systems
I
benchmarked
4 CLI coding agents on an
NP-hard
optimization problem I solved by hand 8 years ago. One of them beat me.
charlesazam.com
·
5h
·
Discuss:
Hacker News
🧩
Constraint Solvers
The
Sour
Lesson: A Guide to Building
AGI-Pilled
Products
chrislovejoy.me
·
20h
·
Discuss:
Hacker News
🎮
Language Ergonomics
Task 17:
Implement
property-based
invariant
tests · Issue #30
github.com
·
8h
🎲
Property Testing
Programming
Aphorisms
matklad.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🪄
C Metaprogramming
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
11h
·
Discuss:
DEV
🔮
Clojure
The
calculus
tutorial just
shipped
!
minireference.com
·
3h
·
Discuss:
Hacker News
📐
Mathematical Computing
Cantor
Normal
Form
infinitelymore.xyz
·
7h
λ
Lambda Calculus
Functional
Optics
for Modern Java
blog.scottlogic.com
·
20h
✨
Gleam
Issue 638
datascienceweekly.substack.com
·
37m
·
Discuss:
Substack
🌱
Minimal ML
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
1d
·
Discuss:
DEV
🗑️
Stack Scanning GC
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
30m
💬
Interactive REPLs
Quick
Stack
Tiedown
artlu.bearblog.dev
·
1d
🚂
Cranelift IR
Large Language Models for
Mortals
book
andrewpwheeler.com
·
1d
🌱
Minimal ML
AI
Automators
in Drupal. How to
Orchestrate
Multi-Step AI Workflows?
droptica.com
·
17h
🎭
Program Synthesis
Loading...
Loading more...
« Page 2
•
Page 4 »
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