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
104391
posts in
1.16
s
Databases
joodaloop.com
·
18h
🗄️
Databases
Modular
:
BentoML
Joins
Modular
modular.com
·
1d
🍱
Nom
Less
focused
work with AI
flowingdata.com
·
20h
💬
Prompt Engineering
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
1d
·
Discuss:
r/LLM
⏱️
Temporal Workflow
wordchipper
- my next-gen LLM tokenizer; looking for
LTR
release help
docs.rs
·
1d
·
Discuss:
r/rust
🍱
Nom
Deep learning for
asymmetric
catalysis
nature.com
·
18h
🌀
Naiad
Are You Using
Structural
Patterns In An
SLT
Environment?
semiengineering.com
·
21h
⚡
Hardware Acceleration
bounding
anglesmorts.org
·
1d
🏷️
Pointer Tagging
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
2d
·
Discuss:
r/LocalLLaMA
📝
Poem
Querying
Dataverse
Using AI Builder’s Grounded Prompts
dev.to
·
1d
·
Discuss:
DEV
🎨
ART Trees
Colab
marketplace.visualstudio.com
·
15h
🧮
Vector Databases
Clean Architecture in .NET 10: The API Layer —
Controllers
vs Minimal
APIs
dev.to
·
1d
·
Discuss:
DEV
📝
Poem
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
1d
📝
Poem
AlphaProof
Paper
julian.ac
·
4d
⚖️
Y-Fast Tries
Beyond
Correctness
: Learning
Robust
Reasoning via Transfer
arxiv.org
·
1d
🌳
Pratt Parsing
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
1d
·
Discuss:
Hacker News
🏗️
System Design
Machine
Logic
lawrencecpaulson.github.io
·
6d
🔍
Type Inference
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
⚡
ZGC
Specification
Vibing
for Automated Program Repair
arxiv.org
·
1d
🎭
Program Synthesis
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
1d
·
Discuss:
Hacker News
🔤
Language Design
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