Thunder Compute (YC S24) Is Hiring a C++ Systems Engineer (ycombinator.com)

1 points by cpeterson42 1d ago 0 comments

Optery (YC W22) Is Hiring in Engineering, Legal, Sales, Marketing (U.S., Latam) (optery.com)

1 points by beyondd 1d ago 0 comments

QuestDB (YC S20) Is Hiring a Technical Content Lead (questdb.com)

1 points by nhourcard 2d ago 0 comments

Depot (YC W23) Is Hiring a Technical Content Writer (Remote) (ycombinator.com)

1 points by jacobwg 2d ago 0 comments

Firebender (YC W24) Is Hiring (ycombinator.com)

1 points by kevo1ution 2d ago 0 comments

Better Auth (YC X25) Is Hiring (ycombinator.com)

1 points by bekacru 2d ago 0 comments

Kapa.ai (YC S23) is hiring a software engineers (EU remote) (ycombinator.com)

1 points by emil_sorensen 3d ago 0 comments

Spice Data (YC S19) Is Hiring a Product Associate (New Grad) (ycombinator.com)

1 points by richard_pepper 3d ago 0 comments

Extend (YC W23) is hiring engineers to build SOTA document processing (jobs.ashbyhq.com)

1 points by kbyatnal 4d ago 0 comments

Piramidal (YC W24) is hiring a full stack engineer (ycombinator.com)

1 points by dsacellarius 6d ago 0 comments

Mango Health (YC W24) Is Hiring (ycombinator.com)

1 points by zachgitt 6d ago 0 comments

Resolve (YC W15) Is Hiring an Operations and Billing Lead for Construction VR

1 points by ugolino91 7d ago 0 comments

Arva AI (YC S24) Is Hiring an AI Research Engineer (London, UK) (arva.ai)

1 points by OliverWales 7d ago 0 comments

Rejoy Health (YC W21) Is Hiring (ycombinator.com)

1 points by rituraj_rhealth 8d ago 0 comments

Weave (YC W25) is hiring an AI engineer (ycombinator.com)

1 points by adchurch 8d ago 0 comments

CoinTracker (YC W18) is hiring to solve crypto taxes and accounting (remote)

1 points by chanfest22 9d ago 0 comments

Crimson (YC X25) is hiring founding engineers in London (ycombinator.com)

1 points by markfeldner 10d ago 0 comments

Martin (YC S23) Is Hiring Founding Engineers to Build a Better Siri (ycombinator.com)

1 points by darweenist 10d ago 0 comments

Meticulous (YC S21) is hiring in UK to redefine software dev (tinyurl.com)

1 points by Gabriel_h 10d ago 0 comments

Infisical (YC W23) Is Hiring DevRel Engineers (ycombinator.com)

1 points by vmatsiiako 11d ago 0 comments

Sieve (YC X25) is hiring researchers to build large video datasets for AI labs (sievedata.com)

1 points by mvoodarla 13d ago 0 comments

Activeloop (YC S18) Is Hiring AI Search and Python Back End Engineers(Onsite,MV) (careers.activeloop.ai)

1 points by davidbuniat 13d ago 0 comments

Attimet (YC F24) – Quant Trading Research Lab – Is Hiring Founding Researcher (ycombinator.com)

1 points by kbanothu 17d ago 0 comments

Metriport (YC S22) is hiring engineers to improve healthcare data exchange (ycombinator.com)

1 points by dgoncharov 18d ago 0 comments

Telli (YC F24) Is Hiring Engineers [On-Site Berlin] (hi.telli.com)

1 points by sebselassie 20d ago 0 comments

Continue (YC S23) is hiring software engineers in San Francisco (ycombinator.com)

1 points by sestinj 20d ago 0 comments

UpCodes (YC S17) is hiring a Head of Ops to automate construction compliance (up.codes)

1 points by Old_Thrashbarg 20d ago 0 comments

Enhanced Radar (YC W25) is hiring a founding engineer

1 points by EricButton 21d ago 0 comments

Converge (YC S23) well-capitalized New York startup seeks product developers (runconverge.com)

1 points by thomashlvt 21d ago 0 comments

Kyber (YC W23) Is Hiring Enterprise BDRs (ycombinator.com)

1 points by asontha 22d ago 0 comments

MindsDB (YC W20) is hiring an AI solutions engineer (job-boards.greenhouse.io)

1 points by adam_carrigan 22d ago 0 comments

Lambda calculus

6 diginova 1 7/25/2025, 12:57:31 PM risingentropy.com ↗

Comments (1)

tomhow · 20m ago

I've temporarily buried this because it links to a tag index, with several articles, which is too broad/diverse to generate a good discussion on HN.

Submitter (diginova), please let us know which of the articles is the best to read and discuss and we'll make that the url and title.

(Best to email us at hn@ycombinator.com to be sure we get the message, as we might not remember to check back here).