Lambda Calculus

Feeds to Scour
SubscribedAll
Scoured 45 posts in 9.0 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

 ⛪Church Encoding
ycinsight.com··r/SideProject

Diana Hu Is YC's Newest Managing Partner

 ⛪Church Encoding  Content type: Blog
ycombinator.com·

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

 📜Proof Languages
lix.polytechnique.fr·

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

 ⛪Church Encoding  Content type: News  Content type: Blog
vmysla.substack.com··Substack
Less-relevant results

CEO of $20 billion AI firm Perplexity says the secret to success is ‘sleeping with that fear’ that your competitor will steal your idea

 ⛪Church Encoding  Content type: News
fortune.com
·

Issue 528

 🔧haskell
haskellweekly.news·

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

 ⛪Church Encoding
techcrunch.com·

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

 🗑️Garbage Collection  Content type: News
businessinsider.com
·

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

 ⛪Church Encoding  Content type: News
yourstory.com·

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

 ⛪Church Encoding  Content type: News
9to5google.com·

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

 ⛪Church Encoding
joincarma.com··Hacker News

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

 ⛪Church Encoding  Content type: News
macrumors.com··r/apple·Cited by 1 article

Proof System Timelines

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

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

 ⛪Church Encoding
9to5mac.com··Cited by 1 article

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

 ⛪Church Encoding
thedailyupside.com·

7 Irish start-ups transforming the manufacturing floor

 🔗Concatenative Languages
siliconrepublic.com·

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

 🔗Concatenative Languages  Content type: News
thenextweb.com·

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

 📦Package Managers
rampbrain.com··r/vibecoding

Snowflake, Databricks and the model makers: The battle for the agentic client and AI back end

 🔗Concatenative Languages  Content type: Video
siliconangle.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