Dion Dokter

@diondokter

Embedded tech lead at Tweede golf. I love programming in Rust. Also at: @diondokter@fosstodon.org Check out Netherlands

104 Siguiendo662 Seguidores1031 Publicaciones

Bluesky

¿Es tu perfil?Reclámalo y diondokter.dirty.social es tuyo.Reclamar perfil

Dion Dokter@diondokter· 17d

Nooooooo! Clara!

Notification that Clara died in a hunting accident. Sorrow overtakes the Court.

Dion Dokter@diondokter· 17d

Oh heck yes

Crown Princess Clara Theodorokanos with 100-100-100 stats (screenshot from EUV)

Dion Dokter@diondokter· 22d

Spoiler, this will print "welcome administrator"

$#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; } }$

Dion Dokter@diondokter· 29d

An inverse big bool is when an NXP engineer decides to be cheeky and use the opposite bit pattern to mean the same thing :P

/// 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,
}

Dion Dokter@diondokter· 29d

The code NXP will have you write. #BigBoolIsBestBool

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

Dion Dokter@diondokter· Jul 5

Oh, this is cool! New rust-analyzer command. "rust-analyzer: Evaluate Predicate" Then type in the type and bound and it'll tell you whether it holds. So, you don't have to go through source code anymore. #rustlang

PropertyInfo<u32>: Unpin
> predicate holds

Dion Dokter@diondokter· Jun 27

Sickos yes

Dion Dokter@diondokter· Jun 25

That exists yeah. But they're still not great. A sliding window AC unit seems much better to me. Also, the portable AC unit will still literally suck. I don't think that's the case with sliding window AC, right?

Dion Dokter@diondokter· Jun 25

European (or really German) style windows don't work well with AC. There are typically no sliding windows here. If there were I think window ACs would be much more popular. So, the only thing left are those portable AC units, and you definitely know, they suck!

Dion Dokter@diondokter· Jun 24

I'm looking for some syntax I can have for stride. But I can't find something that's good. Looking for feedback. What do you like? [4 by 3] [4 => 3] [4 *> 3] [4 +> 3] [4 :+ 3] [4 :* 3] [4; stride: 3] [4;3] Or something else? Bonus points if it exists in other languages (especially HDL's)

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

Dion Dokter@diondokter· Jun 19

Here's my license to post, officer! Hope everything is in order? apexdevelopment.github.io/bluesky-lice...

A sort of ID card or passport with bluesky information

Dion Dokter@diondokter· Jun 10

I guess I'm holding it wrong? Any idea?

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

Dion Dokter@diondokter· Jun 8

2019 during my graduation

Dion Dokter@diondokter· Jun 6

Don't sleep on refactoring your code, people!

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

Dion Dokter@diondokter· Jun 4

Rust constants are slowly but surely getting more powerful! On stable you can parse constants from environment variables. I remember having to pull in weird crates & macros to be able to do this. #rustlang

$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`"), } };$

Dion Dokter@diondokter· Jun 4

I haven't been tweeting much about device-driver lately, but the work is continuing! The remaining work is just quite straightforward and not as interesting :) Also, who decided to increase the scope every release!? 😇 #rustlang

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

Dion Dokter@diondokter· May 30

Ok, time to confess! Who's cloned my repo 245 times yesterday?

Who are you people? With Patrick Star meme

Dion Dokter@diondokter· Apr 24

Anybody here knows Chumsky? I'm using select in a bunch of places to support *any* value of the token. Is there a better way? I'm experimenting with debug info, but it's showing a lot of 'any's. I've tried converting to a parser that starts with `any()`, but then the debug info remains the same.

Dion Dokter@diondokter· Apr 12

Anybody know why rust-analyzer is showing me an extra '/' in the inline doc view? This happens when I generate code using the doc attr and with '///'. Rustdoc is rendering it fine, so... RA bug? Just wanna make sure I'm not missing anything before I open an issue :)

Showing rustdoc rendering it without the slash (correctly)

Output of RA macro expansion has the extra slash too

Dion Dokter@diondokter· Apr 11

Cool! I can now tell people about DDSL features through Rust error messages. This is pretty neat :) #rustlang

$```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; } ```$

The previous code, but now applied to a Rust error message. It uses the provided text and changes the default error

Dion Dokter@diondokter· Apr 10

Always nice to start the weekend on a positive note. Not this weekend though. Seems like someone's hitch didn't like my car

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

Dion Dokter@diondokter· Mar 31

People would think, surely he meant gallons! But no, I looked it up and they really do advise galleons! The saying exists for a reason: 10k galleons a day keeps the Spanish at bay

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

Dion Dokter@diondokter· Mar 18

ngmi

Dion Dokter@diondokter· Feb 26

🤡

J.2 Undefined behavior
The behavior is undefined in the following circumstances:

— A nonempty source file does not end in a new-line character which is not immediately preceded by a backslash character or ends in a partial preprocessing token or comment (5.1.1.2).

Dion Dokter@diondokter· Feb 10

The long sections of drum and bass present at the start and end of EDM (remixes) are the preamble and postamble of music

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

Dion Dokter@diondokter· Feb 6

Cool, migrated the first device-driver error from miette to annotate-snippets. I can show patch suggestions now! :D It's more work and code to write though and the API is not always clear on how it wants to be treated. But I like the results better.

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

Dion Dokter@diondokter· Jan 30

Was testing out the annotate_snippets crate. For a split second I thought I had a compile error. So, it seems to be working! (annotate_snippets is the crate rustc uses/is gonna use for reporting errors)

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: ...

Dion Dokter@diondokter· Jan 28

Every project needs a logo/mascot, no? Maybe a truck driver, but the cargo is a giant DIP package. Should probably be very cartoony. Made a quick non-cartoony mockup :P Idle daydreams...

Dion Dokter@diondokter· Jan 19

It appears the northern lights have made it over here. Very faint, can't really see it with the naked eye, but my camera can. Add note to myself: Travel up to the Arctic some time to really see it.

Dion Dokter@diondokter· Jan 9

I might have outdone myself with the generics :P Luckily users don't need to look at it! #device-driver #rust