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
104618
posts in
3.78
s
Generative
Type
experiments
brendandawes.com
·
1d
✅
Property Testing
ahmed
gouda
: Monitoring query plans with
pgwatch
and pg_stat_plans
postgr.es
·
1d
🐘
PostgreSQL Internals
Parallel Track Transformers:
Enabling
Fast GPU Inference with Reduced
Synchronization
machinelearning.apple.com
·
1d
🚀
Milvus
Mathematicians
launch First Proof, a first-of-its-kind math
exam
for AI
scientificamerican.com
·
1d
📊
Algorithms
A terminal-first
IDE
I built for
AI-assisted
development
patapim.ai
·
1d
·
Discuss:
r/SideProject
,
r/commandline
,
r/node
🖥️
Ratatui
When AI goes
haywire
: The case of the skyscraper and the slide
trombone
techxplore.com
·
1d
⚓
Anchors
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
1d
🌊
CALM Theorem
LookML
: An Alternative Semantic Layer Approach to build a Reliable AI Analytics Agent with
BigQuery
pub.towardsai.net
·
2d
📈
Prometheus PromQL
Revisiting
Regular
Types
abseil.io
·
3d
👻
Phantom Types
Go
Concurrency
with Database
Transactions
postgresql.org
·
1d
·
Discuss:
DEV
🛡️
Error Handling
[
POG-Task
] When AI Starts
Acting
, Prompt Governance Is Not Enough
enjtorian.github.io
·
2d
·
Discuss:
DEV
🦓
Zookeeper
Wheeler
Bisimulations
arxiv.org
·
1d
✅
Model Checking
Exposing
Weaknesses
of Large Reasoning Models through Graph Algorithm Problems
arxiv.org
·
2d
📊
Datalog
#2 - Going to second
base
: know your
boundaries
dev.to
·
17h
·
Discuss:
DEV
🦀
Rust
Building a Semantic Search Engine with
Hugging
Face Transformers and
MongoDB
Atlas Vector Search
dev.to
·
20h
·
Discuss:
DEV
🎯
Vector Search
Stanford
AI Breakthrough: Unlock ChatGPT
Creativity
medium.com
·
2d
💬
Prompt Engineering
browser.html - a web browser built with web technologies using
Servo
as web
rendering
engine
tangled.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🪟
Tauri
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
🔄
Salsa
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
1d
·
Discuss:
Hacker News
🧮
MKL
CRAFT
:
Continuous
Reasoning and Agentic Feedback Tuning
huggingface.co
·
5d
·
Discuss:
Hacker News
💬
Prompt Engineering
Loading...
Loading more...
« Page 16
•
Page 18 »
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