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
🧩 Constraint Solvers
SAT, Z3, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121974
posts in
1.04
s
Databases
joodaloop.com
·
1d
🎓
Educational Databases
AI-aided optimization of
droplet
layout in distribution zone for commercial bipolar plates of
PEMFC
sciencedirect.com
·
16h
🌪️
V8 TurboFan
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
1d
🔤
Regex Engines
N-Grams
and Other
Experiments
dotterrer.bearblog.dev
·
12h
🌱
Minimal ML
Only A Few AI
Platforms
Can
Survive
nextplatform.com
·
4h
🏰
Capability Machines
How We Built
Platybot
: An AI-Powered
Analytics
Assistant
pulumi.com
·
1d
📋
Souffle Datalog
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
6h
·
Discuss:
Hacker News
🎭
Program Synthesis
Patterns
of Application Development Using… [
PDF/iPad/Kindle
]
leanpub.com
·
5h
🎮
Language Ergonomics
Show HN:
ProductFront-Streamlined
product discovery platform for maximum exposure
productfront.tech
·
41m
·
Discuss:
Hacker News
🌐
Browser REPLs
Shell
+ Skills +
Compaction
: Tips for long-running agents that do real work
developers.openai.com
·
3h
🎮
Language Ergonomics
Building an AI Code
Analyzer
with Google AI Studio (And
Finishing
It in Cursor)
dev.to
·
11h
·
Discuss:
DEV
🎭
Program Synthesis
The Price of Privacy For
Approximating
Max-CSP
arxiv.org
·
1d
📏
Linear Memory
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
📜
Proof Languages
Separation
of Concerns: You're Cutting
Along
the Wrong Line
inferal.com
·
19m
·
Discuss:
Hacker News
🛡️
Error Boundaries
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
The LLM
Context
Tax: Best Tips for Tax
Avoidance
nicolasbustamante.com
·
11h
·
Discuss:
Hacker News
🔄
Incremental Lexing
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
2d
🚂
Error Propagation
Overview of end-to-end
encrypted
AI inference for
Confer
news.ycombinator.com
·
11h
·
Discuss:
Hacker News
🔄
Subinterpreters
Build a
Compiler
in Five Projects
kmicinski.com
·
4d
🎭
Racket Modules
😸 AI just
solved
unsolvable
math
theneurondaily.com
·
2d
🎯
Constraint Solving
Loading...
Loading more...
« Page 5
•
Page 7 »
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