HN user

mbana

7 karma

https://blog.bana.io or https://bana.io.

Posts2
Comments21
View on HN

Yeah, it is controlled by the vendor. If you can't find the option, you will need to use `adb` to enable it that's what I did basically. You can Google it and you'll find what I'm talking about. IRC, it is `pm enable ...`.

S3 Files 4 months ago

Werner Vogels is awesome. I first discovered about his writing when I learnt about Dynamo DB.

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.

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.

Pdf.tocgen 2 years ago

I love the typography on the site. What fonts are you using? I'm on a mobile browser so I can't really see.