jesse_m's comments

jesse_m | 7 years ago | on: Firefox 64 Released

If you use duck duck go as your search engine I think you can use their bang search functionality

jesse_m | 7 years ago | on: The Programming Languages Zoo

Yeah I'm familiar with OCaml I wasnt sure if there was a language progression that was suggested to go through. I was actually interested in using Menhir more too.

jesse_m | 7 years ago | on: The Programming Languages Zoo

Is there one of these languages to start with? Or would you choose one that interests you and study that one? There seems like some great content but I don't see a clear place to start

jesse_m | 8 years ago | on: Redox OS Crash Challenge

just listened to it too. That podcast has some other interesting interviews like with Miguel de Icaza.

jesse_m | 8 years ago | on: Backdoor with root access found from OnePlus phones

I just started messing with LineageOS on my Moto G4. Make sure you make a backup of the stock image so you can flash it back if something goes wrong with your cell network settings. I didn't and now I only have 3G and have been procrastinating flashing the stock everything and starting over.

jesse_m | 8 years ago | on: How I implemented my own crypto

It's interesting that Frama-C was mentioned. I have been playing with it the last few months and would love to hear exactly how it was used. I've read through a lot of the documentation but haven't found many examples of it being used
page 2