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
122142
posts in
1.25
s
Simulate
Faster with
SimAI
Software for High Returns at a Low Cost of Ownership
semiengineering.com
·
21h
🔀
SIMD Programming
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Blogger
📊
Query Optimizers
AI is now a
magic
decompiler
stephenjayakar.com
·
1d
🎭
Program Synthesis
Link-checking
with
generative
AI
natemeyvis.com
·
11h
🌊
Gradual Effects
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
15h
·
Discuss:
Hacker News
🛡️
Error Ergonomics
z.ai's open source GLM-5 achieves record low hallucination rate and
leverages
new RL '
slime
' technique
venturebeat.com
·
5h
✨
Gleam
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
1d
🧪
Parser Testing
Recursive
self-improvement
from AI models
marginalrevolution.com
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
2d
·
Discuss:
Hacker News
🎭
Program Synthesis
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
3d
·
Discuss:
Hacker News
💬
Interactive REPLs
The Geometry of Linear
Equations
and Linear
Regression
pub.towardsai.net
·
1d
🧮
Linear Algebra
Agentic AI: Design
reliable
workflows
across the hybrid cloud
developers.redhat.com
·
21h
📋
Task Queues
AI
Orchestrators
Decision
Table
gist.github.com
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
How Numerical
ALM
Models Value Future
Discretionary
Benefits in Life Insurance
hackernoon.com
·
19h
🔢
Algebraic Datatypes
Building a Reliable AI Analytics Agent with
BigQuery
, a Semantic Layer, and Google
ADK
pub.towardsai.net
·
1d
🔍
Query Engines
SAT
Encodings
for Bandwidth
Coloring
: A Systematic Design Study
arxiv.org
·
2d
🎨
Graph Coloring
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
Accelerating
mathematics
xenaproject.wordpress.com
·
2d
📐
Mathematical Computing
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
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