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

1 points by dgoncharov 1d ago 0 comments

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

1 points by sebselassie 2d ago 0 comments

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

1 points by sestinj 2d ago 0 comments

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

1 points by Old_Thrashbarg 3d ago 0 comments

Enhanced Radar (YC W25) is hiring a founding engineer

1 points by EricButton 3d ago 0 comments

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

1 points by thomashlvt 3d ago 0 comments

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

1 points by asontha 4d ago 0 comments

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

1 points by adam_carrigan 5d ago 0 comments

Recurse Center (YC S10) Is Hiring a Career Facilitator (recurse.notion.site)

1 points by nicholasjbs 5d ago 0 comments

Cua (YC X25) is hiring an engineer (ycombinator.com)

1 points by GreenGames 6d ago 0 comments

Noloco (YC S21) is hiring a founder's associate in Barcelona (ycombinator.com)

1 points by darraghmckay 6d ago 0 comments

14.ai (YC W24) hiring founding engineers in SF to build a Zendesk alternative (14.ai)

1 points by michaelfester 7d ago 0 comments

Lago (Open-Source Usage Based Billing) is hiring for ten roles (ycombinator.com)

1 points by AnhTho_FR 9d ago 0 comments

Spark AI (YC W24) is hiring a full-stack engineer in SF (founding team) (ycombinator.com)

1 points by juliawu 9d ago 0 comments

Bitmovin (YC S15) Is Hiring a Junior Solutions Engineer in Denver (bitmovin.com)

1 points by slederer 10d ago 0 comments

SigNoz (YC W21, Open Source Datadog) Is Hiring DevRel Engineers (Remote)(US) (ycombinator.com)

1 points by pranay01 10d ago 0 comments

AccessOwl (YC S22) is hiring an Elixir Engineer to connect 100s of SaaS (ycombinator.com)

1 points by mathiasn 11d ago 0 comments

FurtherAI (YC W24) Is Hiring for Software and AI Roles (ycombinator.com)

1 points by sgondala_ycapp 12d ago 0 comments

Yarn (YC W24) is hiring engineers in NYC (ycombinator.com)

1 points by jasperstory 12d ago 0 comments

Expand.ai (YC S24) is hiring a founding engineer

1 points by timsuchanek 13d ago 0 comments

Optifye.ai (YC W25) is hiring a back end engineer

1 points by Vivaan_Baid 14d ago 0 comments

Kastle (S24) is hiring an engineer (ycombinator.com)

1 points by rishi443 14d ago 0 comments

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

1 points by adchurch 16d ago 0 comments

Qfex (YC X25) – Back End Engineer for a 24/7 Stock Exchange (ycombinator.com)

1 points by NPDW 17d ago 0 comments

points by 18d ago 0 comments

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

1 points by kbanothu 19d ago 0 comments

Jiga (YC W21) Is Hiring Software Engs to Make Life of Mech Engs Easier (workatastartup.com)

1 points by grmmph 19d ago 0 comments

Foundry (YC F24) Hiring Early Engineer to Build Web Agent Infrastructure (ycombinator.com)

1 points by lakabimanil 19d ago 0 comments

Blaze (YC S24) Is Hiring (ycombinator.com)

1 points by faiyamrahman 20d ago 0 comments

Infracost (YC W21) is hiring software engineers (GMT+2 to GMT-6) (infracost.io)

1 points by aliscott 21d ago 0 comments

Solidroad (YC W25) Is Hiring (solidroad.com)

1 points by pjfin 23d ago 0 comments

My first verified (imperative) program

3 TwoFx 1 7/7/2025, 5:58:04 PM markushimmel.de ↗

Comments (1)

wk_end · 35s ago

Seems to be hugged to death, which is a wonderful demonstration of some of the limits of formal verification :)