OneText (YC W23) Is Hiring a DevOps/DBA Lead Engineer (jobs.ashbyhq.com)

1 points by bluepnume 21h ago 0 comments

Gander (YC F24) Is Hiring Founding Engineers and Interns (ycombinator.com)

1 points by arjanguglani 1d ago 0 comments

Ziina (YC W21) the Series A fintech is hiring product engineers (ziina.notion.site)

1 points by faisaltoukan 1d ago 0 comments

Onyx (YC W24) – AI Assistants for Work Hiring Founding AE (ycombinator.com)

1 points by yuhongsun 1d ago 0 comments

Great Question (YC W21) Is Hiring a Director of Customer Success (ycombinator.com)

1 points by nedwin 1d ago 0 comments

Deepnote (YC S19) is hiring engineers to build an AI-powered data notebook (deepnote.com)

1 points by Equiet 2d ago 0 comments

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

1 points by thomashlvt 2d ago 0 comments

CircuitHub (YC W12) is hiring full-stack robotics engineers (workatastartup.com)

1 points by seddona 2d ago 0 comments

AtoB (YC S20) – Stripe for Transportation – is hiring engineers (jobs.ashbyhq.com)

1 points by vignanv8 3d ago 0 comments

PromptArmor (YC W24) Is Hiring in San Francisco (ycombinator.com)

1 points by VikramJayanthi 3d ago 0 comments

Depot (YC W23) is hiring an enterprise support engineer (UK/EU) (ycombinator.com)

1 points by jacobwg 4d ago 0 comments

Patched (YC S24) Is Hiring SWEs in Singapore (ycombinator.com)

1 points by rohansood15 4d ago 0 comments

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

1 points by davidbuniat 4d ago 0 comments

Morph (YC S23) Is Hiring a ML Engineer

1 points by bhaktatejas922 4d ago 0 comments

Spark AI (YC W24) Is Hiring a Full Stack Engineer in San Francisco (ycombinator.com)

1 points by tk90 5d ago 0 comments

Demodesk (YC W19) Is Hiring Rails Engineers (demodesk.com)

1 points by alxppp 5d ago 0 comments

Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer (ycombinator.com)

1 points by dsacellarius 5d ago 0 comments

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

1 points by mathiasn 8d ago 0 comments

StackAI (YC W23) Is Looking for SWR and Tailwind Wizards (ycombinator.com)

1 points by baceituno 8d ago 0 comments

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

1 points by adchurch 8d ago 0 comments

Infisical (YC W23) Is Hiring Full Stack Engineers (TypeScript) in US and Canada (ycombinator.com)

1 points by dangtony98 9d ago 0 comments

GoGoGrandparent (YC S16) is hiring Back end Engineers

1 points by davidchl 10d ago 0 comments

Roundtable (YC S23) Is Hiring a Member of Technical Staff (ycombinator.com)

1 points by timshell 11d ago 0 comments

Diligent (YC S23) Is Hiring a Founding AI Engineer (ycombinator.com)

1 points by edomaschio 12d ago 0 comments

Venta AI (YC S23) is hiring a full stack engineer in Amsterdam (ycombinator.com)

1 points by stefanreuther 13d ago 0 comments

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

1 points by darweenist 13d ago 0 comments

Trellis (YC W24) Is Hiring founding SDR to help automate healthcare paperwork (ycombinator.com)

1 points by macklinkachorn 14d ago 0 comments

Sorcerer (YC S24) Is Hiring a Lead Hardware Design Engineer (jobs.ashbyhq.com)

1 points by maxmclau 17d ago 0 comments

Harper (YC W25) Is Hiring Applied AI / AI Context Engineers and Data Scientist (ycombinator.com)

1 points by nairtu 17d ago 0 comments

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

1 points by ctraina 18d ago 0 comments

Ashby (YC W19) Is Hiring Engineering Managers (ashbyhq.com)

1 points by abhikp 18d ago 0 comments

Fray: A Controlled Concurrency Testing Framework for the JVM

40 0x54MUR41 2 6/8/2025, 6:21:42 AM github.com ↗

Comments (2)

gavinray · 20m ago

See also: "lincheck" by Jetbrains

https://github.com/JetBrains/lincheck

Toolkit for automatically deriving linearizability proofs for Concurrent Data Structures/Primtives.

https://blog.jetbrains.com/kotlin/2021/02/how-we-test-concur...

l2dy · 6h ago

Related: https://news.ycombinator.com/item?id=44211779