Darmani

32 ms·

241.
by Darmani 15y ago
Type systems aren't there to help you do tricky stuff. They're there to protect you from the silly mistakes we all make when doing normal stuff. Maybe you've created a button that puts some text in an element, but, in some rare cases, due t
242.
by Darmani 15y ago
I think a lot of the hate against statically-typed languages is because people associate them with languages like C# and Java (as opposed to e.g.: OCaml), which lack not only many of the higher-order functional features that we've come to e
243.
by Darmani 15y ago
void* is used in C to interact with the raw bytes. In some sense, the raw bytes are the only type in C. You can try to maintain a distinction between a struct RECT{int width; int height;} and a struct POINT{int x; int y;}, but it's perhaps
244.
by Darmani 15y ago
I spent much of a week tracking down a bug in a Clojure program where primitive false was being sent through a network, and read back in as boxed false. It looked right when printed out, yet somehow the wrong branch of an if-statement was b
245.
by Darmani 15y ago
That one's really damning. It's implying that they're using some sort of syntactic equivalence to compare solutions, which is a big no-no. It's not that difficult to generate a bunch of tests and run both solutions through an interpreter, a
246.
by Darmani 15y ago
Institute for Software Research: http://www.isri.cmu.edu/ Software Engineering Institute: http://www.sei.cmu.edu/ Max Planck Institute for Software Systems: http://www.mpi-sws.org/ UW CSE Software Engineering Research: http://www.cs.
247.
by Darmani 15y ago
high IQ is defined as a score between 107 and 158. That means around 70% of the high IQ people in this study had an IQ between 107 and 120. Over 90% had an IQ less than 130. Don't go out and assume that smoking a joint will help you
248.
by Darmani 15y ago
Java does; List<String> is not a subtype of List<Object>. This greatly confuses many programmers, since String[] is a subtype of Object[] (they made this mistake before Guy Steele got involved). Naturally, SML does as well.
249.
by Darmani 15y ago
"problem number 1 with Facebook games : they are spam machines!" Really? I remember when I first joined Facebook, and my News Feed came to be quickly dominated by Zynga items, and my notifications came to be dominated by reminders to see ho
250.
by Darmani 15y ago
A few weeks ago, feeling adventurous, a few coworkers and I journeyed to midtown New York to try the grasshopper tacos at a Mexican restaurant. When mine arrived, I fearfully picked up a grasshopper and brought it to my tongue... ...and had
251.
by Darmani 15y ago
I'm simply astounded at how many people checked "less than 60k," but I guess I've been living in a bubble. I make 80k, and I'm a 19 year-old intern.
252.
by Darmani 15y ago
I initially did terribly in school. I often refused to do assignments or did them in a smart-alecky way, acted out violently, and became one of the principal's most frequent visitors. In second grade, I entered the school's gifted program,
253.
by Darmani 15y ago
I considered adding an exception, but then I remembered Math Studies is really two classes. I definitely found Math Studies less than twice as hard as 251. Of course, I might also say that I five-sixths assed Math Studies and three-halves-a
254.
by Darmani 15y ago
Yes, and the definition of a measurable map is a function between two measure spaces which takes measurable sets to measurable sets, i.e.: a structure-preserving map between measure spaces. I stopped reading after that. I have no need to de
255.
by Darmani 15y ago
We tell our 251 students that the class should be called "Some Theoretical Ideas for Computer Science." Last semester, the professor and six of eight TAs had math majors. We definitely don't disagree with you. You're barking up the wrong tr
256.
by Darmani 15y ago
15-251 TA here. Probability is one of my favorite topics, but I agree with (this part of) the course's treatment. If we really wanted to do probability the right way, we'd tell them that a random variable is a structure-preserving map betwe
257.
by Darmani 15y ago
One course I've been going through lately is the MIT course on Abstract Interpretation ( http://web.mit.edu/16.399/www/ ). Programmers tend to break execution into "cases" to reason about it; e.g.: when writing a routine to reverse a stri
258.
by Darmani 15y ago
Ha, I'm currently wearing my 251 course staff ("yer sould = pwned") shirt as I type this. The most recent website is contained in https://colormygraph.ugrad.cs.cmu.edu/ . One of the TAs used the course as a testing grounds for his pedagog
259.
by Darmani 16y ago
What you're calling a dynamic type is what he'd call a canonical form. If your typing system has product types, then you should be able to prove that anything with a product type evaluates down to an ordered pair.
260.
by Darmani 16y ago
The author is not talking with the snide condescension of an Internet troll who, after reading the first chapter of a book, feels he's been clued into a grand truth. He's talking with the snide condescension of one of the world's top resear
261.
by Darmani 16y ago
It's funny how you applied this to a completely different context from whence it came. This is actually how the Talmud prescribes disputes should be resolved -- it's called the "contested garment" rule.
262.
by Darmani 16y ago
"Object-oriented programming [...] is both anti-modular and anti-parallel by its very nature" I'm sure this is going to get a lot of discussion, so I'd like to preemptively elaborate on the anti-modular part. Object inheritance is the moral
263.
by Darmani 16y ago
But then you run a risk of not automating things you should have automated, which is already much more common.
264.
Running On Empty: The Failure to Teach K–12 Computer Science in the Digital Age(acm.org)
2 points by Darmani 16y ago|0 comments
265.
by Darmani 16y ago
I wonder if the "technology to carry payloads through USB drives" was used in Stuxnet?
266.
by Darmani 16y ago
"The problem with formal education's applicability to the business world isn't with the quantity, quality, or breadth or its theory, it's with it's lack of practice." There is nothing like TAing a theory course to disavow you of the former
267.
by Darmani 16y ago
Apostol is quite dry and unmotivated. A grad student friend of mine recently wrote a textbook to replace it, and has been testing it on the freshman honors calculus course here.
268.
by Darmani 16y ago
And unfortunately, which you switch from the main part of desktop iTunes to the iTunes store, all the problems return in force. I once mistakenly bought the no-choir version of a song I was looking for because I couldn't see the whole title
269.
by Darmani 16y ago
http://www.arclanguage.com/install You can read the source code yourself. I don't remember the database, but it's running on an Arc server.
270.
by Darmani 16y ago
All but one of the classes I've taken so far at college have explicitly allowed collaboration. A couple are designed to be impossible to pass without collaboration.

More ›