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
104664
posts in
4.38
s
ahmed
gouda
: Monitoring query plans with
pgwatch
and pg_stat_plans
postgr.es
·
1d
🐘
PostgreSQL Internals
7 Python
EDA
Tricks
to Find and Fix Data Issues
kdnuggets.com
·
1d
📊
Data Science
Now
problems
vs.
forever
problems
webdirections.org
·
1d
🎭
Program Synthesis
When AI goes
haywire
: The case of the skyscraper and the slide
trombone
techxplore.com
·
1d
⚓
Anchors
An
ode
to
Minimax
m2.1
huggingface.co
·
4d
·
Discuss:
r/LocalLLaMA
🚀
Performance
Automating Inference Optimizations with NVIDIA
TensorRT
LLM
AutoDeploy
developer.nvidia.com
·
1d
🤖
TVM
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
1d
🌊
CALM Theorem
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
Scaling AI Agents: Mastering
Elasticity
, State, and
Throughput
with C#
dev.to
·
1d
·
Discuss:
DEV
⚡
Seastar
Stanford
AI Breakthrough: Unlock ChatGPT
Creativity
medium.com
·
2d
💬
Prompt Engineering
Building a Semantic Search Engine with
Hugging
Face Transformers and
MongoDB
Atlas Vector Search
dev.to
·
15h
·
Discuss:
DEV
🎯
Vector Search
31-year old
VT220
terminfo
curses bug
lists.gnu.org
·
2d
·
Discuss:
Hacker News
🪲
DWARF Debugging Info
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Error Handling
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
1d
·
Discuss:
Hacker News
🎴
Anki
browser.html - a web browser built with web technologies using
Servo
as web
rendering
engine
tangled.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🪟
Tauri
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🎭
Program Synthesis
Loading...
Loading more...
« Page 15
•
Page 17 »
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