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
🏗️ Calculus of Constructions
Dependent Types, Coq, Proof Assistants, Type Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
79991
posts in
581.1
ms
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
6h
λ
Lambda Calculus
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
16h
📜
Proof Languages
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
16h
·
Discuss:
Hacker News
🌳
Tree Walking
Graph
algebra
en.wikipedia.org
·
7h
🔗
Category Theory
Wheeler
Bisimulations
arxiv.org
·
6h
🔍
Type Inference
I got
bored
and had Claude design and
implement
a programming language
github.com
·
2h
·
Discuss:
Hacker News
✅
Type Checking
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
21h
🚂
Error Monads
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
11h
📋
Tablegen
Revisiting
Regular
Types
abseil.io
·
2d
🚀
Hindley-Milner+
A
Proof
of P =
NP
dev.to
·
1d
·
Discuss:
DEV
🎨
Graph Coloring
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
11h
·
Discuss:
Blogger
📊
Query Optimizers
Togelius
:
Math
and me
togelius.blogspot.com
·
16h
·
Discuss:
Hacker News
📐
Mathematical Computing
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
4h
·
Discuss:
Hacker News
🎮
Language Ergonomics
What's up with
Haskell
's do
notation
?
slightknack.dev
·
18h
⚡
functional programming
Python
Typing
vs.
TypeScript
dev.to
·
1h
·
Discuss:
DEV
🌊
Gradual Typing
Coding A PoS
Tagger
from Scratch — A Statistical Part-of-Speech
Tagger
|
NLP
pub.towardsai.net
·
13h
🔤
Language Tokenizers
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
21h
🔗
Graph Rewriting
QFuture
❤️ C++
coroutines
arnorehn.de
·
13h
·
Discuss:
Lobsters
,
Hacker News
🔄
Coroutines
Build a
Compiler
in Five Projects
kmicinski.com
·
3d
🎭
Racket Modules
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