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
111680
posts in
265.4
ms
Implicit
representations via the
polynomial
method
arxiv.org
·
1d
🔢
Algebraic Datatypes
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
2d
λ
Lambda Calculus
Show HN: The
Algorithm
's Favorite Child
chatbotkit.com
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
1d
·
Discuss:
Hacker News
💾
Minimal Databases
From
Chunks
to Connections: The
Intuitive
Guide to Graph RAG
pub.towardsai.net
·
12h
🪢
Rope Data Structures
Programming
languages
mothcodes.bearblog.dev
·
7h
🔬
programming language theory
Main
Content ||
Math
∩ Programming
jeremykun.com
·
4d
🔢
Algebraic Datatypes
Expressing
a prime as the sum of two
squares
johndcook.com
·
14h
·
Discuss:
Hacker News
🔗
Hash Functions
The missing
call-assign
operator
kevincox.ca
·
1h
·
Discuss:
Hacker News
😴
Lazy Evaluation
The
calculus
tutorial just
shipped
!
minireference.com
·
1d
·
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
·
12h
·
Discuss:
Hacker News
⚡
Fusion Laws
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
12h
·
Discuss:
Hacker News
,
r/compsci
🔍
ML Language
🔑Beginner-Friendly Guide 'Longest
Balanced
Substring
II' - Problem 3714 (C++, Python, JavaScript)
dev.to
·
8h
·
Discuss:
DEV
🔤
String Algorithms
microgpt
karpathy.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🌱
Tiny Languages
fltk-rs/flemish
: An
elmish
architecture for
fltk-rs
github.com
·
5h
·
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
Presentation: Building
Embedding
Models for Large-Scale Real-World
Applications
infoq.com
·
1h
🌱
Minimal ML
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