mafribe

26 ms·

211.
by mafribe 10y ago
the renter pays more than And why is this a problem? The landlord takes on administrative hassle, and -- more importantly -- risk, for example - Can't rent out the property. - Property needs to undergo repair. - Tenants don&#x
212.
by mafribe 10y ago
lot of money we got for That's politically rather naive POV, the money was essentially a defence against the Soviet Union. worth a lot more nowadays. About 12 billion, so not much.
213.
by mafribe 10y ago
a lot of financial aid Which financial aid have you got in mind? East Germany was basically cleared by the Soviet Union. The Marshall Plan went mostly to the UK and France, only a small part (11%) went to West Germany.
214.
by mafribe 10y ago
What kinds of VC deals are they offering? What are they looking to fund?
215.
by mafribe 10y ago
generating the data alone Manus manum lavat.
216.
by mafribe 10y ago
This is indeed an important narrative, but it's not a priori clear that you can infer from "the forests are alive and healthy in 2017" to "If we had not instituted limits on sulfur pollution in the 1980s, the fores
217.
by mafribe 10y ago
this is not the case in many places around the world. Uber has one gigantic advantage over all local taxi services from the custormer's point of view: Uber's unified, location-independent interface. You put in your cr
218.
by mafribe 10y ago
Where's the problem? If that $1 million came from public sources, then the data should have been shared from day one. If others use the data they should put the originators on the data as coauthors on the resulting papers.
219.
by mafribe 10y ago
"2nd iceage" and "uncontrollable acid rain" doom and gloom. It would be an interesting object of study in the history of science to look at old papers in these fields, and at the structure of funding, who wa
220.
by mafribe 10y ago
Could you give examples of this. Example of what? The standard text on the subject [1] says there are no known instances of slave revolts in antiquity that sought to abolish slavery as an institution. If you know counterexamples, I
221.
by mafribe 10y ago
distortion of your ethics It's interesting to reflect on the fact that there were many slave revolts in antiquity, but the revolting slaves did not seek to abolish slavery, they merely wanted to stop being slaves and have thei
222.
by mafribe 10y ago
Previous discussion: https://news.ycombinator.com/item?id=10440526
223.
by mafribe 10y ago
One of the co-founders of DeepMind (Shane Legg) has provided the following definition of intelligence: "Intelligence measures an agent’s ability to achieve goals in a wide range of environments" in [1]. This definition has been p
224.
by mafribe 10y ago
Interesting. This way you get an upper bound on the Kolmogorov complexity of any given string. Do you know how good this approximation is in the worst/best/average case? This sounds like the kind of question that would have been i
225.
by mafribe 10y ago
The concept of Kolmogorov complexity can be extended to infinite strings, see e.g. L. Staiger's _The Kolmogorov complexity of infinite words_ ( https://www.sciencedirect.com/science/article/pii/S030439750.
226.
by mafribe 10y ago
I just talked to a former student of mine, who said their startup can't hire senior programmers with relevant experience in the UK, despite offering £160k per year. A colleague of mine has a new startup on the side, and he says he can&
227.
by mafribe 10y ago
The best programmers I've met created ML, Scala and Haskell.
228.
by mafribe 10y ago
Almost all slave rebellions ended in failure, Interestingly most slave rebellions were not about the abolition of slavery as an institution but about flipping the slave/slaveholder role. An interesting recent example of th
229.
by mafribe 10y ago
I'm not denying that some work has enobling aspects (e.g. social recognition (in various forms)), but much work doesn't. Speaking from years worth of bitter experience ... Moreover there is probably quite a bit of rationalisation
230.
by mafribe 10y ago
Is that "certain perspective" interesting? Nobody wants to work that's a given that doesn't need to be argued, whence work needs incentives (in a generalised sense) from salary to force. Most human labour has historicall
231.
by mafribe 10y ago
I'm not sure what you mean. Human labour has utility, that why we work.
232.
by mafribe 10y ago
Not the OP, but one might argue that slavery disincentivises the slave-holder from innovating the labour process. The (Nietzschean?) counterargument here is that slave-labour enables division of labour and frees enough from non-specialised
233.
by mafribe 10y ago
How does this deal with non-termination? Eg. declare x (must_use); P; use(x) (I apologies for the non-Rust-conforming pseudo-code.) The type-checker won't be able to tell if P terminates or not, whence x's use can&#x
234.
by mafribe 10y ago
Thank you for your interest. I'm afraid I have nothing in public. The technology is near trivial, mostly scripts to generate HTML5/CSS on demand, and grep for searching. The magic comes from how I use it. Short summary. - Write d
235.
by mafribe 10y ago
Rust has affine types. Linear = exactly once, affine = at most once.
236.
by mafribe 10y ago
Another option is affine types that give you "at most once" semantics, in contrast to linear types' "exactly once". If your language has non-termination then affine is easier to enforce. (Cf Rust.)
237.
by mafribe 10y ago
Egged on by Luhmann, whom I read obsessively in my youth, I started a Luhmann-like hyper-text. Been doing it for a long time now. There are several implementations based on Luhmann's Zettelkasten, e.g. [1, 2, 3], but I've not
238.
by mafribe 10y ago
The article mentions a roman cathedral bigger than St Paul's. Where can I find more information about this?
239.
by mafribe 10y ago
Nice work, I hope this will eventually be a serious alternative to the JVM route. Quick question: does this compile down to DOT before going to LLVM? Or has DOT not yet arrived in Scala Native?
240.
by mafribe 10y ago
Can't speak for the others, but by merely saying "please don't think I'm being rude ..." you explicitly remind the other side that being rude is an option, and that what follows should not be taken literally. Indeed

More ›