00:06:29 -!- erdic has joined. 00:12:04 int-e: a dysfunctional game with a more dysfunctional development team :P 00:12:41 dysfunctionaler 00:13:30 I don't mind the dysfunctionality. as long as I can transform anything that moves (and some of the stuff that don't) into poisoned pincushions on fire, everything is fine. 00:21:21 @tell ais523 huh, Haskell has a printf? <-- it abuses type classes something fierce 00:21:21 Consider it noted. 00:30:40 -!- adu has quit (Quit: adu). 00:31:33 -!- adu has joined. 00:31:47 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 00:32:08 -!- Sgeo has joined. 00:37:11 -!- boily has quit (Quit: OPERATOR CHICKEN). 00:48:05 -!- nys has joined. 01:00:24 -!- adu has quit (Quit: adu). 01:02:09 it should be a macro, like Rust's equivalent 01:02:41 I used to say that it should use typed formatting combinators instead of format strings 01:02:47 but format strings are pretty compelling for i18n 01:03:19 I think you can do i18n well with formatting combinators. 01:03:33 kmc: hm it could easily be a quasiquote... 01:03:41 i think there is a macro printf somewhere in TH, actually 01:04:15 hm, but with the macro you can't load translations at runtime 01:04:26 or switch languages very easily 01:04:48 kmc: you can do it with Typeable if nothing else. 01:04:59 oh, macro 01:04:59 is there a haskell printf which can do that... 01:05:06 elliott: aiui, translators (who are not necessarily developers) are very used to the tooling that goes with format strings 01:05:49 kmc: would they care if the translation string looks like "foo" % int % "bar" rather than foo%dbar? 01:05:58 hm i guess it's not that hard to write a wrapper around usual printf 01:06:52 for all I know Rust has support for dynamic format strings too 01:06:55 after all the compiler is a library 01:09:34 -!- edwardk has joined. 01:10:36 haskell printf doesn't seem to have any of that fancy reordering stuff 01:11:24 sadly with the way C printf works it would be impossible to write a typesafe haskell wrapper around it 01:11:58 yeah you want reordering for i18n 01:13:54 you want identifier keys, really. 01:14:06 edwardk: hi we decided you have to rename s t a b into s w a t, hth 01:14:16 =P 01:14:21 shachaf: today I ate at King of Falaf[ei]l 01:14:29 (they spell it both ways on the sign) 01:15:06 elliott: what's an identifier key 01:16:07 -!- fowl has quit (Ping timeout: 276 seconds). 01:17:14 oerjan: as in, along the lines of the python '%(foo)s %(bar)s' % {'foo': ..., 'bar': ...} syntax 01:17:17 apparently it used to be named Falafel Burger King 01:17:27 or '{foo} {bar}'.format(foo=..., bar=...) in python 3 01:17:36 kmc: can do typesafe format with dependent types 01:17:50 Sgeo: no more useful than the macro version in practice 01:18:53 oerjan: at that point you have a strong argument for just embedding subexpressions and having it be a templating language. foo and bar can just be locals, after all 01:19:40 kmc: was it delicious 01:19:48 elliott: i think kmc's comments are to the effect you _really really_ don't want translators to need to know haskell. 01:20:00 shachaf: yes 01:20:09 shachaf: though it wasn't as good as the first falafel sandwich I had there 01:20:12 it'll never be as good :/ 01:20:24 *+that 01:20:29 oerjan: say you have (\n -> [fmt|Result %d{n} is %s{result n}.|]) [0..10] 01:20:38 a translator will see Result %d{n} is %s{result n}. 01:20:54 which is more accessible than Result %d{0} is %s{1}. or whatever a direct printf style thing would give you 01:21:04 of course embedding complex expressions would be unreadable, but not only for the translator. 01:21:05 oh well i suppose they are opaque enough there 01:21:25 if you do something complex you can just let complicated = ... in [fmt| ... %d{complicated} ...|] 01:23:30 mhm 01:23:33 -!- shikhin has joined. 01:25:43 -!- conehead has quit (Quit: Computer has gone to sleep). 01:30:40 -!- fowl has joined. 01:32:24 I would have been pissed if Cryptol's number literal syntax included octal with just a leading 0 01:32:30 (It's 0o) 01:33:36 -!- realzies has joined. 01:35:47 i'm glad you're not pissed 01:39:59 who ever thought that leading 0 octal thing was a good idea 02:03:00 -!- conehead has joined. 02:13:59 -!- tertu has joined. 02:22:24 -!- shikhout has joined. 02:25:01 -!- shikhin has quit (Ping timeout: 252 seconds). 02:25:02 -!- shikhout has changed nick to shikhin. 02:29:34 -!- conehead has quit (Ping timeout: 276 seconds). 02:37:28 -!- nisstyre has joined. 02:37:46 http://i.imgur.com/hSgim85.jpg 02:38:20 I’m not sure why you even want syntax for different bases since every base is 10. 02:40:29 But do you mean 0b10, 0x10, 010, or 10? 02:40:31 :) 02:41:32 Or maybe data:application/octet-stream;base64,10= ? 02:42:19 is there a joke in the image somewhere 02:44:02 -!- adu has joined. 02:45:00 no, just an octopussy hth 02:49:51 Aww, while Erlang supports 16#1abc, it does not support 16#10#1abc or (16#10)#1abc. 03:15:04 -!- nys has quit (Quit: quit). 03:16:04 -!- tertu has quit (Read error: Connection reset by peer). 03:16:22 -!- tertu has joined. 03:25:05 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 03:27:59 "He got a prison sentence of at least 315 years and 8 months to life behind bars and has a 2309 parole eligibility date." 03:28:34 Sgeo: Who? 03:28:39 I.. what... I don't get it. Is this like 'multiple life sentences'? Can parole eligibility dates be reduced? 03:28:42 Colin Ferguson 03:30:06 Sgeo, just in case prisoners get ahold of trancendence-enabling computers 03:31:00 i think you need another judge to change parole eligibility 03:31:12 one day we'll be able to put evil people inside mirrors and throw them into space like superman 2 03:31:33 and then we'll all be arrested for galactic littering. 03:31:34 `addquote one day we'll be able to put evil people inside mirrors and throw them into space like superman 2 03:31:36 1187) one day we'll be able to put evil people inside mirrors and throw them into space like superman 2 03:33:15 -!- Sorella has quit (Quit: It is tiem!). 03:33:34 -!- kwertii has joined. 03:39:57 i think there are some things you can't technically get life imprisonment for, but if you do enough stuff it will add up to past the amount anybody would actually live. i think these things are mostly technicalities. 03:41:18 tertu: Colin Ferguson was a murderer. Surely you can get life for that 03:42:10 315 years and 8 months to life 03:42:13 that doesn't make sense 03:43:23 tertu: Sure it does 03:43:40 my attempt at interpreting this is that, if he lived for 315 years, 8 months and showed good behavior the whole time, he could get off then 03:43:48 but if he didn't it'd become a life sentence 03:44:22 thats pretty common in the states 03:44:29 if he's later exonerated of something the entire sentence won't disappear. it's pretty common 03:44:34 tertu: That is correct 03:44:38 sentencing to 150+ years 03:44:53 -!- tromp has quit (Remote host closed the connection). 03:45:24 okay Bike that makes sense as to why they even do this in the first place 03:45:25 -!- tromp has joined. 03:46:53 Also, life sentences might have possibility of parole, while those effectively don't. 03:47:22 (doesn't apply to federal sentencing: they have ended parole) 03:48:43 -!- atehwa has quit (Read error: Operation timed out). 03:48:50 -!- atehwa has joined. 03:49:43 -!- tromp has quit (Ping timeout: 252 seconds). 03:56:29 hm reddit's i18n has some strange gaps. 03:57:20 my comment dates are a mishmash of english and norwegian, somewhat varying with whether i've collapsed the thread. 03:58:41 i guess someone made a translation years ago which has not been updated when things changed. 03:59:32 denne posten ble lagt til på 24 Apr 2014 03:59:32 11 poeng (100% liker det) 03:59:32 11 upvotes 0 downvotes 03:59:33 shortlink: 04:00:14 two lines of english, two lines of norwegian. 04:00:28 (Well properly the Apr should have been lower-case.) 04:03:07 Fascinating. 04:04:15 Ved bruk av denne siden aksepterer du vår User Agreement og Privacy Policy. © 2014 reddit inc. Alle rettigheter forbeholdt. 04:04:17 REDDIT and the ALIEN Logo are registered trademarks of reddit inc. 04:07:48 i looked at the Yesod internationalization page. i wonder if _anyone_ ever gets the russian number - noun case correspondence properly. 04:08:30 sorry, noun case and gender, i think 04:08:47 i think at least 1 is inflected for gender 04:09:26 i'm told there's also a difference between noun and adjective forms of a number 04:10:10 well the "always translate phrases, not words" advice seems good. 04:10:52 Yeah, a gloss translation seems bad. 04:10:59 until you find a phrase that depends on even larger context for translation. 04:21:03 :t mapping 04:21:04 (Profunctor p, Functor f1, Functor g, Functor f) => AnIso s t a b -> p (f a) (f1 (g b)) -> p (f s) (f1 (g t)) 04:34:48 -!- kwertii has quit (Quit: kwertii). 04:52:48 -!- shikhin has quit (Ping timeout: 252 seconds). 05:12:35 -!- glogbackup has quit (Ping timeout: 252 seconds). 05:14:16 `coins 05:14:18 instimecoin bffe7ecoin madrincoin nietcoin singycoin repartretimercoin reverycoin descends.jscoin nonnelcoin monwarwitzcoin unquecoin hencoin aeolcoin ztcoin acrabarinworcoin buyercoin polisercoin mertcoin mimsheall0coin quotecoin 05:14:54 нетcoin 05:16:02 -!- glogbackup has joined. 05:24:57 :-) 05:25:23 da coin 05:39:52 -!- FreeFull has quit. 05:50:05 -!- tertu has quit (Ping timeout: 264 seconds). 05:55:42 -!- nisstyre has joined. 05:55:47 -!- lambdabot has quit (Read error: Operation timed out). 05:56:01 -!- glogbackup has quit (Remote host closed the connection). 05:56:37 -!- trout has quit (Read error: Operation timed out). 05:59:58 -!- lambdabot has joined. 06:00:59 -!- glogbackup has quit (Ping timeout: 252 seconds). 06:05:58 -!- glogbackup has quit (Ping timeout: 240 seconds). 06:14:52 -!- Sprocklem has quit (Quit: leaving). 06:15:36 `coins --russian 10 06:15:37 ​засыcoin гидроcoin обстренкамилоcoin подкладъйствcoin распрятаcoin бельнойcoin состиротоэиcoin судовеcoin косознашеcoin вайерныхcoin 06:18:17 `run sed -e 's/coin/монета/' -e 's/--eng-1M --esolangs/--russian/' bin/coins | sh 06:18:18 ​поквицкоммонета писатмонета халиномонета тыревоймонета вэньскиммонета присобследемонета опитанпаньмонета забушкарейзенноммонета антируюимонета двучнографичмонета льгахмонета пригу 06:19:59 -!- MoALTz has quit (Quit: Leaving). 06:28:17 -!- oerjan has quit (Quit: leaving). 06:39:52 Good morning 06:45:17 hi taneb 06:45:20 -!- glogbackup has quit (Ping timeout: 252 seconds). 06:45:35 I'm finally unruining lens 06:48:04 -!- MindlessDrone has joined. 06:51:22 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 06:51:32 -!- variable has joined. 06:58:33 -!- glogbackup has quit (Ping timeout: 252 seconds). 07:05:46 http://www.reddit.com/r/magicTCG/comments/23x4z8/one_turn_7_cards_no_infinite_combos_amount_of/ 07:08:13 Magic is a ridiculous game 07:08:26 And a game I very much don't want to get into. 07:19:02 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 07:19:47 guys 07:19:48 gals 07:19:50 others 07:19:57 ive discovered the right way to think about the SKI calculus 07:20:22 do tell 07:20:32 my dad's a bigtime skiier. 07:20:36 kmc: it involves categorical logic 07:26:28 -!- slereah_ has joined. 07:26:49 augur_, does it apply to BCKW calculus too? 07:26:58 Taneb: dunno 07:27:00 you can let me know 07:27:02 im writing a thing 07:27:08 ive decided thats simplest 07:27:49 Hello 07:27:56 BCKW? 07:28:07 bckw combinator calculus 07:28:53 slereah_, B = \x y z -> x (y z); C = \x y z -> x z y; W = \x y -> x y y 07:28:56 K is still K 07:29:02 hi slereah_ 07:29:39 slereah_, I believe it predates SKI slightly and I find it simpler to write in 07:33:23 -!- glogbackup has quit (Ping timeout: 252 seconds). 07:34:07 Oh 07:34:13 I think those are the original letters yeah 07:34:18 In the article of what's his name 07:34:25 curry? 07:34:28 Nah 07:34:31 Schonfinkel 07:34:36 oh him. 07:35:09 "Schönfinkel developed a formal system that avoided the use of bound variables. His system was essentially equivalent to a combinatory logic based upon the combinators B, C, I, K, and S. Schönfinkel was able to show that the system could be reduced to just K and S and outlined a proof that a version of this system had the same power as predicate logic." hm hm. 07:35:51 He even created Iota! 07:36:04 The original article had the one combinator system 07:36:10 But he did say it was pretty pointless 07:36:37 the bullshit combinator 07:36:58 Basically 07:38:09 -!- glogbackup has quit (Ping timeout: 265 seconds). 07:50:13 are there any one-combinator systems? 07:50:47 iota? 07:50:58 "or the runs-a-UTM combinator" 07:51:55 lol 07:52:01 I like that combinator 07:52:28 oh, here was a fun one I thought of today: can we get a minor-closed class of graphs, membership in which is undecideable? 07:53:07 read: can we design a language that's encoded in a graph so that any minor of a halting graph is also halting? 07:54:38 Dunno 07:54:42 There's a few graph languages 07:54:54 Plus you can do lambda calculus and such as graphs 07:55:01 The big one is the Kolmogorov machine 07:55:48 you need labels though 07:58:18 are there any analogues to regexps for languages higher in chomsky hierarchy? 07:58:33 CFGs? 07:58:37 CSGs? 07:58:42 unrestricted grammars? 07:59:01 anything, really 08:00:22 well, there are the "regexps" wuth backreferences but those are just ugly and still pretty limited 08:01:12 then all those things I named :) 08:02:27 yeah, but I've yet to see a notation similar to regexps that I could use with them 08:02:51 What computational class are regexps with unbounded backrefs? 08:03:09 nortti : Thue grammars? 08:03:34 i'm going to say CFGs for no rigorous reason 08:03:43 nortti: "clearly you should try snobol" 08:04:26 * slereah_ gets a C++ library, discretely moves the public: line 08:04:27 Taneb: I'm actually not sure. I know that regexp with backrefs can recognise the a^n b^n c^n style grammar which PDA cannot. however even with backrefs one cannot match a sexpr 08:04:32 Everything is public! 08:05:15 nortti: how does a regexp with backrefs recognise a^nb^nc^n? 08:05:54 -!- adu has quit (Quit: adu). 08:05:56 Bike: They are definitely not CFGs. A CFG cannot match square words 08:05:59 oh, sorry, derp 08:06:14 yeah, cannot recognise them 08:06:43 but at the same time, there are CFGs that they cannot recognise, like matched parens 08:06:46 (or sexprs) 08:08:14 PCRE has the ability to match the language of matching parens IIRC 08:12:34 mm kmc: not so much actually. its more that, the SKI combinators in a categorical setting are sufficient, but the translation isn't direct syntax, it's via composition as well. hmm 08:12:52 oh well. ill figure out something to write. :p 08:20:08 The nice thing about SKI is that it doesn't need a terminating character 08:20:23 You can assume that all characters to the left are ` and all to the right are I 08:22:30 i assume you mean one can omit initial applications and final identities ? 08:33:45 -!- conehead has joined. 09:20:55 Hmm, postfix SKI … 09:21:47 jot did nofix SKI 09:35:37 -!- conehead has quit (Quit: Computer has gone to sleep). 09:42:55 https://docs.python.org/2.7/library/mmap.html#mmap.flush look at them return values 10:21:48 -!- yorick has joined. 10:25:59 Happy Happy, Joy Joy 10:26:02 -!- idris-ircslave has quit (Quit: Terminated). 10:26:20 -!- idris-ircslave has joined. 10:26:34 If you ain't the grandaddy of all liars 10:26:53 Though my favorite Ren and Stimpy song remains the Stinky Weaselteat carol 10:35:08 Huh, first time I think I've seen a "P" in df -h output. 10:43:04 Cool. I haven’t even seen a T yet. 10:43:16 http://sprunge.us/LbjS 10:43:23 It's not my disk, of course. 11:12:57 Does lvm go to X? 11:13:05 (or is it E?) 11:23:59 I would think E; E is the standard SI prefix. 11:24:05 Don't know about LVM limitations. 11:24:14 There's still Z and Y beyond that. 11:24:47 "For 64-bit CPUs on 2.6 kernels, the maximum LV size is 8EB." 11:24:58 (Some outdated LVM faq.) 11:28:46 I should probably just do a raid6 instead of forgetting to make backups all the time 11:30:13 -!- nooodl has joined. 11:31:36 RAIDs are kind of less safe when it comes to "user error"-style mishaps. 11:32:00 "rm -rf * ~" and such. 11:32:18 (To remove temporary files ending in ~. Not that I've ever done that.) 11:32:54 Of course a fancy filesystem with snapshots would help. 11:33:04 lvm is pretty safe, as long as the idiot user doesn't get root 11:33:40 Also, the only problems I've had so far are disk failures. 11:34:41 I don't know, I've done "gcc -o file.c" accidentally once or twice. 11:35:25 git reset helps with that. 11:36:27 But yeah, why does gcc truncate the file first 11:36:41 Another fun typo is gcc file.c -o file.c 11:37:17 We have hourly, daily and weekly snapshots (going maybe two months back or so) of home directories in something like /home/.snapshots/... so that people can restore their own files without bothering the administrative folks. 11:38:30 Which snapshotting filesystem is that? 11:38:46 I don't really know, it's a SAN kind of thing. 11:38:57 Might be ZFS-based, I understand that's pretty enterprisey. 11:39:07 (It's exposed over NFS to users.) 11:40:19 Hrm. I went to the .snapshot dir of our "research disk" and did a ls, and it froze up. 11:40:26 That's perhaps not a good sign. 11:40:52 It might be merging diffs. 11:41:08 Well, not at the top-level 11:42:03 It might be nearline, depending on how enterprisey the san is 11:42:22 Well, I abbreviated a bit; there's a couple of different systems. 11:42:43 This research disk is from the university IT department. 11:43:03 The snapshotted homes were from a slightly more local, department-wide SAN from my previous department. 11:43:21 And they've had at least two iterations of it in the time I was there. 11:51:10 what do you think about a crossover of befunge and malbolge? 11:51:33 like, you can move over the same char later but it will do other stuff 11:51:49 -!- lambdabot has quit (Remote host closed the connection). 11:54:02 As long as it's not called "belange". 11:54:13 Or some other such name. 11:54:21 Malfunge, bebolge. Whatever. 11:54:38 Melange 11:55:25 I kind of like Befunge programs that use the same letters to do "other stuff" in the sense that it's executed e.g. both vertically and horizontally to do different things. 11:55:39 -!- lambdabot has joined. 11:57:38 http://esolangs.org/wiki/multiprogramming 12:08:09 -!- Sorella_ has joined. 12:08:42 -!- Sorella_ has changed nick to Sorella. 12:28:19 Apparently, Windows 8 has a weird made-up "Storage Spaces" thing, which they emphatically describe as not RAID. 12:29:43 Sounds a bit LVM-y. 12:29:58 "-- enables you to virtualize storage by grouping industry-standard disks into storage pools, and then create virtual disks called storage spaces from the available capacity in the storage pools." 12:30:02 More than a bit, even. 12:30:36 Just remap "industry-standard disks" -> physical volumes, "storage pools" -> volume groups and "storage spaces" -> logical volumes. 12:31:04 -!- Sgeo has quit (Read error: Connection reset by peer). 12:32:31 Does LVM also allow different RAID levels for each volume? 12:37:41 Yes, I think so, these days. It might not be quite as fancy. 12:43:17 "lvcreate --type raid5 -L 5G -i 3 -I 64 -n my_lv vg00" "Creates a 5GiB RAID10 logical volume "vg00/my_lv", with 2 stripes on 2 2-way mirrors." -- (man lvcreate) 12:43:40 Oh, I mismatched some lines. 12:44:00 That's a RAID5 LV, as you might have guessed from the --type argument. 12:47:34 -!- nooodl_ has joined. 12:49:10 -!- tromp has joined. 12:49:38 -!- kronion has joined. 12:49:51 -!- nooodl has quit (Disconnected by services). 12:49:52 -!- nooodl_ has changed nick to nooodl. 12:50:14 -!- tromp has quit (Remote host closed the connection). 12:55:12 -!- kronion has quit (Quit: Leaving.). 13:01:08 [wiki] [[Special:Log/newusers]] create * CodingBat * New user account 13:24:43 [wiki] [[@tention!]] http://esolangs.org/w/index.php?diff=39399&oldid=30317 * CodingBat * (+473) 13:24:49 -!- tertu has joined. 13:31:01 -!- drdanmaku has joined. 13:35:05 -!- tertu has quit (Ping timeout: 252 seconds). 13:45:07 -!- Taneb has changed nick to hk3379. 13:48:30 -!- Tritonio has joined. 13:49:47 -!- hk3379 has changed nick to Taneb. 13:55:58 -!- nucular has joined. 13:55:58 -!- nucular has quit (Changing host). 13:55:58 -!- nucular has joined. 13:57:35 -!- CodingBat has joined. 13:58:39 -!- CodingBat has left. 14:02:48 -!- tertu has joined. 14:19:38 -!- Sprocklem has joined. 14:27:08 -!- Vamadeus has joined. 14:27:08 -!- Vamadeus has quit (Changing host). 14:27:08 -!- Vamadeus has joined. 14:43:18 -!- tertu has quit (Ping timeout: 240 seconds). 14:44:11 -!- Sprocklem has quit (Quit: leaving). 14:46:04 -!- Sprocklem has joined. 15:01:26 "1 x PCIe 3.0 x16 Slot, Supports AMD Quad CrossFireX, CrossFireX" 15:03:03 -!- impomatic has joined. 15:10:58 -!- Sprocklem has quit (Quit: brb). 15:11:58 -!- Patashu_ has quit (Ping timeout: 240 seconds). 15:12:38 -!- edwardk has quit (Quit: Computer has gone to sleep.). 15:13:11 -!- Sprocklem has joined. 15:15:38 -!- mhi^ has joined. 15:17:17 Hi mhi^ 15:18:24 Hey, Sprocklem. ;) 15:19:32 hi, you two 15:20:13 Hi nortti 15:20:23 Hey, nortti. 15:21:01 my plan of luring all of #osdev-offtopic here seems to be working :P 15:22:12 nortti: Does shikhin frequent here? 15:22:20 idles 15:32:49 -!- Tritonio has quit (Ping timeout: 240 seconds). 15:35:05 nortti: You didn't feel there was enough off-topic discussion as it is? 15:36:51 ðere can never be too much offtopic discussion! 15:36:53 *there 15:37:39 (For the record I was here before today) 15:38:51 -!- yorick has quit (Remote host closed the connection). 15:39:16 `unicode ð 15:39:17 U+00F0 LATIN SMALL LETTER ETH \ UTF-8: c3 b0 UTF-16BE: 00f0 Decimal: ð \ ð (Ð) \ Uppercase: U+00D0 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) 15:40:13 Not to be confused with đ. 15:40:23 `unicode đ 15:40:24 U+0111 LATIN SMALL LETTER D WITH STROKE \ UTF-8: c4 91 UTF-16BE: 0111 Decimal: đ \ đ (Đ) \ Uppercase: U+0110 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) 15:41:02 ðр⽹ 15:41:20 what is the last char in that? 15:41:33 `unicode 2F79 15:41:34 U+2F79 KANGXI RADICAL NET \ UTF-8: e2 bd b9 UTF-16BE: 2f79 Decimal: ⽹ \ ⽹ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ Decomposition: 7F51 15:41:46 `unicode ÐĐƉ 15:41:47 U+00D0 LATIN CAPITAL LETTER ETH \ UTF-8: c3 90 UTF-16BE: 00d0 Decimal: Ð \ Ð (ð) \ Lowercase: U+00F0 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+0110 LATIN CAPITAL LETTER D WITH STROKE \ UTF-8: c4 90 UTF-16BE: 0110 Decimal: Đ \ Đ (đ) \ Lowercase: U+0111 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to- 15:42:14 `run unicode ÐĐƉ | fgrep U+ 15:42:15 U+00D0 LATIN CAPITAL LETTER ETH \ Lowercase: U+00F0 \ U+0110 LATIN CAPITAL LETTER D WITH STROKE \ Lowercase: U+0111 \ U+0189 LATIN CAPITAL LETTER AFRICAN D \ Lowercase: U+0256 15:42:39 `run unicode ðр⽹ | grep -E '^U\+' 15:42:40 U+00F0 LATIN SMALL LETTER ETH \ U+0440 CYRILLIC SMALL LETTER ER \ U+2F79 KANGXI RADICAL NET 15:43:12 "It is also used as the letter symbol for the internet cryptocurrency, Dogecoin." https://en.wikipedia.org/wiki/%C4%90 15:43:16 Ooooh. It was an er … 15:45:16 -!- AnotherTest has joined. 15:54:33 http://sprunge.us/dSXL (possible) victory! 15:55:12 Also there is still `unidecode, you don't need to play around with unicode + grep. 15:57:12 Did you beat the poor caged-up drive into submission 16:03:38 -!- Vamadeus has quit (Ping timeout: 240 seconds). 16:04:32 -!- Phantom_Hoover has joined. 16:05:06 -!- slereah_ has quit (Quit: Leaving). 16:11:12 I just put it in a different box. 16:12:18 Somewhat curiously, in my non-boxlike USB dock thing the same drive says "732566646 4096-byte logical blocks" rather than the "5860533168 512-byte logical blocks" + "4096-byte physical blocks" thing it does in this box. 16:17:20 -!- MoALTz has joined. 17:01:21 [wiki] [[Special:Log/newusers]] create * Creeparoo * New user account 17:17:34 -!- Vamadeus has joined. 17:17:34 -!- Vamadeus has quit (Changing host). 17:17:34 -!- Vamadeus has joined. 17:29:08 hi fizzie 17:29:09 good morning 17:32:28 [wiki] [[@tention!]] http://esolangs.org/w/index.php?diff=39400&oldid=39399 * Oerjan * (+0) Why would you change that? 17:35:49 -!- Sprocklem has quit (Ping timeout: 252 seconds). 17:35:53 Evening. 17:36:38 :) 17:38:55 `run cat $(which unicode) 17:38:55 ​#!/usr/bin/python \ \ \ import os, glob, sys, unicodedata, locale, gzip, re, traceback, encodings \ import urllib, webbrowser, textwrap \ \ # bz2 was introduced in 2.3, we want this to work also with earlier versions \ try: \ import bz2 \ except ImportError: \ bz2 = None \ \ # for python3 \ try: \ unicode \ except NameError: \ 17:39:02 jeez 17:39:10 `run wc -l $(which unicode) 17:39:10 815 /hackenv/bin/unicode 17:39:58 `cat /bin/unicode.old 17:39:59 It's https://packages.debian.org/search?keywords=unicode nowadays. 17:39:59 cat: /bin/unicode.old: No such file or directory 17:40:21 `run cat /bin/unicode.* 17:40:21 cat: /bin/unicode.*: No such file or directory 17:40:40 You don't want a /bin/, you want a bin/. 17:40:50 `run cat bin/unicode.* 17:40:50 ​#!/usr/bin/env python \ # -*- encoding: utf-8 -*- \ import re \ import sys \ import unicodedata \ def l(c): m = re.match('(?:U[+])?([0-9a-f]{1,5})$', c, re.I); return unicodedata.lookup(c) if m is None else unichr(int(m.group(1),16)) \ try: \ print u''.join(map(l, sys.argv[1:])).encode('utf-8') \ except KeyError: \ print u'Unknown charac 17:41:03 `run wc -l bin/unicode.old 17:41:03 10 bin/unicode.old 17:41:56 `unicode snake 17:41:57 U+1DC2 COMBINING SNAKE BELOW \ UTF-8: e1 b7 82 UTF-16BE: 1dc2 Decimal: ᷂ \ ᷂ \ Category: Mn (Mark, Non-Spacing) \ Bidi: NSM (Non-Spacing Mark) \ Combining: 220 (Below) \ \ U+2E92 CJK RADICAL SNAKE \ UTF-8: e2 ba 92 UTF-16BE: 2e92 Decimal: ⺒ \ ⺒ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F40D SNAKE \ UT 17:43:17 I appreciate Unicode 6.x support as much as the next guy, but I have to admit I liked the old scripts more. 17:43:20 These are just so verbose. 17:43:42 Also so many features. 17:43:45 [wiki] [[Poop]] N http://esolangs.org/w/index.php?oldid=39401 * Creeparoo * (+1236) Created page with "Poop is an esoteric programming language made by Eike Tim Jesinghaus in april 2014. Poop is unusable for programming, because it's just a joke/fun language. Poop has one empty..." 17:44:08 Classy. 17:44:33 [wiki] [[Poop]] http://esolangs.org/w/index.php?diff=39402&oldid=39401 * Creeparoo * (+0) 17:45:58 [wiki] [[Poop]] http://esolangs.org/w/index.php?diff=39403&oldid=39402 * Creeparoo * (+1) 17:46:08 It's a... turning cesspit 17:46:44 someone told me about a language where the instruction pointer was water/liquid, anybody knows which language this could be? 17:47:09 -!- edwardk has joined. 17:47:10 -!- idris-ircslave has quit (Quit: Terminated). 17:47:15 `run tail -n 3 bin/unicode.old 17:47:15 ​ print u''.join(map(l, sys.argv[1:])).encode('utf-8') \ except KeyError: \ print u'Unknown character.' 17:47:26 -!- idris-ircslave has joined. 17:47:41 > 1 17:47:41 1 : Integer 17:47:42 1 17:47:47 >_< 17:47:54 Reassuring. 17:48:33 the loneliest number 17:49:02 Zero is the loneliest number 17:49:55 -!- FreeFull has joined. 17:52:01 -!- idris-ircslave has quit (Client Quit). 17:52:18 -!- idris-ircslave has joined. 17:52:27 > 42 17:52:27 42 : Integer 17:52:29 42 17:52:43 >___< 17:53:09 > 0 17:53:10 0 : Integer 17:53:11 0 17:53:13 > 0.0 17:53:13 0.0 : Float 17:53:14 0.0 17:53:19 > butt 17:53:19 (input):1:1:When elaborating an application of constructor __infer: 17:53:19 No such variable butt 17:53:21 Not in scope: ‘butt’ 17:53:24 :( 17:53:30 > b 17:53:30 (input):1:1:When elaborating an application of constructor __infer: 17:53:30 No such variable b 17:53:31 b 17:53:43 > 1+1 17:53:43 2 : Integer 17:53:45 2 17:53:51 > 1/0 17:53:52 Infinity : Float 17:53:53 Infinity 17:54:01 > 0/0 17:54:01 NaN : Float 17:54:03 NaN 17:55:34 I made a conffile saying in #esoteric its prefix is only ( , and coded so far that it should obey that, but evidently something is still wrong. 17:56:17 `run mv bin/{un,mult}icode && (head -n -1 bin/unicode.old | sed 's/import sys/import sys, os/'; echo ' os.execvp("multicode", sys.argv[1:])') > bin/unicode && rm bin/unicode.old 17:56:19 No output. 17:56:25 `unicode 1234 17:56:25 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/unicode: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/unicode: cannot execute: Permission denied 17:56:33 `run chmod +x bin/unicode 17:56:35 No output. 17:56:36 `unicode 1234 17:56:37 ​ሴ 17:56:45 `unicode 12345 17:56:45 ​𒍅 17:57:42 `unicode 1f000 17:57:43 ​🀀 17:58:27 Wait, remind me why I replaced bin/unicode 17:59:18 Because the old one used Python's built-in Unicode database, which was stuck with Unicode 5.2. 17:59:35 At least that's what I assumed. 18:00:04 > :t State 18:00:04 Command t not permitted. 18:00:06 :1:1: parse error on input ‘:’ 18:00:12 *huh* 18:00:17 -!- variable has quit (Quit: I found 1 in /dev/zero). 18:00:38 `unicode 10980 18:00:38 ​𐦀 18:00:54 `rm bin/UnicodeData.txt 18:00:56 No output. 18:00:59 `unicode 10980 18:00:59 ​𐦀 18:01:03 `revert 18:01:04 Done. 18:01:24 `unidecode 🀀 18:01:25 ​[U+1F000 MAHJONG TILE EAST WIND] 18:01:45 -!- conehead has joined. 18:02:29 -!- idris-ircslave has quit (Quit: Terminated). 18:02:52 -!- idris-ircslave has joined. 18:02:54 -!- idris-ircslave has quit (Client Quit). 18:04:49 I'd appreciate if this new `unicode did character names correctly. 18:04:52 `unicode PILE OF POO 18:04:53 Usage: multicode [options] arg \ \ Options: \ -h, --help show this help message and exit \ -x, --hexadecimal Assume arg to be hexadecimal number \ -o, --octal Assume arg to be octal number \ -b, --binary Assume arg to be binary number \ -d, --decimal Assume arg to be decimal number \ -r, --rege 18:05:27 `run sed -i 's/"multicode", /"multicode", ["multicode"] +/' bin/unicode 18:05:28 No output. 18:05:47 `unicode BUNNY WOMAN 18:05:47 No output. 18:06:13 `unicode WOMAN WITH BUNNY 18:06:14 U+1F46F WOMAN WITH BUNNY EARS \ UTF-8: f0 9f 91 af UTF-16BE: d83ddc6f Decimal: 👯 \ 👯 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) 18:06:40 Oh, so it's a fallback thing now, I missed that entirely. 18:06:48 Well, that's reasonable. 18:07:24 `unidecode 👯 18:07:25 ​[U+1F46F DUNNO] 18:07:32 -!- idris-ircslave has joined. 18:07:39 `run multicode DUNNO # just checking 18:07:39 No output. 18:08:03 > Right 18:08:05 No instance for (Data.Typeable.Internal.Typeable b0) 18:08:05 arising from a use of ‘M57523064348926377873909.show_M57523064348926377873... 18:08:05 The type variable ‘b0’ is ambiguous 18:08:05 Note: there are several potential instances: 18:08:05 instance Data.Typeable.Internal.Typeable Data.Aeson.Lens.Primitive 18:08:12 ( Right 18:08:13 (input):0:0:Incomplete term Right 18:08:28 Looks like it’s working now. 18:08:36 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:08:54 -!- variable has joined. 18:09:16 > "success?" 18:09:17 "success?" 18:09:26 ( "success!" 18:09:26 "success!" : String 18:09:30 \o/ 18:09:30 | 18:09:30 /< 18:10:01 Good news everyone! You can use > for lambdabot again! 18:10:54 I guess we can scrap the five-year soviet reeducation program, then. 18:11:35 the first step is to learn to spell it reëducation 18:11:42 -!- variable has quit (Max SendQ exceeded). 18:12:50 Does anyone want to guess what the problem fifteen minutes ago was? 18:13:11 (I hope this does not get interpreted 18:13:23 Oh, also: 18:13:26 reé̈ducation 18:13:45 idris-ircslave: ( "calling" 18:13:45 "calling" : String 18:14:35 It now also strips its nick before any further interpretation, rather than using “idris-ircslave: ” as a prefix. 18:16:23 nortti: The prefix includes the space. 18:17:14 `run (sed -e 's/import sys/import os, sys/' -e 's/^print \(.*\)$/s = \1/' bin/unidecode; echo $'if u"DUNNO" in s:\n os.execvp("multicode", ["multicode"] + sys.argv[1:])\nelse:\n print s') > /tmp/a && mv /tmp/a bin/unidecode 18:17:15 No output. 18:17:20 `unidecode 👯 18:17:21 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/unidecode: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/unidecode: cannot execute: Permission denied 18:17:32 `run chmod +x bin/unidecode 18:17:33 No output. 18:17:35 `unidecode 👯 18:17:36 U+1F46F WOMAN WITH BUNNY EARS \ UTF-8: f0 9f 91 af UTF-16BE: d83ddc6f Decimal: 👯 \ 👯 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) 18:18:19 (Yes, they both fall back to the same program) 18:22:13 The unidecode fallback should perhaps be multicode -s explicitly. 18:22:39 (I'm sure people will often need to `unidecode 1234 or some-such, yes.) 18:22:57 -!- pdxleif has joined. 18:23:45 `unidecode 1234 18:23:46 ​[U+0031 DIGIT ONE] [U+0032 DIGIT TWO] [U+0033 DIGIT THREE] [U+0034 DIGIT FOUR] 18:23:55 -!- variable has joined. 18:27:34 Well, okay, I guess that doesn't involve a fallback. 18:54:38 -!- mhi^ has quit (Quit: Lost terminal). 18:56:50 -!- mhi^ has joined. 19:21:26 -!- Vamadeus has quit (Remote host closed the connection). 19:37:41 ሴ 19:38:39 👀 19:43:55 "So. It’s World Penguin Day & DNA Day… AND World Malaria Day & Ed Balls Day." kmc you know what to do 19:44:20 wow 19:44:27 is it really ed balls day already? 19:45:02 seems like last ed balls day was just recently 19:45:08 oh it's Monday 19:56:19 -!- Frooxius has joined. 19:59:05 -!- Frooxius has quit (Read error: Connection reset by peer). 19:59:40 -!- Frooxius has joined. 21:00:23 -!- idris-ircslave has quit (Quit: Terminated). 21:00:36 -!- idris-ircslave has joined. 21:01:27 -!- sebbu has quit (Ping timeout: 265 seconds). 21:01:38 -!- idris-ircslave has quit (Client Quit). 21:06:10 -!- idris-ircslave has joined. 21:19:17 -!- edwardk has quit (Ping timeout: 252 seconds). 21:25:24 -!- yorick has joined. 21:32:31 -!- idris-ircslave has quit (Quit: Terminated). 21:32:45 -!- idris-ircslave has joined. 21:32:49 -!- nucular has quit (Quit: Excess Food). 21:33:34 -!- AnotherTest has quit (Ping timeout: 276 seconds). 21:40:25 -!- MoALTz has quit (Quit: Leaving). 21:46:49 -!- Slereah has quit (Ping timeout: 240 seconds). 21:53:13 -!- shachaf has quit (Ping timeout: 240 seconds). 21:53:59 -!- shachaf has joined. 21:56:21 [wiki] [[Special:Log/newusers]] create * AJMasfield * New user account 21:58:04 `ls 21:58:04 98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ UNPA \ Wierd \ wisdom \ wisdom.pdf 21:58:18 -!- sebbu has joined. 21:58:25 `run echo < hello.c 21:58:25 No output. 21:58:32 `cat hello.c 21:58:32 const char main[] = "AXAYAZA[A\\ATX-pppp-0```- ///P^VTXH10XP4>40PZ414>P_\x0f\x05XATASARAQAP\xc3Hello, world!\n"; 21:58:48 -!- sebbu has quit (Changing host). 21:58:48 -!- sebbu has joined. 21:59:36 -!- Slereah_ has joined. 22:07:18 -!- Slereah_ has quit (Remote host closed the connection). 22:08:07 -!- edwardk has joined. 22:08:43 -!- oklopol has quit (Quit: Leaving). 22:10:38 -!- mhi^ has quit (Quit: Lost terminal). 22:11:15 Oi, what's a good mail client? 22:21:26 [wiki] [[Trainscript]] N http://esolangs.org/w/index.php?oldid=39404 * AJMasfield * (+418) Created page with "'''Trainscript''' is an estoreic programing language currently under development. All data in trainscript is represented as train locomotives pulling a cargo of 1's and 0's, ..." 22:26:36 -!- Slereah_ has joined. 22:38:07 -!- Slereah_ has quit (Ping timeout: 265 seconds). 22:42:31 -!- oerjan has joined. 22:47:28 -!- Slereah_ has joined. 22:49:09 I'm finally unruining lens <-- wait why didn't i open that thread 22:49:26 must have clicked only the blog link 22:50:34 or maybe it's another browser tab bug 22:52:10 What thread? 22:52:19 What blog? 22:52:51 http://www.reddit.com/r/haskell/comments/23uzpg/lens_is_unidiomatic_haskell/?limit=500 22:53:29 in that thread Taneb admits to his sins. i know this because that comment showed up in my friends list 22:54:04 oerjan, today I pushed 217 lines of documentation into lens 22:54:27 oerjan: Thanks 22:54:33 taneb: Nice, thanks for your contribution. :-) 22:54:35 but i haven't yet got to the part of the thread that gives context enough to tell _what_ he's not documented before. 22:54:55 Say 10 Hail Marys and make 3 more lens commits and your sins shall be forgiven. 22:55:00 whoa, whoa, comments? what is this, ruby 22:55:00 :P 22:55:05 documentation?? 22:55:25 edwardk: you're highlighting "lens" right 22:55:33 -!- boily has joined. 22:55:37 edwardk, I managed to not learn the Hail Mary in all four years I spent at a catholic middle school 22:55:41 My greatest pride. 22:56:01 * oerjan doesn't know hail mary, being nominally protestant 22:56:19 although i guess might be the same as that ave maria they sing at christmas? 22:56:39 It mentions fruit of thine womb or something 22:56:55 i remember that fructus part yeah 22:57:01 well that word. 22:57:18 -!- Slereah_ has quit (Ping timeout: 240 seconds). 22:58:23 oerjan: that thread is like an exact repeat of ones seen a year+ ago 22:58:25 nothing ever changes 22:59:49 `addquote in that thread Taneb admits to his sins. i know this because that comment showed up in my friends list oerjan, today I pushed 217 lines of documentation into lens [...] Say 10 Hail Marys and make 3 more lens commits and your sins shall be forgiven. 22:59:51 1188) in that thread Taneb admits to his sins. i know this because that comment showed up in my friends list oerjan, today I pushed 217 lines of documentation into lens [...] Say 10 Hail Marys and make 3 more lens commits and your sins shall be forgiven. 23:01:57 i suppose it might not be entirely clear that all those lines are actually related 23:02:13 elliott: well the next time it will be BETTER DOCUMENTED hth 23:02:32 next time I will hopefully not click the link :P 23:02:49 oh i assumed you'd already read it 23:02:58 but i guess you are avoiding reddit 23:04:10 well /r/haskell was like the last subreddit I quit reading. 23:05:24 -!- tromp has joined. 23:06:22 -!- Slereah_ has joined. 23:06:37 i seem to be slowly dropping subreddits too, although mainly because i read them in an order and no longer get very much around to the largest ones 23:07:15 well the order is approximately smaller to larger 23:07:35 where's /r/TsundereSharks in the lineup 23:07:38 and /r/haskell is the second smallest one 23:07:52 Bike: i'm sorry that's not included 23:08:03 offensive 23:08:21 i used to have /r/science but i never got around to it so just removed it 23:08:51 and it's rare that i get up to /r/programming 23:09:29 the approximate is because i tend to read /r/physics before /r/math, even though they keep switching places. 23:10:18 is /r/physics good 23:10:32 sometimes 23:12:05 Taneb: I also went to a Catholic grade school. It made me the atheist I am today. ;) 23:12:12 -!- Slereah_ has quit (Read error: Connection reset by peer). 23:13:02 edwardk, I started calling myself "atheist" rather than "probably atheist" last week 23:13:11 Although I am still on good terms with my local priest 23:13:21 praytheist 23:14:17 The only thing I find myself compelled to do for an hour on Sundays these days is watch Cosmos. ;) 23:15:26 -!- Slereah_ has joined. 23:17:48 -!- nisstyre has joined. 23:18:38 edwardk: noticing the first subthread of that thread i am wondering: since it is iirc possible to get TH to output the resulting haskell file, shouldn't it be possible to make hackage include pre-processed versions that stage 1 architectures can use? 23:19:13 oerjan: it'll output a text dump of what its splicing 'approximately' 23:19:15 joeyh has some tool along those lines 23:19:43 -!- Slereah has joined. 23:19:44 -!- Slereah_ has quit (Ping timeout: 252 seconds). 23:19:54 elliott: gave up on #haskell-lens? 23:20:31 anyways. hand hacking up the TH it generates would be fine 23:20:38 edwardk: eh :) maybe I'll be back someday but I haven't written much Haskell in a while 23:20:41 edwardk: https://joeyh.name/blog/entry/Template_Haskell_on_impossible_architectures/ 23:20:52 that post/code might have useful leads 23:20:55 yeah but it would be nice if there were an automated process that generally worked 23:21:18 "Imagine you had an excellent successful Kickstarter campaign," lost my suspension of disbelief 23:21:33 although i guess in general TH can do OS-specific things that affects its output 23:22:14 *-s 23:23:13 anyways the code in lens should be pretty much easily translatable 23:24:01 edwardk: i'm rather thinking about what it would take to make people able to use cabal install normally and have it work that way 23:24:03 it is mostly the IOErrorType Prisms in http://hackage.haskell.org/package/lens-4.1.2/docs/System-IO-Error-Lens.html that vary 23:24:25 having a makeLenses preprocessor or some such? 23:24:39 -!- adu has joined. 23:24:51 pgmFlenspp 23:25:03 I'm still holding out for -XLens 23:25:21 well, with the ORF going in in 7.10 you'll be able to reduce the need for makeLenses a bit 23:25:39 makeClassy is still useful though 23:26:12 i'm not actually talking specifically about lens, though. 23:26:19 sure 23:26:54 the main headache would be figuring out what to splice and how 23:27:07 something like that EvilSplicer could probably be modified to work in general thoug 23:27:38 given a 'shadow' -ddump-splices output file that it could read to replace splices or run without the splicer / in generation mode with different flags 23:28:16 so you could rebuild them with a flag, commit them, and when building on stage1 take the splices 23:31:19 -!- adu has quit (Quit: adu). 23:31:53 yuck. 23:31:54 i guess that joeyh link explains why this is harder than i thought :( 23:32:00 how about making TH cross-compilation work? 23:35:31 -!- Sgeo has joined. 23:36:29 "(My longest GHC error message seen on this odyessy was actually a full 500+ kilobytes in size. It included the complete text of Jquery and Bootstrap. At times like these you notice that GHC outputs its error messages o.n.e . c.h.a.r.a.c.t.e.r . a.t . a . t.i.m.e.)" 23:37:38 elliott: is the first comment on that post relevant to that? 23:39:02 oerjan: I dunno 23:39:07 I would guess not but I'm not sure. 23:39:11 I don't know 7.8 23:40:31 huh, jquery's bigger than i thought 23:40:37 still less than a tenth of 500 kb 23:41:41 -!- yorick has quit (Remote host closed the connection). 23:41:47 'j':'Q':'u':'e':'r':... 23:49:01 is the term "optic" official lens nomenclature? 23:49:09 these days 23:49:25 can lens rebrand as optics yet? 23:49:32 it is better than 'lenslikes' 23:49:57 * oerjan considers 'edwardk highlights on "lens"' confirmed 23:50:14 `? fun fact 23:50:15 fun fact 0 = 1 | fact n = n * fact (n - 1) 23:52:38 oerjan: that last one was me flipping between channels i was talking on =) 23:52:45 but i do sometimes highlight on lens 23:52:57 OKAY 23:54:59 -!- Patashu has joined. 23:55:45 oh they are the profunctor-generalized version of lenslike 23:58:41 -!- Patashu_ has joined. 23:58:41 -!- Patashu has quit (Disconnected by services). 23:59:07 -!- edwardk has quit (Quit: Computer has gone to sleep.). 23:59:31 i don't think the Apply/Traversal1/Fold1 stuff was there last i looked... 23:59:53 but it's using the lack of pure to ensure there has to be at least one item, i take