TockOS guy is doing a talk "Memory Safety is Merely Table Stakes: Safe Interactions with Foreign Languages Through Omniglot" that I'm attending. Just going to sit and enjoy this one instead of memoing though. #rustconf2025 #foxcrabconf2025
September 3, 2025 at 9:50 PM
TockOS guy is doing a talk "Memory Safety is Merely Table Stakes: Safe Interactions with Foreign Languages Through Omniglot" that I'm attending. Just going to sit and enjoy this one instead of memoing though. #rustconf2025 #foxcrabconf2025
yesss this is a big reason why it's impossible to create a zero-cost async runtime for tockos github.com/tock/tock/bl...
github.com
June 28, 2025 at 11:46 PM
yesss this is a big reason why it's impossible to create a zero-cost async runtime for tockos github.com/tock/tock/bl...
Tockos are sandwiches, confirmed.
November 16, 2023 at 1:38 AM
Tockos are sandwiches, confirmed.
Over pronouncing things the correct way takes you back into incorrect town imo. They’re not tockos m8.
April 6, 2025 at 9:47 AM
Over pronouncing things the correct way takes you back into incorrect town imo. They’re not tockos m8.
God that was a disaster. Paul’s taste in “tockos” was on full display
November 18, 2024 at 5:16 AM
God that was a disaster. Paul’s taste in “tockos” was on full display
It's official! #TockWorld8 will be hosted at @microsoft.com in Redmond, WA, just a stone's throw from @RustConf.com 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/r...
world.tockos.org/tockworld8/r...
July 14, 2025 at 6:35 PM
It's official! #TockWorld8 will be hosted at @microsoft.com in Redmond, WA, just a stone's throw from @RustConf.com 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/r...
world.tockos.org/tockworld8/r...
Link, rather than compile. It’s what TockOS does.
January 17, 2025 at 8:30 AM
Link, rather than compile. It’s what TockOS does.