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
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
48
posts in
16.8
ms
Co-Creator
of Haskell:
Functional
Programming
, Thinking in Types, Useless Languages | Simon Jones
⚡
functional programming
Content type:
News
developing.dev
·
6d
6 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
He scraped Paul Graham's essays, got an angry email from PG himself, then got rejected by YC 12 times. Still got in at 13th Attempt
λ
Lambda Calculus
ycinsight.com
·
2d
2 days ago
·
r/SideProject
Actions for He scraped Paul Graham's essays, got an angry email from PG himself, then got rejected by YC 12 times. Still got in at 13th Attempt
Less-relevant results
Diana Hu Is YC's Newest Managing Partner
λ
Lambda Calculus
Content type:
Blog
ycombinator.com
·
2d
2 days ago
Actions for Diana Hu Is YC's Newest Managing Partner
Samuel Mimram — CSC_51051_EP -- Computational
logic
: from Artificial intelligence to Zero bugs
📜
Proof Languages
lix.polytechnique.fr
·
4d
4 days ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Proof System Timelines
🏗️
Calculus of Constructions
Content type:
Blog
klatz.co
·
5d
5 days ago
Actions for Proof System Timelines
CEO of $20 billion AI firm Perplexity says the secret to success is ‘sleeping with that fear’ that your competitor will steal your idea
λ
Lambda Calculus
Content type:
News
fortune.com
·
1d
1 day ago
Actions for CEO of $20 billion AI firm Perplexity says the secret to success is ‘sleeping with that fear’ that your competitor will steal your idea
Issue 528
🔧
haskell
haskellweekly.news
·
3d
3 days ago
Actions for Issue 528
Closing the Loop: One Impressive AI Coding Agent Session for
Y-Combinator
λ
Lambda Calculus
Content type:
News
Content type:
Blog
vmysla.substack.com
·
4d
4 days ago
·
Substack
Actions for Closing the Loop: One Impressive AI Coding Agent Session for Y-Combinator
AI founder declares the 'era of token-maxxing is coming to an end'
λ
Lambda Calculus
Content type:
News
businessinsider.com
·
2d
2 days ago
Actions for AI founder declares the 'era of token-maxxing is coming to an end'
How to Earn a Billion Dollars
λ
Lambda Calculus
paulgraham.com
·
1h
1 hour ago
·
Hacker News
Actions for How to Earn a Billion Dollars
Cash App is the next brand trying its hand at offering phone plans to its fans
λ
Lambda Calculus
Content type:
News
9to5google.com
·
2d
2 days ago
Actions for Cash App is the next brand trying its hand at offering phone plans to its fans
Zepto’s IPO filing reveals fast growth, bigger losses, and a valuation question nobody’s answered yet
λ
Lambda Calculus
techcrunch.com
·
5d
5 days ago
Actions for Zepto’s IPO filing reveals fast growth, bigger losses, and a valuation question nobody’s answered yet
Tsenta wants to make job applications faster, smarter, and a lot less manual
λ
Lambda Calculus
Content type:
News
yourstory.com
·
3d
3 days ago
Actions for Tsenta wants to make job applications faster, smarter, and a lot less manual
New comment by suleyman_a in "Ask HN: Who is hiring? (June 2026)"
λ
Lambda Calculus
joincarma.com
·
3d
3 days ago
·
Hacker News
Actions for New comment by suleyman_a in "Ask HN: Who is hiring? (June 2026)"
Apple Criticizes U.S. Antitrust Bill That Targets the App Store
λ
Lambda Calculus
Content type:
News
macrumors.com
·
2d
2 days ago
·
r/apple
·
Cited by 1 article
Actions for Apple Criticizes U.S. Antitrust Bill That Targets the App Store
Programming
Languages Course Reboot, 2026
🔀
Control Structures
Content type:
Reference
docs.google.com
·
4d
4 days ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Elon Musk drifted from Larry Page over a decade ago, but their companies are closer than ever
λ
Lambda Calculus
Content type:
News
cnbc.com
·
12h
12 hours ago
Actions for Elon Musk drifted from Larry Page over a decade ago, but their companies are closer than ever
Bipartisan lawmakers reintroduce bill to limit Big Tech gatekeeping, Apple shoots back
λ
Lambda Calculus
9to5mac.com
·
2d
2 days ago
·
Cited by 1 article
Actions for Bipartisan lawmakers reintroduce bill to limit Big Tech gatekeeping, Apple shoots back
7 Irish start-ups transforming the manufacturing floor
λ
Lambda Calculus
siliconrepublic.com
·
2d
2 days ago
Actions for 7 Irish start-ups transforming the manufacturing floor
Can $2 Billion Startup Generalist AI Solve the Robot Training Conundrum?
λ
Lambda Calculus
thedailyupside.com
·
6d
6 days ago
Actions for Can $2 Billion Startup Generalist AI Solve the Robot Training Conundrum?
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