Viewing profile — jmaa

Well, depends what he means with "your"; OP specifically, or an arbitrary person? Because I think we are getting dangerously close to shooting down useful criticism and discussion …

Apparently the developers are reading this thread, so I have a request: Please reduce your website's dependence on javascript. Doesn't leave a great impression when I need to fiddl…

No; lookup Calculus of Construction. Dependent types allows you to specify an dependence between different values in your type directly within your type system; which has great imp…

I do not really agree with the article's (implied?) statement that multivalues are an ugly part of Lua. It's subtle yes, but like most of Lua, is incredibly consistent. For example…

Pedantic point: The whole "reading the bible in Latin" is a very Catholic thing (and maybe Orthodox?). The Protestant churches I've been in has read from the bible in the native to…

Well, yes, it would be that hard. The whole idea with tail call elimination is that a stack trace shouldn't be able to see the frames for the tail calls, because the tail call reus…

Thanks. It is easy to forget how much reporting is specifically about the US, and that a lot of the rest of the world doesn't really have the same problems.

That sounds more realistic than one might expect. Most printers will apparently reject printing of patterns containing the EURion pattern [1], commonly found on paper cash. Not a f…

May be a similar system to Denmark, where one of the major POS system sellers operator sort-of on a subscription basis. The retailers don't own the card machines themselves, but th…

Not sure where you get those weird infinity results from, but the "a = b = c = 0" solution is easily show: Note that "a + b = c" implies "b = c - a", and given our assumption that …

Thought experiment on funding models for dating sites, assuming omniscience (exclusively regarding relationship longevity, and success rate of services): - Monthly: Incentives vari…

Remember, states (and multistates) are large collections of people. The people who are negotiating the contracts with companies are most likely several steps removed from the peopl…

The word "predictable" implies "deterministic", but they are not identical. The universe can be governed by strong deterministic laws, while being too complex to simulate and thus …

Having lived in Denmark for 20 years, I find this in many ways reprehensible. Cooking down the complex geopolitical problem of whether to sell a large piece of territory (with peop…

I'm really conflicted at this. I do not want the internet to be censored, but at the same time, I think that big internet companies are making the world worse through inaction. Eve…

I don't see the difference between this and any other Context-Free Grammar specification language. Yacc is an industry standard, and even SNOBOL4 (1967) had first-class CFG datatyp…

Slightly related: Lua will intern every string ever created, that is two strings are equal if and only if their pointers (as represented internally) are identical. This results in …

I haven't read the article, but one reason may be the unappetizing portrail. The photographs in this article are bleak and chaotic, in sharp contrast to the colorful and organized …

I'm with you on Functional Languages being solid and useful, I've done quite a lot of work in Standard ML, but the parent's point wasn't only do it for the education, it was at lea…

What non-indented markup languages gain by avoiding indentation, they lose in succinctness. What is the difference between a section, a list, and a field set? When would I use one …

> Excited to see that finally someone has written an imperative language in a functional runtime. Normally it's the other way around - countless Lisp implementations running in C, …

Well, it's a trade-off between comfort and privacy. You should self-host what you are capable of and deem of higest importance / privacy. To upgrade from gmail, you don't even to j…

Go was explicitly designed to be a simple language, without a rich tapestry of data structures to suit every use case. Languages are like tools. If you need a saw, use a saw, inste…

I already have issues with my smartphone's drain-rate. Withstanding the issue of a huge ledger, you don't what to be mining on your smartphone.

This is one of the reasons I love Lua. I'm constantly pleasantly surprised by Lua. It defines a few simple primitives, and allows you to do whatever you want with them, even to the…