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
122037
posts in
616.0
ms
Translayte
Launches
Cipher
: An AI Document Translation Platform for Instant Layout Preserving Translations
multilingual.com
·
9h
🔄
Incremental Lexing
Pushing
Deeper
Into AI Music Creation With
Mozart
AI
forbes.com
·
17h
🎭
Program Synthesis
Mental
Math
: Advanced
Division
denisegaskins.com
·
15h
📐
Mathematical Computing
Task-Completion
Time
Horizons
of Frontier AI Models
metr.org
·
13h
·
Discuss:
Hacker News
📈
Earley Parsing
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
18h
🔗
Hash Functions
Building
DamN64
: LLM-Assisted
N64
Development
vieux.fr
·
10h
·
Discuss:
Hacker News
🏗️
LLVM
Qiskit
Functions updates
accelerate
quantum research
ibm.com
·
1d
🔬
Nanopasses
Future-Proofing
System Design
semiengineering.com
·
21h
🏰
Capability Machines
The
Perceptron
blog.engora.com
·
10h
·
Discuss:
Hacker News
🌱
Minimal ML
A
pattern
for safe
database
access with AI coding agents
docs.getpochi.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🏰
Capability Machines
What should I program?
jamesmcm.github.io
·
3d
🏗️
Minimal Compilers
Cadence
Unveils
ChipStack
AI Agent for Agentic Chip Design and Verification
eetimes.com
·
1d
🎭
Program Synthesis
AFMTJ
Model For In-Memory Computing (University of
Arizona
)
semiengineering.com
·
1d
🧠
Memory Models
Using
Databases
Without Putting Domain
Logic
in Them (2023)
alexkondov.com
·
10h
·
Discuss:
Lobsters
🗄️
Database Engines
Deep C
Dives
:
Undefined
Behavior
i-programmer.info
·
17h
📚
Stack Allocation
Monday AI
Radar
#12 by Against
Moloch
greaterwrong.com
·
2d
🏁
Language Benchmarks
Differential
Logic
• 4
inquiryintoinquiry.com
·
3d
∫
Mathematical DSLs
😸 What are the agent tools (
besides
OpenClaw
) you should actually use?
theneurondaily.com
·
18h
💬
Interactive REPLs
7 Powerful Prompt Engineering
Techniques
That
Transform
LLM Performance
pub.towardsai.net
·
1d
💬
Interactive REPLs
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 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