Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
144373
posts in
29.4
ms
ConstraintBench
:
Benchmarking
LLM Constraint Reasoning on Direct Optimization
arxiv.org
·
1d
🧮
SMT Solvers
Data
Structures
and
Algorithms
Introduction
hellointerview.com
·
13h
🌳
Data Structures
Differential
Logic
• 14
inquiryintoinquiry.com
·
58m
🧮
Algebraic Effects
Faster algorithms for graph
homomorphism
via
tractable
constraint satisfaction
arxiv.org
·
1d
🧮
SMT Solvers
A Coding Implementation to Build a
Hierarchical
Planner
AI Agent Using Open-Source LLMs with Tool Execution and Structured Multi-Agent Reasoning
marktechpost.com
·
15h
🎭
Program Synthesis
anadim/AdderBoard
: Smallest transformer that can add two 10-digit numbers
github.com
·
4h
🌳
Pratt Parsing
Solving
hard
problems
marcg.net
·
1d
🎭
Program Synthesis
Can LLMs
SAT
?
blog.aiono.dev
·
2d
·
Discuss:
Lobsters
🧮
SMT Solvers
Full
Transformer
Block — Deep
Dive
+ Problem: List Operations
dev.to
·
3h
·
Discuss:
DEV
🌳
Pratt Parsing
Architectural shift in code synthesis: Has anyone evaluated Energy-Based Models (
EBMs
) / formal constraint solvers as a viable alternative to LLM
auto-regressiv
...
logicalintelligence.com
·
1d
·
Discuss:
r/SoftwareEngineering
🎭
Program Synthesis
Polyworld
en.wikipedia.org
·
1h
·
Discuss:
Hacker News
🔲
Cellular Automata
Scaling ML Inference on Databricks: Liquid or
Partitioned
?
Salted
or Not?
towardsdatascience.com
·
4h
📊
Vectorized Query Execution
An
Introduction
to
Lean
4
uv.es
·
6h
🏗️
Cranelift
μpack
: Faster & more flexible
integer
compression
blog.cf8.gg
·
1d
·
Discuss:
r/programming
,
r/rust
📏
Run-Length Encoding
Projects
morling.dev
·
23h
🔧
Abseil
Beyond the
Basics
: Advanced Local AI Coding
Workflows
and Model Optimization (Part 2)
pub.towardsai.net
·
20h
💬
Prompt Engineering
Introduction to
Data-Centric
Query
Compilation
duckul.us
·
2d
·
Discuss:
r/compsci
🔥
DataFusion
Determining
those Boolean functions whose restrictions to affine spaces are
plateaued
eprint.iacr.org
·
3d
∘
Category Theory
Optimizing LLM Inference: Sparse Activation, MoE, and
Gated-MLP
Efficiency
hackernoon.com
·
1d
🤖
TVM
Learning about
automated
prompts
marcabraham.com
·
10h
💬
Prompt Engineering
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