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
121913
posts in
3.41
s
Bitsum
. Real-time
CPU
Optimization and Automation
bitsum.com
·
9h
🎯
CPU Dispatch
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
1d
🔤
Regex Engines
Only A Few AI
Platforms
Can
Survive
nextplatform.com
·
4h
🏰
Capability Machines
N-Grams
and Other
Experiments
dotterrer.bearblog.dev
·
13h
🌱
Minimal ML
AI Prompt
Builder
– Build
Reliable
AI Prompts with the Right Context
cppdepend.com
·
8h
·
Discuss:
DEV
🎭
Program Synthesis
How We Built
Platybot
: An AI-Powered
Analytics
Assistant
pulumi.com
·
1d
📋
Souffle Datalog
Prompt to Protocol:
Architecting
Agent-Oriented
Infrastructure for Production LLMs
pub.towardsai.net
·
17h
🎭
Program Synthesis
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
7h
·
Discuss:
Hacker News
🎭
Program Synthesis
AI/BI
Genie
, Foundational Model API, and Databricks Assistant Now Generally Available in AWS
GovCloud
databricks.com
·
2m
🎓
Educational VMs
Show HN:
ProductFront-Streamlined
product discovery platform for maximum exposure
productfront.tech
·
1h
·
Discuss:
Hacker News
🌐
Browser REPLs
The Price of Privacy For
Approximating
Max-CSP
arxiv.org
·
1d
📏
Linear Memory
Shell
+ Skills +
Compaction
: Tips for long-running agents that do real work
developers.openai.com
·
4h
🎮
Language Ergonomics
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
·
1h
·
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
·
12h
·
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