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
🔄 Graph Rewriting
Term Rewriting, E-graphs, Optimization, Equational Reasoning
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17827
posts in
143.3
ms
Automatic In-Domain
Exemplar
Construction and LLM-Based Refinement of Multi-LLM
Expansions
for Query Expansion
arxiv.org
·
16h
🤖
Grammar Induction
DrugR
: Optimizing Molecular Drugs through LLM-based
Explicit
Reasoning
arxiv.org
·
16h
✨
Effect Handlers
Categorical
systems
theory
danmackinlay.name
·
6d
🔀
Category Theory
AL,
Logical
mathhombre.blogspot.com
·
6d
·
Discuss:
mathhombre.blogspot.com
🏛️
Isabelle HOL
Deep
Unfolding
: Model-Based
Inspiration
of Novel Deep Architectures
dev.to
·
3d
·
Discuss:
DEV
🌀
Hyperbolic Geometry
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
2d
·
Discuss:
DEV
⚔️
Lean Tactics
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
3d
🏗️
Compiler Archaeology
These
Mathematicians
Are Trying to
Educate
A.I.
nytimes.com
·
3d
·
Discuss:
Hacker News
🎯
Performance Proofs
Issue 742
iosdevweekly.com
·
4d
📡
RSS Automation
Waterloo
Style
theprogrammersparadox.blogspot.com
·
4d
·
Discuss:
Hacker News
🕹
Emulation Theory
Knowledge-Creating
LLMs
tecunningham.github.io
·
3d
·
Discuss:
Hacker News
💻
Local LLMs
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
4d
·
Discuss:
Hacker News
📊
Quantization
e-day and
Andy
Jackson
pballew.blogspot.com
·
3d
·
Discuss:
Blogger
👑
Isabelle
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
4d
·
Discuss:
Hacker News
🔮
Proof Search
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
2d
·
Discuss:
Hacker News
✨
Effect Handlers
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
4d
📋
Document Grammar
LLM
Vibe
Coding or
Illiterate
Programming
slott56.github.io
·
5d
💻
Programming languages
Automatic
Programming
notes.billmill.org
·
5d
⚡
Proof Automation
How to
effectively
write
quality code with AI
heidenstedt.org
·
4d
·
Discuss:
Hacker News
⚡
Proof Automation
Teaching
machines to design molecular
switches
phys.org
·
5d
🔲
Cellular Automata
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