00:06:46 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 00:09:55 -!- jaboja has joined. 00:14:02 I've seen snow on a couple of random days in late 2015 00:14:13 like, october/novemberish 00:16:16 -!- adu has joined. 00:20:39 * ais523 wonders why Stack Exchange's TOS refers to the user accepting the TOS using the pronoun "it" 00:20:49 most such legal documents I've seen just repeat the noun rather than using pronouns 00:20:57 to avoid such awkward phrasing 00:22:56 -!- agawa has quit (Ping timeout: 246 seconds). 00:32:46 -!- hppavilion[1] has joined. 00:33:07 <\oren\> @metar cyyz 00:33:08 CYYZ 050000Z 01009KT 15SM SKC M13/M22 A3053 RMK SLP355 00:35:49 <\oren\> @metar cytz 00:35:49 CYTZ 050000Z AUTO 32007KT 300V360 9SM CLR M12/M20 A3056 RMK SLP357 00:36:51 <\oren\> a bit warmer by the laek 00:37:10 <\oren\> s/ek/ke 00:39:51 <\oren\> I need something to sort the unicode characters in a file 00:41:19 <\oren\> I soppose I could just put each character on a line by itself, then run sort, then delete the linebreaks 00:54:56 <\oren\> bah. GNU fold doesn't do utf8 righjt 00:58:37 -!- bb010g has quit (Quit: Connection closed for inactivity). 00:59:15 <\oren\> HA! since the'yre all kanji, fold -b60 or any other multiple of 3 works 01:06:23 -!- singingboyo has joined. 01:07:53 -!- singingboyo has quit (Client Quit). 01:09:06 -!- singingboyo has joined. 01:20:32 <\oren\> ok. so: cat kanjilist | tr -d '\n' | fold -b3 | sort -u | tr -d '\n' | fold -b60 >sortedkanjilist 01:30:22 -!- Frooxius has quit (Ping timeout: 272 seconds). 01:33:06 -!- adu has quit (Quit: adu). 01:33:55 ais523: what did you mean by appending input? 01:34:26 before running the program, the interp reads the entirety of stdin and appends that to the program 01:34:38 in what language? 01:34:40 also there's no introspection/redlection 01:34:44 *reflection 01:35:06 so you have to redefine every character that could appear in the input to handle itslef 01:35:10 and a new esolang I'm working on 01:35:20 it's called Takeover 01:35:27 oh. i get it. 01:35:44 looks like fun. 01:43:29 <\oren\> by character, do you mean unicode characters or bytes? 02:06:46 -!- bender| has joined. 02:09:42 \oren\: it seems that fold cannot handle multibyte characters of UTF-8 or whatsoever anyway 02:09:53 that is, even not locale-dependent 02:14:04 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 02:22:06 -!- singingboyo has quit (Quit: leaving). 02:22:24 -!- singingboyo has joined. 02:22:24 -!- singingboyo has quit (Client Quit). 02:23:16 -!- singingboyo has joined. 02:24:06 -!- singingboyo has quit (Client Quit). 02:26:45 -!- singingboyo has joined. 02:28:35 -!- bender| has quit (Ping timeout: 240 seconds). 02:28:42 -!- andrew has joined. 02:34:40 -!- bender| has joined. 02:44:52 -!- Frooxius has joined. 02:51:51 -!- hppavilion[1] has joined. 03:02:30 -!- adu has joined. 03:04:32 Is there a place I can find the original "A Programming Language" by Kenneth E Iverson for free online? 03:04:45 Preferably legitimately? 03:04:55 adu: I found a problem with generalized hyperoperations 03:08:32 Ah, found it 03:09:27 hi hppavilion[1] 03:09:37 hppavilion[1]: what problem? 03:09:38 Hadu 03:10:12 adu: Well, I assume we want negative hyperoperations to be the inverse of the positives, correct? So x-y, x/y, etc. would be negative hyperoperations 03:10:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:10:26 no 03:10:29 That leads to the issue of Pred(x). Where is it? 0 is already S(x) 03:10:30 Oh 03:10:43 adu: What would they be then 03:10:44 ? 03:10:59 there are hyperN, hyperNroots, hyperNlogarithms, which would you choose for negatives, roots or logs? 03:11:45 adu: That's another problem I was going to cover xD 03:11:58 <\oren\> Apparently a portable lithium battery can also be used as a lightweight incendiary grenade. 03:12:00 hyper2roots and hyper2logs are both division 03:12:10 hyper3roots are surds/radicals 03:12:19 hyper3logs are the traditional "logarithm" 03:12:39 adu: Perhaps we're looking at it wrong? 03:12:50 Perhaps it's not so much a number line we're going for as a number... tripod? 03:12:56 hyper4-x is generally called super-x, i.e. super-roots and super-logarithms 03:13:08 hppavilion[1]: no tripod 03:13:18 Three rays going in directions 120 degrees from each other? 03:13:24 hppavilion[1]: they're indexed by natural numbers, no negatives are required at all 03:13:42 adu: Logs/roots are? 03:14:03 hppavilion[1]: why are you forcing three sets indexed by natural numbers into an structure that doesn't even represent them? stop forcing things to be something they're not 03:14:28 adu: I'm just thinking about uberoperations xD 03:14:59 hppavilion[1]: for any function f(x, y) there are two inverse functions, f^(-1, 0)(x, y), and f^(0, -1)(x, y) 03:15:36 adu: I'm simply making an attempt to generalize the hyperoperations 03:15:45 you can't put those on a number line, because it's 2D 03:15:54 Whihc is, of course, what you're trying to do too 03:16:06 there are quadrillions of mappings between 1D and 2D 03:16:12 which one do you choose? 03:16:12 adu: Out of curiousity, what's f^(-1, -1)(x, y) equal to? 03:16:24 -!- lleu has quit (Quit: That's what she said). 03:16:24 hppavilion[1]: depends on the function 03:16:59 adu: I choose to forgo the concept of lines for my hyperoperations and instead have positive numbers, fooative numbers, and barative numbers 03:17:12 Or fooative numbers, barative numbers, and bazative numbers 03:17:16 fooative? barative? 03:17:40 It makes no sense, but it's mathematically rigorous AFAICT and at least usable 03:17:48 I need to post this convo to the TetrationForum 03:17:49 adu: I'm not very good at naming things 03:17:54 Yes 03:17:55 You do 03:17:59 lol 03:18:36 adu: But I think tripod numbers would at least be more useful for generalized hyperoperations than linear numbers are 03:19:09 Tripod numbers are written *x, &x, and $x 03:19:27 And there's some sort of logical transformation between them. Or maybe not, maybe we don't need it. 03:20:07 So, perhaps, $&x -> *x, or something like that 03:20:39 There is a place for alternative extensions from Integers to Complexes, but IMHO, it's not going to be very popular 03:20:58 adu: Yes, and the Hyperoperations might just be that place 03:21:10 so far the only extensions that have any sticking-power among mathematicians are "regular" and "intuitive" 03:21:21 adu: I mean, how else do we encode negative hyperoperations? I don't see any way they could be anything /but/ the inverse operations 03:21:35 hppavilion[1]: what is a negative hyperoperations? 03:21:48 they're undefined, what's wrong with that? 03:21:50 adu: a[n]b where n<0 03:21:58 adu: Because it's less fun that way? 03:22:32 $&x -> *x, &$x -> *x; $*x -> &x, *$x -> &x; &*x -> $x, *&x -> $x might work 03:22:35 hppavilion[1]: well, if I were to define them, I would try and continue with the standard recursion rule 03:22:43 adu: Yes, of course 03:23:01 adu: Then again, you can't do recursion like that with the reals 03:23:07 but that doesn't work so well with the (x -> x +1) function 03:23:38 because it doesn't break down like the other operations 03:23:40 (I'm not generalizing to the integers, I'm generalizing to the reals) 03:24:31 adu: Hm... Perhaps n[0]m = 0, and n[1]m = n moved away from 0 by m, etc.? It's in line with the original hyperoperations, AFIACT, but not with standard arithmetic 03:24:46 Oh, shit, forgot to do &&, $$, and ** 03:25:06 && -> $, $$ -> *, ** -> & or something 03:25:23 Any continuous hyperoperation sequence would also have to have a definition of the "etas" 03:25:26 It's rotating clockwise 120 degrees instead of 180 degrees, if that makes any sense 03:25:37 adu: The "eta"s? 03:26:06 (Of course, you could also go anticlockwise, but then again, you could also just rotate the graph. Really, it's a matter of arbitrary choice) 03:26:50 eta_N = [0, 1, e^(1/e), 1.6353, ...] and their counterparts eulers_N = [0, 1, e, 3.0885, ...] 03:30:09 adu: I don't think that's how ... works 03:30:31 I think ... needs to follow a sequence that the reader has already picked up the pattern in 03:42:50 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 03:52:59 -!- hppavilion[1] has joined. 03:59:15 -!- adu has quit (Quit: adu). 04:38:25 -!- ^v has joined. 04:50:49 <\oren\> QC has warped to the yeah 20016!! 04:50:57 <\oren\> s/yeah/year 04:52:38 <\oren\> hppavilion[1]: he means the identities for the two reverse operations 04:52:47 <\oren\> or something 05:02:46 -!- jaboja has quit (Ping timeout: 256 seconds). 05:18:58 \oren\: more like the year 216 05:19:00 but still cool 05:19:22 Oh, I see 05:19:30 Downloading and saving in case it gets fixed 05:19:46 year 2e16 05:19:56 whether it's hexadecimal or decimal 05:21:07 `printf 2; for i in ${0..16}; do printf 0; done 05:21:14 2; for i in ${0..16}; do printf 0; done 05:21:18 ``printf 2; for i in ${0..16}; do printf 0; done 05:21:20 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `printf: not found 05:21:28 :( 05:22:10 ``echo $0 05:22:11 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `echo: not found 05:22:18 wot? 05:22:22 ``ls bin 05:22:23 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `ls: not found 05:22:38 Ohhhhhhh 05:22:39 `printf 2%016d 0 05:22:40 20000000000000000 0 05:22:45 wat 05:23:00 `printf 2%016d 0 05:23:01 20000000000000000 0 05:23:14 `printf %x 123 05:23:15 0 123 05:23:20 heh 05:23:30 `echo $0 05:23:31 ​$0 05:23:40 :c 05:25:07 -!- Elronnd has set topic: This part of the topic was the first added in 2016 | The international hub for magic gathering and deployment. | Effi's finest fluffy waffles | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/ | This part of the topic was the second added in 2016. 05:27:33 Maybe I can invent the card game a bit like Magic: the Gathering card and Pokemon card and whatever but it is new game, can be call Freecard; I want to avoid the problem made with other designs, by doing in the right way, which means it must be open-source and card game rule play with paper and computer are designed together to ensure it work, and mathematically elegant too. 05:27:50 -!- jaboja has joined. 05:37:55 -!- hppavilion1 has joined. 05:40:26 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 05:50:29 -!- jaboja has quit (Remote host closed the connection). 06:01:39 man, usialtgr is the best keyboard layout 06:02:30 -!- hppavilion1 has quit (Ping timeout: 260 seconds). 06:16:17 -!- hppavilion1 has joined. 06:19:26 -!- gniourf has quit (Ping timeout: 240 seconds). 06:24:54 -!- gniourf has joined. 06:26:10 -!- gniourf has quit (Max SendQ exceeded). 06:28:59 Are you sure? 07:21:28 -!- oerjan has quit (Quit: Nite). 07:23:46 -!- Frooxius has quit (Quit: *bubbles away*). 07:24:07 -!- Frooxius has joined. 07:30:21 -!- ^v has quit (Read error: Connection reset by peer). 08:26:59 -!- ais523 has quit (Ping timeout: 246 seconds). 08:31:14 -!- J_Arcane has quit (Ping timeout: 265 seconds). 08:38:38 -!- gniourf has joined. 08:41:24 [wiki] [[Talk:Call stack/Manipulation]] N http://esolangs.org/w/index.php?oldid=46071 * Mroman * (+585) Wouldn't you need to push the current function instead? 08:42:44 [wiki] [[Talk:Call stack/Manipulation]] http://esolangs.org/w/index.php?diff=46072&oldid=46071 * Mroman * (+6) * wiki format 08:44:06 https://dpaste.de/3tGJ/raw I found this in a Chinese spam message 08:46:54 The email has something to do with Falun Gong 08:48:27 It links to some website talking against the chinese communist party 08:49:52 They are neither communist nor a party, from what I have heard. 08:50:48 [wiki] [[Call stack]] http://esolangs.org/w/index.php?diff=46073&oldid=46063 * Mroman * (+991) buffering calls & x86 08:52:53 it is a spiritual movement afaik 08:57:35 A man was giving out Falun Gong leaflets at the door of the British Museum. 09:00:49 -!- mroman has joined. 09:00:59 I presume there are garbage collectors that have a list of pointers to objects 09:01:07 or a table the form of 09:01:12 | POINTER | LIVE 09:01:52 then at some point they scan through the stack space and mark all objecs as live and check for references from these live objects to other objects 09:01:59 marking every object reachable as live 09:02:13 then just delete all non-live objects 09:02:59 so basically it would be an array of struct gc_entry { object* obj; bool alive; } 09:03:37 and each object knows the index of it's gc entry 09:03:50 in case somebody wants to manually free certain objects at a very specific point 09:04:00 @massages-load 09:04:01 boily said 9d 13h 50m 54s ago: I mapole you. 09:04:01 boily said 9d 13h 50m 25s ago: (with great force and momentum, might I add.) 09:04:01 boily said 9d 13h 50m 19s ago: (tsé.) 09:04:01 boily asked 3d 10h 9m 59s ago: mrhelloman. underdeveloped aliens? 09:04:09 what 09:14:20 -!- hppavilion1 has quit (Ping timeout: 276 seconds). 09:15:01 "A good chunk of the web today (and particularly the mobile web) effectively relies on -webkit prefixed CSS properties & features. We wish we lived in a world where web content always included standards-based fallback (or at least multiple-vendor-prefixed fallback), but alas, we do not live in that world. To be successful at rendering the web as it exists, we need to add support for a list of frequently-used -webkit prefixed CSS properties & features." 09:15:07 nah 09:15:15 google should just severly punish websites that don't use proper HTML/CSS 09:15:16 fizzie: I'm just wondering what the code from the email is 09:15:49 If your site's rank sinks because you don't use proper HTML/CSS than that would be an incentive to change that. 09:16:07 and that would be only fair 09:16:17 since webpages should generally be viewable in any compliant browser 09:16:37 best viewed with 09:17:07 so it makes sense that a search engine takes the portability of a webpage into account. 09:17:23 http://freefull.github.io/dice.html Is this proper HTML/CSS/Javascript ? 09:18:08 They are trying to define the webpage rendering too much inside the webpage, even though it should depend on user settings instead. 09:18:35 zzo38: totally agree. 09:19:56 and it totally pisses me off that pandoc doesn't generate valid HTML 09:21:12 Then fix pandoc 09:22:44 The other thing I would try to do though is to intend that the service can also be used from commandline (with curl, SQLite, or otherwise) as well and don't necessarily require the web browser; clean HTML writing is also help with such thing, although many of my files I make as plain text since many thing I don't even need HTML anyways. 09:27:43 -!- ^^v has quit (Remote host closed the connection). 09:27:45 FreeFull: Sometimes it's just random garbage to confuse things that detect spam by exact comparisons. 09:28:17 fizzie: Could be 09:32:54 Once I wrote the spam filter that worked by looking for the stuff that was used to avoid spam detection, and other strange stuff (multiple tabs in the subject line, large numbers of spaces in the subject line, non-ASCII subject lines, base64-encoded HTML, etc) 09:33:59 The distribution looks approximately the sort of thing you get if you pick uniformly random characters from the alphabet [A-Za-z0-9 ]. 09:34:37 looks like html5 output is more valid 09:35:23 E-Mails shouldn't contain HTML anyway 09:35:25 :) 09:36:04 Yes I agree it should preferably be plaintext 09:36:20 Some people program their computer to reject HTML email 10:15:45 there should be more of those 10:35:02 -!- singingboyo has quit (Remote host closed the connection). 11:26:10 -!- boily has joined. 11:43:04 `wisdom 11:43:11 bfjoust/bfjoust is a spamming tool for #esoteric. 11:43:17 @massages-loud 11:43:17 hppavilion[1] said 11h 45m 45s ago: There was snow here, until a few days ago. Which is weird, because Alaska. 11:45:47 @snow 11:45:47 "" 11:45:56 @metar CYUL 11:45:57 CYUL 051105Z 24005KT 15SM FEW008 M20/M23 A3063 RMK SF1 SLP378 DENSITY ALT MISG 11:46:12 @metar LOWI 11:46:13 LOWI 051120Z 26005KT 180V310 9999 FEW012 SCT070 BKN090 03/00 Q0999 R08/19//95 NOSIG 11:46:40 `? winter 11:46:41 Winter is coming. 11:50:05 @metar ESSB 11:50:06 ESSB 051120Z 04006KT 9999 -SN FEW003 SCT007 M08/M11 Q1009 R12/29//60 11:50:07 -!- andrew has quit (Remote host closed the connection). 11:50:32 I forget how to read metars 11:50:49 * FireFly isolates the temperature, skips the rest 11:52:28 light snow; few clouds at 300 feet; scattered clouds at 700 feet; pressure 1009 hPa; 04006KT is wind (from 040, 6 knots) and 9999 is visibility on the ground 11:54:18 15sm, hmm 11:54:50 ah, also visibility, with unit 11:54:55 ah 11:56:54 I'm not sure M20 still counts as "is coming". 11:56:57 @metar EGLL 11:56:57 EGLL 051150Z AUTO 21009KT 180V260 9999 SCT005 09/07 Q0984 NOSIG 11:57:04 No sign of it here. 11:57:39 There's snow in Finland, or so I hear. 11:57:41 @metar EFHK 11:57:42 EFHK 051150Z 36007KT 9999 FEW020 BKN065 BKN200 M18/M21 Q1007 NOSIG 11:57:51 Brrr. 11:58:34 That's almost a 30-degree difference in temperatures. 12:00:08 Is the portal co-op a free co-op, or one where the players are restricted on which buttons they push on the controller? 12:01:04 In Portal 2? Pretty sure both players have full control 12:01:12 great 12:01:17 On PC it's online multiplayer, so each player plays on a separate computer 12:01:22 with full controls etc 12:01:22 ah, I see 12:01:41 so they're controlling two different in-game humanoid characters? 12:01:50 Yep 12:02:00 nice, I didn't know portal 2 could do that 12:02:20 Well "humanoid"--they're robots specifically designed for the co-op 12:02:37 rather than two clones of Chell 12:03:33 This will be interesting, I think I haven't seen this in previous GDQs, although Portal 2 is fast-paced 3D first-person with people jumping around in portals like crazy so I can't usually follow what happens on the screen. 12:04:40 I wonder what the Super Mario Maker will be like. 12:04:58 -!- boily has quit (Quit: SOURCE CHICKEN). 12:05:25 The GTA 3 any% run will be interesting. So many nice bugs exhibited! 12:06:35 And of course, the 3D Legend of Zelda games are always amazing. 12:11:27 Especially blindfolded 12:12:12 There's blindfolded punch-out this year, hopefully that'll be great too 12:26:53 Like, on a console, or just two blindfolded people in a room trying to punch each other? 12:27:36 On a console :p 12:30:27 https://www.youtube.com/watch?v=vSr3aXd4XuQ#t=5m45s 12:31:58 heh 12:52:19 Cloudbuilt looks pretty fun 12:53:18 -!- jaboja has joined. 12:57:31 -!- Phantom_Hoover has joined. 13:08:27 FireFly: Sounds like a web technology. 13:21:33 "it is very fast paced and high difficulty and emphasis on acrobatic control"... sounds a bit too serious to be fun ;) 13:24:10 -!- augur has quit (Ping timeout: 260 seconds). 13:26:43 -!- augur has joined. 13:53:11 -!- TieSoul has joined. 14:24:46 -!- bender| has quit (Ping timeout: 240 seconds). 14:36:06 -!- bender| has joined. 15:14:35 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 15:18:53 -!- mauris has joined. 15:21:12 [wiki] [[Beeswax]] http://esolangs.org/w/index.php?diff=46074&oldid=45976 * Albedo * (+249) major overhaul of the layout 15:21:20 -!- bender| has quit (Ping timeout: 260 seconds). 15:21:52 [wiki] [[Beeswax]] M http://esolangs.org/w/index.php?diff=46075&oldid=46074 * Albedo * (+0) /* Table with all cloning and deletion directions */ typo 15:44:06 -!- Phantom_Hoover has joined. 15:46:51 -!- DHeadshot has joined. 15:53:55 [wiki] [[Tonoco]] http://esolangs.org/w/index.php?diff=46076&oldid=40979 * 78.52.143.140 * (-6) /* Box Reference */ 15:54:27 [wiki] [[Tonoco]] http://esolangs.org/w/index.php?diff=46077&oldid=46076 * 78.52.143.140 * (-6) /* Control Flow */ 15:55:29 -!- Welo has joined. 15:56:35 -!- mroman has quit (Quit: Lost terminal). 16:08:17 -!- jaboja has quit (Ping timeout: 246 seconds). 16:10:27 -!- adu has joined. 16:17:29 -!- DHeadshot has quit (Ping timeout: 276 seconds). 16:22:38 -!- FreeFull has quit (Ping timeout: 246 seconds). 16:30:09 -!- p34k has joined. 16:45:51 -!- J_Arcane has joined. 17:03:29 -!- spiette has joined. 17:20:14 I have my "Eodermdrome" exam in 40 minutes 17:20:44 how so? 17:21:05 myname, that's when the exam was scheduled 17:21:12 It's on computation by graph transformation 17:21:16 ah 17:23:03 Incidentally, "forty" is the only number spelt in English with its letters in alphabetical order 17:23:29 > sort "forty" 17:23:31 "forty" 17:23:42 > sort "eight" 17:23:44 "eghit" 17:23:50 it isn÷t 17:23:55 "a" is also 17:24:04 A is an article, not a number 17:24:11 You can't add three to a 17:24:16 ah, number 17:24:19 > reverse . sort $ "one" -- arguably sorted as well 17:24:21 "one" 17:24:22 i overread that 17:24:39 int-e, that's maximally unsorted! 17:30:51 -!- adu has quit (Quit: adu). 17:34:13 -!- Welo has quit (Quit: Leaving). 17:39:03 -!- DHeadshot has joined. 17:46:19 -!- hppavilion1 has joined. 17:54:48 -!- hppavilion1 has quit (Ping timeout: 265 seconds). 18:03:39 -!- hppavilion1 has joined. 18:07:44 -!- mihow has joined. 18:14:05 -!- mihow has quit (Ping timeout: 255 seconds). 18:20:54 -!- hppavilion1 has quit (Ping timeout: 265 seconds). 18:28:06 -!- hppavilion1 has joined. 18:34:09 -!- Elronnd has quit (Quit: Let's jump!). 18:35:04 -!- Elronnd has joined. 18:42:08 -!- hppavilion1 has changed nick to hppavilion[1]. 18:44:38 -!- hppavilion[1] has quit (Quit: WALRUS MAAAAAAAAAAAAN). 19:03:05 Taneb: this is great for a trivia contests thx 19:04:44 -!- hppavilion[1] has joined. 19:04:55 If I'm making a language in the spirit of unicode 19:06:07 Should I make the language based on english syntactically (e.g. variables are [a-zA-Z_][a-zA-Z0-9_]*, and Δ an operator), or should I make it so that the entire language allows for a wide variety of languages to be used (Δ would be a variable)? 19:06:24 I have a feeling the second one is more correct, but the first makes code look cooler xD 19:10:11 quintopia, "four" is the only number in the English language with as many letters as its value 19:11:57 Taneb: What about x=1? 19:12:09 x where x=1, that is 19:12:23 I count polynomials as numbers because "close enough" 19:12:32 (and in this case, monomials) 19:12:37 hppavilion[1], polynomials aren't words in the English language 19:13:10 Taneb: x is a term, and thus could be used alone in a text ("so if we assume that x is equal to 1...") 19:13:13 Therefor it's a word 19:13:41 *Therefour 19:13:54 hppavilion[1], I disagree; we use names in text (such as "hppavilion[1]") but I wouldn't put them in a Crossword or play them in Scrabble 19:14:59 Taneb: Crossword clue: "This man attempted to take over the world (vertical 12+5i) (vertical is, like, up and down (so towards your face when looking directly down)) 19:15:00 " 19:15:27 Answer: Napoleon, but good luck writing it in the 3d complex manifold crossword puzzle. 19:15:49 the definition of a word is actually quite hard 19:16:21 myname: Like in the case of vertical? 19:16:30 https://youtu.be/Vu3eDf4p0r0 19:16:43 myname: Internet is filtered at my location. Can you give me the tl;dr? 19:16:52 Well, the aif;cw? 19:16:58 words are weird 19:17:31 ("America is fascist; couldn't watch") 19:19:23 myname: What do you think of the idea of Unilang? A unified, unicode-based declarative programming language 19:20:37 how so? on the "a language like unicode" thing i first thought youkd want to make something with as much useless and clattered stuf as possible 19:20:47 but then again, there is already c++ 19:21:14 myname: xD 19:21:26 Yes, it is pretty cluttered and will feature some pretty useless things xD 19:22:04 The idea is a standard sort of programming language. Not a "global overarching standard" like unicode is, of course, but a sort of option language based on various other languages for expressing algorithms and such 19:22:13 In a way a computer can parse and evaluate 19:22:24 like, assembly? 19:22:46 myname: Yes, but higher-level. Obviously. 19:22:57 like, c? 19:23:02 myname: A language entirely based on arithmetical expressions 19:23:08 Closer to Haskell than ASM 19:23:20 But not as beautiful as Haskell 19:23:56 "i want sometjing like haskell, but less beautiful" 19:24:02 Because Haskell is the goddamn of programming languages. 19:24:14 myname: Also, weirder 19:24:24 i do like the idea of curry 19:24:49 it's like "hey, let's take that language and put more awesomeness in it" 19:27:14 myname: It takes some inspiration from APL 19:27:38 huh? 19:27:42 how so 19:28:07 it looks prologish 19:28:17 also, i like the non-determinism 19:28:33 myname: Well. I read a fraction of the Wiki article on APL and took out the ideas I liked 19:28:42 a?b = a 19:28:42 And put them into UniLang 19:28:46 a?b = b 19:28:57 is tje definition of ? in curry 19:29:02 a?b = OMGWTF 19:29:10 myname: What does ? do though? 19:29:23 it chooses either a or b 19:29:29 myname: At random? 19:29:49 yes, but in a way that it still fits all boundaries 19:29:52 Oooooooooooooh 19:29:54 Whoooooooooa 19:30:29 also 19:30:36 insert x ys = x:ys 19:30:49 insert x (y:ys) = y: insert x ys 19:30:58 puts an element anywhere in a list 19:31:27 mindblown :: Bool 19:31:32 mindblown = True 19:32:23 permutation (x:xs) = insert x (permutation xs) 19:34:38 [wiki] [[Beeswax]] http://esolangs.org/w/index.php?diff=46078&oldid=46075 * Albedo * (+8) /* File related I/O */ text formatting 19:35:35 [wiki] [[Beeswax]] M http://esolangs.org/w/index.php?diff=46079&oldid=46078 * Albedo * (-2) /* File related I/O */ typos 19:35:40 does anybody have contact to the beeswax author? 19:44:02 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 19:46:30 -!- hppavilion[1] has joined. 20:00:16 -!- ^v has joined. 20:30:23 -!- FreeFull has joined. 20:33:26 -!- ^v^v has joined. 20:38:00 -!- ais523 has joined. 20:42:22 -!- TieSoul has quit (Ping timeout: 260 seconds). 20:42:28 -!- TieSoul_ has joined. 20:44:47 -!- TieSoul_ has changed nick to TieSoul. 20:45:08 -!- DHeadshot has quit (Ping timeout: 256 seconds). 20:48:49 -!- DHeadshot has joined. 20:51:35 `? coalgebra 20:51:54 coalgebra? ¯\(°​_o)/¯ 20:52:17 A coalgebra is just like in high school maths but with the arrows reversed 20:52:26 but high school maths doesn't have arrows 20:52:33 except occasionally above vectors 20:52:57 reversed vector arrows would be funny 20:53:09 ais523, that I am afraid was most of the joke 20:53:10 depends on how high 20:54:03 so are coroutines just routines with reversed arrows? 20:55:24 -!- TieSoul has quit (Remote host closed the connection). 20:55:27 goroutines are just routines that walk instread of running 20:56:44 `` sed -i 's/robots,/Lambek'\''s lemma, &/' wisdom/tanebvention 20:56:47 No output. 20:57:22 Taneb is obviously an expert in coalgebras, having invented Lambek's lemma 21:01:13 -!- haavard has quit (Remote host closed the connection). 21:01:20 `? tanebventioin 21:01:22 tanebventioin? ¯\(°​_o)/¯ 21:01:23 `? tanebvention 21:01:24 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, the universe, weetoflakes, persistence, the reals, Lambek's lemma, robots, cigars, progress, and this sentence. He never invents anything involving sex. 21:02:14 -!- haavard has joined. 21:02:57 -!- haavard has quit (Client Quit). 21:02:59 did Taneb invent Lambek's lemma directly or did Taneb invent Lambek who then invented the lemma 21:03:04 are inventions transitive 21:03:21 -!- haavard has joined. 21:03:22 shachaf, I do not think inventions are transitive but I do not think they are anti-transitive either 21:03:56 So here's an idea for an Esosport 21:04:21 hppavilion[1]: um, all soprts are eso 21:04:24 all sports 21:04:28 Fixed-parser esolang design 21:04:31 it's the default 21:04:37 b_jonas: Yes, but this is a sport based around Eso/langs/ 21:04:47 An individual or group provides a parser to the players 21:04:57 Each player or group of players takes it and attempts to make a language 21:05:12 Whoever makes the best language, at the discretion of a group of judges or the host, wins. 21:07:32 "Best" may mean most eso (pure) or most logical and usable (working with what you have) 21:11:18 -!- hppavilion[2] has joined. 21:12:48 b_jonas: What do you think of that idea? 21:12:56 I mayormaynot already have a lexer and parser prepared for it 21:14:02 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 21:27:45 parser-alpha 21:29:02 -!- AnotherTest has joined. 21:31:42 [wiki] [[Parser Alpha]] N http://esolangs.org/w/index.php?oldid=46080 * Hppavilion1 * (+314) Created Page 21:32:44 -!- DHeadshot has quit (Ping timeout: 276 seconds). 21:40:34 -!- hppavilion[2] has quit (Ping timeout: 245 seconds). 21:46:29 -!- lleu has joined. 21:46:29 -!- lleu has quit (Changing host). 21:46:29 -!- lleu has joined. 21:48:08 -!- MDude has joined. 21:49:46 What about this: an esolang interpreter/compiler for which you have to figure out the language 21:50:12 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 21:50:32 So it would be a different language for each instalation, but stay consistant over time? 21:52:13 I think haavard just means that you get the interp as a binary blob (or possibly even with source code) and you have to figure out how the language works by experimentation 21:52:24 some of my original plans for Snowflake work like that but even worse 21:52:27 but I toned it down a lot 21:52:50 Maybe even an online form to which you submit your program, so there's no source or disassembly available 21:53:16 And yeah, some language you have to figure out, not an existing one 21:54:34 ais523, it could even be a network black box 21:54:48 right 21:55:02 in which case I hope it gives useful error messages :-) 21:55:13 [>+>->[>]><>>>,>.[Hello, world!]]>++ 21:55:17 there's a hello world in takeover 21:55:37 http://esolangs.org/wiki/TMMLPTEALPAITAFNFAL 21:55:41 I decided to use the same 8 chars as BF to confuse people (after I realised I'd naturally chosen a bunch of them anyway) 21:55:45 I see a fish in there 21:55:50 the language is unrelated 21:56:01 It is related. 21:56:06 anyone want to guess how the language works based on that? 21:56:12 MDude: well only in that it's an esolang 21:56:16 No. 21:56:47 It is also related in that you could have a website that interprets a language similar to TMMLPTEALPAITAFNFAL 21:57:09 ais523, I'm guessing that in some circumstances [ and ] work as string delimiters 21:57:09 But instead of having the language be based on the time of day, it could be different for each user ID. 21:57:16 Taneb: indeed 21:57:25 and you're also correct that they don't /always/ work as string delimeters 21:57:28 So you would create an account and get a randomly generated language. 21:57:44 MDude: oh, we're in separate conversations 21:57:52 ais523, are they sometimes procedure delimiters? 21:57:55 I was talking about Takeover, you were apparently talking about the new TMMLPTEALPAITAFNFAL 21:58:01 And it wouldn't tell you which variation it is, do you'd have to reverse-engineer it. 21:58:15 Taneb: they sometimes aren't delimeters at all; there isn't much of a distinction between string and procedure delimiters 21:58:38 this explains why we were disagreeing with each other :-) 22:00:24 Hmm 22:00:34 They do, at least in that excerpt, seem to always be matching 22:00:36 (my previous comment was to MDude) 22:00:37 This may be a coincidence 22:00:47 Taneb: I did that to make the program easier to write 22:01:02 the second [ and first ] have no reason to match each other, but the first and last have to match 22:01:16 and thus I made the ones inside match too so that they didn't throw off the matching of the outside ones 22:02:18 here's an equivalent program to that one (but slightly longer): [>+>->]-[[><>>>,>.[Hello, world!]]>++ 22:05:53 -!- Trinity has quit (Ping timeout: 276 seconds). 22:06:16 most of the awkwardness in the language is to do with the use-mention distinction, which is kind-of more fluid than normal 22:07:18 Interesting 22:07:52 This is a very small rosetta stone to decode a language from, and that's not something I'm hugely good at in the first place 22:08:14 indeed, I wasn't really expecting someone to figure it out, just as a thought process to see how difficult it would be 22:08:20 I haven't written any larger programs yet 22:08:39 even the hello world took a while to get working; I wrote it correctly the first time but was failing due to interp bugs 22:09:20 That's the fun part 22:09:25 "Which program is wrong?" 22:10:02 well I got suspicious when the debug mode said that none of the commands were doing anything at all 22:10:33 I really hope the example programs I pulled off the Internet are actually correct, otherwise using them as test cases would be a bad idea 22:11:38 haavard: which language? 22:11:41 or is that a secret? 22:11:50 ><>, fish 22:13:29 ah right 22:13:34 that comes up at PPCG every now and then 22:13:51 (also I don't get which PPCG caught on at Stack Exchange when it's one of the worst possible platforms for that sort of thing) 22:15:19 Yeah, I was pretty amazed when I discovered someone actually wrote programs for my language :p 22:16:49 oh, that's your language? 22:16:57 it's about the right sort of power to make codegolf interesting 22:17:03 (I suspect Takeover might be a little too weak 22:17:04 ) 22:17:09 let me post an interp and the spec 22:17:58 Yeah, it's something I puzzled up years ago 22:18:30 Writing a new interpreter now, the old one probably sucks :P 22:19:05 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=46081&oldid=46048 * Ais523 * (+15) /* T */ +[[Takeover]] 22:20:44 ais523: Are coalgebras found in naughty category theorists' stockings? 22:20:57 hmm, not sure 22:23:02 [wiki] [[Takeover]] N http://esolangs.org/w/index.php?oldid=46082 * Ais523 * (+17083) new esolang 22:23:56 [wiki] [[Template:Yearcats]] http://esolangs.org/w/index.php?diff=46083&oldid=41593 * Ais523 * (+26) happy new year 22:24:42 [wiki] [[Category:2016]] N http://esolangs.org/w/index.php?oldid=46084 * Ais523 * (+11) happy new year 22:25:28 [wiki] [[User:Ais523]] http://esolangs.org/w/index.php?diff=46085&oldid=46039 * Ais523 * (+14) +[[Takeover]] (wow this list is getting long) 22:26:44 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=46086&oldid=46027 * Ais523 * (+67) /* Takeover */ new section 22:27:37 Taneb: http://esolangs.org/wiki/Takeover if you want to see how the language works :-) 22:28:52 Thanks :) 22:29:06 btw what I've been calling my Eodermdrome exam went well today 22:29:53 you had an exam on Eodermdrome? 22:30:29 I had an exam on programming by graph transformation 22:31:17 Which... actually does it about as differently from Eodermdrome as possible 22:31:25 It's based on directed graphs, for a start 22:32:16 ais523, if you're up to date with all the various graph programming languages used by precisely one department in one university, the lecturer is the creator of GP and GP2 22:32:29 sadly I'm not :-( 22:32:47 although having labels on the nodes, and directed arcs, makes programming a lot easier 22:33:10 Is https://www.cs.york.ac.uk/plasma/publications/pdf/Plump.WRS.11.pdf publicly accessible? 22:33:19 Apparently. 22:33:32 That's the design of GP 2 22:33:36 As you can tell from the title of the paper 22:35:25 -!- hppavilion[2] has joined. 22:36:21 -!- boily has joined. 22:41:38 @metar CYUL 22:41:39 CYUL 052200Z 23009KT 15SM FEW240 M13/M17 A3052 RMK CI1 CI TR SLP342 22:41:45 woohoo. M13. 22:41:50 @metar KOAK 22:41:51 KOAK 052153Z 24006KT 10SM FEW013 BKN032 OVC045 11/09 A2972 RMK AO2 RAE40 SLP065 P0000 T01110089 22:42:06 -!- ais523 has quit (Quit: buying things before the shops shut). 22:43:03 hellochaf. 22:43:11 yowly 22:43:20 @yowly 22:43:20 Somewhere in DOWNTOWN BURBANK a prostitute is OVERCOOKING a LAMB CHOP!! 22:44:31 I am not a pinhead. I am sane. 22:44:40 @yow! 22:44:41 Mr and Mrs PED, can I borrow 26.7% of the RAYON TEXTILE production of 22:44:41 the INDONESIAN archipelago? 22:46:30 @metar RKSI 22:46:31 RKSI 052230Z 13005KT 9999 SCT040 M02/M11 Q1027 NOSIG 22:56:31 -!- spiette has quit (Quit: weeee). 22:58:27 -!- oerjan has joined. 23:04:06 @metar ENVA 23:04:06 ENVA 052250Z 13009KT CAVOK M12/M17 Q1013 RMK WIND 670FT 12009KT 23:04:26 hellørjan. 23:05:45 -!- ais523 has joined. 23:06:34 brrroily 23:08:23 the yr.no weather forecast for my place says about -9, also a warning about wildfire danger in places in the region without snow. 23:08:49 perhaps we will have another strangely dry january like 2 years ago 23:09:34 "There are of course, certain conditions under which the detector will not indicate the presence of ice: (a) When there is no ice." 23:10:00 shocking 23:10:48 there was only one other condition listed 23:10:52 looks like it may stay dry but get a little less cold 23:11:06 "When there is no ice, or when the detector is broken" 23:12:35 the other condition was about a paragraph but boiled down to "when there is not enough ice to detect" 23:12:42 I feel like they missed quite a few, such as that one 23:13:03 "When there is WAY TOO MUCH ICE" 23:13:50 @metar EFHK 23:13:50 EFHK 052250Z 02009KT 9999 FEW030 BKN053 M20/M22 Q1010 NOSIG 23:13:57 @metar EGLL 23:13:58 EGLL 052250Z AUTO VRB02KT 5000 BR OVC047 06/06 Q0989 NOSIG 23:14:12 Aw, the temperature differential's not getting higher; 26 now. 23:15:38 M20? 23:15:46 When I was in EFHK it was 30. 23:16:32 That was probably not in January. 23:16:38 Correct. 23:16:48 @metar EGNT 23:16:49 EGNT 052250Z 11013KT 090V150 9999 -RA BKN009 06/06 Q0992 23:16:49 I doubt it's ever been 30 at EFHK in January. Well, indoors maybe. 23:17:06 I hear that some of those numbers represent temperature 23:17:13 Taneb: That's the 06. 23:17:27 ...temperature 80 miles away from here 23:17:30 It can easily be 00 at EFHK in January, though, so M20 does count as pretty cold. 23:18:18 If you ask me M20 is too cold. 23:18:22 @metar EGBB 23:18:22 EGBB 052250Z VRB03KT 3900 RA SCT006 BKN049 06/06 Q0989 23:18:49 shachaf: The Finnish weather site I usually use says it's "feels like" value is -30°. 23:19:04 temperature = dew point, does that mean no humidity? 23:19:10 M20 is interesting. my moustache and beard freeze. 23:19:27 ais523: it means 100% humidity hth 23:20:54 The forecast says it'll stay that cold until Friday (nightly lows at -25, -26, -26) but then on Sunday day it'll be at 0 (-7 at night). 23:20:55 hmm, Wikipedia's example METAR has the wind at 120°, varying from 290° to 310° 23:20:59 something seems wrong with tis 23:21:00 *this 23:21:32 -!- hppavilion[2] has quit (Ping timeout: 265 seconds). 23:21:33 fizzie: what temperature is it like indoors? and how often do you have to go outdoors in such conditions? 23:21:47 metacircular winds. 23:22:17 Indoor temperatures generally don't vary, unless you're stuck in an old house or something. They know about insulation. 23:25:22 hmm, it's not raining here at the university, but it apparently is at the airort 23:25:47 although given the apparent lack of wind, it might take a while for the rain to get here, if indeed it's even moving in this direction 23:25:51 Well, I mean, they do vary in the sense that in the summer indoor temperatures are unbearably hot for a few days, because they *don't* know about air conditioning. 23:26:58 I don't think I've ever lived anywhere with inadequate heating or drafty rooms for a long period of time. 23:27:44 The university here has a weather station, but lambdabot doesn't know about it 23:28:29 This current place is all-electric heating, so the indoor temperature is whatever we configure the radiators at, and then it just costs more. I think we're paying some ridiculous multiple of what our power bill in Finland used to be, here. 23:29:51 (District heating is very widespread in Finland, AIUI.) 23:30:06 quintopia, "four" is the only number in the English language with as many letters as its value <-- also, all others converge to it after a few steps 23:30:16 electric heating is pretty rare in the UK 23:30:25 most places have gas-based central heating 23:30:58 ais523: We don't even have a gas hob, which was somewhat difficult to arrange here. 23:31:15 in norwegian, 2=to, 3=tre, 4=fire all work... 23:31:23 My parents house has gas heating and a wood-burning stove 23:31:26 hobs/ovens are about equally split gas/electric in my experience 23:31:45 ah right, wood/coal heating is not unheard of 23:32:04 you can buy coal/charcoal/firewood at pretty much any petrol station, so presumably there are people who do 23:32:19 (en_GB:petrol = en_US:gasoline) 23:32:21 Finnish probably doesn't have any sorted numbers. 23:32:45 fizzie: not about sorting 23:32:59 hm although 23:33:10 Oh, this was something else? Right, I didn't even verify. 23:33:44 fizzie: numbers whose length equals their numerical value 23:33:44 You can buy charcoal and firewood at pretty much any petrol station in Finland too, but I've always assumed those are mostly for people doing cooking outdoors. 23:34:09 We've got viisi (5). 23:34:23 for some reason I'm reminded of Last ReSort, which similarly compares two numbers in different units 23:34:45 Kahdeksan (8, length 9) and yhdeksän (9, length 8) are just the wrong way around. 23:34:59 those are weird names for numbers! 23:35:06 no. 1=en, ei, ett is pretty sorted. in all genders. i think that's the only number though. 23:35:07 (8 and 9, that is; 5 seems reasonable) 23:35:34 words which have no repeated letters, and letters in alphabetical order 23:35:47 are much loved by NetHack players because you can spell them in prompts 23:35:51 Yksi, kaksi, kolme, neljä, viisi, kuusi, seitsemän, kahdeksan, yhdeksän, kymmenen; yksitoista, kaksitoista, kolmetoista, neljätoista, viisitoista, kuusitoista, seitsemäntoista, kahdeksantoista, yhdeksäntoista; kaksikymmentä, kaksikymmentäyksi, kaksikymmentäkaksi, ... and then it's mostly systematic. 23:35:55 * ais523 tries to remember what the longest words with its letters in sorted order is 23:35:56 They're pretty long. 23:36:04 As you'd expect, in colloquial speech people abbreviate them. 23:36:14 ais523, spoonfeed is longest in reverse order 23:36:43 I once borrowed a book from a library which was basically just about words with unusual properties, including records 23:36:49 it's where I got the name "eodermdrome" from 23:37:04 something seems wrong with tis <-- the difference is about 180, so presumably it's a toward/away from swap 23:37:20 (it was discussing the shortest possible word with a nonplanar adjacency graph) 23:37:29 oerjan: It shouldn't have one, though, according to the METAR decoded instructions I usually look at. 23:38:57 `` wc /usr/share/dict/words 23:39:04 I hope we have a dictionary in HackEgo 23:39:08 wc: /usr/share/dict/words: No such file or directory 23:39:09 more fun than doing things locally 23:39:12 bleh 23:39:39 The numbers 11..19 are all of the form "toista" where "" is one of 1..9; the suffix "-toista" means approximately "of the second". 23:39:58 So 17 -> "7 of the second [set of ten]". 23:40:28 We don't even have special words for 11 or 12. 23:41:53 where is HackEgo physically? 23:41:55 `help 23:41:55 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 23:41:58 Also when the sorted numbers came up, the /usr/share/dict/words on my work-workstation only had English sorted words for up to length of about 6 when disallowing repetitions. 23:42:09 "almost" was one of them. 23:42:48 I made the obligatory Perl oneliner, it involved a join("", sort { ord($a) <=> ord($b) } split //) construct. 23:42:56 * ais523 geolocates the IP 23:43:15 ais523: The fshg browser is not physically where HackEgo is, sorry. 23:43:21 There's a reverse-proxy setup involved. 23:43:32 -!- DHeadshot has joined. 23:43:36 fizzie: I'm using its /whois IP 23:43:41 Oh, right. 23:43:47 which is presumably how it connects to the internet 23:43:56 Finland, it seems 23:43:58 I just thought `help was related, and didn't think it's probably not cloaked. 23:44:05 wait no 23:44:08 I missed a digit 23:44:15 That sounded very unlikely. 23:44:22 Ontario, Canada 23:44:23 -!- Trinity has joined. 23:44:23 -!- Trinity has quit (Changing host). 23:44:23 -!- Trinity has joined. 23:44:31 I'd been assuming CloudAtCost is in the states somewhere. 23:44:33 fizzie, are you runing hackego these days? 23:44:41 `fetch http://ftp.ca.debian.org/debian/pool/main/s/scowl/wamerican_7.1-1_all.deb 23:44:44 2016-01-05 23:44:32 URL:http://ftp.ca.debian.org/debian/pool/main/s/scowl/wamerican_7.1-1_all.deb [272134/272134] -> "wamerican_7.1-1_all.deb" [1] 23:44:45 ais523: my understanding is that the finnish words for 8 and 9 are derivations adding a suffix -ks[aä]n to a form of 2 and 1 respectively 23:45:13 Phantom_Hoover: Not really, just sort of helping out occasionally since I've got a thing on the system for maintaining the wiki. 23:45:35 `ar t wamerican*.deb 23:45:36 ar: invalid option -- ' ' \ Usage: ar [emulation options] [-]{dmpqrstx}[abcDfilMNoPsSTuvV] [--plugin ] [member-name] [count] archive-file file... \ ar -M [ oerjan: I've never thought about that, but it sounds even almost plausible. 23:46:12 what kind of crazy ar impl is this? 23:46:14 oh 23:46:18 `` ar t wamerican*.deb 23:46:19 debian-binary \ control.tar.gz \ data.tar.gz 23:46:31 `` ar x wamerican*.deb data.tar.gz 23:46:33 No output. 23:46:45 `` tar tfz data.tar.gz 23:46:48 ​./ \ ./usr/ \ ./usr/share/ \ ./usr/share/dict/ \ ./usr/share/dict/american-english \ ./usr/share/doc/ \ ./usr/share/doc/wamerican/ \ ./usr/share/doc/wamerican/README.Debian \ ./usr/share/doc/wamerican/changelog.Debian.gz \ ./usr/share/doc/wamerican/copyright \ ./usr/share/doc/wamerican/wamerican.scowl-word-lists-used \ ./usr/share/man/ \ ./usr/s 23:47:35 `` tar -xzOf data.tar.gz ./usr/share/dict/american-english > dict-words 23:47:37 No output. 23:47:41 `` wc dict-words 23:47:42 ​ 99171 99171 938848 dict-words 23:47:45 there we go 23:47:50 `` rm data.tar.gz 23:47:53 No output. 23:47:58 `` rm wamercan*.deb 23:47:59 rm: cannot remove `wamercan*.deb': No such file or directory 23:48:03 `` rm wamerican*.deb 23:48:07 No output. 23:48:15 `` echo No output. 23:48:16 No output. 23:48:22 I should have got a Canadian list really but American is the default 23:49:40 `` grep a*b*c*d*e*f*g*h*i*j*k*l*m*n*o*p*q*r*s*t*u*v*w*x*y*z* dict-words 23:49:41 A \ A's \ AA's \ AB's \ ABM's \ AC's \ ACTH's \ AI's \ AIDS's \ AM's \ AOL \ AOL's \ ASCII's \ ASL's \ ATM's \ ATP's \ AWOL's \ AZ's \ AZT's \ Aachen \ Aaliyah \ Aaliyah's \ Aaron \ Abbas \ Abbasid \ Abbott \ Abbott's \ Abby \ Abby's \ Abdul \ Abdul's \ Abe \ Abe's \ Abel \ Abel's \ Abelard \ Abelson \ Abelson's \ Aberdeen \ Aberdeen's \ Abernathy 23:49:46 hmm 23:49:53 `` grep ^a*b*c*d*e*f*g*h*i*j*k*l*m*n*o*p*q*r*s*t*u*v*w*x*y*z*$ dict-words 23:49:54 a \ abbess \ abbey \ abbot \ abet \ abhor \ abhors \ ably \ abort \ abuzz \ accent \ accept \ access \ accost \ ace \ aces \ achoo \ achy \ act \ ad \ add \ adder \ adders \ adds \ adept \ ado \ adopt \ ads \ adz \ aegis \ aery \ affix \ afoot \ aft \ aglow \ ago \ ah \ ahoy \ ail \ ails \ aim \ aims \ air \ airs \ airy \ all \ allot \ allow \ allo 23:50:03 so how do I sort by length 23:50:10 sort doesn't have an option for that 23:50:31 I usually just print a length column in front. 23:50:36 Then sort -nr and then cut it out. 23:51:05 `` grep ^a*b*c*d*e*f*g*h*i*j*k*l*m*n*o*p*q*r*s*t*u*v*w*x*y*z*$ dict-words | perl -ne 'push @a; END {print sort {length $b <=> length $a} @a}' 23:51:09 No output. 23:51:12 hmm 23:51:12 `` grep ^a*b*c*d*e*f*g*h*i*j*k*l*m*n*o*p*q*r*s*t*u*v*w*x*y*z*$ dict-words | perl -ne 'print length($_), " ", $_;' | sort -nr | head 23:51:14 8 billowy \ 7 knotty \ 7 glossy \ 7 floppy \ 7 floors \ 7 effort \ 7 choppy \ 7 choosy \ 7 chintz \ 7 chinos 23:51:22 `` grep ^a*b*c*d*e*f*g*h*i*j*k*l*m*n*o*p*q*r*s*t*u*v*w*x*y*z*$ dict-words | perl -ne 'push @a, $_; END {print sort {length $b <=> length $a} @a}' 23:51:23 billowy \ abbess \ abhors \ accent \ accept \ access \ accost \ adders \ almost \ begins \ bellow \ billow \ biopsy \ cellos \ chills \ chilly \ chimps \ chinos \ chintz \ choosy \ choppy \ effort \ floors \ floppy \ glossy \ knotty \ abbey \ abbot \ abhor \ abort \ abuzz \ achoo \ adder \ adept \ adopt \ aegis \ affix \ afoot \ aglow \ allot \ all 23:51:27 there we go 23:51:36 not very many such sorted words, it seems 23:52:10 I always even just print length($_) instead of the actual length (counts the newline), since it doesn't change the ordering. 23:52:33 I remember biopsy and almost from the list. 23:52:45 `` find | grep -i word 23:52:56 ​./bin/rainwords \ ./bin/words \ ./bin/word \ ./dict-words \ ./share/WordData \ ./share/WordData/French \ ./share/WordData/GermanMedical \ ./share/WordData/Brazilian \ ./share/WordData/EngUs \ ./share/WordData/Finnish \ ./share/WordData/Bulgarian \ ./share/WordData/Ogerman \ ./share/WordData/EngGb \ ./share/WordData/Catalan \ ./share/WordData/Spa 23:53:15 ooh, we have WordData too 23:53:25 It may not be in a reasonable format. 23:53:29 but I think that's ngrammed 23:53:45 `` find | grep -i word | grep -v share/WordData 23:53:48 ​./bin/rainwords \ ./bin/words \ ./bin/word \ ./dict-words \ ./.hg/store/data/bin/word.i \ ./.hg/store/data/bin/rainwords.i \ ./.hg/store/data/bin/words.i \ ./.hg/store/data/p7zip__9.20.1/_d_o_c_s/_m_a_n_u_a_l/switches/password.htm.i \ ./.hg/store/data/git-master/t/t4034-diff-words.sh.i \ ./.hg/store/data/share/_word_data \ ./.hg/store/data/share 23:54:02 `` ghc -e 'interact $ unlines . sortBy (compare `on` length) . filter (\x -> x == sort x) . lines' < dict-words 23:54:03 bash: ghc: command not found 23:54:05 scow 23:54:11 `` find | grep -i word | grep -v share/WordData | grep -v '\.hg' 23:54:15 ​./bin/rainwords \ ./bin/words \ ./bin/word \ ./dict-words \ ./wisdom/word \ ./wisdom/password 23:54:17 `` grep ^a?b?c?d?e?f?g?h?i?j?k?l?m?n?o?p?q?r?s?t?u?v?w?x?y?z?a?b?c?d?e?f?g?h?i?j?k?l?m?n?o?p?q?r?s?t?u?v?w?x?y?z?$ dict-words | perl -ne 'push @a, $_; END {print sort {length $b <=> length $a} @a}' 23:54:18 No output. 23:54:33 `` grep ^a?b?c?d?e?f?g?h?i?j?k?l?m?n?o?p?q?r?s?t?u?v?w?x?y?z?a?b?c?d?e?f?g?h?i?j?k?l?m?n?o?p?q?r?s?t?u?v?w?x?y?z?$ dict-words | perl -ne 'push @a, $_; END {print sort {length $b <=> length $a} @a}' 23:54:34 No output. 23:54:40 what did I get wrong there? 23:54:46 shachaf: Gregor didn't reinstall ghc when he moved servers 23:55:04 ais523: no quotes? 23:55:17 shouldn't have mattered, but maybe it does 23:55:22 9 aegilops 23:55:24 `` grep '^a?b?c?d?e?f?g?h?i?j?k?l?m?n?o?p?q?r?s?t?u?v?w?x?y?z?a?b?c?d?e?f?g?h?i?j?k?l?m?n?o?p?q?r?s?t?u?v?w?x?y?z?$' dict-words | perl -ne 'push @a, $_; END {print sort {length $b <=> length $a} @a}' 23:55:25 No output. 23:55:35 Taneb: what sort of word is "aegilops" 23:55:46 it's all greek to me 23:55:46 -!- Phantom__Hoover has joined. 23:55:51 https://en.wiktionary.org/wiki/aegilops 23:56:00 ais523: egrep. 23:56:06 ais523, I have a wordlist with a lot of words in it 23:56:07 fizzie: oh ofc 23:56:07 `` wc -l dict-words 23:56:09 Or a lot of slashes. 23:56:10 99171 dict-words 23:56:10 `` egrep '^a?b?c?d?e?f?g?h?i?j?k?l?m?n?o?p?q?r?s?t?u?v?w?x?y?z?a?b?c?d?e?f?g?h?i?j?k?l?m?n?o?p?q?r?s?t?u?v?w?x?y?z?$' dict-words | perl -ne 'push @a, $_; END {print sort {length $b <=> length $a} @a}' 23:56:11 certainty \ imprudent \ loquacity \ abstains \ acerbity \ acquaint \ adequacy \ adjacent \ adorably \ airships \ belabors \ chivalry \ chowders \ citadels \ corsairs \ definers \ deforest \ degrades \ develops \ eloquent \ envelops \ foremost \ hindmost \ horsefly \ hostelry \ impudent \ invaders \ mortuary \ ability \ abrades \ abstain \ academy \ 23:56:13 Including chthonian 23:56:37 in NetHack you can use capital letters as well as lowercase letters to make it work a bit longer 23:56:49 I remember loquacity from the last time the NetHack inventory compatibility topic came up. 23:56:54 NetHack reverses capital and lowercase letter sorting or something, right? 23:57:05 shachaf: capitals sort later than lowercase 23:57:12 that's not so much "reverse" as just "different from ASCII" 23:57:25 Without any conditions on the words: 61 Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch's 23:57:30 This is a lot of words 23:57:35 huh, apparently it used to be spelt ægilops 23:57:44 I have a feeling the place I work, they'd have long lists of words too. 23:57:48 `` file dict-source # this had a relatively amusing result 23:57:48 which is a ligature that the topic doesn't have :-P 23:57:49 dict-source: ERROR: cannot open `dict-source' (No such file or directory) 23:57:54 Er. 23:57:55 `` file dict-words 23:57:57 dict-words: assembler source, UTF-8 Unicode text 23:58:06 Yes, thinko. 23:58:07 who writes asm in UTF-8 :-P 23:58:25 I guess it's /shaped/ like asm, but doesn't have nearly enough punctuation and numbers 23:59:04 -!- Phantom___Hoover has joined. 23:59:35 Where I used to work, we had a copy of https://catalog.ldc.upenn.edu/LDC2006T13 which I used a couple of times for random things like this. It's got 13588391 "words". 23:59:46 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 23:59:51 why does almost every PDF end up leaking internal filename details from the computer it was made via its title?