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
8608
posts in
90.1
ms
FlowMind
:
Execute-Summarize
for Structured Workflow Generation from LLM Reasoning
arxiv.org
·
21h
✓
Automated Theorem Proving
Unravelling
Abstract
Cyclic
Proofs into Proofs by Induction
arxiv.org
·
21h
🔗
Curry-Howard
A
Closer
Look at the “
Societies
of Thought” Paper
lesswrong.com
·
1d
🎮
Verification Games
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
3d
·
Discuss:
r/programming
🔢
Algebraic Data Types
models have some pretty
funny
attractor
states
lesswrong.com
·
1d
🔲
Cellular Automata
Using
Databases
Without
Putting
Domain Logic in Them (2023)
alexkondov.com
·
2d
·
Discuss:
Lobsters
🧱
Immutable Infrastructure
alexpovel/srgn
: A grep-like tool which understands source code syntax and allows for manipulation in addition to search
github.com
·
1d
·
Discuss:
Hacker News
🔨
Compilers
Accelerating
Mathematical
and Scientific Discovery with Gemini Deep Think
deepmind.google
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
ai;
dr
0xsid.com
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Ontologies
are all you need
lexifina.com
·
3h
·
Discuss:
Hacker News
🏔️
Domain Theory
The
calculus
tutorial just
shipped
!
minireference.com
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
3d
·
Discuss:
Hacker News
🧩
SAT Solvers
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
PL Implementation
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
Building a
semantic
search engine in ±250
lines
of Python
bart.degoe.de
·
4d
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
2d
·
Discuss:
Hacker News
🧮
SMT Solvers
Do You Think I Am a
Goldfish
?
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Hacker News
,
Blogger
✓
Automated Theorem Proving
Programming
Aphorisms
matklad.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧮
Z3
D
Programming
Language
dlang.org
·
1d
·
Discuss:
Hacker News
⚙️
Compiler Design
Loading...
Loading more...
« Page 1
•
Page 3 »
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