c2the3rd

6 ms·

1.
Nvdia using SPARK for safety-critical firmware(adacore.com)
3 points by c2the3rd 1y ago|0 comments
2.
by c2the3rd 5y ago
C-u M-! does the exact same thing in Emacs.
3.
by c2the3rd 6y ago
This is moronic reasoning. Just because stocks are "cheap" relative to bonds right now does not make stocks an "attractive" investment. As Buffet says, never confuse price with value. For the people that haven't not
4.
by c2the3rd 6y ago
Why not say "Every ~~Forth~~ program is its own DSL for accomplishing its work."? For moderately complicated programs in any language you choose, it can take a long time to grok how the literal code relates to solving the conceptu
5.
by c2the3rd 6y ago
Written text IS a visual medium. It works because there is a finite alphabet of characters that can be combined into millions of words. Any other "visual" language needs a similar structure of primitives to be unambiguously interp
6.
by c2the3rd 7y ago
How much of the increase in median job tenure is explained by an aging population?
7.
by c2the3rd 7y ago
Just because some Linux users do that does not mean it is a requirement. If it were, Linux could never have achieved server the server dominance it has. Fiddling is a side effect of Linux being too flexible, so you always have the nagging f
8.
by c2the3rd 7y ago
What annoys me most about this kind of position that I haven't seen addressed enough is the assumption that politics is some kind of grocery basket of personal taste where positions on issues are all independent opinions. Anyone who th
9.
by c2the3rd 10y ago
I liked this article because I enjoy reading about data structures that can be used in places where the "obvious" implementation is a list of lists. A lists of lists data structure is general enough for many applications and readi
10.
by c2the3rd 10y ago
While their current focus does seem and probably should be on politics due to the wide reach of that topic, I think the idea of perspectives in general is a great idea for such an encyclopedia. The problem, in my view, that leads to the cul
11.
by c2the3rd 10y ago
I find this sort of answer unsatisfyingly incomplete. All the examples of people who profit off fear: mass media, lawyers, politicians, and industrial pharmaceuticals have all existed for decades longer than the current age of fear. That ma
12.
by c2the3rd 10y ago
Not surprising since both Macbook Pro and Air lines have gone >15 months without a hardware upgrade. The current mac owners have no real reason to buy newer versions.
13.
by c2the3rd 10y ago
I would like to thank all the people who had a comment on this article, but did not post it. Truly, you improve the community with your silence. I'm aware of my own hypocrisy on this point, but logical consistency would prevent this se
14.
by c2the3rd 11y ago
This article is far too shallow in its diagnosis. Yes, the media manufactures outrage for attention. This is not the problem. The media has done the same for as long as it has existed. The problem is that real people are willing to believe
15.
by c2the3rd 11y ago
I hear more people complain about Westboro Babtist Church than I hear Westboro Babtist Church complain about anything. That doesn't mean Westboro Babtist Church is not a problem. It just means the majority is sane.
16.
by c2the3rd 11y ago
While they aren't banning DD-WRT, they are creating restrictions for manufacturers. The easiest way for a manufacturer to meet the new rules is simply to not allow flashing third-party software. Even if they don't intend to ban DD
17.
by c2the3rd 11y ago
I think there might me a simple explanation for this. Nonreligious children tend to be richer and come from richer countries. Having more wealth means they do not attach as much value to material goods, so they are more "altruistic&quo
18.
by c2the3rd 11y ago
I think that people are now using overt racism and sexism as protest against Social Justice. Since a Social Justice Warrior will define anyone who doesn't agree with them as a racist or sexist anyway, people make it as obvious as possi
19.
by c2the3rd 11y ago
> [dead] I'm Terry Davis and I created TempleOS How many people know who Terry Davis is?
20.
by c2the3rd 11y ago
That comment was about how HN could learn from 4chan's layout . For example, I think comment trees are way harder to read than a linear stream.
21.
by c2the3rd 11y ago
One thing to remember about Krugman is that his specialty in college was trade theory. That is what he studied as a graduate and what his thesis was about. He made landmark advances in that field, and I respect him for it. However, this als
22.
by c2the3rd 11y ago
If he came illegally from Mexico, there would be plenty of people fighting for him to stay. Drawing on this story and [others]( http://politicaloutcast.com/2013/02/usa-trying-to-deport-chr... ), it seems immigrants
23.
by c2the3rd 11y ago
This is true of any "-ism", especially ideologies. Every person will give a slightly different answer as to what it is.
24.
by c2the3rd 11y ago
Let me start by saying I do think there are definitely "Null Professors" who do not properly teach, and thus allow competent students to fail. However, I must agree with the notion that some people inherently can't program. T
25.
by c2the3rd 11y ago
Structure influences functionality. This is the case in both engineering and biology. For example, dolphins have tails and flippers while I have arms and legs. No one disputes the dolphin is a better swimmer and I am the superior runner. Wh
26.
by c2the3rd 12y ago
Has anyone managed to implement an and gate out of this? {xor, or, true} is a universal logic set, so it it theoretically possible. A not gate is easy, but the positioning of the inputs and outputs makes and gates tricky. For those who are