Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 Denotational Semantics
Domain Theory, Mathematical Models, Program Meaning, Scott Domains
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28248
posts in
15.5
ms
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
1d
·
Discuss:
DEV
📋
Document Grammar
EviAmarates/fresta-edge
: Domain evaluation lens generator built on the
Fresta
Lens Framework
github.com
·
10h
·
Discuss:
Hacker News
⟷
Bidirectional Programming
Custom Data
Structures
in
E-Graphs
uwplse.org
·
17h
·
Discuss:
Lobsters
,
Hacker News
📐
E-graphs
Layered
Monoidal
Theories II:
Fibrational
Semantics
arxiv.org
·
2d
🔀
Category Theory
Differential
Logic
• 14
inquiryintoinquiry.com
·
21h
🔬
Logic in Computer Science
Linkage
11011110.github.io
·
19h
🕳️
Persistent Homology
Discovering
human-understandable
concepts in
Steerling-8B
guidelabs.ai
·
1d
·
Discuss:
Hacker News
🧠
Intelligence Compression
A
quote
from
claude.com/import-memory
simonwillison.net
·
2h
🗃️
Punch Card Recovery
F# Weekly #9, 2026 –
Crunching
the Technical Debt with Repo
Assist
sergeytihon.com
·
3h
💧
Liquid Types
Joy
&
Curiosity
#76
registerspill.thorstenball.com
·
6h
🎯
Gradual Typing
Topological Relational Theory: A
Simplicial-Complex
View of Functional Dependencies, Lossless Decomposition, and
Acyclicity
arxiv.org
·
3d
🕸️
Algebraic Topology
Let’s stop
copying
C
eev.ee
·
1d
🔗
Concatenative Programming
dReLU
Sparsification: Recovering LLM Performance with
150B
Token Pretraining
hackernoon.com
·
1d
💻
Local LLMs
Full Report: What Claude Code Actually
Chooses
amplifying.ai
·
1d
📏
Code Metrics
An
Introduction
to
Lean
4
uv.es
·
1d
⚔️
Lean Tactics
Show HN:
AxonML
– A
PyTorch-equivalent
ML framework written in Rust
github.com
·
14h
·
Discuss:
Hacker News
🌀
Brotli Internals
Unsupervised
Learning NO. 518
newsletter.danielmiessler.com
·
22h
🔍
Vector Forensics
Interactive
explanations
- Agentic Engineering
Patterns
simonwillison.net
·
14h
⚡
Proof Automation
Abliteration
grokipedia.com
·
55m
·
Discuss:
Hacker News
✨
Effect Handlers
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
Loading...
Loading more...
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