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
🧮 Combinator Calculus
SKI Combinators, Church Encoding, Point-Free Style, Reduction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
115940
posts in
3.02
s
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
⚡
functional programming
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🔍
ML Language
🌌Beginner-Friendly Guide 'Longest Balanced
Subarray
II' -
Leetcode
3721 (C++, Python, JavaScript)
dev.to
·
4h
·
Discuss:
DEV
🪢
Rope Data Structures
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Calculus
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
1d
📜
Proof Languages
Main
Content ||
Math
∩ Programming
jeremykun.com
·
2d
🔢
Algebraic Datatypes
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
1d
·
Discuss:
Hacker News
⚖️
Inference Rules
Graph
algebra
en.wikipedia.org
·
1d
🔗
Category Theory
Making
Waffles
with Group
Theory
hmpcabral.com
·
1d
·
Discuss:
Hacker News
λ
Lambda Calculus
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
16h
·
Discuss:
Hacker News
🪢
Rope Data Structures
A
Proof
of P =
NP
dev.to
·
2d
·
Discuss:
DEV
🎨
Graph Coloring
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
1d
·
Discuss:
Hacker News
🌳
Tree Walking
Differential
Logic
• 5
inquiryintoinquiry.com
·
1d
∫
Mathematical DSLs
Universal
Turing
Machine
universalturingmachine.org
·
18h
🎯
Finite Automata
Redefining
Go
Functions
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🐹
Go Internals
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
2d
·
Discuss:
Hacker News
📚
Forth Compilers
intersection
type in
nLab
ncatlab.org
·
20h
✅
Type Checking
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
8h
🔤
Regex Engines
GaloisInc/hexdump
: A human readable style for binary data.
github.com
·
1d
🔄
Copy Propagation
Large Language Models for
Mortals
book released
crimede-coder.com
·
18h
·
Discuss:
Hacker News
🌱
Minimal ML
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