Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Lambda Calculus
λ Lambda Calculus
Specific
lambda calculus, beta reduction, Church encoding, combinators
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
52
posts in
5.3
ms
Co-Creator
of Haskell:
Functional
Programming
, Thinking in Types, Useless Languages | Simon Jones
🔷
Functional Programming
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided
Lambda
Calculus
🔷
Functional Programming
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
Type Theory
lix.polytechnique.fr
·
19h
19 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Closing the Loop: One Impressive AI Coding Agent Session for
Y-Combinator
🤔
Philosophy of CS
Content type:
News
Content type:
Blog
vmysla.substack.com
·
1d
1 day ago
·
Substack
Actions for Closing the Loop: One Impressive AI Coding Agent Session for Y-Combinator
Less-relevant results
Tsenta wants to make job applications faster, smarter, and a lot less manual
📐
Formal Semantics
Content type:
News
yourstory.com
·
3h
3 hours ago
Actions for Tsenta wants to make job applications faster, smarter, and a lot less manual
New comment by valdezm in "Ask HN: Who wants to be hired? (June 2026)"
🔷
Functional Programming
Content type:
Discussion
news.ycombinator.com
·
6d
6 days ago
·
Hacker News
Actions for New comment by valdezm in "Ask HN: Who wants to be hired? (June 2026)"
New comment by suleyman_a in "Ask HN: Who is hiring? (June 2026)"
🔷
Functional Programming
joincarma.com
·
11h
11 hours ago
·
Hacker News
Actions for New comment by suleyman_a in "Ask HN: Who is hiring? (June 2026)"
Zepto’s IPO filing reveals fast growth, bigger losses, and a valuation question nobody’s answered yet
λ
Type Theory
techcrunch.com
·
1d
1 day ago
Actions for Zepto’s IPO filing reveals fast growth, bigger losses, and a valuation question nobody’s answered yet
Conductor CEO Charlie Holtz Walks Us Through His AI Coding Setup
🤔
Philosophy of CS
Content type:
Video
youtube.com
·
6d
6 days ago
Actions for Conductor CEO Charlie Holtz Walks Us Through His AI Coding Setup
Proof System Timelines
⊢
Logic
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Airbnb’s Chesky helped put Sam Altman back in power. Now he’s building an AI lab to compete with him.
λ
Type Theory
Content type:
News
thenextweb.com
·
5d
5 days ago
Actions for Airbnb’s Chesky helped put Sam Altman back in power. Now he’s building an AI lab to compete with him.
Swedish legal-tech Legora plans London and European expansion
λ
Type Theory
siliconrepublic.com
·
18h
18 hours ago
Actions for Swedish legal-tech Legora plans London and European expansion
Active Startup Investors Didn’t Hold Back In May
🔷
Functional Programming
news.crunchbase.com
·
6d
6 days ago
Actions for Active Startup Investors Didn’t Hold Back In May
𝜇𝜆ϵ
𝛿-Calculus
: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
🔷
Functional Programming
Content type:
Academic
arxiv.org
·
2d
2 days ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
They were grocery delivery rivals. Now they'
re
teaming up to build an Nvidia-backed 'Cursor for math.'
λ
Type Theory
Content type:
News
businessinsider.com
·
16h
16 hours ago
Actions for They were grocery delivery rivals. Now they're teaming up to build an Nvidia-backed 'Cursor for math.'
Charlie Warren: AI-native service companies will dominate the next decade, the ‘Sam Altman test’ is crucial for evaluating business models, and regulation can elevate founder expectations | Y
Combinator
Startup Podcast
λ
Type Theory
cryptonews.net
·
6d
6 days ago
Actions for Charlie Warren: AI-native service companies will dominate the next decade, the ‘Sam Altman test’ is crucial for evaluating business models, and regulation can elevate founder expectations | Y Combinator Startup Podcast
I built an AI that turns your repo + docs into a sourced onboarding plan for new engineers
🤔
Philosophy of CS
rampbrain.com
·
2d
2 days ago
·
r/vibecoding
Actions for I built an AI that turns your repo + docs into a sourced onboarding plan for new engineers
Y
Combinator
co-founder Paul Graham argues big corporations' failure to profit from LLM tokens is a predictable adoption phase
λ
Type Theory
Content type:
News
digg.com
·
5d
5 days ago
Actions for Y Combinator co-founder Paul Graham argues big corporations' failure to profit from LLM tokens is a predictable adoption phase
Rental screening startup 100 acquires fraud detection firm Cobblestone Labs
🔷
Functional Programming
siliconangle.com
·
1d
1 day ago
Actions for Rental screening startup 100 acquires fraud detection firm Cobblestone Labs
Early Groww investor Friale
Fund
sells shares worth Rs 210 crore
∞
Foundations of Math
Content type:
News
theheadandtale.com
·
5d
5 days ago
Actions for Early Groww investor Friale Fund sells shares worth Rs 210 crore
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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