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
54
posts in
10.6
ms
Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided
Lambda
Calculus
🔷
Functional Programming
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
Less-relevant results
Supabase Raises $500 Million as AI Agents Spark Database Explosion
🔷
Functional Programming
pymnts.com
·
6d
6 days ago
Actions for Supabase Raises $500 Million as AI Agents Spark Database Explosion
The cost-saving AI measure Coinbase's CEO is taking to keep costs 'roughly flat' while growing token usage
λ
Type Theory
Content type:
News
businessinsider.com
·
2d
2 days ago
Actions for The cost-saving AI measure Coinbase's CEO is taking to keep costs 'roughly flat' while growing token usage
The New Zealand founder who couldn't sell his idea in 2014 just raised $500M at $10.5B, and Claude Code is his biggest customer — TFN
λ
Type Theory
techfundingnews.com
·
5d
5 days ago
Actions for The New Zealand founder who couldn't sell his idea in 2014 just raised $500M at $10.5B, and Claude Code is his biggest customer — TFN
Healthcare’s $97bn staffing problem just won an AI training startup a $55M round
✳️
Proof Theory
Content type:
News
thenextweb.com
·
2d
2 days ago
Actions for Healthcare’s $97bn staffing problem just won an AI training startup a $55M round
Emergent: How Six Months of Tinkering Led To A $100M ARR Company
🤔
Philosophy of CS
Content type:
Video
youtube.com
·
4d
4 days ago
Actions for Emergent: How Six Months of Tinkering Led To A $100M ARR Company
When
Types
Intersect and Effects Get Handled
λ
Type Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
Airbnb’s Brian Chesky plans to launch a new AI lab
λ
Type Theory
techcrunch.com
·
6d
6 days ago
Actions for Airbnb’s Brian Chesky plans to launch a new AI lab
An Open Letter in Support of Mandatory Nucleic Acid Synthesis Screening and Recordkeeping
✳️
Proof Theory
screendna.org
·
1w
1 week ago
·
Hacker News
Actions for An Open Letter in Support of Mandatory Nucleic Acid Synthesis Screening and Recordkeeping
Britain's biggest banks, defence primes, and telecoms are
betting
on a three-year-old startup to end their dependence on American AI — TFN
🤔
Philosophy of CS
techfundingnews.com
·
2d
2 days ago
Actions for Britain's biggest banks, defence primes, and telecoms are betting on a three-year-old startup to end their dependence on American AI — TFN
SaaStr AI App of the Week: Pylon. The AI-Native Support Platform Built for B2B, Not Reheated B2C
🤔
Philosophy of CS
saastr.com
·
5d
5 days ago
Actions for SaaStr AI App of the Week: Pylon. The AI-Native Support Platform Built for B2B, Not Reheated B2C
Programming
Languages Course Reboot, 2026
🔷
Functional Programming
Content type:
Reference
docs.google.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Snowflake, Databricks and the model makers: The battle for the agentic client and AI back end
🤔
Philosophy of CS
Content type:
Video
siliconangle.com
·
3d
3 days ago
Actions for Snowflake, Databricks and the model makers: The battle for the agentic client and AI back end
Big Tech Loses Big In A Set Of California Primaries
🤔
Philosophy of CS
huffpost.com
·
6d
6 days ago
Actions for Big Tech Loses Big In A Set Of California Primaries
The forgotten science behind self-improving companies
🤔
Philosophy of CS
uxdesign.cc
·
2d
2 days ago
Actions for The forgotten science behind self-improving companies
Using Ropes for Computation
🔷
Functional Programming
wiki.xxiivv.com
·
6d
6 days ago
·
Hacker News
Actions for Using Ropes for Computation
Silicon Valley found AI and started looking for God
🤔
Philosophy of CS
Content type:
News
sfstandard.com
·
1d
1 day ago
·
r/OpenAI
,
r/artificial
Actions for Silicon Valley found AI and started looking for God
Conduit launches AI operational platform with agents purpose-built for hospitality
🤔
Philosophy of CS
Content type:
News
breakingtravelnews.com
·
5d
5 days ago
Actions for Conduit launches AI operational platform with agents purpose-built for hospitality
Summarizing 24,000 Hacker News comments: the one story that never left
🤔
Philosophy of CS
Content type:
Blog
heylefty.com
·
2d
2 days ago
·
Hacker News
Actions for Summarizing 24,000 Hacker News comments: the one story that never left
I cofounded an app that made over $1 million in the last year. We pivoted 5 times and made one big mistake before finding success.
🔷
Functional Programming
businessinsider.com
·
6d
6 days ago
Actions for I cofounded an app that made over $1 million in the last year. We pivoted 5 times and made one big mistake before finding success.
« Page 1
·
Page 3 »
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