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

1 points by thomashlvt 2h ago 0 comments

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

1 points by asontha 11h ago 0 comments

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

1 points by adam_carrigan 1d ago 0 comments

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

1 points by nicholasjbs 1d ago 0 comments

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

1 points by GreenGames 2d ago 0 comments

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

1 points by darraghmckay 2d ago 0 comments

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

1 points by michaelfester 3d ago 0 comments

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

1 points by AnhTho_FR 5d ago 0 comments

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

1 points by juliawu 6d ago 0 comments

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

1 points by slederer 6d ago 0 comments

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

1 points by pranay01 7d ago 0 comments

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

1 points by mathiasn 7d ago 0 comments

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

1 points by sgondala_ycapp 8d ago 0 comments

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

1 points by jasperstory 8d ago 0 comments

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

1 points by timsuchanek 9d ago 0 comments

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

1 points by Vivaan_Baid 10d ago 0 comments

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

1 points by rishi443 11d ago 0 comments

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

1 points by adchurch 12d ago 0 comments

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

1 points by NPDW 13d ago 0 comments

points by 14d ago 0 comments

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

1 points by kbanothu 15d ago 0 comments

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

1 points by grmmph 15d ago 0 comments

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

1 points by lakabimanil 16d ago 0 comments

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

1 points by faiyamrahman 17d ago 0 comments

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

1 points by aliscott 17d ago 0 comments

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

1 points by pjfin 19d ago 0 comments

Kyber (YC W23) Is Hiring a Technical Account Manager (ycombinator.com)

1 points by asontha 20d ago 0 comments

Roundtable (YC S23) Is Hiring a President / CRO (ycombinator.com)

1 points by timshell 21d ago 0 comments

Roame (YC S23) Is Hiring (ycombinator.com)

1 points by zman0225 21d ago 0 comments

GauntletAI (YC S17): All expenses paid AI training and guaranteed $200k+ job (gauntletai.com)

1 points by austenallred 21d ago 0 comments

SchemeFlow (YC S24) Is Hiring an Engineer (London) to Speed Up Construction (ycombinator.com)

1 points by andrewkinglear 21d ago 0 comments

The Koka Programming Language

1 ColinWright 1 7/3/2025, 8:06:14 AM koka-lang.github.io ↗

Comments (1)

potato-peeler · 14h ago

> Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers.

Is this simply type assertion?