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
122032
posts in
1.47
s
Bounded
Modal
Logic
arxiv.org
·
1d
📏
Linear Logic
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🔗
Parser Combinators
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
🔮
Metacircular Evaluators
Go -
Unit
&
Integration
Testing
linkedin.com
·
9h
·
Discuss:
r/programming
🧪
Zig Testing
Programming
Aphorisms
matklad.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🪄
C Metaprogramming
**
Optimizing
Efficient Knowledge Graph Inference with
Tempor
dev.to
·
1d
·
Discuss:
DEV
🗺️
Region Inference
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
1d
·
Discuss:
Hacker News
🪢
Rope Data Structures
Introduction To
Concurrency
|
Concurrency
Interview |
AlgoMaster.io
algomaster.io
·
15h
🔗
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
·
16h
·
Discuss:
r/SideProject
💬
Error Message Design
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
13h
·
Discuss:
DEV
🗑️
Stack Scanning GC
Quick
Stack
Tiedown
artlu.bearblog.dev
·
10h
🚂
Cranelift IR
Large Language Models for
Mortals
book
andrewpwheeler.com
·
19h
🌱
Minimal ML
AI
Automators
in Drupal. How to
Orchestrate
Multi-Step AI Workflows?
droptica.com
·
2h
🎭
Program Synthesis
LISP
Prolog
and Evolution
blog.samibadawi.com
·
12h
🐪
OCaml
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
1d
·
Discuss:
Hacker News
🧩
SAT Solvers
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
9h
·
Discuss:
Hacker News
,
r/rust
✨
Gleam
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
1d
✨
Gleam
Wahba
’s Problem and SO(3) Optimization:
Rotation
Learning in Geometric ML
hackernoon.com
·
14h
🧩
Constraint 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
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