HNHacker News
TopNewBestAskShowJobs

zimablue

1,151 karma · joined January 10, 2017

b9c64c
submissionscomments
zimablue··on Programmer as wizard, programmer as engineer (2018)
I'm not sure to what extent I believe this.

There are a lot of overlapping distinctions, some blurry, I think. He chooses some for wizardry vs engineering but I don't know whether they're best. For example he puts "magic"=implicit, but I would normally say highly implicit code is "engineering" because it implies that someone has understood and explored the problem enough to write a very tuned framework or library. I think reasons for putting very implicit code in with wizardry could be that it might be that the person using it doesn't understand it, and that it's somewhat in opposition to strong typesystems

wizardry/engineering high uptime/downtime possible efficiency important/efficiency not important large codebase/small codebase not implicit/implicit (I disagree most with this one) problem is understood/code is exploratory (I think this is the most important distinction) high specialism/low specialism of coders changes slowly/changes quickly typed/untyped

I would say websites are engineering because the problem space is well understood, they need high uptime and they tend to be written by specialists (React guy, django guy etc).

zimablue··on Programmer as wizard, programmer as engineer (2018)
I'm sceptical of his argument that "we've gone from dynamic being trendy back to typed(java), because 'people' had to maintain dynamic codebases".

An equivalent but probably equally not-the-real-explanation argument would be that we've gone from an era of opportunity into an era of oligopoly as the internet titans have emerged and so the "coolest kids" who everyone cargocults have gone from being fast-growing startups to members of the big-5 elite. Kind of the same as his argument just with detail on who his "people" are and why, but it changes the implications.

I think it's more as he touches on that the two are converging. I think eventually some sort of pluggable typing will win (the "proofs" on your system won't be a single compilation pass but maybe different typing for different parts of the system, and specific proofs run between compile and runtime as the two blur), which will look more like gradual typing.

zimablue··on Programmer as wizard, programmer as engineer (2018)
When I say completely rewrite, I mean rewrite a class, method or library which is what we're talking about (since you probably started writing in python/clojure). Sorry, it was poorly phrased.
zimablue··on Programmer as wizard, programmer as engineer (2018)
I don't think that this is a constructive post. It is probably totally true - in whatever seat you're sitting in, there's no situation where code is exploratory, but unless you're saying something about how common that is then it's not interesting for the problem. I think you might be implying that there are no/few seats where an exploratory approach is useful, in which case I really disagree.
zimablue··on Programmer as wizard, programmer as engineer (2018)
I think the problem with this is, if I'm going to say "completely rewrite this [function/class/module] into another language", then there's a good chance you want that language to be about as fast as possible. I guess because a lot of problems fall straight from "speed absolutely doesn't matter" to "this is the bottleneck of the whole thing".

I think that is a reason why there's a lot of python/c++ in hedge fund land. I've written some clojure but don't know the c interop story for it.

zimablue··on Kanren – Logic Programming in Python
I think you maybe need to know quite a lot about both in order to have a good answer. If you want to learn a bit, the reasoned schemer is the best jumping off point imo.

This is maybe the best internet answer, by the author:

https://stackoverflow.com/questions/28467011/what-are-the-ma...

zimablue··on PewDiePie’s Battle for the Soul of the Internet
I guess one could argue that outrage porn is a satire of outrage culture
zimablue··on Why we should care about the Nate Silver vs. Nassim Taleb Twitter war
Or in other words, you're 99% of people who will ever hear the number
zimablue··on Why we should care about the Nate Silver vs. Nassim Taleb Twitter war
https://fivethirtyeight.com/features/a-users-guide-to-fiveth...

What I'm referring to is the "now-cast", but his other two definitions both seem to shy away from saying "this is flat-out the probability we think of the election".

The point is, you can redefine or choose a definition of probability if you want, but if it's less useful than the normal definition (and confusing to people!) then people are free to criticize your work on that basis.

And there's a very useful, testable, mathematical definition of probability that allows us to equally assess everyone's predicting ability, and Nate Silver is dodging it.

If you're interested in this subject, there's a non-mathematical discussion somewhere in Tetlock's book Superforecasting which is interesting in general.

zimablue··on Why we should care about the Nate Silver vs. Nassim Taleb Twitter war
Your second point is kind of confused. You don't need the prediction to coincide with the event, to judge the quality of the prediction. If I predict the elections for 2 years time then you can still judge whether I got it right or wrong. If I do that for multiple elections for multiple cycles, you can decide whether I'm a good forecaster.

If I then make another prediction that's always 1 year out, you can decide how good that prediction is and start to make a curve of how good my predictions are by how far out they are.

