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
🧩 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
80448
posts in
507.3
ms
Same Engine, Multiple Gears: Parallelizing
Fixpoint
Iteration at Different
Granularities
(Extended Version)
arxiv.org
·
13h
🌲
Binary Search Trees
Weisfeiler
and
Lehman
Go Categorical
arxiv.org
·
13h
🧮
Algorithms
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧮
Algorithms
Writing a
ONNX
Neural Network Inference Engine from Scratch in C to run image classification with
MobileNetV2
flexw.github.io
·
1d
·
Discuss:
r/C_Programming
🌲
Binary Search Trees
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
7h
🏷️
Named Entity Recognition
Mathematicians
launch First Proof, a first-of-its-kind math
exam
for AI
scientificamerican.com
·
1h
🧮
Algorithms
Kann KI neue
Mathe-Erkenntnisse
liefern?
Spitzenforscher
machen den Test
heise.de
·
3h
🗣️
Natural Language Parsing
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
8h
·
Discuss:
Hacker News
💻
Programming Languages
**Abstract:** This paper introduces a novel framework for automated verification of deformations applied to Hilbert
polytopes
, a crucial step in
understandin
...
freederia.com
·
3d
🧮
Algorithms
The
Prospero
Challenge
mattkeeter.com
·
3h
🌲
Binary Search Trees
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
1d
·
Discuss:
r/golang
🗂️
Columnar Storage
AI
Workflows
chatprd.ai
·
1d
🧮
Algorithms
Tip of the Week #144: Heterogeneous
Lookup
in
Associative
Containers
abseil.io
·
1d
🗂️
Hash Tables
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
jack-clark.net
·
4h
🌲
Binary Search Trees
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
1h
·
Discuss:
Hacker News
🏷️
Named Entity Recognition
The Future of Software Engineering
poberezkin.com
·
23h
·
Discuss:
Hacker News
🧮
Hindley-Milner
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
2d
·
Discuss:
Hacker News
🧮
Algorithms
EBM
vs. LLMs: Our
Kona
EBM
a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com
·
3d
·
Discuss:
Hacker News
🌲
Binary Search Trees
Puzzle
Potential
jhyde.itch.io
·
1d
🧮
Algorithms
Building a
BMO
Local AI Agent
blog.adafruit.com
·
1d
🌲
Binary Search Trees
Loading...
Loading more...
« Page 2
•
Page 4 »
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