nmrm

34 ms·

271.
by nmrm 12y ago
Bottom-line: "history -c" should never be interpreted as "covering your tracks". No one should be treating .history as a log file! * First and most importantly, if you want a true log of history this can and should be ac
272.
by nmrm 12y ago
$> some_command --username myusername --password mypassword $> history ... 12345 some_command --username myusername --password mypassword This comes up fairly often with poorly designed CLI's. Wiping your bash history after runni
273.
by nmrm 12y ago
You missed the point, and your characterization of my claim is way off. 1. A huge number of vulnerabilities affect C/C++ programs, almost all of which are memory based. 2. Memory-managed languages take care of this for you. 3. Therefor
274.
by nmrm 12y ago
Browse through the National Vulnerability Database, and write down the language of each bug. Discounting bad PHP, a huge majority of bugs are in C/C++ code. And "past popularity" isn't a good explanation, because a lot o
275.
by nmrm 12y ago
The translator initiated by Chrome's "translate" button does a pretty decent job on this page: http://sv.wikipedia.org/wiki/Telefontornet
276.
by nmrm 12y ago
Makes perfect sense. I'll code something up next weekend.
277.
by nmrm 12y ago
There's interest. I've taken point-set topology, so hopefully I'll be able to follow the proof without too much trouble. If so, building a simulation shouldn't be too difficult.
278.
by nmrm 12y ago
Which is a strong argument for rigorous coursework. The type that's sufficiently time-consuming that it trades off with personal projects.
279.
by nmrm 12y ago
T0 | T1 | T2 | ... would match exactly the correct thing with all positive examples, and (T0 | T1 | T2) & !(CE1 | CE2 | CE3) would match exactly the correct thing with positive and negative examples. But that's pretty stupid, becau
280.
by nmrm 13y ago
> were you referring to the all-women IT company? They do exist now. And there are plenty of organizations organizing women only IT events for women. I was referring the conclusion that these events/organizations significantly harm
281.
by nmrm 13y ago
It would be useful to watch someone (you?) step through this process.
282.
by nmrm 13y ago
The 20th century is replete with examples of women entering traditionally male professional roles. None of these industries is hostile toward men; in fact, often the opposite. The scenario you suggest as plausible is in fact quite unprecede
283.
by nmrm 13y ago
Thanks for sharing! I never had the opportunity to attend such a camp, and I'm glad to hear mathematics camps are well balanced. I agree that the merging strategy makes a lot sense, esp. for the reasons you give in the second paragraph
284.
by nmrm 13y ago
From personal experience, it's a cultural issue. Admissions aren't discriminatory, but summer camps of this sort are typically dominated by males. Being the only "different" person in a largely homogeneous group can caus
285.
by nmrm 13y ago
This is addressed to the copious negative top-level comments. As someone with first-hand experience attending a computer summer camp, I think this is important. I attended a computer summer camp as a kid. It was all male and had an very awf
286.
by nmrm 13y ago
Perhaps the "killer app" is an extensible GUI framework with some sensible defaults already implemented (e.g. those mimicking some of the design dimensions explored by the software mentioned in other posts), combined with a script
287.
by nmrm 13y ago
The author's examples -- proofs and ASTs -- provide a hint at the reason. If you need a tree, it's most likely that you want some custom operations on that tree (e.g. parsing text into the tree, pretty-printing the tree, traversin
288.
by nmrm 13y ago
The author's observation is that racial profiling is at the heart of why we have problems with police corruption. The end of the article argues that racial profiling allows a majority of citizens to ignore problems with policing becaus
289.
by nmrm 13y ago
FWIW I think it's an insightful question. Other replies to this thread do a pretty good job at pointing out the applications of lambda calculus. I want to contribute this excerpt from one of the original papers on the topic: "In t
290.
by nmrm 13y ago
I suspect what the parent author meant is that the lambda calculus is a very simple language. If a new language feature can be defined as a small extension to the lambda calculus, then creating a toy implementation is should be easy because
291.
by nmrm 13y ago
This is a solved problem; they are called Universe Types.
292.
by nmrm 13y ago
I understand the sentiment, but disagree with the conclusion. There are some unbiased and quality sources of reporting, even on television. E.g. PBS's Newshour does a good job. More importantly, there is a lot of useful material outsid