00:04:25 -!- hppavilion[1] has quit (Read error: Connection reset by peer). 00:14:52 -!- `^_^v has quit (Ping timeout: 260 seconds). 00:25:03 -!- jaboja has quit (Read error: Connection reset by peer). 00:30:15 :D 00:34:20 Sgeo: eventually Go will mean All Things, but not yet. 00:37:27 -!- Akaibu has quit (Quit: Connection closed for inactivity). 00:39:49 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 00:48:30 -!- centrinia has quit (Quit: Leaving). 00:56:44 oerjan, just need to add a d? 00:57:03 [According to some people I guess] 00:57:09 pooch! 00:58:30 Sgeo: nah, you'd have to remove it. just a simple sound change... 00:59:21 which incidentally is how no:god is pronounced. 00:59:45 (it doesn't mean God, however.) 01:09:03 Have you tested whether the Node.js "left-pad" package or my own JavaScript leftpad implementation (I won't publish it as a package because it is too short) is faster and/or use less memory (possibly depend on circumstances)? 01:09:37 zzo38: Why don't you make it longer, so that it's justified to publish it as a package, and then publish it as a package? 01:09:50 Anyway, you would be the person to test. 01:09:58 -!- Zekka has quit (Ping timeout: 252 seconds). 01:10:34 I don't want to make it longer; it is supposed to be shorter. 01:11:23 I found at least two left pad packages which claim to be the fastest. 01:11:33 `? hydra 01:11:37 This is my implementation: const leftpad=(x,y,z)=>(String(z||" ").repeat(y)+x).slice(-y); 01:11:39 The hydra is at http://www.madore.org/~david/math/hydra0.xhtml , the dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.o 01:12:04 zzo38: Please take inspiration from the project list at https://www.npmjs.com/package/ansi-red 01:12:12 It can be made a package (replace "const leftpad=" with "module.exports=") but I don't want to. 01:13:16 `` tail -c +100 wisdom/hydra 01:13:17 e.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem 01:13:34 shachaf: And I think there is no point each one is a separate package. 01:14:41 (But, I do not recommend deleting any packages which have dependents, even if they were bad ideas to publish those packages at first) 01:15:04 zzo38: The best system is to put all your code in one big repository. 01:15:21 Then you can see what depends on what package, and you can remove packages easily. 01:16:13 I put each program a separate package. Of course you can do whichever way you want for your own packages though. 01:19:49 i can see ways of shortening `? hydra, but not enough, unless some of the urls have shorter versions. 01:22:17 hm or can i... 01:22:44 Do you want to keep the links clikable? 01:23:36 http://www.madore.org/~david/weblog/d.2008-03-{27.1537,16.1534.ordinaux-et-hydres}.html is an option. 01:24:17 `slwd hydra//s/[Tt]he //g;s/ (is )?at/:/g 01:24:20 wisdom/hydra//hydra is at http://www.madore.org/~david/math/hydra0.xhtml , dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikip 01:24:44 shachaf: i don't think non-clickable links are nice 01:24:56 How about redirecting links? 01:24:57 wat 01:25:23 Oh, I thought https://en.wikipedia.org/Goodstein's_theorem would redirect to /wiki/ after showing an ugly error. 01:25:30 But it just gives you a link, no automatic redirect. 01:26:08 `slwd hydra//s/ \(is \)?at/:/g 01:26:08 Well, you can make fizzie host a #esoteric URL shortener. 01:26:09 wisdom/hydra//hydra is at http://www.madore.org/~david/math/hydra0.xhtml , dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikip 01:26:16 dammit 01:26:25 `slwd hydra//s/ (is )\?at/:/g 01:26:27 wisdom/hydra//hydra is at http://www.madore.org/~david/math/hydra0.xhtml , dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikip 01:26:38 `slwd hydra//s/ \(is \)\?at/:/g 01:26:41 wisdom/hydra//hydra: http://www.madore.org/~david/math/hydra0.xhtml , dire hydra: http://www.madore.org/~david/math/hydra.xhtml , theory: http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/ 01:26:42 I always pronounce vegan Vegan in text, and it is always confusing 01:26:58 `slwd hydra//s/hydra: // 01:27:02 fizzie: What if there was something on its own origin that served HackEgo-hosted files as text/html? 01:27:03 wisdom/hydra//http://www.madore.org/~david/math/hydra0.xhtml , dire hydra: http://www.madore.org/~david/math/hydra.xhtml , theory: http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Go 01:27:26 oerjan: please make wisdom entries start with the word they're wisdomming 01:27:40 oerjan: see `learn and the wisdom database for examples of how it should work 01:27:41 shachaf: i am trying to get it short enough dumbass 01:27:42 hth 01:27:50 whoa whoa whoa 01:27:53 no need for insults 01:27:55 however, i miscalculated 01:28:07 the whole joke was that you always tell people to do that 01:28:08 or wait, no 01:28:12 so now i'm telling you to do that 01:28:12 `? hydra 01:28:13 http://www.madore.org/~david/math/hydra0.xhtml , dire hydra: http://www.madore.org/~david/math/hydra.xhtml , theory: http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_th 01:28:31 shachaf: Not enough hth 01:28:32 darn still missing 5 01:28:39 oh right: 01:28:45 s/ hydra// 01:28:54 `slwd hydra//s/ hydra// 01:28:57 wisdom/hydra//http://www.madore.org/~david/math/hydra0.xhtml , dire: http://www.madore.org/~david/math/hydra.xhtml , theory: http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstei 01:29:03 `? hydra 01:29:05 http://www.madore.org/~david/math/hydra0.xhtml , dire: http://www.madore.org/~david/math/hydra.xhtml , theory: http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem 01:29:08 yay! 01:29:51 Wait, when you were running the hydra for so-and-so many iterations, were you talking about the regular or the dire hydra? 01:31:15 Also I think you were pretty rude just then. 01:31:32 I don't know if there are any Node.js packages that do nothing except export a number or string (not even a function or other object). This would be the even more stupid kind of package. 01:32:39 the whole joke was that you always tell people to do that <-- sorry, but i don't get jokes when frustrated hth 01:33:27 shachaf: dire hth 01:33:32 apparently you get nasty instead hth 01:36:23 anyway i'm off goodstein sequences 01:36:31 TREE is much better 01:36:36 "The TREE sequence begins TREE(1) = 1, TREE(2) = 3, then suddenly TREE(3) explodes to a value so enormously large that many other "large" combinatorial constants, such as Friedman's n(4),[*] are extremely small by comparison.[1] A lower bound for n(4), and hence an extremely weak lower bound for TREE(3), is A(A(...A(1)...)), where the number of As is A(187196),[2] and A() is a version of Ackermann's func 01:36:42 tion" 01:37:02 and the definition is v. simple 01:37:04 it's great 01:38:24 Good ol' Kruskal 01:48:00 "The hydra currently has: 0 segments, 0 heads, and depth 0. Hercules has cut 165 heads so far." 01:48:07 Defeated the dire hydra in 165 clicks. 01:48:10 p. good imo 01:49:22 Quite 01:54:26 -!- Zekka has joined. 01:55:24 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:25:53 -!- tromp_ has joined. 02:33:15 -!- Akaibu has joined. 02:42:31 -!- tromp_ has quit (Remote host closed the connection). 03:00:07 -!- tromp_ has joined. 03:27:45 -!- Jafet has joined. 03:38:21 -!- hppavilion[1] has joined. 03:38:27 I move that we make today's xkcd a thing 03:39:59 -!- augur has quit (Remote host closed the connection). 03:47:45 -!- augur has joined. 03:58:38 FreeUHS is now available here: http://zzo38computer.org/fossil/freeuhs.ui/ 04:02:22 -!- augur has quit (Remote host closed the connection). 04:23:21 Do you like this? 04:30:32 -!- Jafet has quit (Quit: WeeChat 1.5). 04:35:43 -!- Kaynato has quit (Read error: Connection reset by peer). 04:51:42 -!- Jafet has joined. 04:54:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 04:54:40 -!- oerjan has quit (Quit: Nite). 04:55:15 -!- miketo has quit (Ping timeout: 276 seconds). 04:56:01 -!- miketo has joined. 05:11:38 TREE(SSCG(factorial(TREE(3)+1)+1)+1) would be how much compare with many other kind of large numbers approximately? 05:12:54 What are TREE and SSCG? 05:13:43 -!- Jafet has quit (Read error: Connection reset by peer). 05:14:43 Wikipedia mentions what they are if you look up TREE(3) and SSCG function. 05:18:38 Why is SSCG defined? 05:20:04 Oh I misread 05:20:26 SSCG is some kind of card game, it sounds like. 05:20:37 -!- contrapumpkin has joined. 05:21:23 They have list of large number it includes SSCG(3) also, which is even more larger than TREE(TREE(TREE(TREE(3)))) and so on, I think 05:21:45 -!- tromp_ has quit (Remote host closed the connection). 05:23:51 -!- copumpkin has quit (Ping timeout: 276 seconds). 05:29:12 -!- Jafet has joined. 05:33:56 zzo38: SSCG presumably dominates that expression by far. 05:34:07 So the rest would be rounding errors. 05:49:06 -!- miketo has quit (Quit: Leaving). 05:55:45 <\oren\> The stabber has been identified 05:56:02 Jafet: hi Jafet 05:56:13 long time no fet 05:56:45 Now FreeUHS has find function (including optionally can be use with regular expressions, and optional full-text search), as well as a history menu, and a bug fix 06:04:04 I don't know if OpenUHS or the official programs support regular expression searches, but I guess not (maybe you know better though?) 06:07:55 -!- augur has joined. 06:15:41 I was feeling a little too mainstream 06:15:54 Can you elaborate? 06:22:45 -!- tromp_ has joined. 06:27:00 -!- tromp_ has quit (Ping timeout: 250 seconds). 07:23:34 -!- augur has quit (Remote host closed the connection). 07:44:25 `? commutative diagram 07:45:00 commutative diagram? ¯\(°​_o)/¯ 08:05:55 -!- hppavilion[1] has joined. 08:06:55 `? diagram 08:07:06 diagram? ¯\(°​_o)/¯ 08:07:13 `learn A diagram is just a functor. 08:07:22 Learned 'diagram': A diagram is just a functor. 08:08:31 -!- augur has joined. 08:56:04 -!- augur has quit (Read error: Connection reset by peer). 08:56:08 -!- augur has joined. 09:18:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 09:23:15 -!- tromp_ has joined. 09:27:31 -!- tromp_ has quit (Ping timeout: 240 seconds). 09:38:18 -!- almightynsx has joined. 09:43:12 -!- LKoen has joined. 09:43:29 im back! 09:44:52 `welcome almightynsx 09:45:00 almightynsx: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 09:46:42 hurray!.. 09:46:52 i want friends.... 09:47:01 hurray!... 09:59:51 -!- Zekka has quit (Ping timeout: 264 seconds). 10:03:00 -!- Phantom_Hoover has joined. 10:51:22 -!- LKoen has quit (Remote host closed the connection). 10:57:27 -!- LKoen has joined. 11:11:10 -!- hppavilion[1] has joined. 11:25:52 -!- keemyb has quit (Quit: https://fnordserver.eu). 11:32:53 -!- boily has joined. 11:46:05 -!- LKoen has quit (Remote host closed the connection). 11:46:21 helloily 11:46:26 -!- LKoen has joined. 11:46:58 QUINTHELLOPIA! 11:47:08 @massages-loud 11:47:08 Jafet asked 4h 39m 32s ago: ahoyly. I'm in a hot, humid clime. 11:47:44 @ask Jafet Jafellot. what are your approximative geographic coördinates and body weigh? 11:47:44 Consider it noted. 11:48:08 `wisdom 11:48:21 spam//Spam is a delicious meat product. See http://www.spamjamhawaii.com/ 11:53:56 wellob_jonas. 11:54:43 -!- keemyb has joined. 11:55:20 `relcome keemyb 11:55:30 ​keemyb: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 12:12:21 get to work! 12:13:18 -!- augur has quit (Quit: Leaving...). 12:25:25 -!- tromp_ has joined. 12:26:27 * boily goes to work 12:26:35 -!- boily has quit (Quit: SAFE CHICKEN). 12:30:14 -!- tromp_ has quit (Ping timeout: 260 seconds). 12:51:26 Remember kids: Chicken may seem fun, but remember to be safe 12:53:16 is that a Zelda thing? 12:55:36 -!- almightynsx1 has joined. 12:56:46 -!- almightynsx has quit (Ping timeout: 250 seconds). 13:33:55 Yesterday evening my phone told me it was shachaf's birthday 13:33:59 I have no idea what made it think that 13:34:01 shachaf, happy shachafday for yesterday evening 13:45:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 13:46:58 -!- gamemanj has joined. 14:00:58 -!- keemyb has quit (Quit: https://fnordserver.eu). 14:04:45 -!- hppavilion[1] has joined. 14:04:50 -!- centrinia has joined. 14:21:04 -!- Sgeo has quit (Ping timeout: 250 seconds). 14:29:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 14:34:57 lel 14:39:00 -!- keemyb has joined. 14:40:24 -!- `^_^v has joined. 14:42:00 -!- tromp_ has joined. 14:46:43 -!- tromp_ has quit (Ping timeout: 252 seconds). 14:50:45 s/cken/ldren/g 15:14:00 `pbflist 15:14:08 pbflist: shachaf Sgeo quintopia ion b_jonas 15:16:33 hmm...of those only shachaf and b_jonas have a point of presence here 15:17:03 @tell Sgeo pbf updated 15:17:03 Consider it noted. 15:18:25 @tell boily My longitude is simply my body weight east of Rwanda. 15:18:25 Consider it noted. 15:19:31 Jafet: what of your latitude 15:20:42 -!- Reece` has joined. 15:22:07 Coïncidentally, my latitude is also my body weight east of Rwanda. 15:56:50 how do i do the merge step in merge sort with N input streams? 15:59:49 i can just merge them two by two and then merge the merged ones and then... 15:59:51 right? 16:03:02 ok i did it therightway 16:12:56 hmmm I remember an exercise about this 16:13:27 I don't think the fastest way was to merge them in a "tournament" fashion 16:13:46 I don't remember the argument precisely 16:15:04 oh yeah 16:15:13 the idea is you want to always merge the two smallest lists 16:15:55 so if the number of lists is large, you might need a heap or similar data structure to select the two smallest lists 16:16:20 if you make the assumption that all lists were initially the same size, though, then tournament is fine 16:26:59 -!- Zekka has joined. 16:33:27 quintopia: but other pepole might be reading the logs, or reading under another nick and still grepping for those nicks 16:33:42 quintopia: I mean, I'm also highlighted by some alternate names 16:36:35 thanks by the way 16:38:05 quintopia: http://pbfcomics.com/276/ reminds me of a certain short by Örkény where some apricots on a tree are talking and decide that the Sun must be an apricot, or something like that 16:38:12 let me find that 16:43:25 -!- tromp_ has joined. 16:47:31 -!- tromp_ has quit (Ping timeout: 244 seconds). 17:10:32 -!- Kaynato has joined. 17:16:46 -!- atrapado has joined. 17:19:29 -!- Zekka has quit (Read error: Connection reset by peer). 17:25:23 -!- Zekka has joined. 17:25:25 -!- bb010g has joined. 17:26:05 -!- MoALTz has joined. 17:26:05 -!- MoALTz has quit (Client Quit). 17:26:22 -!- MoALTz has joined. 17:31:45 izabera: you can merge them all at once, too! depending on impl details, it may be faster 17:32:42 true; and you would still require a heap or similar data structure 17:33:48 -!- centrinia has quit (Ping timeout: 276 seconds). 17:38:15 -!- Zekka has quit (Ping timeout: 264 seconds). 17:40:26 -!- miketo has joined. 17:44:50 Taneb: thanks 17:44:52 LKoen: why? a list of lists should be fine. 17:45:04 Taneb: i disabled that feature for future birthdays hth 17:45:23 quintopia: how do you select the minimum head, when merging? 17:54:48 LKoen: keep the list sorted by reinserting the just-popped list in the correct posiyion after each pop 17:55:04 binary search, logarithmic time, good as a heap 17:55:34 either it's a random-access list and you can't insert elements, or it's a linked list and you can't do binary search :) 17:55:42 linear insertion time either way 18:10:52 not even close to the same on actual hardware ^^; 18:15:21 -!- Zekka has joined. 18:19:40 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 19:07:13 -!- kuroro has joined. 19:21:10 -!- digitalcold has quit (Changing host). 19:21:10 -!- digitalcold has joined. 19:38:14 quintopia: yeah that was "therightway" 20:07:25 LKoen or it's a skip list and you can do logarithmic time search and constant time insert! 20:19:35 I,I skip ropes 20:19:52 Jafet: Where did you pick up "I,I" from? 20:20:47 I, I don't remember. 20:26:36 <\oren\> The first step to not having your evil plot exposed by russian haxxors, is to not have an evil plot in the first place. 20:29:39 -!- Jafet has quit (Quit: WeeChat 1.5). 20:33:24 -!- wob_jonas has joined. 20:33:39 Hooray! I bought myself a compact camera 20:35:29 now you can take selfies when your phone is broken 20:36:01 but how are you gonna snapchat them? 20:36:27 If my phone gets broken, I'll just buy a new phone. 20:44:43 -!- tromp_ has joined. 20:49:20 -!- tromp_ has quit (Ping timeout: 250 seconds). 20:52:05 \oren\: nonsense! 20:52:11 \oren\: evil plans are important! 21:11:50 I suppose one could use a skip rope data structure if one had a need to index into arbitrary parts of a very long string... 21:12:18 a rope kind of already is the right thing 21:12:28 quintopia: that, or a balanced tree with weights stored in every node 21:12:28 just need to give it the skip list structure 21:13:44 (put multiple characters in each leaf for real-world efficiency, with some constant upper limit length per node, and unify adjacent nodes whenever the sum of their content length is below another (smaller) constant limit) 21:14:13 wait, you only want to *index*, but never insert or delete from it? 21:14:21 no wait 21:14:27 um, let me check the logs 21:14:49 nah of course you'd want to insert or delete 21:15:22 compare https://en.wikipedia.org/wiki/Rope_(data_structure) and https://en.wikipedia.org/wiki/Skip_list 21:15:30 put them together and what do you get 21:17:29 @metar KATL 21:17:29 KATL 261952Z 16004KT 10SM FEW070 34/16 A3003 RMK AO2 SLP155 T03440161 21:18:13 quintopia: right 21:20:32 -!- augur has joined. 21:24:43 how does one do any nondestructive operation on a rope? 21:25:21 izabera: same way as on any balanced tree without parent links 21:25:39 ok 21:29:20 -!- MoALTz has quit (Quit: Leaving). 21:30:27 -!- sebbu has quit (Ping timeout: 264 seconds). 21:44:19 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 21:44:57 -!- wob_jonas has joined. 21:45:03 -!- wob_jonas has quit (Client Quit). 21:47:54 -!- sebbu has joined. 21:57:56 -!- centrinia has joined. 22:00:45 -!- Reece` has quit (Read error: Connection reset by peer). 22:10:47 Aha, http://www.cs.cmu.edu/~rjsimmon/random/bovik2007.pdf says "Per Per Martin-Löf" 22:38:39 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:42:04 -!- gamemanj has quit (Ping timeout: 258 seconds). 22:44:58 -!- atrapado has quit (Quit: Leaving). 22:45:40 -!- `^_^v has joined. 22:46:17 -!- tromp_ has joined. 22:48:50 -!- `^_^v has quit (Client Quit). 22:49:38 -!- `^_^v has joined. 22:51:00 -!- tromp_ has quit (Ping timeout: 276 seconds). 22:51:45 -!- boily has joined. 22:55:00 -!- augur has quit (Remote host closed the connection). 22:59:16 -!- boily has quit (Quit: Poulet!). 22:59:34 -!- boily has joined. 23:00:51 * boily mapoles his router 23:00:56 @massages-loud 23:00:56 Jafet said 7h 42m 30s ago: My longitude is simply my body weight east of Rwanda. 23:01:20 @tell Jafet Jafellot. makes sense. 23:01:20 Consider it noted. 23:03:44 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:25:54 -!- miketo has quit (Quit: Leaving). 23:39:00 -!- Sgeo has joined. 23:43:46 -!- jaboja has joined. 23:47:03 -!- tromp_ has joined. 23:51:47 -!- tromp_ has quit (Ping timeout: 260 seconds).