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
112659
posts in
2.67
s
3/4
spell
swap
extra notes
cowboy-starshine.itch.io
·
1d
♻️
Interning
Building an Endless
Procedural
Snake with Three.js and
WebGL
tympanus.net
·
1d
🔲
Cellular Automata
Databases
joodaloop.com
·
1d
🗄️
Databases
Modular
:
BentoML
Joins
Modular
modular.com
·
1d
🍱
Nom
Less
focused
work with AI
flowingdata.com
·
1d
💬
Prompt Engineering
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
1d
·
Discuss:
r/LLM
⏱️
Temporal Workflow
Are You Using
Structural
Patterns In An
SLT
Environment?
semiengineering.com
·
1d
⚡
Hardware Acceleration
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
·
1d
🌀
Naiad
*A Machine‑Learning Guided
Counterexample
‑Based
Abstraction
Refinement Framework for Probabilistic Duration‑Preserving Verification of Real‑Time Concurrent Systems*
freederia.com
·
6d
✅
Model Checking
Colab
marketplace.visualstudio.com
·
1d
🧮
Vector Databases
AlphaProof
Paper
julian.ac
·
5d
⚖️
Y-Fast Tries
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
👻
Phantom Types
Why Visual
Metaphors
Might Beat Code-First
Thinking
dev.to
·
3d
·
Discuss:
DEV
🌳
Pratt Parsing
Querying
Dataverse
Using AI Builder’s Grounded Prompts
dev.to
·
2d
·
Discuss:
DEV
🎨
ART Trees
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
2d
·
Discuss:
Hacker News
🏗️
System Design
State of
HLSL
: February 2026
abolishcrlf.org
·
1d
·
Discuss:
Hacker News
🔍
KLEE
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
2d
·
Discuss:
Hacker News
⚓
Anchors
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
2d
·
Discuss:
Hacker News
🔤
Language Design
iGRPO
:
Self-Feedback-Driven
LLM Reasoning
arxiv.org
·
1d
💬
Prompt Engineering
Loading...
Loading more...
« Page 17
•
Page 19 »
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