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
📐 Denotational Semantics
Domain Theory, Fixed Points, Continuations, Program Equivalence
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8683
posts in
70.8
ms
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
1d
📝
Term Rewriting
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
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
3d
·
Discuss:
r/programming
🔢
Algebraic Data Types
We Die Because it's a
Computational
Necessity
lesswrong.com
·
9h
🔲
Cellular Automata
Deferred
member
initialization
in C++
sandordargo.com
·
2d
·
Discuss:
Lobsters
📝
Nix Language
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
Fragments
: February 13
martinfowler.com
·
6h
·
Discuss:
Hacker News
⚙️
Compiler Design
Webmentions
with batteries
included
blog.fabiomanganiello.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🌐
Network Protocols
Dyad
2.0: What Agentic AI means for the Future of Computer
Languages
- Blog
juliahub.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
·
11h
·
Discuss:
Substack
🏗️
Dune
Show HN:
Flemma
– a Neovim plugin where the .chat
buffer
is the conversation
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🐫
OCaml
Beyond
SAST
: Using Gemini to
Orchestrate
Semantic Source Reviews.
ciex-software.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
1d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Explain
Your Rules
blog.sebastiansastre.co
·
1d
·
Discuss:
Hacker News
🏹
Effect Systems
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
True,
Relevant
, and Wrong: The
Applicability
Problem in RAG
pinecone.io
·
1d
·
Discuss:
Hacker News
🧩
Parser Combinators
ai;
dr
0xsid.com
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Lessons
from
Zig
vinniefalco.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
BetaZero
V2: A Diffusion Model for Setting
Boulder
Problems
evmojo37.substack.com
·
23h
·
Discuss:
Substack
📐
Linear Algebra
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