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
81273
posts in
254.2
ms
On the
Identifiability
of Steering
Vectors
in Large Language Models
arxiv.org
·
10h
🪜
Recursive Descent
Evaluating and Enhancing the
Vulnerability
Reasoning
Capabilities
of Large Language Models
arxiv.org
·
10h
🔄
Subinterpreters
Local-First AI: How
SLMs
are Fixing the
Latency
Gap 💻✨
dev.to
·
13h
·
Discuss:
DEV
🏰
Capability Machines
Claude Code Best
Practices
: 15 Tips from Running 6 Projects (2026)
dev.to
·
6h
·
Discuss:
DEV
🦀
MIR Optimization
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
📐
Standard ML
Clearing
caches
artima.com
·
1d
🔗
Weak References
Sparse
Sum
‑of‑
Squares
Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...
freederia.com
·
2d
⚡
Control Synthesis
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
3d
📜
Proof Languages
Jokes
on You AI: Turning the
Tables
dev-log.me
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
Building the Future with AI That
Acts
devxt.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
3d
·
Discuss:
Hacker News
🗺️
Region Inference
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
2d
📋
JSON Parsers
A general optimization framework for
mapping
local
transition-state
networks
nature.com
·
3d
🗺️
Region Polymorphism
Private Data Space Model
privatedata.space
·
4d
🪢
Rope Data Structures
Hardness
of
hinted
ISIS from the space-time
hardness
of lattice problems
eprint.iacr.org
·
4d
🌸
Bloom Indexing
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
18h
·
Discuss:
Hacker News
🪜
Recursive Descent
The Adventures of a
Pythonista
in
Schemeland/28
artima.com
·
1d
🔧
Scheme Macros
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏰
Capability Machines
Performance
Tip
of the Week #93: Robots never
sleep
abseil.io
·
1d
🏰
Capability Machines
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
2d
🚂
Cranelift IR
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