Just to go completely offtopic and straight for the woods, if you do that 30-100xcost of formal verification (which goes on forever as you evolve your software), then what did you verify?
I had a look at that seL4 project as it sounds interesting. They claim to have used a theorem prover to "construct the proof". Does a threorem prover now read your specs, consult your experts, and construct the proof for you? Or does it just take what you write and your "constructing the proof" is writing all the specs yourself and running some prover to tell you how great your formal logics and nasty looking complex statements are? Like in "the logic of bugs"?
Who verifies the spec for what is to be proven in the first place? That is hard even in testing, which deals mostly with more human processable stuff.
Of course the project lists low-level details as being proven such as lack of buffer overflows, which don't really require much of a spec, so I suppose for those it can be nice with the 100 times overhead. Then you can address the rest of the security issues, which nicely would be much smaller though.
Anyway, that stuff would be nice if you could feed it a million LOC and press a button. Still waiting for the day..
First Oracle releases patches for 50 Java vulnerabilities, now Microsoft does better with 57 for IE. Who will be the first to go over 60 in the competition?
In any case, it seems we are doomed as far as security on the Internet goes. Kinda depressing.
so did they try sending themselves some PDF documents about the chinese leaders business dealings, under the email alias of some of the chinese prime ministers friends..? loaded with a few customized malware of their own, or not. after all you just sent it to yourself, right?
just remove the alcohol from that and i am sure my kids would have fun with it. of course they would choke on it too, thinking it is an ice cube. but maybe if it flies, has an accelometer, flashes in colors, and sends people text messages it could be the usual way of throwing it at everything in sight and giggling insanely while holding a "smart"phone? just needs some different marketing!
bought some games for the kids on steam. printing a letter from santa for them and downloading the stuff when they are sleeping. then we all pretend the elves did it. of course if steam crashes tonight i will still pretend the elves did it but left the download instructions.
I might qualify for this stupid (dumb user), although I tend to be more paranoid than the average person. My bank does not use this type of stuff but I guess that is not the point. I can see how someone might be "dumb enough".
As far as I understood, you need to log in to your online banking through your PC. There you get the question asking for your mobile phone number etc. This is inside your standard banking application you just logged in to and have learned to trust. Now, after giving your phone number inside your trusted banking app, you get the link sent to your phone to install the mobile trojan. And this appear to come from your trusted banking app as mentioned, which told you it will send you a link for a new security software.
So, why not, seems like a nice piece of poopoo to mess myself with. Not like the usual "There is problem with your Diablo III account, please click this chinese link even if you never played Diablo III". Of course, if the link in the SMS points to some ukrainian server, I might get a bit more suspicious. But if you already managed to get all theses pieces correct and are aiming to profit 36M, maybe you would host the trojan at least somewhere a bit more reasonable looking part of some hired botnet.
or maybe include research, industry, academia, framework zealots, ruby lovers, pragmatics, and people in general with strong expertise and viewpoints on diverse topics in the ruby ecosystem (ooo, i said ecosystem) ?
so what do the numbers mean? that there are a bunch of 0-days out there that they know but haven't bothered to report or fix in the last 6 months? so the stuff silently installs and does naughty things while you surf your daily dose of naked chicks? or if you download the exe, run it as admin and see what happens, then 15% of the time it works?
I guess in any field of research if you don't enjoy it, doing all the work, getting the funding, grinding the academic details for publishing, etc. is hard to do. It is not like the big money is there for the motivation either. So yeah, you would need to enjoy it, be good at it, and this can easily associate to working long times around the day. Still, don't know how much of the joy stays there for doing it after years and years, especially as success is not guaranteed and it is difficult to change much of your focus if you feel like doing a bit different research. In my (limited) CS research experience there is a good chance of this, and at least some options are good to have and looking back it would be nice to have at least enjoyed the time spent..:)
Closing to 40's I find it more difficult to get excited about all the new hype. As many here have said, I think this is not due to lack of skill or ability to learn. It is more a question of asking myself do I still love to program, design, architect,... whatever? Since the teen years I loved to do it, would stay up until late just for the kicks of doing it. These days it seems more of a chore. I find it more interesting now to have others take care of the low-level details, attend a meeting and discuss the high-level concepts, figure out how to take things beyond the current state of the art, and guide them doing it. The details all just give me a feeling of having seen too much of it and all the things repeating with a slight twist. Not that I want to completely give it up.
So, for me, the question that is asked here already remains. What do you really wish to do?
Of course, just paying the bills can be a highly motivating factor to get you over all the hurdles and just enjoy it enough to do whatever after 4-5pm..
If DNT is disabled by default it is a user choice (to disable it), if it is enabled by default it is not a user choice (to enable it)?
How can you not have a default setting for this (or any configuration option)? And who is to tell which one is better? User has the ultimate choice in both cases to change it to what they please.
I come from Europe, have lived in a couple of European countries and in Canada with my family. I have also been to many other places but I have no idea how it would be to actually live in those places since I haven't lived in them. From having lived in Canada and visited many places in the US, I think Canada is nice and definitely for me nicer than the US (still, haven't lived there so it is just a guess), although I guess there are big differences in which part of the country you choose.
But with my European roots I still feel I belong more in Europe. I like how it has more history (less megacities far apart with everyone sitting in their cars), everything is close, and especially my extended family and the rest of the people I know are close by. That is maybe because that is what I grew up to. Perhaps the same with Canada/US.
For me it has been nice how easy it is to move inside Europe, just the languages are an issue. Which partly seems to be the same in the more European sections of Canada (the French speaking). The culture I can more easily manage as it is also up to who you end up interacting most with, which is commonly the other more "international" folks.
As for the OP, seeing the world by living in another country and culture can be a great experience. With a family the move is a huge change with plenty of big variables, so you don't want to keep repeating that too often.. So a tough choice, unless you are only planning to start the family someday and have not done so yet. In which case you have the freedom to explore for yourself.
Or just go straight for those other disciplines, picking one where there is plenty of field work and that requires lots of application of computer science skills.
Perhaps go hunt for research funding.. That is, running to all sorts of networking meetings and talking about all the hype words while wielding a cocktail glass. arrr
Astronomy is a somewhat shaky field - all theories are fundamentally untestable - all you can do is look out at the universe and try to find phenomena that seem to support or counter theory, but in doing so you're making numerous assumptions about what exactly you're looking at to begin with, and assuming it behaves in a manner consistent with other widely accepted but still fundamentally untestable theories. Now that technique is surprisingly effective, but it is vulnerable to flaws in analysis, especially when much analysis is based on something that is known to be inaccurate (Newtonian gravity) because the alternative is too computationally expensive to use.
How is this different from any other field of science? Except maybe computer science, where the fundamental question seems to be whether it is science..:)
at least google has published papers describing various components of their (software) infrastructure. not sure about facebook. personally i find it more interesting to start with a good high-level description of how the things work rather than a huge pile of code. of course this does not help you adopt it if you need a server/framework to deploy for it today. still, if it is interesting, some open-source alternatives tend to emerge as well once the knowledge is out there. then perhaps the specific source code is not so important.
and personally i like these open apis. a nice abstraction to something already set up, running, lots of data&users available, etc. is so much nicer than fighting it all by myself. sure, arguments on availability in a few years etc. apply but it is just something to keep in mind if one chooses to develop for these. i guess for the companies it is a good business approach. thats what matters..
Slashdot Mirror
perfect advice. there is time to get bored and drown in the grind, now would be the time to enjoy the moment. there is no going back after..
and leave the work, laptop, whatever at home. can you?
Just to go completely offtopic and straight for the woods, if you do that 30-100xcost of formal verification (which goes on forever as you evolve your software), then what did you verify?
I had a look at that seL4 project as it sounds interesting. They claim to have used a theorem prover to "construct the proof". Does a threorem prover now read your specs, consult your experts, and construct the proof for you? Or does it just take what you write and your "constructing the proof" is writing all the specs yourself and running some prover to tell you how great your formal logics and nasty looking complex statements are? Like in "the logic of bugs"?
Who verifies the spec for what is to be proven in the first place? That is hard even in testing, which deals mostly with more human processable stuff.
Of course the project lists low-level details as being proven such as lack of buffer overflows, which don't really require much of a spec, so I suppose for those it can be nice with the 100 times overhead. Then you can address the rest of the security issues, which nicely would be much smaller though.
Anyway, that stuff would be nice if you could feed it a million LOC and press a button. Still waiting for the day..
First Oracle releases patches for 50 Java vulnerabilities, now Microsoft does better with 57 for IE. Who will be the first to go over 60 in the competition?
In any case, it seems we are doomed as far as security on the Internet goes. Kinda depressing.
so did they try sending themselves some PDF documents about the chinese leaders business dealings, under the email alias of some of the chinese prime ministers friends..? loaded with a few customized malware of their own, or not. after all you just sent it to yourself, right?
you have to lube your stick
just remove the alcohol from that and i am sure my kids would have fun with it. of course they would choke on it too, thinking it is an ice cube. but maybe if it flies, has an accelometer, flashes in colors, and sends people text messages it could be the usual way of throwing it at everything in sight and giggling insanely while holding a "smart"phone? just needs some different marketing!
How about define "notebook"?
A pile of paper people write on with a pen?
Yeah, stories about the power of hot chicks over nerds. Damn, where is that article..
bought some games for the kids on steam. printing a letter from santa for them and downloading the stuff when they are sleeping. then we all pretend the elves did it. of course if steam crashes tonight i will still pretend the elves did it but left the download instructions.
no, they are a bunch of cox. now, if only my wife also was so much into my cox and injecting it everywhere..
I might qualify for this stupid (dumb user), although I tend to be more paranoid than the average person. My bank does not use this type of stuff but I guess that is not the point. I can see how someone might be "dumb enough".
As far as I understood, you need to log in to your online banking through your PC. There you get the question asking for your mobile phone number etc. This is inside your standard banking application you just logged in to and have learned to trust. Now, after giving your phone number inside your trusted banking app, you get the link sent to your phone to install the mobile trojan. And this appear to come from your trusted banking app as mentioned, which told you it will send you a link for a new security software.
So, why not, seems like a nice piece of poopoo to mess myself with. Not like the usual "There is problem with your Diablo III account, please click this chinese link even if you never played Diablo III". Of course, if the link in the SMS points to some ukrainian server, I might get a bit more suspicious. But if you already managed to get all theses pieces correct and are aiming to profit 36M, maybe you would host the trojan at least somewhere a bit more reasonable looking part of some hired botnet.
Or get replaced with a smartphone game, where the players do your job..
or maybe include research, industry, academia, framework zealots, ruby lovers, pragmatics, and people in general with strong expertise and viewpoints on diverse topics in the ruby ecosystem (ooo, i said ecosystem) ?
->what's diversity?
so what do the numbers mean? that there are a bunch of 0-days out there that they know but haven't bothered to report or fix in the last 6 months? so the stuff silently installs and does naughty things while you surf your daily dose of naked chicks? or if you download the exe, run it as admin and see what happens, then 15% of the time it works?
I did the same misreading. And you are most welcome, to having been shared my life story with.
I though it would be
Annie Larris
Melissa China
Leslie Bennett
Or maybe that was for his parents..
I guess in any field of research if you don't enjoy it, doing all the work, getting the funding, grinding the academic details for publishing, etc. is hard to do. It is not like the big money is there for the motivation either. So yeah, you would need to enjoy it, be good at it, and this can easily associate to working long times around the day. Still, don't know how much of the joy stays there for doing it after years and years, especially as success is not guaranteed and it is difficult to change much of your focus if you feel like doing a bit different research. In my (limited) CS research experience there is a good chance of this, and at least some options are good to have and looking back it would be nice to have at least enjoyed the time spent.. :)
Closing to 40's I find it more difficult to get excited about all the new hype. As many here have said, I think this is not due to lack of skill or ability to learn. It is more a question of asking myself do I still love to program, design, architect,... whatever? Since the teen years I loved to do it, would stay up until late just for the kicks of doing it. These days it seems more of a chore. I find it more interesting now to have others take care of the low-level details, attend a meeting and discuss the high-level concepts, figure out how to take things beyond the current state of the art, and guide them doing it. The details all just give me a feeling of having seen too much of it and all the things repeating with a slight twist. Not that I want to completely give it up.
So, for me, the question that is asked here already remains. What do you really wish to do?
Of course, just paying the bills can be a highly motivating factor to get you over all the hurdles and just enjoy it enough to do whatever after 4-5pm..
If DNT is disabled by default it is a user choice (to disable it), if it is enabled by default it is not a user choice (to enable it)?
How can you not have a default setting for this (or any configuration option)? And who is to tell which one is better? User has the ultimate choice in both cases to change it to what they please.
AI gone awry, banning Doctor Who. I think the Dalek are already here.
I come from Europe, have lived in a couple of European countries and in Canada with my family. I have also been to many other places but I have no idea how it would be to actually live in those places since I haven't lived in them. From having lived in Canada and visited many places in the US, I think Canada is nice and definitely for me nicer than the US (still, haven't lived there so it is just a guess), although I guess there are big differences in which part of the country you choose.
But with my European roots I still feel I belong more in Europe. I like how it has more history (less megacities far apart with everyone sitting in their cars), everything is close, and especially my extended family and the rest of the people I know are close by. That is maybe because that is what I grew up to. Perhaps the same with Canada/US.
For me it has been nice how easy it is to move inside Europe, just the languages are an issue. Which partly seems to be the same in the more European sections of Canada (the French speaking). The culture I can more easily manage as it is also up to who you end up interacting most with, which is commonly the other more "international" folks.
As for the OP, seeing the world by living in another country and culture can be a great experience. With a family the move is a huge change with plenty of big variables, so you don't want to keep repeating that too often.. So a tough choice, unless you are only planning to start the family someday and have not done so yet. In which case you have the freedom to explore for yourself.
Or just go straight for those other disciplines, picking one where there is plenty of field work and that requires lots of application of computer science skills. Perhaps go hunt for research funding.. That is, running to all sorts of networking meetings and talking about all the hype words while wielding a cocktail glass. arrr
Astronomy is a somewhat shaky field - all theories are fundamentally untestable - all you can do is look out at the universe and try to find phenomena that seem to support or counter theory, but in doing so you're making numerous assumptions about what exactly you're looking at to begin with, and assuming it behaves in a manner consistent with other widely accepted but still fundamentally untestable theories. Now that technique is surprisingly effective, but it is vulnerable to flaws in analysis, especially when much analysis is based on something that is known to be inaccurate (Newtonian gravity) because the alternative is too computationally expensive to use.
How is this different from any other field of science? Except maybe computer science, where the fundamental question seems to be whether it is science.. :)
Since the Japanese just built the speech-jamming gun, use that for cone of silence, stick this into your shoe and your are done. Sweet.
at least google has published papers describing various components of their (software) infrastructure. not sure about facebook. personally i find it more interesting to start with a good high-level description of how the things work rather than a huge pile of code. of course this does not help you adopt it if you need a server/framework to deploy for it today. still, if it is interesting, some open-source alternatives tend to emerge as well once the knowledge is out there. then perhaps the specific source code is not so important. and personally i like these open apis. a nice abstraction to something already set up, running, lots of data&users available, etc. is so much nicer than fighting it all by myself. sure, arguments on availability in a few years etc. apply but it is just something to keep in mind if one chooses to develop for these. i guess for the companies it is a good business approach. thats what matters..