munin

59 ms·

451.
by munin 12y ago
> universities move away from tenure-based hiring and towards long-term-contract-based hiring they already do, see the army of adjuncts
452.
by munin 12y ago
my problem with this is that it's still MC and short answer. the lifeless creatures from another dimension at ETS have been iterating on adaptive tests with the GRE for a long time, and yet, it's still the GRE...
453.
by munin 12y ago
> I'm not even sure if assessment scales properly in the larger brick and mortar classes you're right, it totally doesn't. the system lives with it because the huge intro/survey classes deal with such a superficial le
454.
by munin 12y ago
after running a few MOOC classes and contrasting them to brick and mortar classes the real problem in my opinion is assessment. the material we prepared was equal to what we would teach in a college class, but the assignment quality is not.
455.
by munin 12y ago
it isn't like there's "Google Chrome" and "Russian Chrome", everyone in the world runs the same software with global distribution channels. and if the solution is "well, we'll make software distributi
456.
by munin 12y ago
> patch their own software while developing exploits for other peoples software what planet do you live on where this distinction can be made?
457.
by munin 12y ago
Yes, but you specifically said that Heartbleed wasn't a memory safety violation, when in fact OpenSSL-vulnerable-to-Heartbleed can segfault on over-read. So what is it?
458.
by munin 12y ago
Ted's original point about Heartbleed not being a violation of memory safety is bogus, because there is a configuration of OpenSSL (achievable with flags passed to ./config) where extended-sized Payload values cause the OpenSSL se
459.
What is noninterference, and how do we enforce it?(pl-enthusiast.net)
6 points by munin 12y ago|0 comments
460.
by munin 12y ago
Not all of the labs are FFRDCs though (also the D stands for development, not design), some are just non-profit corporations.
461.
by munin 12y ago
but that isn't the command line, that's unix... windows has its own sort utility but the flags are different... also contrast the submission with this post: http://pgbovine.net/command-line-bullshittery.htm
462.
by munin 12y ago
what about the people who don't have internet access? edit: I'm also pretty sure the IRS and e-tax filers already do this for (edit: electronically filed) Federal returns, there it makes sense because if you're e-filing alrea
463.
by munin 12y ago
it is used some in aerospace and defense: https://www.umsec.umn.edu/sites/www.umsec.umn.edu/files/FMIC... I have heard stories from people in Europe that formal methods are used there in checking implementati
464.
by munin 12y ago
even when they raised $90k of money from donations after their story was in Wired, two of them went but both dropped out. I think they work at a catering company now? it is a very american story. and of course, most likely the team from MIT
465.
by munin 12y ago
> But subtextually: had you replaced C++ with Python, you'd have had the same outcome Would you? http://pastebin.com/T5S0w708
466.
by munin 12y ago
From the link that you supply in [0]: > What if the requester didn't actually supply payload bytes, like she said she did? What if pl really is only one byte? Then the read from memcpy is going to read whatever memory was near the S
467.
by munin 12y ago
this is especially incredible because the heartbleed bug was a violation of memory safety. the buffer being read from was of a size N, but you could read M bytes from it, where M > N (and in fact, MUCH greater).
468.
by munin 12y ago
Now a DARPA program! https://www.fbo.gov/index?s=opportunity&mode=form&id=236fa83...
469.
by munin 12y ago
> Can the EU do anything? legalize drugs?
470.
by munin 12y ago
yes you can, in many dimensions. one of those we call "type checking". other examples are the myriad examples of using model checking and symbolic execution to identify errors in programs automatically. can you identify all erro
471.
by munin 12y ago
why? we get general and accurate program analysis all the time using just unification and simple inference rules...
472.
by munin 12y ago
> I could go on in detail about how there is approximately zero research being devoted to, eg, automated refactoring of large codebases and other stuff that you'd expect to be absolutely essential to general AI. the programming lang
473.
by munin 12y ago
Yes. Although there are a lot of sources of ionizing radiation being shot at you, and it generally works out. I'd be worried more about the fourth amendment.
474.
by munin 12y ago
There's a difference between "secrecy" and "security", and when people complain about how releasing some information would hamper / endanger lives, they mean that some amount of secrecy is involved in protectin
475.
by munin 12y ago
Well there was the cop that extorted an arrested woman into giving him nudes, seizing the houses of the parents of people arrested for minor drug crimes, using children as leverage in civil asset forfeiture, solitary confinement, tacit appr
476.
by munin 12y ago
you don't need a PGP key, and in fact you can easily filter the traffic to your security@ inbox with a simple rule - is it encrypted with the PGP key? you can delete it, it's probably bullshit. experienced reporters will recognize
477.
Using sun.misc.Unsafe for dynamic software updating in Java(luispina.me)
2 points by munin 12y ago|0 comments
478.
by munin 12y ago
they would just need to paste a command line to findstr: http://technet.microsoft.com/en-us/library/cc732459.aspx but don't let facts get in the way of your platform wars...
479.
by munin 12y ago
there's a big difference between "if I clock out an hour early, I can read some wikipedia pages before I commute home" and "take the next three weeks and read these 20 papers"
480.
by munin 12y ago
well, if you're in a good PhD program for computer science, you probably have a really good BS in CS from somewhere with a high GPA and demonstrated work experience in the form of research, which was probably programming. your research

More ›