chousuke

50 ms·

631.
by chousuke 12y ago
I have an anecdote that occurred a short while while ago. We had a server with several database instances (with their own init scripts) running on it. The scripts were buggy in such a way that starting the database would bring it up okay, b
632.
by chousuke 12y ago
My FreeBSD system has a 30-second timeout during which the entire boot process is halted because it waits for a default route to the internet... which it won't get, because I haven't configured one. It's pretty dumb, and no
633.
by chousuke 12y ago
I don't see deprecating fstab as a bad thing, if it's possible. Less static configuration is pretty much universally good. It's also pretty much zero burden on systemd to maintain fstab compatibility indefinitely. However, I
634.
by chousuke 12y ago
I'm one of those people who find most systemd opposition rather unconvincing, but good luck to you anyway. I was surprised by the fact that you'd actually removed the mount and device unit logic from your fork. In my view, the ini
635.
by chousuke 12y ago
Huh. That seems to include all the (major?) banks in Finland. At least I don't know of a bank in Finland that isn't on that list.
636.
by chousuke 12y ago
As a foreign language learner, the "rules" you learn form a framework on which to build understanding when you're learning. It's been my experience that after you get past a certain point, the rules stop mattering quite
637.
by chousuke 12y ago
I'm Finnish, and I couldn't have performed this deconstruction correctly. I had no idea that the -vat form of verbs had anything to do with the conditionals, for example. It's common knowledge among Finns that Finnish is a di
638.
by chousuke 12y ago
So instead of a one-time cost, they'd rather bleed money due to lowered productivity? I don't know how much time you spend developing internal tools, but I'd expect the cost in lost time to surpass the cost of a few (possibly
639.
by chousuke 12y ago
ZFS can do dedup if you enable it, but IIRC the recommended amount of memory to safely use it is ~5GB per terabyte of storage.
640.
by chousuke 13y ago
That just sounds like an argument from idealism. Writing software is all about tradeoffs, and not supporting non-Linux systems is one tradeoff that systemd makes, for a good reason. In this case, close integration with the kernel is require
641.
by chousuke 13y ago
Personally, I prefer systemd. I have quite a shallow understanding of upstart, but even so I find a dependency-based model much easier to reason about than an event-based model. I'm quite sure either would be a massive improvement over
642.
by chousuke 13y ago
The "systemd" project really isn't about having just an init system. systemd by itself is an init, but the project includes several other tools related to managing the system as a whole beyond just starting services. The proj
643.
by chousuke 13y ago
The reason pure functional programming is good for "ripping out and replacing" code is because your code units necessarily have fewer interdependencies. a pure functional language is really good for writing dumb code that "just works" in th
644.
by chousuke 13y ago
x does not mutate at all. x is simply a placeholder for the values in the series of additions that your expression expands to, that is, 1² + 2² + 3² + ... + 10². Or stepwise, to 1² + sum_{x=2}^{10}x² etc. all three expressions are equivalen
645.
by chousuke 13y ago
I would like to add that this it is perfectly possible to write purely functional programs that do mutation. You just need to be explicit about it. Many purely functional data structures also have advanced implementations that need much les
646.
by chousuke 13y ago
The reason why people talk so much about monads is that they are ubiquitous, and Haskell in particular can make good use of them because if type classes and other high level abstraction facilities, plus do notation. Asynchronous execution i
647.
by chousuke 13y ago
It is referentially transparent. The lambda (or thunk) itself can be used freely as a value. For example newtype PureIO a = PureIO (() -> a) print :: String -> PureIO () print s = PureIO $ \_ -> unsafePrint s -- impure p
648.
by chousuke 13y ago
Haskell IO is pure because an IO action is basically just an "instruction". For example, one way to make a pure thing out of a side-effecting procedure is to wrap it in a lambda; it won't do anything until you actually call it, so you can u
649.
by chousuke 13y ago
The function is not the focus. The article presents three abstractions that allow you to apply regular functions on things to which they are not directly applicable. Maybe is usually used as an example since it's the simplest non-trivial mo
650.
by chousuke 13y ago
Except it isn't. Unless you learn imperative programming before you learn basic algebra, the first definition of a variable you encounter is that of an immutable one.
651.
by chousuke 13y ago
To read that definition, you need to understand that Haskell has a notion of "type variables", and 'data' is used to introduce new algebraic data types, which you can think of as a sort of tagged union. The definition states "For all types
652.
by chousuke 14y ago
That is exactly equivalent to Haskell's Maybe, except I don't know if it's possible to abstract over type constructors in Ceylon to implement eg. Functor and Monad.
653.
by chousuke 14y ago
The world filter on the PS3 chat is my favourite example of this. It was almost impossible to chat with friends during gaming session when for example "Akuma" (A Street Fighter character and a perfectly safe word in Japanese as well) gets c
654.
by chousuke 14y ago
I think your last sentence is completely wrong. A good enough type system you will be able to express abstractions so powerful that it turns the "straitjacket" into a suit of power armour. Instead of restricting the programmer, a good type
655.
by chousuke 14y ago
Regarding your latter point, I don't think monads are even that abstract. "Monad" just happens to be something out of category theory so it has a mathematical weird-sounding name that you MIGHT guess has something to do with monoids -- if y
656.
by chousuke 14y ago
The cells are the functions.
657.
by chousuke 14y ago
Gnome is showing steady improvement with every new release. Really impressive. The first versions of Gnome 3 were sort of lackluster, but nowadays I much prefer it over its predecessor.
658.
by chousuke 14y ago
Applicative and Monad and their operators are really something I would consider required Haskell knowledge. It's not surprising that you can't read Haskell code if you don't know what those are, because they are everywhere by virtue of be
659.
by chousuke 14y ago
His diet probably wasn't the cause for his illness, but as far as I understand, he refused ordinary medical procedures (surgery) that had a good track record against his particular type of cancer, in favour of observing a special diet. The
660.
by chousuke 14y ago
For me, monads made sense when I started thinking of them as an API for composing normally uncomposable things. I'll try to explain it without assuming much knowledge of Haskell. Composition is key in functional programming, and when you ha

More ›