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:34:20 <oerjan> 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 <Sgeo> oerjan, just need to add a d?
00:57:03 <Sgeo> [According to some people I guess]
00:58:30 <oerjan> Sgeo: nah, you'd have to remove it. just a simple sound change...
00:59:21 <oerjan> which incidentally is how no:god is pronounced.
00:59:45 <oerjan> (it doesn't mean God, however.)
01:09:03 <zzo38> 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 <shachaf> 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 <shachaf> Anyway, you would be the person to test.
01:09:58 -!- Zekka has quit (Ping timeout: 252 seconds).
01:10:34 <zzo38> I don't want to make it longer; it is supposed to be shorter.
01:11:23 <zzo38> I found at least two left pad packages which claim to be the fastest.
01:11:37 <zzo38> This is my implementation: const leftpad=(x,y,z)=>(String(z||" ").repeat(y)+x).slice(-y);
01:11:39 <HackEgo> 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 <shachaf> zzo38: Please take inspiration from the project list at https://www.npmjs.com/package/ansi-red
01:12:12 <zzo38> It can be made a package (replace "const leftpad=" with "module.exports=") but I don't want to.
01:13:16 <oerjan> `` tail -c +100 wisdom/hydra
01:13:17 <HackEgo> 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 <zzo38> shachaf: And I think there is no point each one is a separate package.
01:14:41 <zzo38> (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 <shachaf> zzo38: The best system is to put all your code in one big repository.
01:15:21 <shachaf> Then you can see what depends on what package, and you can remove packages easily.
01:16:13 <zzo38> I put each program a separate package. Of course you can do whichever way you want for your own packages though.
01:19:49 <oerjan> i can see ways of shortening `? hydra, but not enough, unless some of the urls have shorter versions.
01:22:44 <shachaf> Do you want to keep the links clikable?
01:23:36 <shachaf> http://www.madore.org/~david/weblog/d.2008-03-{27.1537,16.1534.ordinaux-et-hydres}.html is an option.
01:24:17 <oerjan> `slwd hydra//s/[Tt]he //g;s/ (is )?at/:/g
01:24:20 <HackEgo> 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 <oerjan> shachaf: i don't think non-clickable links are nice
01:24:56 <shachaf> How about redirecting links?
01:25:23 <shachaf> Oh, I thought https://en.wikipedia.org/Goodstein's_theorem would redirect to /wiki/ after showing an ugly error.
01:25:30 <shachaf> But it just gives you a link, no automatic redirect.
01:26:08 <oerjan> `slwd hydra//s/ \(is \)?at/:/g
01:26:08 <shachaf> Well, you can make fizzie host a #esoteric URL shortener.
01:26:09 <HackEgo> 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:25 <oerjan> `slwd hydra//s/ (is )\?at/:/g
01:26:27 <HackEgo> 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 <oerjan> `slwd hydra//s/ \(is \)\?at/:/g
01:26:41 <HackEgo> 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 <prooftechnique> I always pronounce vegan Vegan in text, and it is always confusing
01:26:58 <oerjan> `slwd hydra//s/hydra: //
01:27:02 <shachaf> fizzie: What if there was something on its own origin that served HackEgo-hosted files as text/html?
01:27:03 <HackEgo> 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 <shachaf> oerjan: please make wisdom entries start with the word they're wisdomming
01:27:40 <shachaf> oerjan: see `learn and the wisdom database for examples of how it should work
01:27:41 <oerjan> shachaf: i am trying to get it short enough dumbass
01:27:55 <oerjan> however, i miscalculated
01:28:07 <shachaf> the whole joke was that you always tell people to do that
01:28:12 <shachaf> so now i'm telling you to do that
01:28:13 <HackEgo> 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:54 <oerjan> `slwd hydra//s/ hydra//
01:28:57 <HackEgo> 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:05 <HackEgo> 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:51 <shachaf> 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 <shachaf> Also I think you were pretty rude just then.
01:31:32 <zzo38> 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 <oerjan> <shachaf> the whole joke was that you always tell people to do that <-- sorry, but i don't get jokes when frustrated hth
01:33:32 <shachaf> apparently you get nasty instead hth
01:36:23 <shachaf> anyway i'm off goodstein sequences
01:36:36 <shachaf> "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:37:02 <shachaf> and the definition is v. simple
01:48:00 <shachaf> "The hydra currently has: 0 segments, 0 heads, and depth 0. Hercules has cut 165 heads so far."
01:48:07 <shachaf> Defeated the dire hydra in 165 clicks.
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:39:59 -!- augur has quit (Remote host closed the connection).
03:47:45 -!- augur has joined.
03:58:38 <zzo38> FreeUHS is now available here: http://zzo38computer.org/fossil/freeuhs.ui/
04:02:22 -!- augur has quit (Remote host closed the connection).
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 <zzo38> TREE(SSCG(factorial(TREE(3)+1)+1)+1) would be how much compare with many other kind of large numbers approximately?
05:13:43 -!- Jafet has quit (Read error: Connection reset by peer).
05:14:43 <zzo38> Wikipedia mentions what they are if you look up TREE(3) and SSCG function.
05:20:26 <shachaf> SSCG is some kind of card game, it sounds like.
05:20:37 -!- contrapumpkin has joined.
05:21:23 <zzo38> 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 <shachaf> zzo38: SSCG presumably dominates that expression by far.
05:34:07 <shachaf> 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:45 <zzo38> 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 <zzo38> 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 <Jafet> I was feeling a little too mainstream
06:15:54 <zzo38> 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:45:00 <HackEgo> commutative diagram? ¯\(°_o)/¯
08:05:55 -!- hppavilion[1] has joined.
08:07:13 <shachaf> `learn A diagram is just a functor.
08:07:22 <HackEgo> 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:45:00 <HackEgo> almightynsx: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
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:26 -!- LKoen has joined.
11:47:08 <lambdabot> Jafet asked 4h 39m 32s ago: ahoyly. I'm in a hot, humid clime.
11:47:44 <boily> @ask Jafet Jafellot. what are your approximative geographic coördinates and body weigh?
11:48:21 <HackEgo> spam//Spam is a delicious meat product. See http://www.spamjamhawaii.com/
11:54:43 -!- keemyb has joined.
11:55:30 <HackEgo> keemyb: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
12:13:18 -!- augur has quit (Quit: Leaving...).
12:25:25 -!- tromp_ has joined.
12:26:35 -!- boily has quit (Quit: SAFE CHICKEN).
12:30:14 -!- tromp_ has quit (Ping timeout: 260 seconds).
12:51:26 <hppavilion[1]> Remember kids: Chicken may seem fun, but remember to be safe
12:53:16 <LKoen> is that a Zelda thing?
12:55:36 -!- almightynsx1 has joined.
12:56:46 -!- almightynsx has quit (Ping timeout: 250 seconds).
13:33:55 <Taneb> Yesterday evening my phone told me it was shachaf's birthday
13:33:59 <Taneb> I have no idea what made it think that
13:34:01 <Taneb> 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: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).
15:14:08 <HackEgo> pbflist: shachaf Sgeo quintopia ion b_jonas
15:16:33 <quintopia> hmm...of those only shachaf and b_jonas have a point of presence here
15:18:25 <Jafet> @tell boily My longitude is simply my body weight east of Rwanda.
15:20:42 -!- Reece` has joined.
15:22:07 <Jafet> Coïncidentally, my latitude is also my body weight east of Rwanda.
15:56:50 <izabera> how do i do the merge step in merge sort with N input streams?
15:59:49 <izabera> i can just merge them two by two and then merge the merged ones and then...
16:12:56 <LKoen> hmmm I remember an exercise about this
16:13:27 <LKoen> I don't think the fastest way was to merge them in a "tournament" fashion
16:13:46 <LKoen> I don't remember the argument precisely
16:15:13 <LKoen> the idea is you want to always merge the two smallest lists
16:15:55 <LKoen> 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 <LKoen> 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 <b_jonas> quintopia: but other pepole might be reading the logs, or reading under another nick and still grepping for those nicks
16:33:42 <b_jonas> quintopia: I mean, I'm also highlighted by some alternate names
16:38:05 <b_jonas> 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: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 <quintopia> izabera: you can merge them all at once, too! depending on impl details, it may be faster
17:32:42 <LKoen> 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:52 <quintopia> LKoen: why? a list of lists should be fine.
17:45:04 <shachaf> Taneb: i disabled that feature for future birthdays hth
17:45:23 <LKoen> quintopia: how do you select the minimum head, when merging?
17:54:48 <quintopia> LKoen: keep the list sorted by reinserting the just-popped list in the correct posiyion after each pop
17:55:04 <quintopia> binary search, logarithmic time, good as a heap
17:55:34 <LKoen> 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 <LKoen> linear insertion time either way
18:10:52 <miketo> 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 <izabera> quintopia: yeah that was "therightway"
20:07:25 <quintopia> LKoen or it's a skip list and you can do logarithmic time search and constant time insert!
20:19:52 <shachaf> Jafet: Where did you pick up "I,I" from?
20:20:47 <Jafet> 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 <wob_jonas> Hooray! I bought myself a compact camera
20:35:29 <izabera> now you can take selfies when your phone is broken
20:36:01 <izabera> but how are you gonna snapchat them?
20:36:27 <wob_jonas> 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:11 <gamemanj> \oren\: evil plans are important!
21:11:50 <quintopia> 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 <quintopia> a rope kind of already is the right thing
21:12:28 <wob_jonas> quintopia: that, or a balanced tree with weights stored in every node
21:12:28 <quintopia> just need to give it the skip list structure
21:13:44 <wob_jonas> (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 <wob_jonas> wait, you only want to *index*, but never insert or delete from it?
21:14:49 <quintopia> nah of course you'd want to insert or delete
21:15:22 <quintopia> compare https://en.wikipedia.org/wiki/Rope_(data_structure) and https://en.wikipedia.org/wiki/Skip_list
21:15:30 <quintopia> put them together and what do you get
21:17:29 <lambdabot> KATL 261952Z 16004KT 10SM FEW070 34/16 A3003 RMK AO2 SLP155 T03440161
21:20:32 -!- augur has joined.
21:24:43 <izabera> how does one do any nondestructive operation on a rope?
21:25:21 <wob_jonas> izabera: same way as on any balanced tree without parent links
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 <shachaf> 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 <lambdabot> Jafet said 7h 42m 30s ago: My longitude is simply my body weight east of Rwanda.
23:01:20 <boily> @tell Jafet Jafellot. makes sense.
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).