sjolsen

13 ms·

61.
by sjolsen 11y ago
It's a shame, too, since C++14 is a far cry from 1983's C++ (or whatever version the majority of the segment of the industry which uses C++ is actually using), and the others are similar stories. One the one hand, I suspect ams6
62.
by sjolsen 11y ago
Other differences between message passing and function calls aside, I disagree with this characterization. While many mainstream languages perform static binding of functions, it is not an inherent feature of functions (at least as I pers
63.
by sjolsen 11y ago
I tried using Rust the other day, and I had the same problem. What I found indicated that "unstable" features are permanently disabled in all but the nightly releases.
64.
by sjolsen 11y ago
Runtime performance for Agda... well, it leaves a lot to be desired, at least with respect to the MAlonzo compiler. For example, operations on the natural numbers à la Data.Nat get very slow very quickly-- but while the representation used
65.
by sjolsen 11y ago
This was one of my first encounters with Agda, and it's a language I've developed something of a soft spot for. I highly recommend playing with it if you have any interest in Haskell or ~undergraduate-level pure mathematics.
66.
by sjolsen 11y ago
>Although we’ve successfully generated uniformly distributed points on a sphere, it feels messy. Some points seem too close together, and some seem too far apart. This is how randomness should look. If you randomly generate (using a hi
67.
by sjolsen 12y ago
>I haven't investigated it but variadic template template arguments might help there, though. They do: template <template <typename...> class Container, typename T> Container <T> fin (T n) { Conta
68.
by sjolsen 12y ago
>I think generics are poorly understood in general Perhaps by programmers (and the designers/maintainers of certain mainstream languages...), but there are some very strong models out there; we've had well-behaved parametric po
69.
by sjolsen 12y ago
Agda; it marries formal mathematics and programming in a very satisfying way. I can't wait to see what comes of it and other intuitionistic type theory–based systems.
70.
by sjolsen 12y ago
For more on CLOS, "Object-Oriented Programming in Common Lisp" is a fun little book. It has some reasonably practical examples and touches on just enough of the system's low-level details. It doesn't have much to say on
71.
by sjolsen 12y ago
I'm assuming you're talking about canker sores. I don't know how much help this will be to you, but here it is anyway: You may have tried these, but I've found the best ways to dull the pain are swishing 50/50 Maalo
72.
by sjolsen 12y ago
>Computer science is often treated as an offshoot of mathematics when, in reality, you need to do far, far more writing than advanced math. Most students are going to be leaving school and working on professional programming, where they&
73.
by sjolsen 12y ago
>Programming != Math. Programming also isn't computer science. >Logic is important, but that is mostly orthogonal to any course of math instruction I've ever been exposed to. I think that's the issue the author intends
74.
by sjolsen 12y ago
It's so hard to tell sometimes.
75.
by sjolsen 12y ago
>I haven't tried Linux recently (about two years ago) but when I did I had major headaches with a Broadcom wireless driver, and a Bluetooth chip, that both worked flawlessly on windows 8. As someone who has used Debian almost exclus
76.
by sjolsen 12y ago
>You'd never see OSX or Linux letting people install software without going through a walled garden. I can't speak for or against OS X, but with respect to Linux this is plainly false, unless by "Linux" you mean &quot
77.
by sjolsen 12y ago
I'm not offended or insulted by what you said. I don't even disagree with most of it, except maybe how you're using the terms "complete" and "proper." Saying that something isn't complete or proper ge
78.
by sjolsen 12y ago
>I can't see any smoothness in scrolling of Emacs' graphical interface in Linux. I'll grant that Emacs doesn't have this. Most programs don't either, though, and in the few I've seen that do (e.g., Firefox),
79.
by sjolsen 12y ago
>It's not just a familiar interface. It's a better interface. Smooth scrolling is better than line-based scrolling. A popup is better at alerting the user that input is needed than a small prompt at the bottom of the screen. Th
80.
by sjolsen 12y ago
So all in context, it sounds to me like you're saying that what sets Sublime Text apart from Emacs is simply that it uses a familiar user interface. I suppose that's fair enough. What I wouldn't say is fair, though, is char
81.
by sjolsen 12y ago
>And don't even get me started on how Bash interprets filenames as part of the arguments list when using * (e.g. file named "-rf") That's not Bash. That's just... programs in Unix. Such is life when everything is
82.
by sjolsen 12y ago
>For me, the thing that sets sublime apart from vim and emacs is the fact that it is a full gui app. Things like go to definition, autocomplete, build panel, command pallete, sidebar, context menus, are all technically possible in vim, b
83.
by sjolsen 12y ago
>The problem is now how complex a language is, but how much needless complexity it allows you to build yourself. Any Turing-compelete language allows you to build arbitrarily much needless complexity. I don't see how it's a use
84.
by sjolsen 12y ago
>I think this was silly, the author clearly does know C but they are complaining about optimizing compilers which do things "behind your back" and are becoming an increasing nuisance I think the compiler behaviour is meant to b
85.
by sjolsen 12y ago
I don't believe the author is claiming that C is obsolete; nor do I believe he is claiming that no one knows C. What I do think he's implying, if not outright claiming, is that there are many people who grossly overestimate their
86.
by sjolsen 12y ago
>Did he make sure the behavior he mentioned is uniform across all ISO standards? I don't know. >What is his source for coming up with a certain answer to a certain piece of code? His conclusions are consistent with my understandi
87.
by sjolsen 12y ago
There is no mention of which compiler he's using or whether the results might be different for different compilers and/or hardware platforms precisely because he's discussing the C language— not the idiosyncrasies of particul
88.
by sjolsen 12y ago
>the function as you wrote, when used in the expression (getColor() == getColor()), results in undefined behavior In C++14 (and I believe C++11), this is not correct. Specifically, §1.9/15 says, "Every evaluation in the calling
89.
by sjolsen 12y ago
You're absolutely right of course; just about any facility's shortcomings can be overcome by redesigning that facility, but that's how we get Greenspun's Tenth Law. :) Unfortunately, redesigning for safety/correctne
90.
by sjolsen 12y ago
>They are not the same I didn't say that they were. I said that they were equally expressive, because the claim was that C++ is more powerful than C. >VLA in C are on the stack vectors are allocated from dynamic memory (heap) T

More ›