home.social

Search

1000 results for “tock”

  1. Well friends, as they say, I guess that’s a wrap on another beautiful #Tocktober! See y’all in #Nosevember!

  2. @Tock

    #CharlamagneThaGod is not of the left

    he's a shit stirrer, he goes after everyone as he sees fit to maximize the clicks and the eyeballs and especially the ears as a radio jockey

    and he does it well

    i don't see him as an ally but:

    i got nothing but love for CtG after he got under trump's skin so spectacularly

  3. It's official! will be hosted at Microsoft in Redmond, WA, just a stone's throw from @rustconf on September 5th. Join us for a schedule on in new places, verification, low-level LLVM hackery, and more!

    world.tockos.org/tockworld8/re

  4. It's official! #TockWorld8 will be hosted at Microsoft in Redmond, WA, just a stone's throw from @rustconf on September 5th. Join us for a schedule on #TockOS in new places, #Rust verification, low-level LLVM hackery, and more!

    world.tockos.org/tockworld8/re

  5. It's official! #TockWorld8 will be hosted at Microsoft in Redmond, WA, just a stone's throw from @rustconf on September 5th. Join us for a schedule on #TockOS in new places, #Rust verification, low-level LLVM hackery, and more!

    world.tockos.org/tockworld8/re

  6. It's official! #TockWorld8 will be hosted at Microsoft in Redmond, WA, just a stone's throw from @rustconf on September 5th. Join us for a schedule on #TockOS in new places, #Rust verification, low-level LLVM hackery, and more!

    world.tockos.org/tockworld8/re

  7. Hagrid tried his best to participate to this #Tocktober :10S: 👉👈

  8. Sitara would like to remind everyone that it is TOCKTOBER- Don’t forget to feed your ‘tocks to keep them healthy and strong 💪 ! Make sure to use the hashtag #Tocktober if you post, so everyone can search and find your fabulous ‘tocks! 🤭❤️ #SitaraLove

  9. In Summary, Rust + Tock OS Architecture + Lightweight verification is a solution to provide safe firmware.

    #OSFC #RustLang #TockOS

  10. And when September ends, #tocktober begins and we can celebrate the other end!

  11. Tock Compiles on Stable Rust, tockos.org/blog/2024/talking-t.

    Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers. It’s written in Rust. And now it can be compiled with the stable Rust versions.

  12. On a terminé la soirée avec le #j2s typique des vacances : le #Tock 😍
    Toujours aussi excellent ce jeu !

  13. Točka v življenju, ko povsem legitimno preveriš ali so tvoji tekaški štumfi morda v otrokovem predalu.

    (spoiler: niso bili, ampak nismo več daleč od tega)

    #parenting101

  14. #Jazda is making #upstreaming progress. It's now a supported board in #TockOS ! Very bare bones, but I'm working on adding drivers.

    github.com/tock/tock/pull/3182

  15. The feeling when you finally caught up with life and can hack on your favorite projects again.

    github.com/tock/tock/pull/2993