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
112889
posts in
1.51
s
Making an
archer
automaton
blog.adafruit.com
·
1d
💬
Prompt Engineering
intersection
type in
nLab
ncatlab.org
·
1d
📐
Type Theory
🔥 Added a `/
prove
`
skill
to my
prove
_it library.…
justin.searls.co
·
1d
🦀
Rust
A
lightweight
OpenClaw-inspired
AI assistant in Go
reddit.com
·
1d
·
Discuss:
r/golang
🍱
Nom
SAE Feature
Matchmaking
(Layer-to-Layer) by
Mitali
M
greaterwrong.com
·
1d
💬
Prompt Engineering
The AI
Maths
Revolution Has
Begun
backreaction.blogspot.com
·
3d
·
Discuss:
backreaction.blogspot.com
🧩
Constraint Programming
Monday AI
Radar
#12 by Against
Moloch
greaterwrong.com
·
1d
🛡️
AI Security
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
1d
🔵
Go
Scale LLM fine-tuning with
Hugging
Face and Amazon
SageMaker
AI
aws.amazon.com
·
2d
🦙
Ollama
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
1d
·
Discuss:
Hacker News
💬
Prompt Engineering
Building stateful AI Agents with Google
ADK
’s
InMemorySessionService
pub.towardsai.net
·
1d
🦙
Ollama
**Abstract:** This research introduces a novel framework for formally
verifying
software specifications using quantum logic-enhanced hierarchical
decompositi
...
freederia.com
·
5d
✓
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
Graph
algebra
en.wikipedia.org
·
1d
∘
Category Theory
I used to be
fervent
embedded
DSL
fan many years ago (particularly in college wi...
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚙️
SWC
F# 10
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦕
Deno
The
Immutable
Ledger
: Data Integrity Through TypeScript & Design Patterns
dev.to
·
1d
·
Discuss:
DEV
🌳
Merkle Trees
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
1d
·
Discuss:
Hacker News
🔒
BPF LSM
#2 - Going to second
base
: know your
boundaries
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust
Simpler
Presentations
for Many
Fragments
of Quantum Circuits
arxiv.org
·
16h
⚛️
Quantum Computing
Loading...
Loading more...
« Page 14
•
Page 16 »
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