가입 후 초대 링크를 공유하면 동영상 재생 및 초대 보상을 받을 수 있습니다.

zack
@zack_overflow
gamedev, prev @bunjavascript
가입 November 2020
2.9K 팔로잉 중    30.5K 팬
formal verification all the rage now but you're probably sleeping on deterministic simulation testing there is too much software and too many failure modes that can't be very nicely modeled with formal methods so you want deterministic simulation testing which is basically fuzzing on steroids chai built a custom linux hypervisor and made it deterministic so it could performantly do snapshots and time travel rollbacks for deterministic simulation testing and it could do crazy things like reduce bugs to their most minimal reproduction etc so basically 1 dude in a cave with a box of scraps rebuilt antithesis and made it a 10x better product to use
더 보기
Today I'm announcing Workers IO to solve the slowest part of engineering, verification! AI agents can now write years’ worth of code in days, but it still takes significant engineering effort to verify what’s being built. It’s impossible to predict all scenarios that could lead to a failure and that’s why most expensive failures are found in production. Workers IO runs millions of simulated production scenarios on your entire system, including dependencies. These simulations run inside a deterministic hypervisor which injects faults like network delays, disk errors, clock skew, and process failures to verify how your system handles these conditions. Deterministic execution allows us to systematically explore the state space of the system and perfectly reproduce failures. We are already helping customers do years worth of production hardening in days and build confidence in what they’re shipping. If you are working on systems that you can never afford to break, DM me and we can help you battle test them!
더 보기