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
🧮 Theorem Proving
Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23313
posts in
585.3
ms
Opened Logic Pro for the first time in a while the other day, and started
poking
through some loops. Came across some
clips
of the numbers one through ten sp...
lmika.org
·
4d
👑
Isabelle
Introducing
Augustus
: Open Source LLM Prompt
Injection
Tool
praetorian.com
·
4d
✅
Format Verification
Study finds AI reasoning models
generate
a "society of thought" with
arguing
voices inside their process
the-decoder.com
·
3d
🔲
Cellular Automata
Deterministic
AI
Orchestration
: A Platform Architecture for Autonomous Development
praetorian.com
·
5d
⚙️
TLA+
thesis
connie.surf
·
3d
🏛
Digital humanities
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
3d
·
Discuss:
r/golang
🏺
Database Archaeology
Zero-Latency
Local AI:
Tuning
Your Linux Kernel for LLM Inference 🐧🧠
dev.to
·
4d
·
Discuss:
DEV
💻
Local LLMs
Revisiting
Regular
Types
abseil.io
·
3d
λ
Lambda Encodings
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
3d
·
Discuss:
DEV
🧱
Immutable Infrastructure
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Encodings
On the Expressive Power of
GNNs
for Boolean
Satisfiability
arxiv.org
·
1d
🧮
Constraint SMT
What I
haven
't
figured
out
macwright.com
·
3d
·
Discuss:
Hacker News
🔓
Reverse engineering
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
5d
·
Discuss:
Hacker News
💻
Programming languages
a
declarative
spec for goals, plans, and
gated
execution
planspec.io
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Notes for February 2-7
taoofmac.com
·
3d
·
Discuss:
Hacker News
🐚
Bash Monads
8-piece
tablebase
development on Lichess (
op1
partial)
lichess.org
·
4d
·
Discuss:
Hacker News
🎯
Proof Tactics
Five
disciplines
discovered the same math
independently
freethemath.org
·
3d
·
Discuss:
Hacker News
,
Hacker News
📚
Archive Mathematics
The Other
Markov
’s
Inequality
ethanepperly.com
·
3d
·
Discuss:
Hacker News
📐
Error Bounds
Whether they are building agents or
folding
proteins
, LLMs need a friend
theregister.com
·
4d
·
Discuss:
Hacker News
💻
Local LLMs
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Loading...
Loading more...
« Page 13
•
Page 15 »
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