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
🧮 SMT Solvers
Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
117474
posts in
1.99
s
SAE Feature
Matchmaking
(Layer-to-Layer) by
Mitali
M
greaterwrong.com
·
22h
💬
Prompt Engineering
A
lightweight
OpenClaw-inspired
AI assistant in Go
reddit.com
·
20h
·
Discuss:
r/golang
🍱
Nom
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
15h
🔵
Go
AI-augmented
data quality engineering
infoworld.com
·
1d
📱
Edge AI
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
🌳
Tree-sitter
Monday AI
Radar
#12 by Against
Moloch
greaterwrong.com
·
22h
🛡️
AI Security
A
pattern
for safe
database
access with AI coding agents
docs.getpochi.com
·
8h
·
Discuss:
Hacker News
🔒
Two-Phase Locking
Building stateful AI Agents with Google
ADK
’s
InMemorySessionService
pub.towardsai.net
·
21h
🦙
Ollama
1.8x Increase in Training Speed, 78% Reduction in Inference
Overhead
: Accurate Question Selection
Efficiently
Accelerates RL Training
eu.36kr.com
·
1d
💬
Prompt Engineering
Graph
algebra
en.wikipedia.org
·
23h
∘
Category Theory
Building Production-Ready AI
Chatbots
: Lessons from 6 Months of
Failure
lojiq.ai
·
9h
·
Discuss:
DEV
💬
Prompt Engineering
**Abstract:** This research proposes a novel methodology for accelerating
theorem
proving
within the Lean 4 proof assistant by directly optimizing the formal...
freederia.com
·
6d
λ
Functional Programming
**Abstract:** This paper introduces a novel system for significantly accelerating the
formalization
of dependent type theories—a critical
bottleneck
in the d...
freederia.com
·
5d
✓
Formal Verification
Building a Semantic Search Engine with
Hugging
Face Transformers and
MongoDB
Atlas Vector Search
dev.to
·
11h
·
Discuss:
DEV
🎯
Vector Search
MySQL
with
extensions
for the agentic AI era
villagesql.com
·
12h
·
Discuss:
Hacker News
🐢
Turso
Computing
submatrices
of the
Hermite
normal form of a structured polynomial matrix
arxiv.org
·
22h
📐
Linear Algebra
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1d
·
Discuss:
Hacker News
🦙
Ollama
The
Immutable
Ledger
: Data Integrity Through TypeScript & Design Patterns
dev.to
·
1d
·
Discuss:
DEV
🌳
Merkle Trees
Mojo
roadmap
docs.modular.com
·
1d
⚙️
SWC
Adaptive
Uncertainty-Aware
Tree Search for
Robust
Reasoning
arxiv.org
·
1d
⚖️
Y-Fast Tries
Loading...
Loading more...
« Page 7
•
Page 9 »
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