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
123646
posts in
1.71
s
Bounded
Modal
Logic
arxiv.org
·
19h
📏
Linear Logic
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
19h
🔗
Parser Combinators
Wahba
’s Problem and SO(3) Optimization:
Rotation
Learning in Geometric ML
hackernoon.com
·
8h
🧩
Constraint Solvers
Introduction To
Concurrency
|
Concurrency
Interview |
AlgoMaster.io
algomaster.io
·
9h
🔗
Concurrency Primitives
Differential
Logic
• 5
inquiryintoinquiry.com
·
2d
∫
Mathematical DSLs
Case Studies on how to solve
product/landing/launch/GTM
problems (
possibleProblem
->Solution IF-THEN structure)
docs.google.com
·
10h
·
Discuss:
r/SideProject
💬
Error Message Design
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
7h
·
Discuss:
DEV
🗑️
Stack Scanning GC
Quick
Stack
Tiedown
artlu.bearblog.dev
·
5h
🚂
Cranelift IR
Large Language Models for
Mortals
book
andrewpwheeler.com
·
14h
🌱
Minimal ML
LISP
Prolog
and Evolution
blog.samibadawi.com
·
7h
🐪
OCaml
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
3h
·
Discuss:
Hacker News
✨
Gleam
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
1d
·
Discuss:
Hacker News
🧩
SAT Solvers
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
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
1d
✨
Gleam
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
Peiyang-Song/Awesome-LLM-Reasoning-Failures
:
Repo
for "Large Language Model Reasoning Failures"
github.com
·
7h
🪜
Recursive Descent
The Evolution of a
Lean
Programmer
unnamed.website
·
3d
·
Discuss:
Hacker News
🎭
Staged Interpreters
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
1d
·
Discuss:
r/programming
🏛️
Elm Architecture
How To Manage
Complexity
In
UX
- Smart Interface Design Patterns
mailchi.mp
·
1d
🎮
Language Ergonomics
AI Code’s Logic Can Now Be
Checked
From Within,
Bypassing
External Tests
quantumzeitgeist.com
·
10h
🎭
Program Synthesis
Loading...
Loading more...
« Page 1
•
Page 3 »
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