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
112506
posts in
1.38
s
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
1d
🔍
RAG
The AI
Maths
Revolution Has
Begun
backreaction.blogspot.com
·
2d
·
Discuss:
backreaction.blogspot.com
🧩
Constraint Programming
Fragments
: February 9
martinfowler.com
·
1d
💬
Prompt Engineering
Stress-Testing Alignment
Audits
With Prompt-Level Strategic
Deception
lesswrong.com
·
22h
🛡️
AI Security
The End of CI/CD
Pipelines
: The
Dawn
of Agentic DevOps
hackernoon.com
·
22h
🔧
DevOps
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
1d
·
Discuss:
Hacker News
💬
Prompt Engineering
SAE
Feature
Matchmaking
(Layer-to-Layer)
lesswrong.com
·
1d
🌳
Instruction Selection
RISC-V
Mentorship
Taught Me the RISC-V
ISA
Is Far More Than a Reference Manual
riscv.org
·
22h
⚡
RISC-V
**Abstract:** This research introduces a novel framework for formally
verifying
software specifications using quantum logic-enhanced hierarchical
decompositi
...
freederia.com
·
5d
✓
Formal Verification
**Machine‑Learning‑Assisted Formal Verification of
DAO
Treasury Smart Contracts: A Risk‑Aware Optimization Framework** — ### Abstract Decentralized
Aut
...
freederia.com
·
5d
🔍
eBPF Verifier
An in-process
SQL
OLAP
database management system
duckdb.org
·
18h
🦆
DuckDB
Exposing
Weaknesses
of Large Reasoning Models through Graph Algorithm Problems
arxiv.org
·
2d
📊
Datalog
iGRPO
:
Self-Feedback-Driven
LLM Reasoning
arxiv.org
·
1d
💬
Prompt Engineering
🏆 100 Most
Watched
Java
Conference Talks Of 2025
techtalksweekly.io
·
23h
·
Discuss:
Hacker News
🧊
Iced
I used to be
fervent
embedded
DSL
fan many years ago (particularly in college wi...
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚙️
SWC
AutoCleanML
– Intelligent ML Data
preprocessing
automation (pip install
autocleanml
)
dev.to
·
1d
·
Discuss:
DEV
🐍
Python
Slides
from my AI presentation I gave to
seniors
, feel free to share
aititus.com
·
20h
·
Discuss:
Hacker News
🛡️
AI Security
F# 10
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦕
Deno
Querying
Dataverse
Using AI Builder’s Grounded Prompts
dev.to
·
2d
·
Discuss:
DEV
🎨
ART Trees
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
1d
·
Discuss:
Hacker News
🔗
Intrusive Containers
Loading...
Loading more...
« Page 12
•
Page 14 »
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