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
🔁 Fixed-Point Theory
Kleene Fixed-Point, Tarski, Domain Theory, Denotational Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8601
posts in
81.4
ms
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🔢
Computability Theory
Towards a theory of Fa\c{c}ade-X data access:
satisfiability
of
SPARQL
basic graph patterns
arxiv.org
·
23h
🔤
Kleene Algebra
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
1d
🐫
OCaml
You get about.... how many
words
exactly
?
lesswrong.com
·
1d
📵
Digital Minimalism
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
AI
uncovers
solutions to
Erdős
problems, moving closer to transforming math
scientificamerican.com
·
1d
·
Discuss:
Hacker News
🎯
Complexity Classes
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
1d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Training A Small Language Model To
Outperform
Frontier Models On
CRM-Arena
neurometric.substack.com
·
1d
·
Discuss:
Substack
🔀
Brzozowski Derivatives
No-Frills
AI Product Search for a
Well-Curated
Catalog
avikaminetzky.dev
·
8h
·
Discuss:
Hacker News
💾
Retro Computing
Ontologies
are all you need
lexifina.com
·
5h
·
Discuss:
Hacker News
🏔️
Domain Theory
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
PL Implementation
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
5d
·
Discuss:
Hacker News
⏱️
Computational Complexity
TileIR
ianbarber.blog
·
2d
·
Discuss:
Hacker News
🔧
Unikernel Development
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
The
Discourse
has been Automated
xeiaso.net
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
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