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.
chrysn
@chrysn@chaos.social
mastodon
4.5.7
🏳️🌈 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.)
0
Followers
0
Following
Joined January 21, 2019
Website:
pronouns:
he/him
Other metadata for machine consumption:
searchable (eg. through tootfinder), https://justmytoots.com/@chrysn@chaos.social
Also contributes posts to:
Posts
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
2
0
1
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
@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
0
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
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?)
0
0
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
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.
0
0
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
I appreciate how #DeutscheBahn makes working on a train easy for #embedded development.
View on chaos.social
11
0
7