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
81252
posts in
346.7
ms
QUOKA
: Query-Oriented KV Selection For Efficient LLM
Prefill
arxiv.org
·
16h
🔍
Query Engines
Multi-Agent
Route
Planning as a
QUBO
Problem
arxiv.org
·
16h
🧩
Constraint Solvers
Antiparallels
, an Overlooked
HS
Beauty
pballew.blogspot.com
·
2d
·
Discuss:
Blogger
🔶
Lattice Theory
AI for
PHP
Developers. Practical Use of
TransformersPHP
dev.to
·
23h
·
Discuss:
DEV
🌉
Language Bridges
How to Design LLM
Applications
for Production: A System Design Guide
dev.to
·
1d
·
Discuss:
DEV
🎨
Domain-Specific Languages
Home
multi-module.org
·
2d
🏠
indieweb
Achieving >97% on
GSM8K
: Deeply understanding the problems makes LLMs better
solvers
for math word problems
eurekalert.org
·
5d
🔍
ML Language
C++
Implementing
a Chaos Game
simulator
solarianprogrammer.com
·
2d
📚
Self-Documenting Code
Paths
of
MySQL
, vector search edition
theconsensus.dev
·
2d
·
Discuss:
Hacker News
🗃️
Query Compilation
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🚂
Error Propagation
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
4d
·
Discuss:
Hacker News
🌊
Reactive Languages
Anthropics
Compiler
Challenge
corsix.org
·
2d
🚀
Code Motion
25W06
. Learning a language with the machine
z1nz0l1n.com
·
2d
🌱
Minimal ML
AdviceNXT/sbp
:
Stigmergic
Blackboard Protocol: Environment-based coordination for AI agents
github.com
·
2d
·
Discuss:
DEV
✨
Gleam
When AI goes
haywire
: the case of the skyscraper and the slide
trombone
theconversation.com
·
2d
🌱
Minimal ML
**Abstract:** This paper introduces a novel system for automated solution synthesis and
validation
in competitive programming,
specifically
targeting graph-b...
freederia.com
·
6d
🎭
Program Synthesis
Mastering
Authentication
in MCP: An AI Engineer’s Comprehensive Guide
pub.towardsai.net
·
1d
🔗
Hash Functions
Opus
4.5 really
changed
things
kylerush.org
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
AI‑Driven Inverse Design of High‑Entropy Solid‑
Electrolyte
Perovskites
for Solid‑State Lithium Batteries — **Abstract** Solid‑state lithium batteries (...
freederia.com
·
4d
🧩
Constraint Solvers
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
🎭
Program Synthesis
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