Skip to main content
Scour
Browse
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
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
77946
posts in
1.00
s
Functional
Logic Program
Transformations
arxiv.org
路
1d
馃彮
Functional Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From
logical
reasoning to code in C and
PHP
dev.to
路
21h
路
Discuss:
DEV
馃搵
Datalog
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Multi-Modal Program
Verification
in
Velvet
proofsandintuitions.net
路
1d
路
Discuss:
Hacker News
馃М
Theorem Provers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Probabilistic
Linear Logic Programming with an application to Bayesian Networks
computations
arxiv.org
路
1d
馃З
Prolog
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Conversation
: LLMs and the what/how
loop
martinfowler.com
路
18h
馃攢
Control Structures
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Making a Language
thunderseethe.dev
路
10h
馃敩
programming language theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
GNU
C Language
Manual
gnu.org
路
13h
馃獎
C Metaprogramming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
We built
Cedar
with automated reasoning and
differential
testing (2023)
amazon.science
路
2d
路
Discuss:
Hacker News
馃摐
Proof Languages
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
DELTA-X: An
Invariant
,
Auditable
Reasoning Framework for Humans and AI
osf.io
路
1d
路
Discuss:
DEV
馃摐
Proof Languages
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Production-Ready
ML
Projects: Why
Structure
Matters More Than Your Model
pub.towardsai.net
路
4h
馃尦
Tree Shaking
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Subterms
Modulo
Theories I
philipzucker.com
路
3d
馃敆
Lexical Scoping
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Simplex
, a workflow
specification
language for autonomous agents
github.com
路
1d
路
Discuss:
Hacker News
馃幁
Program Synthesis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Solved
yet
stuck
kevinsdias.com
路
10h
馃З
Prolog
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
G枚del
鈥檚 Theorems (and
logicisms
) revisited
logicmatters.net
路
2d
馃摐
Proof Languages
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Filtering
as domain
logic
blog.ploeh.dk
路
2d
路
Discuss:
r/programming
馃尭
Bloom Filters
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Patterns
All the Way Down: A
Generalization
for Graph-Like Things
medium.com
路
16h
路
Discuss:
Hacker News
馃
Rope Data Structures
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Rust async
combinators
for
elegant
and secure concurrency
kerkour.com
路
1d
路
Discuss:
r/rust
馃獑
Embedded DSLs
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
馃敩 Research-Grade Context Engineering This material
represents
high-performance prompt research results designed based on Advanced
Logical
Architectures. 馃摐 Ma...
freederia.com
路
1d
馃幁
Program Synthesis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Four LLM
Stress
Tests
dev.to
路
12h
路
Discuss:
DEV
馃З
SAT Solvers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Designing
Boring
Software with Functional Programming
agentultra.com
路
1d
馃獮
Homoiconicity
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
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