werpon

6 ms·

1.
by werpon 5y ago
Formal methods may work for civil engineering where the usual workflow is gathering requirements, developing a detailed project and building the thing, with the implicit understanding that any little change will mean recalculating costs and
2.
by werpon 6y ago
> As an American, I find this phenomenon extremely silly and very foreign feeling. As the great British statesman George Washington once said: “Guard against the impostures of pretended patriotism.”
3.
by werpon 7y ago
Spaniard here. I don't think I've ever read or heard a sugarcoated version of the conquest. In fact it's usually the opposite. October 12 is indeed the day Columbus set foot on the New World and also our national holiday, but
4.
by werpon 9y ago
I called it an axiom for the sake of brevity. I felt that reciting the Peano axioms would only cloud my point. Was I 100% precise? No. Did you add something meaningful to the discussion? That's for you to answer.
5.
by werpon 9y ago
Is philosophy knowledge? Can I use it, for example, to take an informed choice about the real world? Does it at least contain a set of verifiable, falsifiable statements that every practitioner can and has agreed upon?
6.
by werpon 9y ago
That's an axiom. It doesn't say anything about the real world, it just introduces a framework of thought. In other words, if you can imagine a reality where 1+1=2 for some meaning of '1', '2', '+' and
7.
by werpon 9y ago
In my view, the whole concept of scientism is the last attempt of philosophy to stay relevant, and it's usually only backed up by appeals to emotion and loaded words. So, the scientist in me asks: what areas of knowledge are out of the
8.
by werpon 14y ago
I've invested a lot of time in trying to learn Haskell properly. On one hand, it's incredibly rewarding when a completely new and strange concept finally 'clicks', then you write a few lines to test your understanding and it just works. On
9.
by werpon 14y ago
Option 3 has no basis since Intel doesn't need to write a single line of code to get their new chip supported under Linux, they just need to release the specs. Which brings us to: 4) Just like many graphics chips, this processor does some b
10.
by werpon 14y ago
It's easier when your target is just one OS.
11.
by werpon 14y ago
I always thought they were built that way to cool the air faster due to the Jules-Thomson effect.
12.
by werpon 14y ago
I don't think OS X nor iOS are much easier to use than their free counterparts, it's just that new users have at least two incentives to learn them, and so they do, without thinking too much about it. First, they have a positive reinforceme
13.
by werpon 15y ago
Not to mention the tutorial, which is a work of art: succint, clear, informative and easy to follow (for a programmer anyway). http://www.iolanguage.com/scm/io/docs/IoTutorial.html
14.
by werpon 15y ago
It's actually impossible to provision such a big army when essentially every adult man is in a trench. World superpowers would have gone bankrupt had they used this tactic.
15.
by werpon 15y ago
Big warships could accomodate bigger cannons. Bigger cannons could deliver bigger shells further, enabling your warships to hit the enemy while keeping out of their range. These capital ships aren't being built today because missiles and fi