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
105134
posts in
1.57
s
Building an Endless
Procedural
Snake with Three.js and
WebGL
tympanus.net
·
16h
🔲
Cellular Automata
Databases
joodaloop.com
·
18h
🗄️
Databases
Modular
:
BentoML
Joins
Modular
modular.com
·
1d
🍱
Nom
Less
focused
work with AI
flowingdata.com
·
19h
💬
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
·
20h
⚡
Hardware Acceleration
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
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
1d
📝
Poem
six
thoughts
on
generating
c
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
👻
Phantom Types
Clean Architecture in .NET 10: The API Layer —
Controllers
vs Minimal
APIs
dev.to
·
23h
·
Discuss:
DEV
📝
Poem
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
Beyond
Correctness
: Learning
Robust
Reasoning via Transfer
arxiv.org
·
23h
🌳
Pratt Parsing
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
·
23h
🎭
Program Synthesis
Togelius
:
Math
and me
togelius.blogspot.com
·
1d
·
Discuss:
Hacker News
🔢
algo
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
1d
·
Discuss:
Hacker News
⚓
Anchors
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