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
123149
posts in
313.0
ms
Java User Group Switzerland: Event "
Banishing
the flaky LLM test - Testing non-deterministic systems with
PUnit
"
jug.ch
·
1d
🧪
Test DSLs
Exploring Chess
Positions
and
Counts
win-vector.com
·
6h
·
Discuss:
Hacker News
🐹
Minimal Go
Four students solved a geometry puzzle by
pretending
squares were
resistors
boingboing.net
·
10h
🎯
Constraint Solving
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
14h
🔬
Nanopasses
Link-checking
with
generative
AI
natemeyvis.com
·
9h
🌊
Gradual Effects
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
13h
·
Discuss:
Hacker News
🛡️
Error Ergonomics
Antirez
Strikes Again: The Creator of
Redis
Builds a Bare-Metal Vision AI in Pure C — And It Actually Works
webpronews.com
·
1d
🔄
Bootstrapping
Recursive
self-improvement
from AI models
marginalrevolution.com
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
2025
Q4
and 2026 Q1
Newsletter
odin-lang.org
·
1d
🔄
Forth Metacompiler
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
1d
🧪
Parser Testing
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
2d
·
Discuss:
Hacker News
🎭
Program Synthesis
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
2d
⚡
Tokenizer Optimization
AI
Orchestrators
Decision
Table
gist.github.com
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🎭
Program Synthesis
The
Secure
Force: Building an End-to-End
SDLC
Without Breaking the Bank
hackernoon.com
·
21h
🛡️
Security Type Systems
SAT
Encodings
for Bandwidth
Coloring
: A Systematic Design Study
arxiv.org
·
1d
🎨
Graph Coloring
[
GDE
] Building a Digital
Docent
: Master Agentic Vision with Gemini 3
dev.to
·
2h
·
Discuss:
DEV
🔍
Lens Libraries
hirako2000/latent-energy
: An Energy Based Model to solve
nonograms
via self supervised CNN
github.com
·
1d
·
Discuss:
Hacker News
🗺️
Region Inference
Hey guys! I've been working on solving the bootstrap problem in
epistemic
uncert
...
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔄
Bootstrapping
Here's an AI
assignment
I'm going to
try
groups.google.com
·
13h
💬
Interactive REPLs
Loading...
Loading more...
« Page 9
•
Page 11 »
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