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 Solving
SAT Solvers, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80197
posts in
865.4
ms
Canzona
: A Unified, Asynchronous, and Load-Balanced Framework for Distributed Matrix-based
Optimizers
arxiv.org
Β·
1d
β‘
Interpreter Optimization
The
Impossibility
of
Strategyproof
Rank Aggregation
arxiv.org
Β·
1d
β
Quantified Types
DCP-o-matic β’ CPL as
compositions
and multiple
CPLs
dcpomatic.com
Β·
3d
β«
Mathematical DSLs
From
Monolith
to Micro-Brain:
Architecting
Scalable AI Inference in .NET
dev.to
Β·
2d
Β·
Discuss:
DEV
πΊοΈ
Region Inference
I Built an API for LLM
JSON
Validation
in Rust
dev.to
Β·
17h
Β·
Discuss:
DEV
π
JSON Parsers
language games
ascara.bearblog.dev
Β·
4d
π±
Tiny Languages
News for January 2026
ptreview.sublinear.info
Β·
4d
π
Succinct Data Structures
I built a free
ML
practice
platform - would love your feedback [P]
reddit.com
Β·
5d
Β·
Discuss:
r/MachineLearning
π±
Minimal ML
stdlib
v7.2
erlang.org
Β·
3d
Β·
Discuss:
Hacker News
π
Polymorphic Variants
Generative
Pen-Trained
Transformer
theodore.net
Β·
4d
Β·
Discuss:
Hacker News
π
Rope Editors
Easy 6502 by
skilldrick
skilldrick.github.io
Β·
4d
π±
Bytecode Design
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
Β·
4d
π€
Zipper Structures
Ride
the Wave, Build the Future:
Scientific
Computing in an AI World
cloud4scieng.org
Β·
3d
π
Program Synthesis
Style tips for less
experienced
developers
coding with AI
honnibal.dev
Β·
4d
Β·
Discuss:
Hacker News
π
Gradual Effects
AI for People
justsitandgrin.im
Β·
4d
Β·
Discuss:
Hacker News
β¨
Effect Inference
Reducing
Time-to-Insight
in Company Financial Data by 90%
softwaremill.com
Β·
3d
π
Query Optimization
As
Rocks
May Think
evjang.com
Β·
6d
Β·
Discuss:
Hacker News
,
r/programming
πΊοΈ
Region Inference
LLM Inference
Benchmarking
-
Measure
What Matters
digitalocean.com
Β·
3d
β‘
Performance
So
whats
the next word, then? Almost-no-math
intro
to transformer models
matthias-kainer.de
Β·
4d
Β·
Discuss:
Hacker News
π€
String Algorithms
Using
PLANS.md
for multi-hour problem
solving
developers.openai.com
Β·
5d
π
Self-Documenting Code
Loading...
Loading more...
« Page 14
β’
Page 16 »
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