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
104643
posts in
2.62
s
Databases
joodaloop.com
·
22h
🗄️
Databases
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
wordchipper
- my next-gen LLM tokenizer; looking for
LTR
release help
docs.rs
·
1d
·
Discuss:
r/rust
🍱
Nom
Are You Using
Structural
Patterns In An
SLT
Environment?
semiengineering.com
·
1d
⚡
Hardware Acceleration
bounding
anglesmorts.org
·
1d
🏷️
Pointer Tagging
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
2d
·
Discuss:
r/LocalLLaMA
📝
Poem
Specification
Vibing
for Automated Program Repair
arxiv.org
·
1d
🎭
Program Synthesis
Computing
submatrices
of the
Hermite
normal form of a structured polynomial matrix
arxiv.org
·
1d
📐
Linear Algebra
Like
LEGO
? Love Python! 🧱🐍
Ep.2
dev.to
·
1d
·
Discuss:
DEV
🦗
Pest
I built a “
deterministic
” LLM text
rephraser
with a validation pipeline - looking for architectural feedback
dev.to
·
2d
·
Discuss:
DEV
🦙
Ollama
Langfuse
- Open Source LLM Engineering Platform
langfuse.com
·
21h
🦙
Ollama
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
1d
📝
Poem
Modular
:
BentoML
Joins
Modular
modular.com
·
1d
·
Discuss:
Hacker News
🍱
Nom
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
1d
·
Discuss:
Hacker News
🏗️
System Design
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
⚡
ZGC
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
2d
·
Discuss:
Hacker News
👻
Phantom Types
The cost of a
function
call
lemire.me
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
λ
Functional Programming
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
1d
·
Discuss:
Hacker News
⚓
Anchors
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
1d
·
Discuss:
Hacker News
🔤
Language Design
Loading...
Loading more...
« Page 13
•
Page 15 »
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