bkirwi

16 ms·

91.
Sentimental Versioning(sentimentalversioning.org)
3 points by bkirwi 12y ago|0 comments
92.
by bkirwi 12y ago
I find it odd that Wolfram talks about all the thousands of things that will need to be 'built in' to Mathematica for this project to work -- shouldn't you be able to implement these things in the language itself?
93.
by bkirwi 12y ago
I think this blog post does a good job of showing how proofs of simple parts extend into proofs of increasingly complicated wholes, without additional programmer effort. Is there a reason you'd expect this to fall over on yet more comp
94.
Barely Functional: Writing a Real Program in Haskell(ben.kirw.in)
1 points by bkirwi 12y ago|0 comments
95.
by bkirwi 12y ago
Oh, it's certainly not just you! I suspect most folks aren't used to writing and reading code in this kind of functional style. In fact, these two blocks probably aren't equivalent... my guess is that `silent` catches all exc
96.
by bkirwi 12y ago
Here's an article that was on the frontpage recently; some reflections from a Clojurist that switched to Haskell: http://bitemyapp.com/posts/2014-04-29-meditations-on-learnin...
97.
by bkirwi 12y ago
If you're interested in examples of useful monoids and similar structures, you may want to have a look at the Algebird[0] project or the recent work on CRDTs[1]. The code savings in these projects comes from being able to write the com
98.
by bkirwi 12y ago
Sorry, editing error... meant to refer to unsafe blocks in Rust , and the unsafe package in Go.
99.
by bkirwi 12y ago
As a fellow relatively new to Haskell, I was surprised at all the unsafe constructs in the core. Almost everything you'd expect to find in C's standard library is exposed somewhere, with roughly the same level of safety. (Which is
100.
by bkirwi 12y ago
Sadly, 'reactive' -- like OOP -- seems to be one of those words that gets reinterpreted to meaninglessness. The definition I'm most familiar with, from the Reactive Manifesto,[0] seems like it would fit Go's channels jus
101.
by bkirwi 13y ago
A bit irritated at how the author complains about other databases astroturfing on Hacker News, then writes a glowing post about HyperDex without mentioning that he's one of the authors. That said, I agree with the thesis that current-g
102.
by bkirwi 13y ago
Neat! It looks like things are changing fast; I'll have to do another read-through.
103.
by bkirwi 13y ago
1) Ah, the ValuePipe is (relatively) new; thanks for the pointer. 2) You have to explicitly `.group` in Scoobi as well; it transforms a DList[(K,V)] to a DList[(K, Iterable[V])] or similar. You don't have to call `.toTypedPype` to ge
104.
by bkirwi 13y ago
I'm familiar with the typed API, but it still doesn't quite bring me as far as Scoobi does. I recognize your name from the Scalding code, so I'll say that this is meant as helpful criticism and not a complaint.* - There a cou
105.
by bkirwi 13y ago
I'd like to get in a plug for my personal favourite Scala / Hadoop productivity framework, Scoobi.[0] If you're already familiar with Scala, Scoobi has the more familiar and intuitive API, and it leverages the type system to
106.
by bkirwi 13y ago
Hmm -- if a process bumps its `currentEpoch` for every proposal, and the delays are randomized, it looks like this would fail only probabilistically and may eventually succeed. I'll have to take a closer look later today...
107.
by bkirwi 13y ago
It looks like the protocol is broken; can anyone confirm? Suppose a handful of the processes trigger an election simultaneously, each with a `currentEpoch` of `n`, so that each process has voted but no proposal has a majority. Now all proce
108.
by bkirwi 13y ago
I'm curious to know more about the garbage collection of stale peers. - AFAIK, etcd is built on RAFT, which relies on a 'joint majority' method of transitioning cluster membership. Are there any issues forming agreement on wh
109.
by bkirwi 13y ago
I know this is mostly orthogonal, but I think that's the wrong takeaway from Simpson's paradox. As an illustration, let's translate into a situation we have better intuitions for: Glass of Water Tylenol Migraine 6
110.
by bkirwi 13y ago
I agree, you're unlikely to feel the need for this when threads are cheap and blocking is OK. (For some client environments, like JavaScript, that's not the case: which is why you see so many similar things in that space, like pro
111.
by bkirwi 13y ago
I can comment! I'm not very familiar with Android Annotations, but they seem to be primarily a way to shuffle some processing to a background thread. All those methods return `void`, so if that method wants to return some results (or f
112.
by bkirwi 13y ago
Personally, I would have been happier if the deadline sat -- if only because I needed to get back to regular life, and it's hard to resist the temptation to squeeze out those last few points. But I might have felt differently if I hadn
113.
by bkirwi 13y ago
It's interesting to me that the author links to an article about how coding is useless for journalists, and then spends the rest of the article talking about all the web-scraping scripts she's written or could easily write. For me
114.
by bkirwi 13y ago
No problem... credit goes to you for citing your sources.
115.
by bkirwi 13y ago
In case anyone else missed it on the first pass: the article mentions that the FBI "went so far as to come up with assassination plans on Occupy Wall Street leaders," but the linked source[0] describes the FBI uncovering an assa
116.
by bkirwi 13y ago
If you're curious: courriel has become the standard term in Quebec, where adopting English terminology is a little bit more culturally / politically sensitive.
117.
by bkirwi 13y ago
The GP's example is equivalent to pushing to the tail of a queue while you're consuming its head, which is a relatively common (and safe) pattern. It looks like the Go designers made this pattern a bit harder to express, in favo
118.
by bkirwi 14y ago
True; but it's hard to support a fixed-length encoding when a message can contain nested collections of arbitrary length.
119.
by bkirwi 14y ago
Glanced through the spec and the comparison to protocol buffers on their blog. [0] A couple of quick notes: - The messages are prefixed with the message length; this allows has a variety of advantages (ie. splitting up messages with minimal
120.
by bkirwi 14y ago
You realize he works at Twitter, right? And that he's responsible for Storm, and Cascalog? I'm not going to say anything better than it was said in the slides / book draft, so I'll just encourage you to take these techniques seriously... th

More ›