Taleb is saying that the blue line is so incorrect it's meaningless and deceptive and Nate should product a red line which is a real probability that he can actually be judged on.

zimablue··on Why we should care about the Nate Silver vs. Nassim Taleb Twitter war
To try and explain Taleb's argument as simply as possible: If someone tells you today that an event is 100% certain, and tomorrow tells you that it is impossible, then you intuitively will not trust their forecasting. If it's certain, then it's certain not to be impossible tomorrow

Now if someone tells you something is a 90% chance today, and a 10% chance tomorrow, again you don't trust their predictions.

There is a probability associated with "changes in probability". The probability of going from 100 to 0 should intuitively be 0%. The probability of going from 90 to 10 intuitively must be something like 20% (it's like 80 of the 90s "didn't happen", with a probability of 20).

A key point is that you can add this up every day, if something goes from 90->10->90 then it's even more unlikely than going 90->10.

So if you extend that intuition, put some real maths behind it, you can tell whether something is "likely to be a real probability" by the rate at which it changes. And if you have lots and lots of repeated predictions, you can be confident that something isn't a good probability (every timeseries has like a <10% chance of doing exactly what it does, so their combined probability [of being good probabilities] is like 0).

Now Nate Silver accepts this, but says that he's not actually putting a probability on the event in the future, but some non-existent "probability on that event in the future if the future was now". But that doesn't correspond to anything useful or measurable (it's untestable!!), and most people will assume it follows the normal meaning of probability, and it's honestly just silly.

zimablue··on Why we should care about the Nate Silver vs. Nassim Taleb Twitter war
I think he would say that the "nowcast" is so useless and deceptive to be malpractice, since everyone will interpret it as a forecast, and even if they didn't it's not in any way useful. Which I agree with (unsurprising since I've semi-invented it as an opinion for another person).
zimablue··on Berkson's Paradox
Implication is that anything within a company that gets you hired that isn't A is negatively correlated to A I guess, which is pretty interesting.

Looks, competence, workexp, interview skills, height, rich background, any positive discrimination, nepotism etc etc. All should be negatively correlated with eachother this. Although there are limits to the strength of the effect right, it depends on how much of a slice is being excluded and if the two variables have an enormous correlation that might outweigh it?

You'd also expect the effect to be stronger the more selective the environment (for each pair of variables). So if your place hires very strongly on looks and competence they'll be very negatively correlated.

Also it depends on the hiring policy, we're assuming some sort of (A+B) > C evaluation over things that they care about, but if it's (A>A0, B>B0, C>C0), pass all of those and you're in then this effect should be totally absent in those variables.

zimablue··on Setback in the outback
There are two levels where ultimately tech wins: 1: end to end cryptography is easier to make than break When what you're describing happens and it's banned, there's a level two technical solution: 2: put the software onto your machine in such a way that it's not possible to know that the software is on the machine without entering a specific code. Basically an at-rest encrypted volume, which looks like unwritten blocks. I'm not a crypto guy but that seems in principle impossible to detect or ban in the long run.
zimablue··on Berkson's Paradox
Which occurs when/because for whatever reason, samples with two negative traits are excluded, the example demonstrates it well: if P(a, b), P(~a, b), P(a, ~b), P(~b, ~a) all equal 0.25:

If you exclude the (~a, ~b) sample then within the population that remains it looks like a and b are negatively correlated. (p(a|~b) = 1, p(a|b)=0.5)

It's interesting because this is something that happens a lot => when dating, looks negatively correlate with niceness within people you date because you don't date people who are neither. Diseases in hospital populations are negatively correlated because if you don't have anything you're not in hospital.

zimablue··on Better Clojure formatting
Is there no way out, to run the formatter after the macros?
zimablue··on Absolute Beginner's Guide to Emacs (2012)
1. Kind of fair, it's better in some ways and worse in others. I would emphasise extensibility (this is after all an emacs thread) so I'd call it worse. You don't seem to dispute that it's a copy (in terms of engine/approach) 2. Same as 1, having read the issues and some of the source I stand by the statement. 3. Ask yourself why else Microsoft would build something 4. Fork it is naive to the point of being dishonest. You cannot outfork something with 10 professional developers, unless you're Stallman doing it full time.

You only disputed some of my points, "most people will download it with spyware", "it will damage existing more truly extensible efforts" seems to be a pretty key ones you haven't disputed. If only those two were true it would be enough for me to dislike it.

zimablue··on Absolute Beginner's Guide to Emacs (2012)
VSCode has very much opposing philosophy to Emacs. It's a Microsoft product and it shows, they don't have standard concept of buffers/windows, so trying to do customization is ugly.

For example, you can't easily implement a shell which moves around the windows and can also sit on a side, because windows and sidebars are totally different concepts in the code.

VSCode depresses the hell out of me, it's almost a summary of the bad things of open source. Open source but most people will download it with spyware Open source but not really built as a nice platform to be meaningfully extended Open source and controlled by a single company Open source and used cynically as a wedge to pull developers into your orbit Open source and not at all written from an extensible mindset, just enough extensibility to trap people in Open source and will dominate other offerings because it has a big name behind it, so damages atom/emacs/etc Open source and pretty much an inferior copy of an existing thing (Atom)

Developers who are proud of using VSCode baffle me, have a word with yourselves.

zimablue··on Clojure's missing piece (2017)
I think the reason why it's relevant in this context is that returning nested trees of data is very much "open by default". If you imagine the equivalent situation in a typed OO language, and someone returns "ComplexContainerClass". It would be idiomatic in that language that the properties and fields of that class are not publically modifiable, so something that is doing the equivalent of "find a 3-nested member of this instance and modify it", is not relevant for two reasons: 1. The set on that field is probably private 2. It's a mutable change, so you don't need something like a lense to modify it in an immutable way. So the term "data-oriented" does make sense in my opinion, because you return and receive data, and have complete license to arbitrarily modify it at any level of nesting. Not that other languages don't have/use data, but not in as exposed a way. Maybe primitive-oriented would be a better name.
zimablue··on Clojure's missing piece (2017)
The meaning of data oriented in this context is that it's idiomatic for functions to receive and return plain data (primitives like map, list). In most languages it's idiomatic to receive and return mostly your own defined classes.
zimablue··on Bogle Sounds a Warning on Index Funds
A lot of them outsource voting decisions to companies which exist just to aggregate the most "corporate/sensible" way to vote. So the parent saying "they're not activist investors" is probably true, but then every single vote proceeding along "maximise profit according to a consensus view" lines probably isn't great for society.
zimablue··on Clojure REBL [video]
I think if things have private state that can't be seen externally and that's idiomatic then there's a conflict, if not then there isn't. Do you think it's worth learning Smalltalk? Is it still possible?
zimablue··on Helsinki to Begin Anonymous Recruiting
Can you expand on which information you think should be included and might be being omitted under that scheme?
zimablue··on WhatsApp's chief business officer Neeraj Arora is leaving the company
I wish I could get myself to take the hit and uninstall all my surveillance capitalism but I'm taking a middle road approach => install signal, try to talk to my friends on signal > whatsapp > messenger, try to persuade people to move to signal. Has worked sometimes. I ask anyone else too weak to go detox to try the same thing.
zimablue··on US asks allies to avoid Huawei
This is a mental comparison. Leaving aside police gun deaths because that's it's own insane internal logic/world, do you think that black people in the US don't have more rights than Chinese citizens? So for example, what do you think would happen in both countries if a senior party official punched you on the street?
zimablue··on US asks allies to avoid Huawei
So that's a fair point, you're more concerned re UK/US because you are citizen/in a controlled country. I think that might be how a lot of people feel, and I agree. But can you see how for the equivalent guy living in someone firmly under China's influence they would be more scared of Chinese surveillance than you are of Five-Eyes? And that it would be further reaching in terms of what sort of actions might lead to repercussions?
zimablue··on US asks allies to avoid Huawei
Sorry I haven't written clearly so you've missed what I was saying. I mean that the privacy violations of the US are of a lower order than the industrialised scale of the Chinese, and not just collecting and filtering for terrorist flags but plugging into eg. citizen scores.
zimablue··on US asks allies to avoid Huawei
Aggressive than China with countries or individuals? Which country would you feel safer taking a vacation in, having insulted the premier in a viral tweet?
zimablue··on US asks allies to avoid Huawei
Really? Do you think the US government would use your information in a more or less restricted way than the Chinese? Would your answer change if you were: a) a citizen of the US, b) a citizen in China, c) a citizen of a country where china has massive influence, d) a citizen of a country where the US has massive influence, e) a citizen of a strongly independent country?

Your answer is so baffling to me that I checked whether you're a real person, and you seem to be. I'd be surprised if either China or the US launched a war because of your personal communications so the question seems to come more down to who you trust to abuse the information more/screw you in an unaccountable way.

zimablue··on US asks allies to avoid Huawei
Joseph Stalin: "This war in not as in the past; whoever occupies a territory also imposes on it his own social system. Everyone imposes his own system as far as his army can reach. It cannot be otherwise."

Substitute "army" "crushing economic leverage"

← PreviousPage 6 of 16Next →