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
121063
posts in
1.89
s
AI Token
Calculator
- Count
Tokens
for GPT-5, Claude 4.5, Gemini 3 & More
aitoolskit.io
·
5h
·
Discuss:
DEV
🔍
Tokenizers
Decoupling
Monolithic
APIs for Mobile Teams in 2026
indiit.com
·
3h
·
Discuss:
DEV
🔗
Language Toolchains
Digitizing
the "
Shokunin
": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com
·
7h
·
Discuss:
Substack
🎰
Parsing Machines
Generics
docs.modular.com
·
23h
🔗
Go Generics
Dependency
Resolution
Methods
nesbitt.io
·
6d
·
Discuss:
Hacker News
📦
Package Managers
AI agent
sandboxing
in 2026: how to choose between primitives,
runtimes
, and platforms
manveerc.substack.com
·
19h
·
Discuss:
Substack
🛡️
Capability VMs
Training Data from Real-World Sources
lightningrod.ai
·
16h
🌱
Minimal ML
Multi AI Agent Systems with
crewAI
deeplearning.ai
·
2h
🎭
Program Synthesis
Coding
assistants
pouet.net
·
7h
🎮
Language Ergonomics
Raising the Bar on Humanity’s Last Exam (
HLE
) and
SimpleQA
poetiq.ai
·
6h
🪜
Recursive Descent
AI Prompt
Builder
– Build
Reliable
AI Prompts with the Right Context
cppdepend.com
·
15h
·
Discuss:
DEV
🎭
Program Synthesis
Eshaancoding/ad
:
Autodiff
created in Python. Full ahead-of-time compiler. Reduces to ~12 simple operations. Multiple IRs (Graph IR --> Procedural IR). Kernel Fusion, Memory/Computation Optimization
github.com
·
3d
·
Discuss:
Hacker News
🔄
Subinterpreters
Mastering
AppSync
:
Unions
and Interfaces
dev.to
·
39m
·
Discuss:
DEV
🔧
API Design
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
2d
🎯
Constraint Solving
AI/BI
Genie
, Foundational Model API, and Databricks Assistant Now Generally Available in AWS
GovCloud
databricks.com
·
7h
🎓
Educational VMs
Prompt to Protocol:
Architecting
Agent-Oriented
Infrastructure for Production LLMs
pub.towardsai.net
·
1d
🎭
Program Synthesis
Shell
+ Skills +
Compaction
: Tips for long-running agents that do real work
developers.openai.com
·
11h
🎮
Language Ergonomics
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
📜
Proof Languages
6
niche
programming
languages
developers secretly love
howtogeek.com
·
2h
🏺
Code Archeology
😸 AI just
solved
unsolvable
math
theneurondaily.com
·
3d
🎯
Constraint Solving
Loading...
Loading more...
« Page 6
•
Page 8 »
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