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
81317
posts in
433.3
ms
MINT: Minimal Information
Neuro-Symbolic
Tree for Objective-Driven Knowledge-Gap Reasoning and Active
Elicitation
arxiv.org
·
3d
📈
Earley Parsing
Learning
Compact
Boolean
Networks
arxiv.org
·
3d
🗺️
Region Inference
How I
accidentally
start
SDD
by failing at prompts for six months
dev.to
·
2d
·
Discuss:
DEV
🎭
Program Synthesis
LangGraph vs
CrewAI
vs
AutoGen
: The Complete Multi-Agent AI Orchestration Guide for 2026
dev.to
·
3d
·
Discuss:
DEV
🎭
Program Synthesis
The Graph Theory of
Circuit
Sculptures
hackaday.com
·
5d
🎨
Graph Coloring
RFC
6902: JavaScript Object
Notation
(JSON) Patch
datatracker.ietf.org
·
6d
·
Discuss:
r/gamedev
📡
Network Serialization
🫂
wiok.io
·
5d
🎯
Finite Automata
Learn
graphql.org
·
6d
🌐
Network Protocols
**Abstract:** This paper introduces a novel framework for automating the logical verification and
formalization
of knowledge
extracted
from domain-specific d...
freederia.com
·
6d
⚖️
Inference Rules
**Abstract:** This paper proposes a novel methodology for verifying the temporal consistency of theoretical Closed
Timelike
Curve (
CTC
) systems. Traditional ...
freederia.com
·
4d
🔢
Algebraic Datatypes
Semantic
Operators
: Run LLM
Queries
Directly in SQL
tacnode.io
·
6d
·
Discuss:
Hacker News
📋
Souffle Datalog
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
5d
·
Discuss:
Substack
🔒
Rust Borrowing
A Faster
WBT/SBT
Implementation Than Linux
RBT
typecombinator.github.io
·
6d
·
Discuss:
r/cpp
🌳
Tree Shaking
New post
phonon.cc
·
6d
🔄
Bootstrapping
Presentation: Beyond the
Warehouse
: Why
BigQuery
Alone Won’t Solve Your Data Problems
infoq.com
·
4d
🌳
B+ Trees
Together AI welcomes
Alon
Gavrielov
as VP of Infrastructure Strategy
together.ai
·
6d
📋
JSON Parsing
A
dilettante
’s
philosophy
of mind
mtmason.com
·
6d
·
Discuss:
Hacker News
💫
Effect Systems
An AI
Workflow
to Slow Down and
Reflect
in the Age of Inference-Speed
souravinsights.com
·
5d
·
Discuss:
Hacker News
💬
Interactive REPLs
iczelia/kamilalisp
: a functional, flexible and concise lisp.
github.com
·
5d
🌱
Minimal Lisps
qcc4cp/qcc
: Source code for the book "Quantum Computing for
Programmers
", Cambridge University Press
github.com
·
5d
·
Discuss:
Hacker News
🔬
Nanopasses
Loading...
Loading more...
« Page 19
•
Page 21 »
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