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
81769
posts in
647.7
ms
Steering
Large Reasoning Models towards
Concise
Reasoning via Flow Matching
arxiv.org
·
3d
🔗
Borrowing Extensions
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
3d
🎰
Parsing Machines
LangGraph vs
CrewAI
vs
AutoGen
: The Complete Multi-Agent AI Orchestration Guide for 2026
dev.to
·
3d
·
Discuss:
DEV
🎭
Program Synthesis
This dev built his own LLM from
scratch
dev.to
·
4d
·
Discuss:
DEV
🌱
Tiny Languages
The Graph Theory of
Circuit
Sculptures
hackaday.com
·
6d
🎨
Graph Coloring
RFC
6902: JavaScript Object
Notation
(JSON) Patch
datatracker.ietf.org
·
6d
·
Discuss:
r/gamedev
📡
Network Serialization
🫂
wiok.io
·
6d
🎯
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
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
qcc4cp/qcc
: Source code for the book "Quantum Computing for
Programmers
", Cambridge University Press
github.com
·
5d
·
Discuss:
Hacker News
🔬
Nanopasses
iczelia/kamilalisp
: a functional, flexible and concise lisp.
github.com
·
6d
🌱
Minimal Lisps
LLMs as the new high level language
federicopereiro.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
🎨
Domain-Specific Languages
Loading...
Loading more...
« Page 20
•
Page 22 »
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