Church Encoding

Feeds to Scour
SubscribedAll
Scoured 47 posts in 15.8 ms

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··r/SideProject
Less-relevant results

Closing the Loop: One Impressive AI Coding Agent Session for Y-Combinator

 λLambda Calculus  Content type: News  Content type: Blog
vmysla.substack.com··Substack

Diana Hu Is YC's Newest Managing Partner

 λLambda Calculus  Content type: Blog
ycombinator.com·

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 ⚡functional programming  Content type: News
developing.dev·

How to Earn a Billion Dollars

 λLambda Calculus
paulgraham.com··Hacker News

Cash App is the next brand trying its hand at offering phone plans to its fans

 λLambda Calculus  Content type: News
9to5google.com·

Tsenta wants to make job applications faster, smarter, and a lot less manual

 λLambda Calculus  Content type: News
yourstory.com·

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
·

Zepto’s IPO filing reveals fast growth, bigger losses, and a valuation question nobody’s answered yet

 λLambda Calculus
techcrunch.com·

AI founder declares the 'era of token-maxxing is coming to an end'

 λLambda Calculus  Content type: News
businessinsider.com
·

New comment by suleyman_a in "Ask HN: Who is hiring? (June 2026)"

 λLambda Calculus
joincarma.com··Hacker News

Elon Musk drifted from Larry Page over a decade ago, but their companies are closer than ever

 λLambda Calculus  Content type: News
cnbc.com·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 📜Proof Languages
lix.polytechnique.fr·

Apple Criticizes U.S. Antitrust Bill That Targets the App Store

 λLambda Calculus  Content type: News
macrumors.com··r/apple·Cited by 1 article

Bipartisan lawmakers reintroduce bill to limit Big Tech gatekeeping, Apple shoots back

 λLambda Calculus
9to5mac.com··Cited by 1 article

Can $2 Billion Startup Generalist AI Solve the Robot Training Conundrum?

 λLambda Calculus
thedailyupside.com·

Proof System Timelines

 🏗️Calculus of Constructions  Content type: Blog
klatz.co·

7 Irish start-ups transforming the manufacturing floor

 λLambda Calculus
siliconrepublic.com·

Healthcare’s $97bn staffing problem just won an AI training startup a $55M round

 λLambda Calculus  Content type: News
thenextweb.com·

I built an AI that turns your repo + docs into a sourced onboarding plan for new engineers

 λLambda Calculus
rampbrain.com··r/vibecoding

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help