I have a morning ritual that I need to share.

I have a morning ritual that I need to share. I call it 'the startup'. First I set my alarm clock for 7 in the morning. When i wake up I make myself a double espresso in my authentic $200 italian espresso machine. Then I comb and gel my hair to look professional. I check hipsternews and and proggit while drinking my coffee with sublime text open in the background. I think to myself "Today I'm going to rock the web 2.0 so hard!", it helps me proceed through my day thinking I'm important without remembering that my business failed and I'm a worthless NEET. The only problem is if I see anything about feminism in my social media. It ruins the whole fantasy.

>>53

I can sort of verify isn't backdoored

Really? Do you gave a formal proof? What do you mean by ``sort of''? Do you only have some of operating system verified? What parts are you lacking yet? How many lines of proof do you have? I once read that when Minix was formally verified, it's 40Kloc took 250K lines of proof. That would place verifying the mere kernel of Linux at nearly [b]eighty million lines[/code] of proof. How were you able to work so quickly that you could verify the code (or, if you got the proof from someone else, verify the proof)? And the entire operating system, wow, I'm betting it's nearly a billion lines of proof! I can tell why you only sort of have it done.