| *** geaaru_ has joined #maemo | 00:23 | |
| *** geaaru has quit IRC | 00:23 | |
| *** geaaru_ is now known as geaaru | 00:24 | |
| *** luke-jr has quit IRC | 00:31 | |
| *** sl3dge__ has joined #maemo | 00:37 | |
| *** luke-jr has joined #maemo | 00:40 | |
| *** yoink has joined #maemo | 00:48 | |
| *** yoink has quit IRC | 00:53 | |
| *** dafox has quit IRC | 00:55 | |
| *** Kilroo has joined #maemo | 00:57 | |
| *** Pali has quit IRC | 01:03 | |
| *** xorly has quit IRC | 01:21 | |
| *** florian_kc has quit IRC | 02:09 | |
| *** Kabouik- has quit IRC | 02:12 | |
| *** Kabouik has joined #maemo | 02:14 | |
| *** eMHa_ has quit IRC | 02:38 | |
| *** infobot has quit IRC | 03:18 | |
| *** infobot has joined #maemo | 03:20 | |
| *** ChanServ sets mode: +v infobot | 03:20 | |
| *** jon_y_ has quit IRC | 03:20 | |
| *** jon_y has joined #maemo | 03:21 | |
| *** tm has quit IRC | 03:24 | |
| *** tm has joined #maemo | 03:27 | |
| *** Sousapro5 has joined #maemo | 03:33 | |
| *** Sousapro5 has quit IRC | 03:37 | |
| *** kloeri5 has joined #maemo | 04:04 | |
| *** kloeri5 has quit IRC | 04:09 | |
| *** Vajb has quit IRC | 04:19 | |
| *** Glyphie____ has joined #maemo | 04:33 | |
| *** Glyphie____ has quit IRC | 04:35 | |
| *** Vajb has joined #maemo | 04:41 | |
| *** Guest49740 has joined #maemo | 05:45 | |
| *** Kilroo has quit IRC | 05:47 | |
| *** Guest49740 has quit IRC | 05:48 | |
| *** Kabouik has quit IRC | 06:11 | |
| *** Kabouik has joined #maemo | 06:12 | |
| *** sparre_ has left #maemo | 06:23 | |
| *** sparre has joined #maemo | 06:23 | |
| *** pagurus` has joined #maemo | 06:59 | |
| *** pagurus has quit IRC | 07:01 | |
| *** Kabouik has quit IRC | 07:27 | |
| *** Kabouik has joined #maemo | 07:27 | |
| *** jurop has joined #maemo | 07:44 | |
| *** jurop has left #maemo | 07:44 | |
| *** spiiroin has quit IRC | 07:55 | |
| *** spiiroin has joined #maemo | 08:33 | |
| *** dafox has joined #maemo | 09:09 | |
| brolin_empey | https://www.jwz.org/blog/2018/08/dark-rock-of-mothrir-unsealed-javascript-has-integers-now/ | 09:11 |
|---|---|---|
| brolin_empey | Heh at the comment from margaret. I tried it myself and got the same result, with the type of r both double and float. | 09:11 |
| *** dingen has joined #maemo | 09:25 | |
| *** dingen is now known as dreamer | 09:26 | |
| *** ecloud is now known as ecloud_wfh | 09:47 | |
| *** jurop has joined #maemo | 09:50 | |
| *** dafox has quit IRC | 09:52 | |
| *** jurop has left #maemo | 10:08 | |
| KotCzarny | try 1.0/3 or 1/3.0 | 10:10 |
| *** eMHa_ has joined #maemo | 10:10 | |
| KotCzarny | otherwise compiler treats right side as only integers, and rounds it correctly to 0 | 10:10 |
| *** eMHa_ has quit IRC | 10:20 | |
| Maxdamantus | The sensible behaviour is for languages to not implicitly do arithmetic across different number types. | 10:23 |
| *** jurop has joined #maemo | 10:23 | |
| Maxdamantus | but afaik, the only well-known language to do that properly is Haskell, because it has HM type inference, which means you're not forced to write things like `1f/2f` | 10:23 |
| *** jurop has left #maemo | 10:23 | |
| KotCzarny | but most of all: people actually using those languages being aware of the details | 10:24 |
| KotCzarny | be it js, c or whatever | 10:24 |
| Maxdamantus | I hadn't heard of the BigInt proposal until now, but they're doing the right thing by enforcing the separation. | 10:25 |
| Maxdamantus | It would probably get a bit tedious though for languages that have more than two number types. | 10:25 |
| KotCzarny | you mean 'onenumber type' | 10:26 |
| KotCzarny | :) | 10:26 |
| KotCzarny | darn, my space is dying | 10:26 |
| Maxdamantus | Well, supposedly ES with BigInts already has two. | 10:27 |
| Maxdamantus | also, regarding that post, I suspect it would be a lot quicker to find the maximum size by just calling the `BigInt` constructor passing a string. | 10:30 |
| * Maxdamantus builds V8. | 10:32 | |
| Maxdamantus | oh, nvm about the string thing, the exponent itself is already very large. | 10:40 |
| Maxdamantus | but I'm guessing the test instructed it to print the number to the console, which might have been what was taking long. | 10:41 |
| KotCzarny | hehe | 10:42 |
| *** florian has joined #maemo | 10:58 | |
| *** xorly has joined #maemo | 11:03 | |
| *** jskarvad has joined #maemo | 11:20 | |
| *** Kabouik_ has joined #maemo | 11:25 | |
| *** eMHa_ has joined #maemo | 11:40 | |
| *** thomas_____ has joined #maemo | 12:18 | |
| *** spiiroin has quit IRC | 13:11 | |
| *** spiiroin has joined #maemo | 13:39 | |
| *** johtso has joined #maemo | 14:05 | |
| *** rud0lf21 has joined #maemo | 14:09 | |
| *** rud0lf21 has quit IRC | 14:09 | |
| *** merlin_1991 has quit IRC | 14:10 | |
| *** merlin1991 has joined #maemo | 14:10 | |
| *** johtso has quit IRC | 14:10 | |
| *** sixwheeledbeast^ has quit IRC | 14:10 | |
| *** tobypus` has quit IRC | 14:10 | |
| *** tobypus has joined #maemo | 14:11 | |
| *** sixwheeledbeast has joined #maemo | 14:12 | |
| *** Krenair13 has joined #maemo | 14:42 | |
| *** Krenair13 has quit IRC | 14:48 | |
| *** programmerq28 has joined #maemo | 15:45 | |
| *** programmerq28 has quit IRC | 15:50 | |
| *** xorly has quit IRC | 15:52 | |
| *** Trizt has quit IRC | 15:56 | |
| *** Trizt has joined #maemo | 15:56 | |
| *** geaaru_ has joined #maemo | 16:12 | |
| *** jurop has joined #maemo | 16:13 | |
| *** jurop has left #maemo | 16:13 | |
| *** geaaru has quit IRC | 16:14 | |
| *** geaaru_ is now known as geaaru | 16:14 | |
| *** speedevil is now known as SpeedEvil | 16:56 | |
| *** Kabouik_ has quit IRC | 17:09 | |
| *** ChanServ sets mode: +o Sigyn | 17:10 | |
| *** Kabouik_ has joined #maemo | 17:11 | |
| *** APLU5 has joined #maemo | 17:11 | |
| *** APLU5 has quit IRC | 17:18 | |
| *** drrty has quit IRC | 17:48 | |
| *** drrty has joined #maemo | 17:49 | |
| *** Trizt has quit IRC | 18:12 | |
| *** Trizt has joined #maemo | 18:18 | |
| *** Pali has joined #maemo | 18:22 | |
| *** trx has quit IRC | 18:29 | |
| *** delphi has joined #maemo | 18:29 | |
| *** dafox has joined #maemo | 18:52 | |
| *** drrty has quit IRC | 19:10 | |
| *** drrty has joined #maemo | 19:10 | |
| *** Trizt has quit IRC | 19:23 | |
| *** Trizt has joined #maemo | 19:24 | |
| *** dafox has quit IRC | 19:26 | |
| *** Natch has quit IRC | 19:37 | |
| *** eMHa_ has quit IRC | 19:40 | |
| *** Kabouik_ has quit IRC | 19:41 | |
| *** Natch has joined #maemo | 19:43 | |
| *** florian has quit IRC | 19:48 | |
| *** dafox has joined #maemo | 20:04 | |
| *** povbot has joined #maemo | 20:29 | |
| *** pagurus has joined #maemo | 20:29 | |
| *** Maxdamantus has quit IRC | 20:30 | |
| *** Maxdamantus has joined #maemo | 20:30 | |
| *** grinsekatze has joined #maemo | 20:30 | |
| *** qwazix has quit IRC | 20:34 | |
| *** qwazix has joined #maemo | 20:34 | |
| *** geaaru has quit IRC | 20:49 | |
| *** jskarvad has quit IRC | 20:57 | |
| *** Kabouik_ has joined #maemo | 21:04 | |
| *** Kabouik has quit IRC | 21:07 | |
| *** ChanServ has quit IRC | 21:16 | |
| *** ChanServ has joined #maemo | 21:22 | |
| *** sinisalo.freenode.net sets mode: +o ChanServ | 21:22 | |
| *** eMHa_ has joined #maemo | 21:31 | |
| *** lostnord has joined #maemo | 21:43 | |
| *** Kabouik- has joined #maemo | 21:45 | |
| *** Kabouik_ has quit IRC | 21:48 | |
| *** lostnord has quit IRC | 21:48 | |
| *** geaaru has joined #maemo | 21:56 | |
| *** Trizt has quit IRC | 21:58 | |
| *** Trizt has joined #maemo | 22:07 | |
| *** florian has joined #maemo | 22:17 | |
| *** Trizt has quit IRC | 22:17 | |
| *** florian has quit IRC | 22:18 | |
| *** florian has joined #maemo | 22:18 | |
| *** Maxdamantus has quit IRC | 22:18 | |
| *** Trizt has joined #maemo | 22:23 | |
| *** delphi is now known as trx | 22:23 | |
| *** jon_y has quit IRC | 22:43 | |
| *** jon_y has joined #maemo | 22:44 | |
| *** Maxdamantus has joined #maemo | 22:44 | |
| *** Maxdamantus has joined #maemo | 22:44 | |
| *** freemangordon has joined #maemo | 23:17 | |
| *** xorly has quit IRC | 23:32 | |
| *** esaym153 has quit IRC | 23:57 | |
| *** esaym153 has joined #maemo | 23:58 | |
Generated by irclog2html.py 4.0.0 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!