tokenrove

11 ms·

61.
by tokenrove 11y ago
Features like generic dispatch in Common Lisp result in similar amounts of dynamism; methods and classes can be defined and redefined at any time so a lot of work goes into making that fast; see for example http://metamodular.com
62.
by tokenrove 11y ago
One of the things people often fail to learn in university is that, once they leave, they will be judged on what they have learned, not on their grades. I think that the sooner an undergrad learns that getting an answer wrong on a homework
63.
by tokenrove 11y ago
As Knuth himself acknowledged in "Things a Computer Scientist Rarely Talks About", it's rare among CS researchers.
64.
by tokenrove 11y ago
M-x calc in emacs
65.
by tokenrove 11y ago
The keyboard is the first clue. I wouldn't buy it on that basis alone; I made that mistake already with the X1.
66.
by tokenrove 11y ago
They went downhill way before that, and just kept going downhill.
67.
by tokenrove 11y ago
Which era of Thinkpad? Someone spilled a full glass of red wine all over my X31 while it was turned on and it was fine the next day (same machine survived much other abuse, including being thrown down a flight of stairs). That machine is
68.
The Last Line Effect and Extralinguistic Mechanisms(hypercomplex.net)
3 points by tokenrove 11y ago|0 comments
69.
by tokenrove 11y ago
Yeti is pretty nice if you have to work on the JVM: http://mth.github.io/yeti/
70.
by tokenrove 11y ago
Who can't read a Makefile? Who can't at least read the output of make -n? It's terrifying to me that you're suggesting that people can't and don't. It's not even a security thing. I've had poorly-w
71.
by tokenrove 11y ago
Something that always comes up in the discussion of structure editors is what to do about comments. Often a looser coupling of comments to the code is suggested. This article presents a good argument for a tighter linking of comments with
72.
by tokenrove 11y ago
It's worth noting that those languages, like 6502 assembly language and early BASIC, had very little in the way of syntax, and particularly, no block structures. I remember finding details of syntax in Pascal and C incredibly cumberso
73.
by tokenrove 12y ago
If you have any questions about that approach, feel free to email me.
74.
by tokenrove 12y ago
If you're serious about reverse engineering, you might consider learning assembly language and C side-by-side. Learn an assembly language (with the Art of Assembly Language Programming or similar) while working through K&R (or ano
75.
by tokenrove 12y ago
I suspect the point is that people often say, in discussions about the GPL, that they expect commercial users of their BSD/MIT/etc licensed software to /usually/ contribute their changes back even though they're not
76.
by tokenrove 12y ago
I can imagine how this could happen, even though, as others have pointed out, there's no concrete evidence presented here. I was somewhat obsessed with programming competitions as a teenager, and the first time I made it to a national-
77.
by tokenrove 12y ago
All the "classics" have been listed already, so I'll mention someone more modern who I think programmers would enjoy: Christian Bök. Check out Crystallography and Eunoia.
78.
by tokenrove 12y ago
Mine is: Some say the world will end in fire, Some say in ice. From what I've tasted of desire I hold with those who favor fire. But if it had to perish twice, I think I know enough of hate To say that for destruction i
79.
by tokenrove 12y ago
A more recent paper that's related to this, "Coverage Is Not Strongly Correlated with Test Suite Effectiveness": http://www.linozemtseva.com/research/2014/icse/coverage/cove... I wouldn&#x
80.
by tokenrove 12y ago
One of my favorite uses is concolic testing which has really been enabled by SMT solvers (of which Z3 is one of the best): http://en.wikipedia.org/wiki/Concolic_testing Check out MS's Code Digger, which uses Z3 as
81.
by tokenrove 12y ago
Cool. You might find selective use of "let open Num in" helps cut down on the added noise. The #ocaml channel on freenode is a pretty good place to get review comments, BTW.
82.
by tokenrove 12y ago
As a calculator, wouldn't it make more sense to use Num from the standard library than int? FWIW, you don't end up doing a cumbersome amount of matching if you implement a full Lisp with an expression ADT as mentioned in the READM
83.
by tokenrove 12y ago
The same paper is available here without filling in a form: http://insideanalysis.com/wp-content/uploads/2014/08/Tokutek...
84.
by tokenrove 12y ago
This looks interesting, but I was hoping it would be a language where you could statically enforce security guarantees, like timing invariance in a block to prevent timing attacks, or avoiding optimizations that would remove code that zeros
85.
by tokenrove 12y ago
It's cool to see this, but I think what Prolog could really use is a "Real World Prolog" style of treatment showing things outside the usual logic puzzles and toy genealogy examples. Like, starting from the elegantly tiny co
86.
by tokenrove 12y ago
It's an easy mistake to make. It's interesting, though, because there are at least three important women who were involved in related work at the same time -- I'm thinking of Liskov, Dwork, and Lynch.
87.
by tokenrove 12y ago
Leslie Lamport is a man. You could argue something about Barbara Liskov's Viewstamped Replication, though, I guess.
88.
by tokenrove 12y ago
It's duplicitous of me to bring this up given all the other problems with this plane, but since it's a favorite topic of argument here, let's not forget the F-35's software is mostly developed in C++, and had been, in th
89.
by tokenrove 12y ago
(Slayer and Pantera, too. See http://doom.wikia.com/wiki/Doom_music for one plausible breakdown of "inspirations". The "Bobby Prince is a Filthy Thief" compilation, too: http://www.doom
90.
by tokenrove 12y ago
In the growing family of ML-inspired systems programming languages, it's worth mentioning ATS as well: http://www.ats-lang.org/ A big difference here, though, is that AFAIK BitC removed macros, while both ATS and Rust

More ›