λ Lambda Calculus - Erichseen

🤔Philosophy of CS News Blog

vmysla.substack.com··Substack

Less-relevant results

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

🔷Functional Programming

joincarma.com··Hacker News

New comment by valdezm in "Ask HN: Who wants to be hired? (June 2026)"

🔷Functional Programming Discussion

news.ycombinator.com··Hacker News

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

λType Theory

techcrunch.com·

Conductor CEO Charlie Holtz Walks Us Through His AI Coding Setup

🤔Philosophy of CS Video

youtube.com·

Proof System Timelines

⊢Logic Blog

klatz.co·

Airbnb’s Chesky helped put Sam Altman back in power. Now he’s building an AI lab to compete with him.

λType Theory News

thenextweb.com·

Swedish legal-tech Legora plans London and European expansion

λType Theory

siliconrepublic.com·

Active Startup Investors Didn’t Hold Back In May

🔷Functional Programming

news.crunchbase.com·

They were grocery delivery rivals. Now they're teaming up to build an Nvidia-backed 'Cursor for math.'

λType Theory News

businessinsider.com

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

🔷Functional Programming Academic

arxiv.org··Lobsters

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

🤔Philosophy of CS

thedailyupside.com·

Charlie Warren: AI-native service companies will dominate the next decade, the ‘Sam Altman test’ is crucial for evaluating business models, and regulation can elevate founder expectations | Y Combinator Startup Podcast

λType Theory

cryptonews.net·

Y Combinator co-founder Paul Graham argues big corporations' failure to profit from LLM tokens is a predictable adoption phase

λType Theory News

digg.com·

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

🤔Philosophy of CS

rampbrain.com··r/vibecoding

Rental screening startup 100 acquires fraud detection firm Cobblestone Labs

🔷Functional Programming

siliconangle.com·

Early Groww investor Friale Fund sells shares worth Rs 210 crore

∞Foundations of Math News

theheadandtale.com·

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

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

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

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

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

New comment by valdezm in "Ask HN: Who wants to be hired? (June 2026)"

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

Conductor CEO Charlie Holtz Walks Us Through His AI Coding Setup

Proof System Timelines

Airbnb’s Chesky helped put Sam Altman back in power. Now he’s building an AI lab to compete with him.

Swedish legal-tech Legora plans London and European expansion

Active Startup Investors Didn’t Hold Back In May

They were grocery delivery rivals. Now they're teaming up to build an Nvidia-backed 'Cursor for math.'

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

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

Charlie Warren: AI-native service companies will dominate the next decade, the ‘Sam Altman test’ is crucial for evaluating business models, and regulation can elevate founder expectations | Y Combinator Startup Podcast

Y Combinator co-founder Paul Graham argues big corporations' failure to profit from LLM tokens is a predictable adoption phase

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

Rental screening startup 100 acquires fraud detection firm Cobblestone Labs

Early Groww investor Friale Fund sells shares worth Rs 210 crore