lambda calculus

Feeds to Scour
SubscribedAll
Scoured 48 posts in 11.7 ms

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

 functional programming  Content type: News
developing.dev·

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
Less-relevant results

Diana Hu Is YC's Newest Managing Partner

 λLambda Calculus  Content type: Blog
ycombinator.com·

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

 📜Proof Languages
lix.polytechnique.fr·

Proof System Timelines

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

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
·

Issue 528

 🔧haskell
haskellweekly.news·

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

 λLambda Calculus  Content type: News  Content type: Blog

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

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

How to Earn a Billion Dollars

 λLambda Calculus
paulgraham.com··Hacker News

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

 λLambda Calculus
techcrunch.com·

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

 λLambda Calculus  Content type: News
yourstory.com·

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

 λLambda Calculus  Content type: News

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

 λLambda Calculus
joincarma.com··Hacker News

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

 λLambda Calculus

Programming Languages Course Reboot, 2026

 🔀Control Structures  Content type: Reference

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

 λLambda Calculus  Content type: News
cnbc.com··Hacker News

7 Irish start-ups transforming the manufacturing floor

 λLambda Calculus
siliconrepublic.com·

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

 λLambda Calculus  Content type: News
businessinsider.com
·

The head of Claude Code hasn’t ‘written a line of code by hand’ in 8 months

 λLambda Calculus  Content type: News
tech.yahoo.com·

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