Ben Lerner

Is `thunk: ... end` any better than `lam(): ... end`, which already exists?

From http://www.joseprio.com/blog/2013/04/27/biginteger-libraries-for-js/ (which, admittedly, is old): some bigint libraries that might be faster (by some constant factor, I'd guess, not an algorithmic change) than our current library: https://silentmatt.com/biginteger/ https://github.com/Evgenus/BigInt/blob/master/src/BigInt.js

This has now bitten one of the simulations being developed in Physics today: air resistance, which is proportional to velocity squared, implies that fractions roughly double in length (#digits of...

I think that's a non-sequitur: the problem seems to be in the allocation of absurdly many digits of precision, not the computations themselves (which look like they are already written...

I don't see how Stopify would be related to this...it provides the stop button, not the jsnums library. Failing over from exact rationals to roughnums seems like a winning compromise,...

Unclear -- they're _ints_ and not _decimals_, so we would still have a lot of trouble implementing all the numeric operations.

I don't think fold is too jargon-y, since it's not a made-up word and I always have the mental picture of folding up a list as a long strip of...

It's worse than that, actually. I'm pretty sure `raises` matches against the `to-string` output of your error, which is the console text rendering, not the rich HTML rendering. I've been...

(I've edited your comment so that it contains spaced-out triple quotes instead. Now it renders better.) I pretty much frustratedly hate everything about triple-quoted strings :( They don't lex well,...

Proposal: Docstrings lex and know the starting column number of the first backtick. They de-indent all lines by that amount. Anything that's outdented further than that leads to a well-formedness...