Zachary Pierce

Distributed Systems Engineer with a data analytics background, a reliability-oriented mindset, and an optimization habit.

[Nathan Aschbacher @gen_nja]

At @AuxonCorp we regularly end up bumping into rough edges around using #rustlang for embedded development. @ZackTheEngineer leaned into the abyss and came out the other side with something useful to give back to the community.

[Zachary Pierce @ZackTheEngineer]

@wilcoxjay @johnregehr @mycoliza That might have been a secret subtitle to the talk. "Have you considered throwing generative input at your problem?"

[Zachary Pierce @ZackTheEngineer]

@johnregehr @mycoliza Happily, the focus was on empirical verification rather than formal verification, so I was able to skip over that aspect without much guilt.

[Zachary Pierce @ZackTheEngineer]

I'm going to take to heart the feedback from my talk at @COGoldRust and see if I can develop some useful insights on the measurable efficacy of coverage-guided property-based testing in Rust.

[Zachary Pierce @ZackTheEngineer]

Verifying myself: I am zacharypierce on Keybase.io. a1Swrp7zLVsEztdyYfQnt6vfvJ-cmgOmKJiy / https://t.co/VhKZvlgmjZ

[Zachary Pierce @ZackTheEngineer]

@gcouprie The benchmarks are kind of like a cake bake-off, and nom is a tasty brand of flour. Great stuff, but we're really comparing recipes right about now.

[Polysync @Polysync]

Check out our latest white paper, "Safety Implications of Serialization Timing in Autonomous Vehicles," by @ZackTheEngineer and @gen_nja https://t.co/07I6efmyGk

[Zachary Pierce @ZackTheEngineer]

@gen_nja @clearydude @ZackPierce Hey, I got an account. Also, thanks!

[Katie Cleary @clearydude]

I wrote a blog about neat testing stuff! https://t.co/6fkGurA7op

[Senrio @XipiterSec]

We've said it before,we'll say it again. @rustlang could revolutionize safety, concurrency, security of embedded sys https://t.co/SPSR0zyG5f

[Martin Thompson @mjpt777]

Interesting blog about @rustlang and SBE (Simple Binary Encoding).
https://t.co/hAhrAGWk2B