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
78821
posts in
1.24
s
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
1d
🌲
Binary Search Trees
UReason
: Benchmarking the Reasoning
Paradox
in Unified Multimodal Models
arxiv.org
·
5h
🧮
Hindley-Milner
Early History of a Perfect Join
Algorithm
remy.wang
·
2d
🧮
Algorithms
chaquo/chaquopy
: Chaquopy: the Python
SDK
for Android
github.com
·
20h
·
Discuss:
Hacker News
🌲
Binary Search Trees
Like
LEGO
? Love Python! 🧱🐍
Ep.1
github.com
·
19h
·
Discuss:
DEV
💻
Programming Languages
Rob
Pike
's Simple Regular
Expressions
bruceediger.com
·
2d
🗣️
Natural Language Parsing
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
4d
·
Discuss:
Hacker News
🗣️
Natural Language Parsing
How to Build Production-Ready
Genie
Spaces
, and Build Trust Along the Way
databricks.com
·
3d
🗂️
Hash Tables
Human-like Search for Modern
Applications
anvitra.ai
·
2d
·
Discuss:
Hacker News
🧮
Algorithms
Jokes
on You AI: Turning the
Tables
dev-log.me
·
1d
·
Discuss:
Hacker News
📄
Document Versioning
When you do the
math
,
humans
still rule
phys.org
·
8h
🧮
Algorithms
Beyond
Jailbreaking
: Why Direct Prompt Injection is Now
Arbitrary
Code Execution
pub.towardsai.net
·
1d
🗂️
Hash Tables
Stocking
Stuffers
yamlscript.org
·
3d
🏗
Datastructures
SAE
Feature
Matchmaking
(Layer-to-Layer)
lesswrong.com
·
5h
🌲
Binary Search Trees
Concurrent
vs.
Parallel
Execution in LLM API Calls: From an AI Engineer’s Perspective
pub.towardsai.net
·
1d
💻
Programming Languages
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
2d
🗣️
Natural Language Parsing
Some
thoughts
on LLM coding
blog.dave.tf
·
1d
·
Discuss:
Hacker News
💻
Programming Languages
Performance Tip of the Week #83:
Reducing
memory
indirections
abseil.io
·
2d
🗂️
Hash Tables
Released:
DeepBrainz-R1
— reasoning-first small models for agentic workflows (
4B
/ 2B
huggingface.co
·
4d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🧮
Hindley-Milner
Scientists reveal the alien logic of AI:
hyper-rational
but
stumped
by simple concepts
psypost.org
·
2d
🧮
Algorithms
Loading...
Loading more...
« Page 6
•
Page 8 »
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