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
80143
posts in
441.8
ms
FloorplanVLM
: A Vision-Language Model for Floorplan
Vectorization
arxiv.org
·
11h
🌲
Binary Search Trees
A Structural Equivalence of Symmetric
TSP
to a Constrained Group
Steiner
Tree Problem
arxiv.org
·
3d
🌲
Binary Search Trees
language games
ascara.bearblog.dev
·
3d
🗣️
Natural Language Parsing
**Abstract:** The increasing volume and complexity of international standards across diverse fields
necessitate
efficient translation and harmonization
strat
...
freederia.com
·
3d
🗣️
Natural Language Parsing
Sparse
Sum
‑of‑
Squares
Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...
freederia.com
·
2d
🌲
Binary Search Trees
Text classification with Python 3.14's
zstd
module • Max
Halford
maxhalford.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
📄
Document Versioning
AI/ML
Project
Ideas
for 2026
amanxai.com
·
3d
🧮
Algorithms
LISP
:
Symbolic
Architecture and the Evolution of Agentic Systems
notebooklm.google.com
·
3d
🧮
Hindley-Milner
Performance
Tip
of the Week #90: How to
estimate
abseil.io
·
1d
🌲
Binary Search Trees
AL,
Logical
mathhombre.blogspot.com
·
4d
·
Discuss:
mathhombre.blogspot.com
🗂️
Hash Tables
Against the
Orthogonality
Thesis
jonasmoman.substack.com
·
4d
·
Discuss:
Substack
🧮
Hindley-Milner
Revisiting
Regular
Types
abseil.io
·
1d
🧮
Hindley-Milner
LLM Inference
Benchmarking
-
Measure
What Matters
digitalocean.com
·
3d
🧮
Hindley-Milner
AI Role-Playing Characters Gain
Consistency
With
Automatically
Built ‘state Of Mind’ Models
quantumzeitgeist.com
·
2d
🗣️
Natural Language Parsing
I built a free
ML
practice
platform - would love your feedback [P]
reddit.com
·
5d
·
Discuss:
r/MachineLearning
🏷️
Named Entity Recognition
Mappa
– Fine-tune ANY multi-agent LLM systems end-to-end with AI
coaches
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🌲
Binary Search Trees
Differential
Logic
• 1
inquiryintoinquiry.com
·
3d
🧮
Hindley-Milner
ggml
: backend-agnostic tensor parallelism by
JohannesGaessler
· Pull Request #19378
github.com
·
3d
·
Discuss:
r/LocalLLaMA
🗂️
Hash Tables
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
5d
💻
Programming Languages
So
whats
the next word, then? Almost-no-math
intro
to transformer models
matthias-kainer.de
·
3d
·
Discuss:
Hacker News
🧮
Algorithms
Loading...
Loading more...
« Page 9
•
Page 11 »
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