bkirwi

7 ms·

1.
by bkirwi 5y ago
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" -- but the observed drop is in major c
2.
by bkirwi 6y ago
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 histories as well. Very clever and worth using!
3.
by bkirwi 6y ago
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 just stale, but inaccurate for any time in his
4.
by bkirwi 6y ago
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 idempotent it's hard to imagine merging t
5.
Hermann Zapf, 96, Dies; Designer Whose Letters Are Found Everywhere(nytimes.com)
3 points by bkirwi 11y ago|0 comments
6.
by bkirwi 11y ago
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 real systems, so an allergy to 'arbitrary'
7.
The Zero, One, Infinity Disease(brooker.co.za)
17 points by bkirwi 11y ago|5 comments
8.
by bkirwi 12y ago
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 sequential. In Go, for example, the default is
9.
by bkirwi 12y ago
Yeah, it makes sense to mimic the D3 style: the only thing worse than a bad convention is two conventions.
10.
by bkirwi 12y ago
Money, capital, and Marx.
11.
List of films featuring powered exoskeletons(en.wikipedia.org)
1 points by bkirwi 12y ago|0 comments
12.
A downloadable nanosecond (2012)(blog.jgc.org)
2 points by bkirwi 12y ago|0 comments
13.
by bkirwi 12y ago
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 to a lucrative career. It's also an odd definition
14.
by bkirwi 12y ago
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 together, then combine those results together as a final
15.
by bkirwi 12y ago
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 'empty' value. - A function that ta
16.
by bkirwi 12y ago
Here you go, then: -- little-endian sequence of bytes to arbitrary integral type integerWithBytes :: (Bits a, Integral a) => [Word8] -> a integerWithBytes = foldr (\byte acc -> (acc `shiftL` 8) + fromIntegral byte) 0
17.
by bkirwi 12y ago
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 with discretion.
18.
by bkirwi 12y ago
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 data typ
19.
by bkirwi 12y ago
> 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 robust by telling racist jokes. The healthy society com
20.
by bkirwi 12y ago
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 the touchiness is just the usual sensitivity you fin
21.
Inform – A Design System for Interactive Fiction(inform7.com)
3 points by bkirwi 12y ago|0 comments
22.
by bkirwi 12y ago
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's useful for a large variety of other things, man
23.
by bkirwi 12y ago
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 always what people want: it's the easiest model for
24.
by bkirwi 12y ago
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 it so it looks just like any other queuing system. Real
25.
Exactly-Once Messaging in Kafka(ben.kirw.in)
37 points by bkirwi 12y ago|8 comments
26.
Adding and Concatenating(medium.com)
3 points by bkirwi 12y ago|0 comments
27.
Can functional programming be liberated from the von Neumann paradigm? (2010)(conal.net)
92 points by bkirwi 12y ago|36 comments
28.
by bkirwi 12y ago
One additional note: this is a survey article, not based on a single study. This seems to be the case of NPR staff using a questionable reference, not just rewriting a press release.
29.
by bkirwi 12y ago
Startup idea: use the integrated scheme interpreter to program an interactive fiction game, and post it here.
30.
Choosing properties for property-based testing(fsharpforfunandprofit.com)
4 points by bkirwi 12y ago|0 comments

More ›