u/Daejo

On my system at least, the floating-point exponentiation gives the correct answer:

int(2**500.) == 2**500

The guy behind this is the same guy who made Craft

You say you can have Agda/Coq/Idris-style type systems, but none of the links you give (as far as I can see) are dependently typed..?

Homespring disposes of the outdated notion of syntax, taking the burden of program design off the shoulders of the programmer and putting it nowhere in particular.

Is Turing completeness really necessary? (I'm thinking about Agda, Idris or similar here)

Why lisp? Why not Haskell/Agda/Coq/Idris or something?

100% the Haskell approach. Just because operators start with the same symbol, doesn't mean that they should have the same, or even similar precedence. F#'s approach, I feel, is very limiting. Perhaps you could do some compromise, such as using F#'s approach if no precedence is specified.

Oh awesome! Thank you. Would you say it's worth levelling to 60? I'm not sure how the time taken to do that (with no heirlooms, of course) compares to the time taken to train professions

A more recent gem: https://twitter.com/officialjaden/status/505187394724069377

Speaking of which, no posts for a month? :P

That's incredible

*Prolog?

I use it for Haskell & Python

import timetravel

You can masturbate with your feet?!

Damnit.

Are you US or EU?

I'm about to actually read the post (and it looks really interesting!), but oh my god. I just expanded this in RES and all the videos started autoplaying simultaneously. Absolute clusterfuck.

The title makes it.

E.g.: +(highest resistance/100)% Damage

?

That would be the best item. I'm constantly struggling for dust

Some of these are really good! Obviously some are OP, but that's the fun of it

So, Nephalem Valor?