Infisical (YC W23) Is Hiring Solutions Engineers to Scale the OSS Security Stack (ycombinator.com)

1 points by vmatsiiako 11h ago 0 comments

Channel3 (YC S25) Is Hiring a Founding Engineer, NYC (channel3.notion.site)

1 points by aschiff1 16h ago 0 comments

Thunder Compute (YC S24) Is Hiring (ycombinator.com)

1 points by cpeterson42 2d ago 0 comments

Deepnote (YC S19) is hiring engineers to build a better Jupyter notebook (deepnote.com)

1 points by Equiet 2d ago 0 comments

Prosper AI (YC S23) Is Hiring Founding Account Executives (NYC) (jobs.ashbyhq.com)

1 points by XDGC 3d ago 0 comments

The Forecasting Company (YC S24) Is Hiring a Software Engineer (ycombinator.com)

1 points by jfainberg 3d ago 0 comments

Lago – Open-Source Usage Based Billing – Is Hiring in Sales, Eng, Ops (EU, US) (ycombinator.com)

1 points by AnhTho_FR 4d ago 0 comments

Ember (YC F24) Is Hiring Full Stack Engineer (ycombinator.com)

1 points by charlene-wang 4d ago 0 comments

LiteLLM (YC W23) is hiring a back end engineer (ycombinator.com)

1 points by detente18 5d ago 0 comments

SigNoz (YC W21, Open Source Datadog) Is Hiring Platform Engineers (Remote) (jobs.ashbyhq.com)

1 points by pranay01 5d ago 0 comments

Motion (YC W20) Is Hiring Principal Software Engineers (jobs.ashbyhq.com)

1 points by ethanyu94 8d ago 0 comments

Bild AI (YC W25) Is Hiring an Applied AI Engineer (workatastartup.com)

1 points by rooppal 8d ago 0 comments

Text.ai (YC X25) Is Hiring Founding Full-Stack Engineer (ycombinator.com)

1 points by RushiSushi 10d ago 0 comments

Cua (YC X25) is hiring design engineers in SF (ycombinator.com)

1 points by frabonacci 10d ago 0 comments

Activeloop (YC S18) Is Hiring Member of Technical Staff – Back End Engineering (careers.activeloop.ai)

1 points by davidbuniat 10d ago 0 comments

Coris (YC S22) Is Hiring (ycombinator.com)

1 points by smaddali 11d ago 0 comments

14.ai (YC W24) is hiring engineers in SF to build an AI-native Zendesk (14.ai)

1 points by michaelfester 11d ago 0 comments

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

1 points by richard_pepper 13d ago 0 comments

Ashby (YC W19) Is Hiring Design Engineers in AMER and EMEA (ashbyhq.com)

1 points by abhikp 15d ago 0 comments

EasyPost (YC S13) Is Hiring (easypost.com)

1 points by jstreebin 16d ago 0 comments

Tesorio (YC S15) Is Hiring a Senior GenAI Engineer (100% Remote) (tesorio.com)

1 points by FabioFleitas 16d ago 0 comments

OneSignal (YC S11) Is Hiring Engineers (onesignal.com)

1 points by gdeglin 17d ago 0 comments

Axle (YC S22) is hiring product engineers (ycombinator.com)

1 points by niharparikh 17d ago 0 comments

Mbodi AI (YC X25) Is Hiring a Founding Research Engineer (Robotics) (ycombinator.com)

1 points by chitianhao 17d ago 0 comments

ReadMe (YC W15) Is Hiring a Developer Experience PM (readme.com)

1 points by gkoberger 18d ago 0 comments

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

1 points by adchurch 19d ago 0 comments

Depot (YC W23) Is Hiring a Community and Events Manager (Remote) (ycombinator.com)

1 points by jacobwg 19d ago 0 comments

CoLoop (YC S21) Is Hiring AI Engineers in London

1 points by mrlowlevel 19d ago 0 comments

Trellis (YC W24) Is Hiring: Automate Prior Auth in Healthcare (ycombinator.com)

1 points by jackylin 20d ago 0 comments

Type (YC W23) is hiring a founding engineer to build an AI-native doc editor (ycombinator.com)

1 points by stewfortier 21d ago 0 comments

Foundry (YC F24) is hiring staff-level product engineers (ycombinator.com)

1 points by lakabimanil 24d ago 0 comments

C1ick and C⊗LLec⊥: Interactive linear logic prover

1 abathologist 1 8/31/2025, 10:57:48 PM click-and-collect.linear-logic.org ↗

Comments (1)

abathologist · 5h ago

Github Page: https://github.com/etiennecallies/click-and-collect/wiki Linear Logic: https://en.wikipedia.org/wiki/Linear_logic