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
🧮 SMT Solvers
Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
145211
posts in
39.2
ms
ConstraintBench
:
Benchmarking
LLM Constraint Reasoning on Direct Optimization
arxiv.org
·
2d
🧩
Constraint Programming
Recursive
SNARKs
Explained: How
Proofs
Verify Other
Proofs
dev.to
·
2h
·
Discuss:
DEV
🌳
Merkle Trees
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
8h
·
Discuss:
Hacker News
🤖
TVM
Data
Structures
and
Algorithms
Introduction
hellointerview.com
·
1d
🌳
Data Structures
TorchLean
:
Formalizing
Neural Networks in Lean
leandojo.org
·
6h
·
Discuss:
Hacker News
🔥
PyTorch
QORA
- Native Rust LLM
Inference
Engine
huggingface.co
·
15h
·
Discuss:
DEV
🍱
Nom
Faster algorithms for graph
homomorphism
via
tractable
constraint satisfaction
arxiv.org
·
2d
🧩
Constraint Programming
Differential
Logic
• 14
inquiryintoinquiry.com
·
17h
🧮
Algebraic Effects
Linkage
11011110.github.io
·
15h
📐
Computational Geometry
My AI development
stack
ultralinx.notion.site
·
2h
🎭
Program Synthesis
anadim/AdderBoard
: Smallest transformer that can add two 10-digit numbers
github.com
·
20h
🌳
Pratt Parsing
Brute
force and
ignorance
blog.davep.org
·
2d
🔓
Binary Exploitation
Fast
Autoscheduling
for Sparse ML
Frameworks
fredrikbk.com
·
8h
·
Discuss:
Hacker News
🤖
TVM
On language models and
intuition
aleksei.dev
·
14h
🎯
Hindley-Milner
Tools to generate realistic prompts help surprisingly little with
Petri
audit
realism
lesswrong.com
·
1h
💬
Prompt Engineering
Introduction to
Data-Centric
Query
Compilation
duckul.us
·
2d
·
Discuss:
r/compsci
🔥
DataFusion
The Weekly Challenge 362:
Spellbound
Echo
blog.firedrake.org
·
44m
🪢
Rope Data Structure
The Lie algebra of XY-mixer
topologies
and warm starting
QAOA
for constrained optimization
nature.com
·
1d
⚛️
Quantum Computing
What
Happens
When a GPT
Reads
Your Message
pub.towardsai.net
·
2h
🧮
Embeddings
Scaling ML Inference on Databricks: Liquid or
Partitioned
?
Salted
or Not?
towardsdatascience.com
·
20h
📊
Vectorized Query Execution
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