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
📝 Term Rewriting
Equational Logic, Reduction Strategies, Confluence, Normalization
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8613
posts in
101.6
ms
Wider
systems for linear logic with fixed points: proof theory and
complexity
arxiv.org
·
1d
🎯
Fixed Point Theory
A Simple
Method
for
Commonsense
Reasoning
dev.to
·
5d
·
Discuss:
DEV
📚
Automata Learning
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
4d
🌐
Network Protocols
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
1d
✓
Automated Theorem Proving
models have some pretty
funny
attractor
states
lesswrong.com
·
1d
🔲
Cellular Automata
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
5d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Use more text than one
token
to avoid
neuralese
lesswrong.com
·
6h
🧩
Parser Combinators
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
3d
·
Discuss:
Hacker News
📚
Automata Learning
The
inverted
index
pattern
jamesg.blog
·
2d
·
Discuss:
Hacker News
🕸️
Graph Theory
parse
human-friendly filter
strings
into structured queries
filtron.dev
·
5d
·
Discuss:
Hacker News
🧩
Parser Combinators
Oatmeal
-
Constraint
propagation for fun
eli.li
·
6d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
Making
Waffles
with Group Theory
hmpcabral.com
·
4d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Compound
Engineering: Make Every
Unit
of Work
Compound
Into the Next
every.to
·
4d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Poison2
rnsaffn.com
·
4d
·
Discuss:
Hacker News
❓
Existential Types
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
📐
Hoare Logic
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
3d
·
Discuss:
Hacker News
🏃
Escape Analysis
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
The Evolution of a
Lean
Programmer
unnamed.website
·
5d
·
Discuss:
Hacker News
📝
Nix Language
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
4d
·
Discuss:
Hacker News
🔤
Language Design
a free-to-use data
modeler/generator
for any database
synthforge.io
·
3d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Sign up or log in to see more results
Sign Up
Login
« Page 2
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