Nice write-up.

I wonder if something similar exists for the Snapdragon X Elite-based Microsoft Surface 7 laptops but is simply undocumented. There's a post https://news.ycombinator.com/item?id=44426428 (The hidden JTAG in a Qualcomm/Snapdragon device’s USB port) obviously about a hidden JTAG, so I begin to wonder.

If someone more experienced with these sorts of things could chime in that would be great.

Interesting ... Do you still maintain the site?

I was going to say the same thing.

I really like the eBPF approach as pointed out to by the other comments. I feel like this is the ideal approach, please correct me if I'm wrong.

A callback based approach as opposed to (constantly) polling the output of some command is ideal.

Do some research on passwords, in particular read Bruce Schneier's stance on passwords.

How did you get the IEEE.org address, mate?

It is a benefit of membership, or was. It might now be discontinued and grandfathered.

Location: London, England, United Kingdom.

Remote: Yes.

Willing to relocate: Just maybe, case-by-case basic.

Resume: https://bana.io/cv

Blog: https://bana.io/blog

Technologies: Golang, Linux, Kubernetes, Docker and tinkering with Rust.

Email: m@bana.io

I am missing something or do these fonts not support small caps and old style numerals?

Very good. I've signed up.

Great question!

In the past I contributed to rust-analyzer - not much but something huge but at least something.

Nowadays I only contribute to https://quran.com.

Apologies if this ain't clear but I'll give it a shot.

I will donate to anyone, be it a group or one person if they can get all the different ways of reading رواية The Quran:

1. In static digital version, i.e., as PDFs or what have you in the Saudi script. 2. All the Quran's should be colour coded, i.e., tawjeed style mushaf. 3. It should be available online at first then to Android, etc. 4. Along with the Qur'an there should be readings of that style رواية in application. Shaykh Mishary is doing this but I'm quite why he doesn't just release his entire recording out all at once on YouTube.

I just what to say this isn't an easy tasks hence why I haven't attempted doing it. Or I can simply build a well and retire with life.

If something ain't clear let me know.

Regards, - Bana

Can something like `C2Rust` then use this to generate formally correct code?

Also, is much of the authors did manual or was it run through something to produce the Rust code? If so, where is the code that generates Rust, I do not see any links to any source repos.

> If so, where is the code that generates Rust, I do not see any links to any source repos.

The paper states that these developments will be released under open source licenses after the review process is completed, i.e. most likely, after the paper is formally published.