@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

chrysn

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

@chrysn@chaos.social · Mar 12, 2026

As @Codeberg@social.anoxinon.de's CI is seeing regressions around #IPv6, I'm exploring @codefloe@social.tchncs.de, which uses a Woodpecker fork called Crow. Among many other nice things, it features a pipeline dependency graph. So far, this looks quite promising.

View on chaos.social

2

0

1

0

Thread context 2 posts in path

Parent @nils@shark.nponsard.net Open

@nils@shark.nponsard.net

Made some progress on the @ariel@floss.social support for the CDC Badge. Got the screen and keypad working, added @ratatui_rs@fosstodon.org support using mousefood. Development of the demo firmware is

Current reply

chrysn

@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

chrysn

@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

@chrysn@chaos.social · Mar 11, 2026

@nils I did have some reservations about using @ratatui_rs for embedded devices (mainly that they're natively pixel based, so why go through a typewriter interface when there's no legacy) -- but seeing how reasonable that looks in code already at this quick prototype makes me reconsider. Don't hold your breath for a text based #CoAP web browser, but I'd love to build one.

View full thread on chaos.social

0

chrysn

@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

chrysn

@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

@chrysn@chaos.social · Mar 02, 2026

If you depend on a third party linter to use a system securely, maybe you shouldn't use that system in the first place.

(What's the term for a subtoot when it's for a commit/PR?)

View on chaos.social

0

chrysn

@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

chrysn

@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

@chrysn@chaos.social · Mar 01, 2026

Trying to understand recent #RustLang activities (https://github.com/rust-lang/compiler-team/issues/922), why do types with uninhabited fields (or enum variants that are uninhabited) take up space at all?

Example at https://play.rust-lang.org/?version=nightly&mode=debug&edition=2024&code=use+core%3A%3Amem%3A%3A*%3B%0Ause+core%3A%3Aany%3A%3A*%3B%0A%0A%23%5Ballow%28dead_code%29%5D%0Astruct+DataPlusInfallible+%7B%0A++++a%3A+u8%2C%0A++++b%3A+u64%2C%0A++++c%3A+core%3A%3Aconvert%3A%3AInfallible%2C%0A%7D%0A%0A%23%5Ballow%28dead_code%29%5D%0Astruct+ZeroPlusInfallible+%7B%0A++++a%3A+%28%29%2C%0A++++c%3A+core%3A%3Aconvert%3A%3AInfallible%2C%0A%7D%0A%0A%23%5Ballow%28dead_code%29%5D%0Astruct+WrappedInfallible+%7B%0A++++c%3A+core%3A%3Aconvert%3A%3AInfallible%2C%0A%7D%0A%0Afn+show_layout%3CT%3E%28%29+%7B%0A++++println%21%28%22Type+%7B%7D+has+size+%7B%7D+and+alignment+%7B%7D%22%2C+type_name%3A%3A%3CT%3E%28%29%2C+size_of%3A%3A%3CT%3E%28%29%2C+align_of%3A%3A%3CT%3E%28%29%29%0A%7D%0A%0Afn+main%28%29+%7B%0A++++show_layout%3A%3A%3CDataPlusInfallible%3E%28%29%3B%0A++++show_layout%3A%3A%3CResult%3Cu8%2C+DataPlusInfallible%3E%3E%28%29%3B%0A++++show_layout%3A%3A%3CResult%3Cu8%2C+ZeroPlusInfallible%3E%3E%28%29%3B%0A++++show_layout%3A%3A%3CResult%3Cu8%2C+WrappedInfallible%3E%3E%28%29%3B%0A++++show_layout%3A%3A%3CResult%3Cu8%2C+core%3A%3Aconvert%3A%3AInfallible%3E%3E%28%29%3B%0A%7D -- when a struct composed of Never and some data (which makes it still uninhabited) is placed in a Result's E position, the result is still larger than T.

View on chaos.social

0

chrysn

@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

chrysn

@chrysn@chaos.social

🏳️‍🌈 Technology enthusiast with a focus on Free Software and embedded systems. Science fiction promised us general purpose electronics, let's build them! (And get their security properties right.)

chaos.social

@chrysn@chaos.social · Feb 02, 2026

I appreciate how #DeutscheBahn makes working on a train easy for #embedded development.

View on chaos.social

11

0

7

0

chrysn

Posts

Media