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
123638
posts in
2.23
s
Universal
Turing
Machine
universalturingmachine.org
·
1d
🎯
Finite Automata
Pushing
Deeper
Into AI Music Creation With
Mozart
AI
forbes.com
·
12h
🎭
Program Synthesis
Mental
Math
: Advanced
Division
denisegaskins.com
·
10h
📐
Mathematical Computing
Task-Completion
Time
Horizons
of Frontier AI Models
metr.org
·
7h
·
Discuss:
Hacker News
📈
Earley Parsing
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
12h
🔗
Hash Functions
Building
DamN64
: LLM-Assisted
N64
Development
vieux.fr
·
4h
·
Discuss:
Hacker News
🏗️
LLVM
Future-Proofing
System Design
semiengineering.com
·
16h
🏰
Capability Machines
Using
Databases
Without Putting Domain
Logic
in Them (2023)
alexkondov.com
·
5h
·
Discuss:
Lobsters
🗄️
Database Engines
Cadence
Unveils
ChipStack
AI Agent for Agentic Chip Design and Verification
eetimes.com
·
1d
🎭
Program Synthesis
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
5d
·
Discuss:
Hacker News
🧮
Theorem Provers
AFMTJ
Model For In-Memory Computing (University of
Arizona
)
semiengineering.com
·
1d
🧠
Memory Models
Your
schema
already has the logic. Your inference provider just
ignores
it.
blog.dottxt.ai
·
1d
✅
Configuration Validation
Frugal
AI
ainowinstitute.org
·
1d
🗺️
Region Polymorphism
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
1d
🎭
Program Synthesis
Monday AI
Radar
#12 by Against
Moloch
greaterwrong.com
·
1d
🏁
Language Benchmarks
Deterministic
AI: What it is and when to use it
zapier.com
·
18h
🎭
Program Synthesis
Building a Production-Ready Traffic Violation Detection System with
YOLOv8
and
DeepSORT
hackernoon.com
·
17h
🗺️
Region Inference
😸 What are the agent tools (
besides
OpenClaw
) you should actually use?
theneurondaily.com
·
12h
💬
Interactive REPLs
I built an open-source MCP bridge to
bypass
Figma
's API rate limits for free accounts
github.com
·
1d
·
Discuss:
r/javascript
,
r/node
💬
Smalltalk VMs
Ask HN: What makes early-stage AI
accelerators
useful
(and what doesn't)?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚡
Tokenizer Optimization
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