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
➡️ Category Theory
Functors, Monads, Mathematical Structures, Abstract Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8502
posts in
67.4
ms
Lambda
admissible
subspaces
of self adjoint matrices
arxiv.org
·
1d
📐
Linear Algebra
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
2d
🔢
Computability Theory
models have some pretty
funny
attractor
states
lesswrong.com
·
1d
🔲
Cellular Automata
Polysemanticity
is a
Misnomer
lesswrong.com
·
1d
🔁
Fixed-Point Theory
How I Built My Project in
Haskell
dev.to
·
6d
·
Discuss:
DEV
λ
Functional Programming
miniKanren.org
minikanren.org
·
5d
·
Discuss:
Lobsters
📦
Module Systems
The
Timeless
Way of
Programming
(2022)
tomasp.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
Memories: doing my
PhD
at Stanford, under John L
Hennessy
lawrencecpaulson.github.io
·
1d
·
Discuss:
Hacker News
💻
CS
How low-bit
inference
enables
efficient AI
dropbox.tech
·
50m
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Mathematicians
disagree
on the essential structure of the complex numbers
infinitelymore.xyz
·
3d
·
Discuss:
Hacker News
🔢
Philosophy of Mathematics
Yori
–
Isolating
AI Logic into "Semantic Containers" (Docker for Code)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧮
Z3
The
calculus
tutorial just
shipped
!
minireference.com
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Ontologies
are all you need
lexifina.com
·
13h
·
Discuss:
Hacker News
🏔️
Domain Theory
The
Observer
Lemma
zenodo.org
·
2d
·
Discuss:
Hacker News
👁️
Observability
PyG
Documentation —
pytorch
_geometric documentation
pytorch-geometric.readthedocs.io
·
4d
·
Discuss:
Hacker News
📦
OPAM
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Learn
Weird
Programming
Languages
okienko.day
·
4d
·
Discuss:
Hacker News
⚙️
Compiler Design
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
2d
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
🔠
Type-Level Programming
State of
HLSL
: February 2026
abolishcrlf.org
·
3d
·
Discuss:
Hacker News
🔬
Static Analysis
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