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
79597
posts in
512.0
ms
Agentic
reasoning
for Large Language Models
arxiv.org
·
1d
🗣️
Natural Language Parsing
[2104.14516]
Constructions
in
combinatorics
via neural networks
arxiv.org
·
4d
🧮
Algorithms
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
Against the
Orthogonality
Thesis
jonasmoman.substack.com
·
4d
·
Discuss:
Substack
🧮
Hindley-Milner
Stocking
Stuffers
yamlscript.org
·
2d
🏗
Datastructures
AI for People
justsitandgrin.im
·
3d
·
Discuss:
Hacker News
🏷️
Named Entity Recognition
LISP
:
Symbolic
Architecture and the Evolution of Agentic Systems
notebooklm.google.com
·
3d
🧮
Hindley-Milner
Tip
of the Week #134: <code>make_unique</code> and <code>private</code>
Constructors
.
abseil.io
·
1d
🗂️
Hash Tables
Performance
Tip
of the Week #90: How to
estimate
abseil.io
·
1d
🌲
Binary Search Trees
As
Rocks
May Think
evjang.com
·
5d
·
Discuss:
Hacker News
,
r/programming
🌲
Binary Search Trees
AL,
Logical
mathhombre.blogspot.com
·
4d
·
Discuss:
mathhombre.blogspot.com
🗂️
Hash Tables
LLM Inference
Benchmarking
-
Measure
What Matters
digitalocean.com
·
2d
🧮
Hindley-Milner
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
Loading...
Loading more...
« Page 8
•
Page 10 »
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