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
117506
posts in
3.50
s
intersection
type in
nLab
ncatlab.org
·
14h
📐
Type Theory
Making an
archer
automaton
blog.adafruit.com
·
6h
💬
Prompt Engineering
🔥 Added a `/
prove
`
skill
to my
prove
_it library.…
justin.searls.co
·
6h
🦀
Rust
SAE Feature
Matchmaking
(Layer-to-Layer) by
Mitali
M
greaterwrong.com
·
23h
💬
Prompt Engineering
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
16h
🔵
Go
The AI
Maths
Revolution Has
Begun
backreaction.blogspot.com
·
2d
·
Discuss:
backreaction.blogspot.com
🧩
Constraint Programming
Monday AI
Radar
#12 by Against
Moloch
greaterwrong.com
·
23h
🛡️
AI Security
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
14h
·
Discuss:
Hacker News
💬
Prompt Engineering
Building stateful AI Agents with Google
ADK
’s
InMemorySessionService
pub.towardsai.net
·
22h
🦙
Ollama
Scale LLM fine-tuning with
Hugging
Face and Amazon
SageMaker
AI
aws.amazon.com
·
1d
🦙
Ollama
**Abstract:** This research introduces a novel framework for formally
verifying
software specifications using quantum logic-enhanced hierarchical
decompositi
...
freederia.com
·
4d
✓
Formal Verification
**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
An in-process
SQL
OLAP
database management system
duckdb.org
·
6h
🦆
DuckDB
Building a Semantic Search Engine with
Hugging
Face Transformers and
MongoDB
Atlas Vector Search
dev.to
·
12h
·
Discuss:
DEV
🎯
Vector Search
Computing
submatrices
of the
Hermite
normal form of a structured polynomial matrix
arxiv.org
·
22h
📐
Linear Algebra
Slides
from my AI presentation I gave to
seniors
, feel free to share
aititus.com
·
8h
·
Discuss:
Hacker News
🛡️
AI Security
#2 - Going to second
base
: know your
boundaries
dev.to
·
9h
·
Discuss:
DEV
🦀
Rust
I used to be
fervent
embedded
DSL
fan many years ago (particularly in college wi...
news.ycombinator.com
·
13h
·
Discuss:
Hacker News
⚙️
SWC
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
22h
·
Discuss:
Hacker News
🔒
BPF LSM
Specification
Vibing
for Automated Program Repair
arxiv.org
·
22h
🎭
Program Synthesis
Loading...
Loading more...
« Page 8
•
Page 10 »
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