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 Solving
SAT Solvers, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80243
posts in
1.22
s
Emergent
Search and
Backtracking
in Latent Reasoning Models
arxiv.org
·
9h
🧩
Prolog
Free(): Learning to
Forget
in
Malloc-Only
Reasoning Models
arxiv.org
·
9h
🗺️
Region Inference
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🌙
Lua
SaaS
System Design
dev.to
·
1d
·
Discuss:
DEV
⚡
Live Coding
Hardness
of
hinted
ISIS from the space-time
hardness
of lattice problems
eprint.iacr.org
·
5d
🌸
Bloom Indexing
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
4d
·
Discuss:
r/golang
🔤
Regex Engines
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
4d
·
Discuss:
Hacker News
🪜
Recursive Descent
New MIT Framework Uses Search to
Handle
LLM
Errors
in AI Agents
hpcwire.com
·
4d
🔄
Subinterpreters
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🗺️
Region Inference
Knowledge-Creating
LLMs
tecunningham.github.io
·
3d
·
Discuss:
Hacker News
🌱
Minimal ML
Optimized
LLM Inference
Engines
rishirajacharya.com
·
5d
🗺️
Region Inference
How To Go
Slow
artima.com
·
2d
⏭️
Skip Lists
**Abstract:** This paper proposes a novel methodology for automated
theorem
discovery within advanced set theory utilizing hyperdimensional geometric
algebra
...
freederia.com
·
5d
🔢
Algebraic Datatypes
From Questions to
Insights
: Data Analysis with
LangChain
’s Built-In Tools
pub.towardsai.net
·
4d
📊
DataFrame Types
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
📡
Erlang BEAM
What I am doing now
artima.com
·
2d
🔄
Bootstrapping
Performance
Tip
of the Week #7: Optimizing for application
productivity
abseil.io
·
2d
⚡
Performance
Performance
Tip
of the Week #64: More
Moore
with better API design
abseil.io
·
2d
⚡
Interpreter Optimization
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🎭
Program Synthesis
Loading...
Loading more...
« Page 11
•
Page 13 »
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