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
79123
posts in
788.3
ms
rePIRL
: Learn
PRM
with Inverse RL for LLM Reasoning
arxiv.org
·
7h
🧮
Hindley-Milner
HyPER: Bridging Exploration and
Exploitation
for Scalable LLM Reasoning with
Hypothesis
Path Expansion and Reduction
arxiv.org
·
1d
🌲
Binary Search Trees
Tensor‑Network Path‑Integral Algorithm for Efficient Simulation of Discrete 3‑D Quantum Gravity and its Application to
Cosmological
Data **Abstract** We
intr
...
freederia.com
·
4d
🗂️
Columnar Storage
**Abstract:** This paper introduces a novel framework, the Hybrid Symbolic-Neural Verification Engine (
HSNVE
), to
bolster
the legal reliability of AI-driven ...
freederia.com
·
4d
🌲
Binary Search Trees
AI and the
Reconfiguration
of the
Counterintelligence
Battlefield
tandfonline.com
·
6d
🧮
Algorithms
Simple
vanilla
restaurant
booking
system
vanillife.substack.com
·
6d
·
Discuss:
Substack
🗄
Databases
The Missing
Programming
Language - Why There's No
S-Tier
Language (Yet)
hamy.xyz
·
6d
💻
Programming Languages
Your AI Has
Genie
Energy (And That's a Problem)
boleary.dev
·
6d
🌲
Binary Search Trees
The Quiet
Math
Revolution: How a $150 Million Bet Signals AI’s Next
Frontier
Beyond Language Models
webpronews.com
·
6d
🗂️
Columnar Storage
Episodic
memory in AI agents
poses
new safety risks
lesswrong.com
·
5d
📄
Document Versioning
Counter
intelligence
news.mit.edu
·
6d
🧮
Algorithms
Maiasa
: A next-gen, fast, robust,
ethical
language model (that can only say "a")
maiasa.ai
·
6d
·
Discuss:
Hacker News
🗣️
Natural Language Parsing
“
Parallelizing
MCMC
Across the Sequence Length”: This one is really cool.
statmodeling.stat.columbia.edu
·
6d
🧮
Algorithms
Can an LLM Know That It
Knows
?
pub.towardsai.net
·
5d
🧮
Hindley-Milner
Bridging
theory and experiment in materials discovery: Machine-learning-assisted prediction of
synthesizable
structures
link.aps.org
·
6d
🌲
Binary Search Trees
Stop
Torturing
Your Data: How to Automate
Rigor
With AI
hackernoon.com
·
6d
📄
Document Versioning
Build Your Own Coding Agent: A
Zero-Magic
Guide to AI Agents in
Pure
Python
leanpub.com
·
5d
·
Discuss:
r/coding
🌲
Binary Search Trees
AI Cost
Considerations
Every
Engineer
Should Know
vantage.sh
·
6d
·
Discuss:
Hacker News
📄
Document Versioning
meth: A Python library to
parse
and
evaluate
mathematical equations.
github.com
·
6d
🧮
Algorithms
Upgrade your AI
workflow
with this powerful prompt
builder
mashable.com
·
6d
🗂️
Hash Tables
Loading...
Loading more...
« Page 18
•
Page 20 »
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