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
111600
posts in
482.5
ms
Implicit
representations via the
polynomial
method
arxiv.org
·
1d
🔢
Algebraic Datatypes
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
2d
λ
Lambda Calculus
Programming
languages
mothcodes.bearblog.dev
·
5h
🔬
programming language theory
From
Chunks
to Connections: The
Intuitive
Guide to Graph RAG
pub.towardsai.net
·
11h
🪢
Rope Data Structures
Main
Content ||
Math
∩ Programming
jeremykun.com
·
4d
🔢
Algebraic Datatypes
Expressing
a prime as the sum of two
squares
johndcook.com
·
13h
·
Discuss:
Hacker News
🔗
Hash Functions
The missing
call-assign
operator
kevincox.ca
·
19m
·
Discuss:
Hacker News
😴
Lazy Evaluation
The
calculus
tutorial just
shipped
!
minireference.com
·
23h
·
Discuss:
Hacker News
📐
Mathematical Computing
TileIR
ianbarber.blog
·
1d
·
Discuss:
Hacker News
⚡
Partial Evaluation
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
·
11h
·
Discuss:
Hacker News
⚡
Fusion Laws
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
11h
·
Discuss:
Hacker News
,
r/compsci
🔍
ML Language
🔑Beginner-Friendly Guide 'Longest
Balanced
Substring
II' - Problem 3714 (C++, Python, JavaScript)
dev.to
·
6h
·
Discuss:
DEV
🔤
String Algorithms
microgpt
karpathy.github.io
·
1d
·
Discuss:
Hacker News
🌱
Tiny Languages
fltk-rs/flemish
: An
elmish
architecture for
fltk-rs
github.com
·
4h
·
Discuss:
Lobsters
,
Hacker News
🗺️
Region Polymorphism
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
2d
🔍
Type Inference
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
⚖️
Inference Rules
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔮
Metacircular Evaluators
Show HN: The
GPG
Guide – Practical
OpenPGP
for 2026
leanpub.com
·
1d
·
Discuss:
Hacker News
📡
Binary Protocols
Associated prime
ideals
and regular elements in
polynomial
rings
freedommathdance.blogspot.com
·
1h
·
Discuss:
freedommathdance.blogspot.com
🔗
Borrowing Extensions
How to think like a computer
scientist
: Learning with C
open.umn.edu
·
13h
·
Discuss:
r/C_Programming
🎭
Racket
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