Tiemoko Ballo

Security developer, @inicmu alum, cat parent, infrequent Twitter user.

[Tiemoko Ballo @tnballo]

@rustembedded Excited to share a FREE book about developing secure and robust systems software, at the overlap of "state-of-the-art" and "near-term practical": https://t.co/tJnz0jjfJ5

[FerrousSystems @FerrousSystems]

It's here! 🎉 Ferrous Systems and @AdaCoreCompany just open sourced the first draft of the Ferrocene Language Specification, a description of the Rust programming language, made for safety-critical qualification. More on our blog: https://t.co/iytKgW4hU3

[Tiemoko Ballo @tnballo]

Thrilled and honored that "High Assurance Rust" was selected for the Rust Foundation's Community Grants Program! Looking forward to writing more chapters. Lots of exciting projects on this list! 🎉

[Rust Foundation @rust_foundation]

We are delighted to announce the recipients of the 2022 Rust Foundation Fellowship and Project Grants.

These awards will support talented and committed community members all over the world to do great work.

Find out more: https://t.co/SpWQeBo1IT

[Tiemoko Ballo @tnballo]

@ilyakurdyukov Nice! Reminds me of this retro gem (LZ4 in 78 bytes of 8086 assembly): https://t.co/6vBViSArNZ

[The Fuzzing Book @FuzzingBook]

The Fuzzing Book 1.1 is out! Now with 23 course videos, interactive quizzes, type annotations, updated code that you can run in your browser, and much more. Want to learn how to generate software tests? Check out @fuzzingbook at https://t.co/k2Z4uNcxni 1/6

[Tiemoko Ballo @tnballo]

@inicmu @MITREcorp Congrats to the students! Proud to see the INI field a winning team, the eCTF is a challenging competition that requires a broad attack/defense skillset.

[Aï Maiga @ai_maiga]

async/await + Rust Embedded
@rustembedded = 💖⚡️ continues on @NordicTweets!

Embassy 🏰 is not so different from RTIC ❄️ in the feeling, except that interrupts are hidden in async/await mode.
Cannot put ALT text in video: little Ferris moves when pushing #nRF52840 buttons

[Tiemoko Ballo @tnballo]

This channel presents brief, accessible, accurate video summaries of academic research papers (many fields, recent and classic topics). Recommend Netflix-level bingeing. Thanks @vivekhaldar ! https://t.co/VrksQbMnjl

[Tiemoko Ballo @tnballo]

GCC 12 offers improved, experimental, static taint analysis (flow tracking for attacker-controlled data). Not as sensational a headline as a new nick-named CVE. But perhaps it'll prevent one someday.

[Embedded Systems @embedsys]

Interesting built-in additions to improve C code quality
The state of static analysis in the GCC 12 compiler https://t.co/dEoERsc5G2

[Tiemoko Ballo @tnballo]

Kani, the model checker introduced in this talk, supports unsafe Rust and CI integration. And it's open-source and peer-reviewed. Lot of boxes to tick at once. Kudos to the Kani team for exemplary applied research!

[Formal Ferris @FormalFerris]

Here's the recording of today's talk on Kani: https://t.co/uMgkpxchvJ

We'll see you all on April 25 to talk about Ferrocene!

[Nick G @kallsyms]

My turn to add to the Linux security "fun" of the past few weeks :)
I walk through the entire process of discovering and exploiting CVE-2022-25636, a 0day in the Linux kernel. https://t.co/2GvBUxyt82

[Tiemoko Ballo @tnballo]

Yes, #TheBatman is a footnote in the history of Nolan's trilogy. But it's also well-done, self-aware film noir. Worth a watch. Even if its critique of vigilante justice is somewhat undermined by its ending.

[FerrousSystems @FerrousSystems]

Todays announcement is a partnership: @FerrousSystems @AdaCoreCompany are combining their experience in memory-safe systems programming to bring @rustlang into safety critical project through the Ferrocene project. Read our announcement here: https://t.co/MzqgNFYBXw

[Tiemoko Ballo @tnballo]

As technologists, we're always looking forward - seeking the next big thing. This post takes a trip backward, sampling past innovations with enduring legacies.

https://t.co/O39jE20E9r

[Grzegorz Rezmer @GrzegorzRezmer]

Wow! Super birthday present from @wyliodrin! Next weeks will be with @rustembedded an @Raspberry_Pi Pico! 🤩

[Tiemoko Ballo @tnballo]

Need to eliminate logic bugs in safe #rustlang code? This post introduces differential fuzzing as a solution. https://t.co/IUdBeC4aF3

[Simonas @simukis]

Reminder: you can now put `rust-version` in your @rustlang libraries’ manifest to declare the MSRV!

https://t.co/ohDvIIYKRz
https://t.co/FUoUo0KLTB

It's okay to do even if you support versions of rust <1.56 – the older versions of cargo will emit a warning & work normally..

[Tiemoko Ballo @tnballo]

Reddit discussion here (awesome community btw): https://t.co/FfJAvrpQhs

[Tiemoko Ballo @tnballo]

Scapegoat v2.0 is out! The library is a safe, fallible, stack-only alternative to BTreeSet/BTreeMap (Rust's standard ordered set/map implementations). Primarily for resource-constrained embedded: https://t.co/erjemAbtzW

[Tiemoko Ballo @tnballo]

#DuneMovie is an earnest reimagining of a beloved space opera. Somehow both thunderously epic and, relative to David Lynch's 1984 rendition, tastefully understated. Melange indeed.