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
8704
posts in
56.4
ms
Barriers to Discrete Reasoning with Transformers: A Survey Across Depth,
Exactness
, and
Bandwidth
arxiv.org
·
16h
🧠
Automated Reasoning
How I Built My Project in
Haskell
dev.to
·
5d
·
Discuss:
DEV
λ
Functional Programming
Computing Least Fixed Points with
Overwrite
Semantics
in Parallel and Distributed Systems
arxiv.org
·
1d
🎯
Fixed Point Theory
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
3d
·
Discuss:
r/programming
🔢
Algebraic Data Types
You get about.... how many
words
exactly
?
lesswrong.com
·
1d
📵
Digital Minimalism
Post-AI Era: Will the
Spiral
of Strong vs. Weak
Presuppositions
Continue?
medium.com
·
4d
·
Discuss:
r/programming
🔀
Brzozowski Derivatives
C-- Home
cs.tufts.edu
·
3d
·
Discuss:
Lobsters
⚙️
Compiler Design
A
Closer
Look at the “
Societies
of Thought” Paper
lesswrong.com
·
23h
🎮
Verification Games
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
3d
·
Discuss:
Hacker News
📚
Automata Learning
Observe
emergent
behavior in autonomous multi-agent LLM networks
agents.glide2.app
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
Simultaneous
localization
and mapping
en.wikipedia.org
·
4d
·
Discuss:
Hacker News
🤖
Robotics
Learn
Weird
Programming
Languages
okienko.day
·
4d
·
Discuss:
Hacker News
⚙️
Compiler Design
Geometrically
Allocated
Ads in AI Conversations
june.kim
·
3d
·
Discuss:
Hacker News
🕸️
Graph Theory
The Potential of
RLMs
dbreunig.com
·
4d
·
Discuss:
Hacker News
⏳
LTL
The Problem With LLMs
deobald.ca
·
2d
·
Discuss:
Lobsters
,
Hacker News
📦
Module Systems
Show HN:
ContinualCode
– a coding agent that updates its
weights
from feedback
sdan.github.io
·
4d
·
Discuss:
Hacker News
λ
Functional Programming
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
3d
·
Discuss:
Hacker News
❓
Existential Types
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
4d
·
Discuss:
Hacker News
🔧
ppx
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
4d
·
Discuss:
Hacker News
🧩
Parser Combinators
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