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
135125
posts in
48.1
ms
Proof
Theory and
Logic
Programming
lix.polytechnique.fr
·
14h
·
Discuss:
Hacker News
📊
Datalog
A Gentle Introduction to Nonlinear Constrained Optimization with
Piecewise
Linear
Approximations
towardsdatascience.com
·
1d
📊
Dynamic Programming
CA 20 - Search in
Rotated
Sorted
Array
leetcode.com
·
4h
·
Discuss:
DEV
🏷️
Pointer Tagging
Heuristic
Multiobjective
Discrete Optimization using Restricted Decision Diagrams
arxiv.org
·
2d
🌐
Zero-Suppressed BDDs
QQQTech/S2LC
: A memory and execution optimization architecture for AI models
github.com
·
18h
·
Discuss:
Hacker News
🧩
mimalloc
Brute-Forcing
My Algorithmic
Ignorance
with an LLM in 7 Days
blog.dominikrudnik.pl
·
8h
·
Discuss:
Hacker News
🔢
algo
Algebraic
Modeling in
Datalog
relational.ai
·
2d
📊
Datalog
Starting Today:
Kazhdan
Sunday seminar: “Boolean Functions,
Hypercontractivity
, and Applications”
gilkalai.wordpress.com
·
13h
∘
Category Theory
AI-based automated SQL query generation for
SQLite
databases in Mobile
forensics
sciencedirect.com
·
7h
📊
Vectorized Query Execution
Building an Autonomous Coding Assistant: A
LangGraph.js
Capstone
Guide
dev.to
·
51m
·
Discuss:
DEV
🎭
Program Synthesis
New Approaches to Zero-Knowledge
SNARG
Constructions
eprint.iacr.org
·
2d
🔓
Lock-Free Programming
Puzzles
Games
arkansasonline.com
·
20h
💃
Dancing Links
Training
Diffusion
Language Models for Black-Box Optimization
arxiv.org
·
3d
💬
Prompt Engineering
Overview
slatedb.io
·
12h
🌲
LSM Trees
FairlyInconspicuous/the
_sufficient_statistic: A Theory of
Reductive
Optimization in Complex Systems
github.com
·
18h
·
Discuss:
Hacker News
⚓
Anchors
Programming
mason.bearblog.dev
·
2d
🎭
Program Synthesis
Optimizing
Local LLM Inference for 8GB
VRAM
GPUs
hackernoon.com
·
1d
🤖
TVM
Is every project AI
Slop
?
reddit.com
·
1d
·
Discuss:
r/rust
💬
Prompt Engineering
Neuro-symbolic
AI could slash energy use while
dramatically
improving performance
techxplore.com
·
2h
🧮
Intel MKL-DNN
UOMF
: Requirement Analysis and Solution Deciding Template in
Yankpad
karl-voit.at
·
1d
🎯
Lance
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