Viewing profile — bkirwi

FWIW, this is addressed in the article and the paper it covers: the slowdown involved reduced "proactive policing" -- "systematic and aggressive enforcement of low-level violations…

Worth mentioning that, while the `git bisect` algorithm is pretty easy to run by hand if you have a linear history, `bisect` also handles very complex branching and merging histori…

The issue being pointed out here isn't that the computation is out of sync with the outside world... it's that it's our of sync with _itself_! It will return answers that are not j…

Based on that description of Pijul, it does seem to be a semilattice: it has a merge operation that's associative and commutative, and while it doesn't explicitly state that it's i…

Of course, there really is something special about 0, 1, and Inf -- they're the kind of numbers that tend to arise from theory, not just from tuning. Tuning is hugely important for…

It's worth noting that green threads are not 'enough' -- in any language with concurrency, you still need to be explicit about what work can run concurrently and what needs to be s…

Yeah, it makes sense to mimic the D3 style: the only thing worse than a bad convention is two conventions.

Money, capital, and Marx.

It's an odd definition of personal privilege you have, where the privileged person suffers two years of harassment and abuse, and the person without privilege immediately returns t…

Sure! Here's a couple concrete applications: - Any monoid operation is trivially parallelizable: take the dataset, split it into chunks, combine all the elements in each chunk toge…

Here, try this... A monoid is made up of: - Some arbitrary type of thing. (Lists, sets, strings, numbers, whatever.) Let's call it 'A'. - A value of type A. Let's call it the 'empt…

Here you go, then: -- little-endian sequence of bytes to arbitrary integral type integerWithBytes :: (Bits a, Integral a) => [Word8] -> a integerWithBytes = foldr (\byte acc -> (ac…

Probably this one? http://ferd.ca/queues-don-t-fix-overload.html Queues and similar things help flatten out the spikes, but they don't add capacity. Like many of these tools, use w…

There's a bit of writing on StackOverflow about it: http://stackoverflow.com/questions/2982012/haskells-typeclas... The main similarity is that 'methods' are defined 'outside' the …

> Demanding this mind of self censorship is a sign that a society is fragile rather than robust. A robust society can take the jokes. Sure, but you don't magically make society rob…

In Canada, as I understand it, it's illegal to refer to yourself as an engineer / a position as an engineering position unless you have Real Engineering Credentials. So a lot of th…

Yes, Kafka certainly is good at those things, and I suspect Kafka will only get better at them. But it's actually quite a simple bit of infrastructure at heart[0] and this means it…

Hey, thanks for the excellent writeup. I enjoyed and totally endorse the content of your blog post, but I did find the title / intro a bit misleading. Exactly-once is pretty much a…

Oh hi! The Samza ecosystem seems to be a magnet for this sort of thing these days -- the community's really committed to taking full advantage of Kafka, and not just papering over …