Dion Dokter

@diondokter.nl

Embedded tech lead at Tweede golf. I love programming in Rust. Also at: @diondokter@fosstodon.org Check out https://device-driver.com Netherlands

$#include <stdbool.h> #include <string.h> #include <stdio.h> /* if you compile this source to ./a.out, * what is the result of "echo filfail | ./a.out" ? */ struct { char name[7]; bool is_restricted; } user; int main(void) { user.is_restricted = true; printf("Name: "); fflush(stdout); gets(user.name); if(strcmp(user.name, "admin") == 0) { user.is_restricted = false; } if(user.is_restricted) { puts("access is denied"); return 1; } else { puts("welcome administrator"); return 0; } }$

/// All true variants mean the same to the boot rom
#[bitenum(u2, exhaustive = true)]
#[derive(Debug)]
pub enum BigBool {
False = 0b00,
True = 0b01,
True1 = 0b10,
True2 = 0b11,
}

/// All false variants mean the same to the boot rom
#[bitenum(u2, exhaustive = true)]
#[derive(Debug)]
pub enum InverseBigBool {
True = 0b00,
False = 0b01,
False1 = 0b10,
False2 = 0b11,
}

Rust code:
```
.with_fast_boot_en(InverseBigBool::True)
.with_enf_tzm_preset(BigBool::False)
```

PropertyInfo<u32>: Unpin
> predicate holds

/// This register is repeated 4 times with a stride of 3
register FooRepeated[4*3] {
address: 3,
fields: FooFields,
}

A sort of ID card or passport with bluesky information

diond@PC-DION:~/repos/sequential-storage$ cargo soteria
Compiling... done in 0.59s
error: Fatal: No entry points found
diond@PC-DION:~/repos/sequential-storage$ cargo soteria ./src/item.rs
Usage: soteria-rust exec [--help] [OPTION]… PATH
soteria-rust: too many arguments, don't know what to do with ./src/item.rs

Git diff of a sequence of passes. The left removed side is messy, the righ is added and is a clear one pass per line

$const TASK_COUNT: usize = { let input = if let Some(string) = option_env!("PERFMON_TASK_COUNT") { string } else { "16" }; match usize::from_str_radix(input, 10) { Ok(val @ 2..) => val, Ok(_) => panic!("PERFMON_TASK_COUNT must be 2 or higher"), Err(_e) => panic!("Could not parse `PERFMON_TASK_COUNT`"), } };$

Graph with commits over time. 0.7 had some commits, 1.0 had 4x the commits of 0.7 and 2.0 so far has 3x the commits of 1.0

$```rust #[diagnostic::on_unimplemented( message = "no `register-address-mode` is specified in the driver, so multi-register operations are not possible", label = "not supported for this driver", note = "if you are the author of the driver, specify `register-address-mode` in the device config to enable this feature if the device supports it", note = "not all devices support this feature" )] #[doc(hidden)] pub trait AddressMode { #[doc(hidden)] fn next_address<A: Address>(current_address: A, current_size: usize) -> A; } ```$

Dented radar module, paint damage and a broken grille on the front of a car

Cornelis Verbeeck, A Naval Encounter between Dutch and Spanish Warships, 156252 original.jpg

https://commons.wikimedia.org/wiki/File:Cornelis_Verbeeck,_A_Naval_Encounter_between_Dutch_and_Spanish_Warships,_156252_original.jpg

EDM music and Packet radio are shaking hands for having pre- and postambles for synchronization

A nice error for 'address out of range'. It suggests to change the address type from a u16 to a u32

Terminal output with:

error: unexpected token
--> input.ddsl:28:24
|
28 | extern Rah -> u64, ()
| ^ expected one of: ...
error: unexpected token
--> input.ddsl:28:25
|
28 | extern Rah -> u64, ()
| ^ expected one of: ...

Meme: Big guy shielding a little guy from incoming arrows.

The big guy speaks of a rust function with many many generics.
The little guy sees a really easy to use function.

Image of register documentation that says:
Format: Integer number stored in binary format

$let (foo_repeated, foo) = device .multi_read() .with(|d| d.foo_repeated(0).plan_read()) .with(|d| d.foo().plan_read()) .execute() .unwrap(); println!("{foo_repeated:?} {foo:?}");$

Example output of the new error. It has nice diagrams and points to an offending emoji in a name.

The help section of the error reads:

Identifiers are split into words using the name-word-boundaries. After the split the first character of the first word must be a `_` or a unicode XID start character. All other characters must be a unicode XID continue character.

Geordi la Forge meme.

Saying no to: "git commit to craft a clean history".
Saying yes to: "git commit to continue on a different pc".

Grid in-line topology with PV inverter with a Multiplus-II GX

Device-driver running in the browser. Input is hardcoded, but output appears in the browser console.

Tom Paris and captain Janeway as lizards from the Voyager episode Threshold.

Dwarf debug info showing a variable with a linkage name and an address

$register foo { address -1 repeat count=18_446_744_073_709_551_616 stride=1 allow-address-overlap #true reset-value 0x100 0x00 }$

Windows style slashes are diffed with linux style slashes

Modbus registers showing the current voltage, amps, hertz and power levels

device Foo {
config register-address-type u8
config default-byte-order LE

register Foo {
config address 0x20
config repeat count=4 stride=4
config size-bits 24

value @23:0
}
command Bar {
config address 0x10
config size-bits-in 8
config size-bits-out 16

in {
value @7:0
}
out {
value @15:0
}
}
}

$A messy looking jinja template snippet. ``` {% for method in block.methods %} {{ method.doc_attr }} {% match method.kind %} {% when BlockMethodKind::Normal %} {% when BlockMethodKind::Repeated { count, .. } %} /// Valid index range: 0..{{count}} {% endmatch %} {{ method.cfg_attr }} pub fn {{ method.name }}( &mut self, {% match method.kind %} {% when BlockMethodKind::Normal %} {% when BlockMethodKind::Repeated { .. } %} index: usize {% endmatch %} ) -> {% match method.method_type %} {% when BlockMethodType::Block { .. } %} () {% when BlockMethodType::Register { field_set_name, access, address_type, .. } %} ::device_driver::RegisterOperation<'_, I, {{address_type}}, field_sets::{{field_set_name}}, ::device_driver::{{access}}> {% when BlockMethodType::Command { .. } %} () {% when BlockMethodType::Buffer { access, address_type } %} ::device_driver::BufferOperation<'_, I, {{address_type}}, ::device_driver::{{access}}> {% endmatch %} ``` Etcetera$