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
110183
posts in
2.80
s
3/4
spell
swap
extra notes
cowboy-starshine.itch.io
·
22h
♻️
Interning
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
1d
🔍
RAG
AI Text
Editors
trendhunter.com
·
1d
⌨️
Text Editors
Fragments
: February 9
martinfowler.com
·
1d
💬
Prompt Engineering
On the Use of
Atkin
and Weber Modular Polynomials in
Isogeny
Proofs of Knowledge
eprint.iacr.org
·
5d
🔢
Homomorphic Encryption
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
2d
💬
Prompt Engineering
Monday AI
Radar
#12
lesswrong.com
·
1d
🛡️
AI Security
*Leveraging Deep Learning‑Assisted
Sieve
Techniques for Scalable Identification of Twin Primes up to
10¹⁸
* — ### Abstract The twin prime conjecture—ass...
freederia.com
·
5d
📊
HyperLogLog
I
solved
150+ problems and
forgot
most of them. Here's the system I built to fix that.
chromewebstore.google.com
·
22h
·
Discuss:
DEV
📚
Technical Writing
**Machine‑Learning‑Assisted Formal Verification of
DAO
Treasury Smart Contracts: A Risk‑Aware Optimization Framework** — ### Abstract Decentralized
Aut
...
freederia.com
·
5d
🔍
eBPF Verifier
Domain
Specific
Languages
martinfowler.com
·
22h
🔤
Language Design
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
2d
🌳
Pratt Parsing
rss.livelink.threads-in-node
: Choosing the Right Model in GitHub Copilot: A Practical Guide for Developers
techcommunity.microsoft.com
·
1d
🏗️
Cranelift
Computing
submatrices
of the
Hermite
normal form of a structured polynomial matrix
arxiv.org
·
1d
📐
Linear Algebra
State of
HLSL
: February 2026
abolishcrlf.org
·
22h
·
Discuss:
Hacker News
🔍
KLEE
The Potential of
RLMs
dbreunig.com
·
1d
·
Discuss:
Hacker News
💬
Prompt Engineering
Local Reasoning: Deploying DeepSeek-R1
Distill
Llama-8B with Ollama & Open
WebUI
🌙
dev.to
·
2d
·
Discuss:
DEV
🦙
Ollama
Togelius
:
Math
and me
togelius.blogspot.com
·
1d
·
Discuss:
Hacker News
🔢
algo
CLAUDE.md Best Practices: The
backbone.yml
Pattern
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust Macros
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
1d
·
Discuss:
Hacker News
🛣️
Highway
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