arxiv.org/abs/2607.01504

it's a... distributed system

oh right

wait what's your project about again?

haha

or the desperate

it's a tool for the brave

but for now...

i hope so

or maybe it'll get faster

so what's the future of kani?

more like a... safety net

so... not a replacement

and model checkers are slow

but linters are fast

yeah kinda

so... like a linter but for safety?

but automated

they're like... the ultimate code review

wait what's the deal with model checkers anyway

lol

and a degree in computer science

and patience

yeah but only if you have time to wait

so it's worth it

i was like... how did i not see this

it found a race condition in my code

i did

has anyone tried it on a real project?

fair

where correctness matters more than speed