Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 lambda calculus
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
185037
posts in
10.9
ms
Programming
in K
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
23h
🏗️
Calculus of Constructions
Hyperfunctions
math.columbia.edu
·
12h
🔗
Category Theory
bntre/visual-lambda
: Visual environment for manipulation the lambda
calculus
expressions
github.com
·
2d
·
Discuss:
Hacker News
🔮
Type Inference Visualization
extended C*-
algebra
in
nLab
ncatlab.org
·
8h
🔗
Category Theory
Differential
Logic
• 15
inquiryintoinquiry.com
·
10h
🧩
Constraint Logic
Tsonnet
#31 - Taking back control of
equality
dev.to
·
7h
·
Discuss:
DEV
🔗
Lexical Scoping
G\"odel-McKinsey-Tarski and (not quite)
Blok-Esakia
for
Heyting-Lewis
Implication
arxiv.org
·
23h
🔬
Hindley-Milner
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
9h
·
Discuss:
Hacker News
🧮
Combinator Calculus
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
21h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🪜
Recursive Descent
Async
Programming Is Just @
Inject
Time
willhbr.net
·
17h
🔀
Control Structures
Noether
& Energy
unizor.blogspot.com
·
1d
·
Discuss:
Blogger
∫
Symbolic Math
Refined Risk Bounds for
Unbounded
Losses via
Transductive
Priors
jmlr.org
·
16h
⚡
Partial Evaluation
Show HN:
Timber
–
Ollama
for classical ML models, 336x faster than Python
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
🌱
Minimal ML
Learning Python, Day 9
blog.katemonkey.com
·
15h
🔗
Concatenative
Idempotency
in AI Tools: The Most Expensive Thing Teams
Forget
dzone.com
·
9h
🔄
Coroutines
nahhididwin/L-Representation
: L-Representation: Turning a Single Integer \
textit
{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine
github.com
·
22h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Function
Calling最佳实践2026
：
从Schema设计到安全防护的完整指南
dev.to
·
9h
·
Discuss:
DEV
🔗
Lexical Scoping
Single
Direction
vs Low-Rank
Refusal
in Small LLMs
lesswrong.com
·
4h
⚡
Tokenizer Optimization
IaC
in AWS with
canned
templates, price estimates, low-code, CLI
stacktape.com
·
13h
💬
Smalltalk VMs
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