jmaa · HackerTrans

jmaa

no profile record

comments

6 tahun yang laludiscuss

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 for fear of hurting someones feelings. It's obviously insensitive to say that OP is a bad person because he is doing one-on-ones, but it should be totally acceptable to say "this is weird (from my perspective), I can see several issues with this, I wouldn't personally do this, but you-do-you", and often "(from my perspective)" and "but you-do-you" parts are implied; their absence shouldn't necessarily be taken as proof of mocking.

(Disclaimer: I have no opinion on partner one-on-ones.)

6 tahun yang laludiscuss

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 fiddle with noscript before seeing static text.

6 tahun yang laludiscuss

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 implications for type safety and so on.

A classic example is that you can specify the 2-vectors on the unit circle as "{ (x,y) : x,y in R | x^2 + y^2 = 1 }" (read as "the set of real 2-tuples, where their norm is equal to 1".) This is not possible in most languages; the closest you can get in most languages is "{ (x,y) : x,y in R }".

My personal pet peeve with dependent types and proof-driven programming in general is the wealth of options in formulating propositions. I've seen at least five different ways of defining equivalency.

6 tahun yang laludiscuss

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, let's compare with Python: In Python, you can return multiple arguments as a tuple; it's not possible to have an optional return value without a lot of painful type matching and unpacking. In Lua you can:

  local result, errmsg  =  do_stuff()
  if not result then
    error("Error in do_stuff:"..errmsg)
  end
  print(result + 5)

If you don't want the error message, just remove ", errmsg", and it will work as expected. This is incredibly flexible, which is exactly what I want in my dynamic languages. In Python, you would get an type error when attempting to add together a tuple and an integer.

6 tahun yang laludiscuss

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 tongue, and it was indeed one of Luther's criticisms of the Catholic church.

6 tahun yang laludiscuss

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 reuses the frame. To add support for tracking the tail call stack frames, you would need to modify the compiler to output code that specifically keeps track of "elided tail call frames", and you would need to update the stack trace traversal code to be able to recognize the extra debug information.

Sure, it's something you could build into a new toolchain, but adding something like this to the JVM would be harder due to the constraints already placed on the JVM. Furthermore I don't know of such support in any toolchains, not even for Lua or Scheme, both of which guarantee tail call optimization. (If anybody has an example, please share!)

6 tahun yang laludiscuss

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.

6 tahun yang laludiscuss

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 far stretch that some facial recognition tech might contain deliberate hidden patterns in the future.

[1]: https://en.wikipedia.org/wiki/EURion_constellation

7 tahun yang laludiscuss

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 the machines are swiftly replaced when card standards are upgraded.

7 tahun yang laludiscuss

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 "a = b = c", we can rewrite as "a = a - a = 0". This obviously results in "a = b = c = 0".

EDIT: Modifying the proof above, it becomes apparent that this is a property of groups (most number systems are groups): Again "a + b = c", iff "a + a = a" iff "a + a + (-a) = a + (-a)" which is "a = e".

Note that addition over IEEE754 floats do not constitute a group, (in part) because "inf + inf == inf" evaluates to true.

7 tahun yang laludiscuss

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

- Monthly: Incentives variable, but generally low quality results (for slot machine psychology.)

- For each match/hookup/"real" relationship: Incentives results that produce relationships that last exactly long enough to be considered a match/hookup/"real" relationship.

- One-time upfront: Incentivize finding the best available candidate ASAP in order to save server costs.

- Monthly, cost propositional to success rate: Optimizing for some specific length of relationship that someone calculated to be optimal.

There are most likely other funding possibilities, and I've most likely misunderstood some rule of economics. Note that none of these optimize specifically for happiness in relationships, only for longevity.

7 tahun yang laludiscuss

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 people who are making laws.

7 tahun yang laludiscuss

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 predict.

This poses some difficult questions for science, given that most science up to now has been about predicting something, trying it and checking whether theory and practice matches.

7 tahun yang laludiscuss

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 people!) to exclusively monetary concerns.

This is as culturally daft as asking "why is Ireland such a problem for Brexit? Just build a wall!"

7 tahun yang laludiscuss

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.

Even if a user or $/yr minimum is implemented in law, then what happens as distributed and federated technology becomes more common? What does Mastadon or Scuttlebutt count as?

8 tahun yang laludiscuss

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 datatypes. Maybe he's just excited about being able to use CFGs in the cmdline?

8 tahun yang laludiscuss

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 slow string creation, but very fast equality checking and lookups, as it converts the problem to comparing integers.

8 tahun yang laludiscuss

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 way food is depicted nowadays.

Unrelated, I've encountered energy bars with an insect: Standard energy bars, but extra expensive and with minuscule amounts of insect. Selling cheap eco-friendly insects as an expensive "cool" gimmick is a cruel sort of irony.

8 tahun yang laludiscuss

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 least do it for the education.

8 tahun yang laludiscuss

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 instead of another?

If your aim is data representation, why not go for JSON, Lua table-notation or S-expressions? These do not need different syntax for sections, lists or field sets, but have very clear syntax for a few primary data structures, which you can them compose however you want.