mafribe

23 ms·

181.
by mafribe 9y ago
explain the fixed point idea The Yanofsky paper explains is in quite gentle a manner. The key insight behind Lawvere's abstract framework to paradoxa is the the general existence of certain fixpoints. Definition. We say that
182.
by mafribe 9y ago
If you have a math-background, category theory is easy to learn, as it's merely a trivial (in retrospect, but not in prospect) generalisation of existing mathematics. It's basically the abstract theory of binary associative '
183.
by mafribe 9y ago
The author of this book also runs the Omega Tau podcast [1] that should be of great interest to many HN readers. [1] http://omegataupodcast.net
184.
by mafribe 9y ago
Almost all papers in the syllabus are at least 10 years old. That is surprising for such a specialised course, given that the last decade has seen a great deal of work in this space.
185.
by mafribe 9y ago
I was expressing myself sloppily, sorry. You still can use many things in the JVM ecosystem because you can compile (most of) scala.js not only to Javascript but also to the JVM, and then analyse the code with JVM specific tools like fuzzer
186.
by mafribe 9y ago
I'd be interested to learn how web-dev in OCaml->JS compares to web-dev with Scala.js. The latter has the amazing JVM eco-system to hand. (I'm not interested in a Scala vs Ocaml language comparison. I know both languages very w
187.
by mafribe 9y ago
Parser combinators tend to work by recursive descent, so cannot handle left recursive grammars [1], and tend to be really slow. The latter is not a problem for many applications, but removing left recursion can be irritating even for small
188.
by mafribe 9y ago
That list is pretty ad-hoc, and doesn't seem to be carefully curated. Fair enough, one has to start somewhere, but ... There is clearly a great deal of overlap, e.g. Minimum Description Length, algorithmic complexity and information th
189.
by mafribe 9y ago
write bad code [...] which you will later throw away Implementing a quick & dirty prototype, throwing it away and reimplementing it from scratch is not such a bad software engineering techique: first time to understand th
190.
by mafribe 10y ago
Is your Masters dissertation online? I'd be interested in reading it.
191.
by mafribe 10y ago
Have you learned something? Hmmm. I think you are defending a belief system against a principled challenge by looking away. That is a labour saving device and convenient. The rhetorical device you've used in the last reply include &q
192.
by mafribe 10y ago
Regarding work, almost nobody does "what they want", we find some compromise between our interests, abilities, and available work opportunities. Work is often understood to be that which we don't do voluntarily. you have
193.
by mafribe 10y ago
Yes. And it's perfectly rational and advisable for prostitutes to move from legal systems where prostitution is illegal (hence dangerous) to legal systems where it is legal (hence safe).
194.
by mafribe 10y ago
What makes "journalistsresource.org" a credible resource? It's located at Harvard Kennedy School of Government which is basically an "elite factory" for the (re-)production of the US political elite -- just look at
195.
by mafribe 10y ago
The existence of trade is a strong indication that preference and choice was still available -- for why bother exchanging things otherwise. I suggest reading the R. A. Radford paper that I linked in another answer, it's really fascina
196.
by mafribe 10y ago
This argument suggests that everybody has the same preferences, which is ... a daring assumption. For example sharing your meat with a vegetarian isn't exactly useful.
197.
by mafribe 10y ago
There is an interesting article on this subject " The Economic Organization of a P.O.W. Camp " by R.A. Radford [1]. This makes me think how exchange is deeply engraved in human nature. Or maybe the inmates had a
198.
by mafribe 10y ago
What reason is there to believe that Wu (aka John Walker Flynt) and the businessinsider report are credible sources? There are financial interest at play here that I'm not being given sufficiently strong reasons to ignore. https:&#x2
199.
by mafribe 10y ago
Are you not assuming that research is infallible and settles such a controversial matter once and for all?
200.
by mafribe 10y ago
as they can't get their own. As I said, it's important that not everybody who might be able to afford monthly rates gets a mortgage, for otherwise you'd get too many defaults, leading to financial instability. And v
201.
by mafribe 10y ago
keeps people renting for longer. That's perfectly compatible with moving a lot. A lot, This has nothing to do with renting vs owning, or even with second mortgages, but is primarily because supply of dwellings did not
202.
by mafribe 10y ago
The main problem with laziness is that, according to SPJ "[l]aziness makes it much, much harder to reason about performance, especially space."
203.
by mafribe 10y ago
Highly leveraged buy-to-let empires No, au contraire, house-acquisition should always come with a substantial deposit.
204.
by mafribe 10y ago
who the hell do you think is paying Typically a collection of ever changing tenants, few of whom are in the position to manage, or even interested in managing a long-term investment like a dwelling. should already have propert
205.
by mafribe 10y ago
Does this handles concurrency properly?
206.
by mafribe 10y ago
young buyers get priced out It's good that younger people can't easily buy property. They have a substantially higher risk of financial irresponsibility. As dwellings are pretty much the biggest financial investment we ma
207.
by mafribe 10y ago
What you are arguing for is zero deposit mortgages. They are a terrible idea, because they encourage irresponsible risk taking in two ways: - People who are not stable enough to be able to carry a mortgage until it's paid off suddenly
208.
by mafribe 10y ago
generation X will almost not be buying a home for until their late 30s. Why is that a problem? Assuming the usual repayment schedule of 25-30 years, that means the houses are paid off before retirement, i.e. before they stop ha
209.
by mafribe 10y ago
buy your own house But we were discussing buy-to-let? The question was: is buy-to-let cruel exploitation of the tenant or not.
210.
by mafribe 10y ago
crowd out the market Which market? To a pretty good approximation, most people live in exactly one property. If they own more, they rent out the surplus. (Please don't What-About-XYZ me with exceptional cases like billion

More ›