6,349 karma · joined November 18, 2010
It's seL4 (secure embedded L4). I'm just pointing it out in case someone else is interested in "miceokernels that are formally verified", like a friend of mine who is obsessed with seL4. If you google "esL4" you'll get completely different results so I though I'd point that out :)
Source: experience :)
And, as it's stated in the FAQ [1], SMS option is only available in those countries at the moment, regardless of where you're located. When it becomes available in Poland, they'll text you and you can activate it. But until then, you can safely use 2FA without an SMS backup (as I did).
Though Sinatra isn't very small either. It has a few thousand commits.
- Lua (as a language) is for the most part better designed than JavaScript
$('article p').css('color','#222')
so we can read the article.bgcolor is now #717171, which is just crazy. Anything below #444 is just harmful for the eyes.
if (something....)
return !0;
else
return !1;
is there any reason why they aren't simply using `true` and `false`?(because !1 is defined to return literally `false` and !0 to return `true`)
Don't. I've been trying to access the presentation for 10 minutes and it won't allow me:
Wow, this file is really popular! Some tools might be unavailable until the crowd clears.
and then I get redirected to https://support.google.com/accounts/bin/answer.py?hl=en&... (which is stupid, because there's nothing cached/cookied for google. In fact, I'm in Firefox's "Private Browsing")But I don't think that you can do the same in browser space. If you want to create a new rendering engine, it absolutely, positively has to render 95+% of most-visited websites from early stages of development (before you "ship" a browser). Nobody would use a half-baked browser that's unable to render most websites. So, you have to also support WebKit's bugs-turned-into-standards.
In another words, you don't compile 500 different programs in a single day - if LLVM can compile the one program that your company is developing faster and better, it's a good fit for you. But you visit hundreds of websites a day. If a new engine can't display even 10% of them correctly, it'd a show stopper.
So, your choices are to either fork WebKit, or create a new engine that "simulates" most mainstream WebKit engines. Both result in WebKit becoming more and more of an standard.
Of course, you have to learn GTD system to get the most out of OmniFocus. It's something that'll greatly improve your efficiency in the long run, so I think it's worth the time you invest.
- Knock Knock.
- Who's there?
[long pause]
- Java
- Knock Knock.
- Who's there?
- C
- Knock Knock.
- Assemblyor
(sudo??) chflags nohidden /Library
chflags nohidden ~/Library
in Terminal (to make it visible all the time)But a question: It says it's using Erlang 13B. Do you recommend using a newer version, or trying to compile/finding an old binary version of 13B? (I mean, is Erlang 16 compatible with 13, or they tend to break things?)
(I'm sure I'll find this out eventually when I start the tutorial, but it's always good to know this kind of things beforehand)
I've had at least 3 (I'm not sure, maybe more) Seagate internal HDDs failed on me in the past several years (I don't do anything remotely crazy with my MacBook Pro or other machines). And I've had a 1TB external HDD and 3 USB disks ruined by ExFAT (yes, I always 'eject' the volume before yanking in out from USB port).
I don't know what the hell is wrong with either of them - Maybe I've been unlucky. But that's the truth, and I'm sure the problem wasn't from my side.
Percentage of the requests served within a certain time (ms)
50% 161
66% 174
75% 182