00:21:03 <zzo38> How many people using vi/vim is using control and [ instead of escape key because it can be easier to reach while typing other stuff? I am one
00:23:59 <boily> I don't. Caps Lock is gleefully remapped to Escape on every keyboard I touch.
00:24:47 -!- bb010g has joined.
00:41:18 <boily> `wisdom
00:41:20 <HackEgo> oren/oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon.
00:41:40 <boily> `wisdom
00:41:43 <HackEgo> glumgot/glumgot is not a particularly bad swear word, but is still disquieting.
00:41:51 <boily> and last...
00:41:53 <boily> `wisdom
00:41:54 <HackEgo> catamorphism/A catamorphism is when you recurse too greedily and too deep.
00:42:02 <boily> fungot: oren glumgot catamorphism?
00:42:02 <fungot> boily: yes. that basic level is hardly very useful, though; i tested it
00:42:34 -!- codergeek42 has joined.
00:42:44 <boily> `relcome codergeek42
00:42:47 <HackEgo> ​codergeek42: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
00:42:55 -!- atrapado has quit (Quit: Leaving).
00:43:12 <codergeek42> :O I forgot IRC could have colors lol.
00:43:14 * codergeek42 waves hi.
00:43:34 * boily does an interpretative welcome dance
00:43:59 <boily> what brings you here? what's your stance about roast beef?
00:47:37 <oerjan> reef boasting
00:48:07 <boily> my reef's so totally better than yours.
00:48:09 <boily> hth!
00:50:57 <egrep> boily: Not true! My reef's so good, it elevated itself to a small, floating reef-garden!
00:51:16 <egrep> (Maybe those balloons helped a bit...)
00:52:11 <oerjan> little known fact: the hanging gardens of babylon were also a reef
00:52:48 <boily> hellegrep. uh... are you somebody else I know, or are you the one who is who you are?
00:53:14 <oerjan> i'm sure he's a regular
00:53:48 <boily> well, Koen_ seems to be the nearest match.
00:53:56 * oerjan was expecting a mapole
00:54:18 <boily> I'm oiling and shining it for better ærodynamism.
00:54:27 <oerjan> ah
00:54:28 <egrep> I'm a regular nuisance, according to egrep.
00:55:03 * boily *THWACKS* egrep with a half-reversed doublespin southpaw Hyper Mega Drive mapole
00:55:43 <egrep> boily: I am the one who was who I will have been and will be and am.
00:55:54 <oerjan> i'm pretty sure you forgot a ™
00:56:58 <egrep> I lost all of mine a few days ago.
00:57:24 <egrep> My theory is that it was a extreme-stealth mugging that I didn't notice.
00:57:34 <egrep> s/a e/an e/
00:58:07 * egrep flop to the ground from boily's *THWACK*
00:58:16 <egrep> s/op/ops/
01:00:27 * boily pickpockets egrep, exchanges his royal steaks, then moves a pineapple
01:00:33 <boily> I won!
01:01:00 <oren> good eving
01:01:07 <oren> Its the weekend!
01:01:11 <boily> helloren!
01:01:16 <boily> it sure is!
01:01:23 <boily> @metar CYYZ
01:01:23 <lambdabot> CYYZ 010000Z CCA 29014KT 15SM FEW055TCU FEW090 BKN130 BKN270 26/13 A2976 RMK TCU1AC1AC5CI1 TCU TR CI TR CB DIST E SLP076 DENSITY ALT 2100FT
01:01:38 <boily> @metar CYUL
01:01:38 <lambdabot> CYUL 010000Z 23011KT 30SM FEW060 SCT090 BKN140 BKN240 25/16 A2969 RMK SC1AC4AC2CI1 SC TR SLP054 DENSITY ALT 1500FT
01:02:15 <oren> I'm gonna work on my new esolang
01:02:58 <oren> It's the sucessor to scrip7. it will be compiled
01:03:12 * egrep moves the pineapple back
01:03:48 <oren> I was just at the fruit market. I bought bananas but I should have bought ananas
01:06:12 <oren> Effectively most of the basic syntax will be the same as scrip7
01:06:37 <oren> but jumps and conditionals will be made so that they make sense
01:07:20 <egrep> scrip8, then. :P
01:07:26 <oren> yeah
01:07:37 <oren> scrip8
01:08:54 <oren> also, the g and h registers will be different and the _ pseudo register will be removed
01:10:13 <oren> jumps will simply use labels
01:10:51 <oren> rather than the crazy way it works in scrip7 which was badly implemented[C
01:11:00 <boily> if it's simpler than scrip7, shouldn't it be scrip6?
01:11:24 <oren> I was thinking scr1p7
01:11:38 <oren> or scrip77
01:12:50 <oren> eh scrip8 is fine
01:13:20 <oren> it's not entirely simpler, since it adds a preprocessor stage (which does the labels)
01:14:37 <boily> script7±1.
01:15:34 -!- boily has quit (Quit: MELODIOUS CHICKEN).
01:20:22 <egrep> scripavg(6,8)
01:25:08 -!- hilquias has quit (Remote host closed the connection).
01:27:24 -!- Wallacoloo has joined.
01:37:58 -!- codergeek42 has quit (Quit: Ex-Chat).
01:54:57 -!- Phantom_Hoover has quit (Remote host closed the connection).
02:08:54 <zzo38> Why does xterm disable national character sets unless you enable it first (by setting the corresponding DEC private mode)?
02:16:42 -!- FreeFull has quit (Read error: Connection reset by peer).
02:20:28 -!- FreeFull has joined.
02:22:48 -!- hppavilion[1] has joined.
02:22:54 <hppavilion[1]> Hellu
02:24:22 -!- hppavilion[1] has quit (Client Quit).
02:32:50 -!- tromp___ has joined.
02:32:51 -!- tromp has quit (Read error: Connection reset by peer).
02:36:35 * oerjan learns about the third homomorphism theorem
02:42:57 -!- Wallacoloo has left.
02:52:14 <oerjan> the font/rendering of this paper is unbearable
03:07:22 <pikhq> Guys, do you think it would be wise for me to try and eat my salary in cheese?
03:07:55 <pikhq> (important fact: this is *free* cheese, at the office)
03:08:10 <pikhq> (important fact #2: this would sadly be 25lbs of cheese a day.)
03:11:12 -!- Wright has quit (Read error: Connection reset by peer).
03:11:23 -!- Wright has joined.
03:15:03 <egrep> pikhq: Not particularly.
03:25:14 -!- MDude has changed nick to MDream.
03:36:13 <oerjan> it would at least be cheesy
03:43:01 <shachaf> if it's free cheese, it would be ∞ lbs cheese/day hth
03:43:59 -!- Trigraph has joined.
03:45:07 <oren> all the pop songs of 2013 in 10 min https://www.youtube.com/watch?v=uEcKDfMS_jY
03:46:06 -!- Froox has joined.
03:46:22 -!- Frooxius has quit (Ping timeout: 246 seconds).
03:50:06 -!- Trigraph has quit (Ping timeout: 240 seconds).
03:50:30 -!- Froox has quit (Ping timeout: 240 seconds).
03:55:05 <pikhq> shachaf: Well, free-to-me. It has a market rate.
03:55:46 <pikhq> I suspect I'd get fired if I tried to engage in arbitrage against this, though.
04:00:51 -!- Trigraph has joined.
04:02:43 -!- Sprocklem_ has changed nick to Sprocklem.
04:03:27 <shachaf> There's some rule about that.
04:04:00 <pikhq> *nod*
04:09:25 <Jafet> So your employer has instituted an export embargo against the worldwide cheese market?
04:09:40 -!- _256Q has quit (Read error: Connection reset by peer).
04:11:02 <pikhq> Yes, but I'm still free to disrupt the worldwide bit market.
04:19:31 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
04:39:29 <shachaf> pikhq: Which team are you on?
04:42:28 <oren> Hmm I can't seem to find code to input WTF-8-CP-1252
04:43:13 <oren> (E.g. inputing UTF-8, allowing surrogate pairs and treating all errors by diverting to CP-1252)
04:43:58 <pikhq> shachaf: It's bizarre. I'm on a team that is currently being spun up, which means that I'm about as clueful as everyone else.
04:44:01 <pikhq> Nominally I'
04:44:20 <pikhq> m on dasher SRE, in practice I'm doing random bits and pieces of calendar.
04:44:43 <pikhq> (for no other reason than that I sit next to them)
04:46:11 <oren> Hmm.. I guess I'll roll my own exceptionless UTF-8 decoder
04:47:28 <shachaf> pikhq: Are you working with mhan?
04:49:16 -!- j-bot has quit (Remote host closed the connection).
04:49:39 -!- j-bot has joined.
04:50:05 <pikhq> Not that I know of.
04:50:15 <oren> I mean is it that hard for people to be "liberal in what you accept, conservative in what you produce"
04:50:40 <shachaf> that's a scow principle
04:50:48 -!- dasjdasd has joined.
04:50:58 <pikhq> Yeah, he's in SFO on Gmail these days.
04:51:05 <shachaf> Ah.
04:51:07 <zzo38> I do have a new version of utftovlq
04:51:27 <pikhq> I do work with dinabetser though
04:51:32 <shachaf> pikhq: Maybe you're near Gracenotes? He used to be in this channel.
04:51:54 <pikhq> Dunno
04:52:02 <oerjan> oren: well irssi has that feature...
04:52:07 <shachaf> Matt Gruen
04:52:22 <oerjan> well not sure about surrogate pairs
04:52:58 <pikhq> I'm yet to meet him, but he's in the same building.
04:53:02 <pikhq> Different floor though.
04:53:06 <zzo38> Which currently doesn't really do anything properly with invalid UTF-8 byte sequences at all, but it does allow surrogates, overlong encodings, and any codepoints up to 36-bits long.
04:53:10 <pikhq> Maybe I'll just randomly show up.
04:53:35 <zzo38> Some even more new version could add option to decode invalid byte sequences somehow too.
04:56:03 -!- |f`-`|f has quit (Ping timeout: 244 seconds).
05:00:03 -!- |f`-`|f has joined.
05:13:40 <oren> Actually, for web use it now makes more sense to use CP 1251 as the backup encoding
05:13:55 <oren> Or maybe a mix?
05:14:41 <oren> yah. I'll treat some of the characters as 1252 and some as 1251
05:16:41 <oren> Eh screw it, I already have 1252
05:18:58 <pikhq> Or you could heuristic it.
05:19:40 <pikhq> Oh, for purposes of IRC it's probably best to fall back to either a configured choice or a choice based on the language.
05:20:04 <shachaf> Backup encodings are scow.
05:20:19 <oren> AH! russian text in CP1251 would have consecutive high bytes, whereas text in european languages would mostly have high low hih low
05:21:05 <oren> hence, if a utf-8 invalid sequence is consecutive high bytes, I'll treat it as 1251, else as 1252
05:21:53 <pikhq> There's a few different libs for heuristic detecting a charset based on a language model which might be a better approach.
05:22:01 <oren> shachaf: but they do decrease the amount of bytes needed to hold a given text
05:23:08 <pikhq> Unfortunately, I don't know of any of 'em that are in a super easy to use state. Might be nice to grab Mozilla's code and port it to C or somethin'.
05:26:15 -!- Frooxius has joined.
05:28:57 <zzo38> For IRC you could have just set based on what screen you are on, if you have multiple screen, or based on what channel, etc
05:34:02 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
05:35:22 -!- tromp___ has quit (Remote host closed the connection).
05:43:49 -!- dasjdasd has quit.
06:01:46 -!- Frooxius has quit (Quit: *bubbles away*).
06:12:07 -!- Potrimpo has joined.
06:20:21 -!- Potrimpo has left.
06:35:50 -!- tromp has joined.
06:39:34 -!- hppavilion[1] has joined.
06:40:02 <hppavilion[1]> Hellu
06:40:10 -!- tromp has quit (Ping timeout: 240 seconds).
06:54:49 -!- oerjan has quit (Quit: byu).
07:02:18 <hppavilion[1]> What!?
07:02:20 <hppavilion[1]> BLASPHEMY!
07:02:31 <hppavilion[1]> OERJAN CANNOT NOT BE ON THE CHANNELLLLLLLLLLLLL
07:04:11 -!- olsner has quit (Ping timeout: 244 seconds).
07:06:09 <oren> BLAH! ncurses is mangling my utf-8
07:10:09 <oren> screw this. back to termios
07:21:03 -!- AnotherTest has joined.
07:42:40 -!- olsner has joined.
07:43:02 -!- evalj has joined.
07:53:03 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
07:54:23 -!- vodkode has joined.
08:23:02 -!- bb010g has quit (Quit: Connection closed for inactivity).
08:25:26 -!- tromp has joined.
08:30:01 -!- tromp has quit (Ping timeout: 256 seconds).
08:45:05 -!- mauris has joined.
09:11:21 -!- evalj has quit (Remote host closed the connection).
09:14:30 -!- mauris has quit (Ping timeout: 255 seconds).
09:29:23 -!- Trigraph has quit.
09:58:04 -!- atslash has joined.
10:02:38 -!- atslash has quit (Ping timeout: 260 seconds).
10:03:32 -!- atslash has joined.
10:25:08 -!- tromp has joined.
10:29:48 -!- tromp has quit (Ping timeout: 264 seconds).
10:59:42 -!- mauris has joined.
11:41:02 -!- boily has joined.
11:58:14 -!- Phantom_Hoover has joined.
12:09:03 <mauris> https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system#Syntax <-- isn't  let x=e1 in e2  just  (\x.e2)e1
12:12:46 -!- h0rsep0wer has joined.
12:12:56 -!- t3cora18 has joined.
12:13:52 -!- t3cora18 has changed nick to h0rsep0wer_znc.
12:14:02 -!- tromp has joined.
12:26:02 -!- h0rsep0wer_znc has quit (Quit: ZNC - http://znc.in).
12:39:24 -!- t3cora has joined.
12:40:25 -!- atrapado has joined.
12:41:48 -!- h0rsep0wer has left ("Leaving").
12:42:19 -!- t3cora has quit (Client Quit).
12:44:30 -!- t3cora_ has joined.
12:45:35 -!- tromp has quit (Remote host closed the connection).
12:51:08 -!- boily has quit (Quit: CURRANT CHICKEN).
13:17:13 -!- Patashu has quit (Ping timeout: 244 seconds).
13:46:09 -!- tromp has joined.
13:50:17 -!- tromp has quit (Ping timeout: 244 seconds).
13:50:52 -!- zadock has joined.
13:58:30 -!- AltSopa has joined.
13:58:44 -!- AltSopa has changed nick to SopaXT.
14:01:20 -!- copumpkin has joined.
14:09:48 -!- GeekDude has joined.
14:17:45 -!- SopaXT has quit (Remote host closed the connection).
14:26:04 -!- h0rsep0wer has joined.
14:28:50 <Jafet> > let f = \x->x in (f 1, f "mauris")
14:28:52 <lambdabot>  (1,"mauris")
14:29:05 <Jafet> > (\f-> (f 1, f "mauris")) (\x->x)
14:29:06 <lambdabot>      No instance for (Num [Char]) arising from the literal ‘1’
14:29:06 <lambdabot>      In the first argument of ‘f’, namely ‘1’
14:29:07 <lambdabot>      In the expression: f 1
14:29:45 -!- zadock has quit (Quit: Leaving).
14:29:55 <Jafet> (... or scroll down to https://en.wikipedia.org/wiki/Hindley–Milner_type_system#Let-polymorphism)
14:33:57 <Melvar> ( (\f : {a : Type} -> a -> a => (f 1, f "foo")) (\x => x)
14:34:03 <idris-bot> \a1 => \x => x is not a numeric type
14:34:43 <Melvar> Wtf.
14:35:18 <Melvar> ( (\f : ({a : Type} -> a -> a) => (f 1, f "foo")) (\x => x)
14:35:18 <idris-bot> \a1 => \x => x is not a numeric type
14:35:49 <Melvar> ( (\f : ({a : Type} -> a -> a) => (f (the Integer 1), f "foo")) (\x => x)
14:35:49 <idris-bot> (1, "foo") : (Integer, String)
14:38:37 <Melvar> ( (\f : ({a : Type} -> Show a => a -> a) => (f (the Integer 1), f "foo")) (\x => x)
14:38:37 <idris-bot> (input):1:73:No such variable a
14:49:12 -!- contrapumpkin has joined.
14:51:10 -!- copumpkin has quit (Ping timeout: 240 seconds).
14:59:58 -!- _256Q has joined.
14:59:58 -!- _256Q has quit (Changing host).
14:59:58 -!- _256Q has joined.
15:11:15 -!- Wright has quit (Read error: Connection reset by peer).
15:11:28 -!- Wright has joined.
15:38:52 -!- copumpkin has joined.
15:39:56 -!- contrapumpkin has quit (Ping timeout: 272 seconds).
15:45:14 -!- contrapumpkin has joined.
15:46:34 -!- copumpkin has quit (Ping timeout: 260 seconds).
15:47:21 -!- mauris has quit (Ping timeout: 255 seconds).
15:48:57 -!- Inri_Cristo has joined.
15:49:28 -!- h0rsep0wer has quit (Ping timeout: 246 seconds).
15:49:29 -!- Inri_Cristo has changed nick to h0rsep0wer.
15:49:37 -!- h0rsep0wer has quit (Client Quit).
15:49:56 -!- Inri_Cristo has joined.
15:49:56 -!- Inri_Cristo has changed nick to h0rsep0wer.
16:11:12 -!- _256Q has quit (Ping timeout: 255 seconds).
16:12:47 -!- _256Q has joined.
16:14:18 <Jafet> Portmanteau of the day: http://help.fdos.org/en/hhstndrd/cnfigsys/switchar.htm
16:22:31 -!- AnotherTest has quit (Read error: Connection reset by peer).
16:23:02 -!- AnotherTest has joined.
16:26:38 -!- atrapado has quit (Ping timeout: 250 seconds).
16:28:27 -!- evalj has joined.
16:35:07 -!- Inri_Cristo has joined.
16:38:12 -!- h0rsep0wer has quit (Ping timeout: 244 seconds).
16:49:54 <oren> I'm writing my own ncurses-alternative
16:50:14 <oren> I didn't mean to, it just happened  
16:52:40 <myname> why not termbox?
16:57:29 -!- Inri_Cristo has changed nick to h0rsep0wer.
16:58:30 <oren> ncurses doesn't handle utf-8 properly, and I'm too lazy to diagnose the issue, so I wrote my own which handles it.
16:58:44 <oren> well, handles it my not handling it
16:58:56 <Melvar> …
16:59:23 <Melvar> So it’s going to bulge out the right sides of things if there are wide chars?
16:59:48 <oren> nah, see all wide chars are at least 2 bytes in utf-8
17:00:29 <oren> so the only problem will be things being too short
17:00:44 <Melvar> …
17:00:56 <oren> hehehehe
17:01:02 <Melvar> What was the original problem again?
17:01:27 <oren> utf8 is corrupted when I pass it to addstr
17:02:22 <oren> it comes out as a bunch of ?
17:03:20 <Melvar> And you’re using a UTF-8 locale?
17:03:47 <oren> en_US.UTF-8
17:04:14 <Melvar> Hm. Well, not gonna try to remotely diagnose this, so carry on I guess …
17:04:56 <oren> another issue I've now solved is that ncurses' handling of colors is stupid
17:06:02 <oren> I just have a setcolors(int,int) which takes the FG and BG colors from 0 to 20
17:06:16 <oren> er, 19
17:07:09 <notfowl> Ncurses suvks
17:07:56 <oren> tbf ncurses is easier than using termios and ANSI sequences directly
17:09:17 <oren> now I'm working on getting sigwinch to handle correctly
17:09:20 <notfowl> There are alternatives
17:09:33 <notfowl> Termbox, newt, libcdt
17:13:04 <oren> Ok, cutting a UTF-8 character in half to make the string fit makes it have a ?? but at least the whole thing isn't being corrupter
17:13:42 <oren> thank you, UTF-8 self-synchronization
17:18:07 <oren> but this method would have worked a lot better for an EUC-XX encoding
17:34:42 -!- TodPunk has quit (Quit: This is me, signing off.  Probably rebooting or something.).
17:43:32 -!- TodPunk has joined.
17:52:42 -!- Sgeo_ has quit (Read error: Connection reset by peer).
18:08:00 <FreeFull> oren: What if people want to use 256-colour terminals?
18:08:14 <FreeFull> And why 0 to 19?
18:10:22 <zzo38> Unicode is especially terrible for terminal encodings
18:11:17 <FreeFull> I know terminals completely ignore the Right To Left override character
18:12:06 <zzo38> To change text direction should be a escape sequence if anything
18:13:30 -!- evalj has quit (Remote host closed the connection).
18:13:51 <Melvar> Then that would suddenly only work in terminals, instead of in everything that implements a standards-compliant text layout algorithm.
18:14:31 <Melvar> There is at least one terminal that does implement bidi, it was one of the mac ones.
18:15:04 <zzo38> You should not use Unicode for terminals. For typesetting it can work but all of these stuff should be implemented in the font metric file instead; the font metric file decides what the nicode Right-to-left override character does.
18:16:47 <zzo38> Font metric file format used can support include files, so that you can have include files for various versions of Unicode. If the font is not Unicode, then you don't include any of them.
18:16:58 <Melvar> That would essentially require the font metric file to be able to execute arbitrary code inside your layout engine.
18:18:16 <zzo38> No, it is a kind of VM code, not native code, and it is a limited VM code for this purpose only.
18:19:17 <zzo38> Command can include registers, ligatures, kerning, subroutine calls, and vertical adjustments.
18:19:45 <zzo38> (It does not have to support loops)
18:20:13 <Melvar> Also, how would I avoid unicode in my terminal? No reasonable amount of text consists only of ASCII …
18:21:08 <zzo38> What is "reasonable amount of text" here?
18:22:55 <Melvar> That sentence, if you had cared to type it correctly.
18:24:18 <zzo38> No you should use only ASCII
18:24:23 <zzo38> It is simpler and more sensible.
18:25:23 <Melvar> I’m afraid my language doesn’t fit inside it either.
18:25:25 <oren> For one of my unfinished games I stored Greek and Cyrillic text as ASCII then printed it with a special font
18:25:53 -!- atslash has quit (Quit: This computer has gone to sleep).
18:26:02 <zzo38> oren: Well, it is one way. I tend to just use the PC character set, so there may be some Greek letters but no Cyrillic
18:26:47 <oren> Well my point is that's sort of like your font metrics approach.
18:27:25 <oren> the font had a glyph for a that was an alpha, a glyph for b as beta and so on
18:28:29 <zzo38> Yes, OK, in portable terminals I can use VT100 instead of PC characters
18:28:54 <zzo38> In the VT100 you might have two fonts, so one is used for line drawing and so on.
18:29:26 <zzo38> Although in the most recent versions of xterm you can even draw pictures
18:29:41 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
18:30:59 -!- TodPunk has quit (Quit: This is me, signing off.  Probably rebooting or something.).
18:34:34 <oren> So my program has puttoscreen(X,Y,"[ari[a",CYRILLIC); and it writes царица to the screen
18:37:43 <FreeFull> oren: What about chinese?
18:37:52 <FreeFull> Arabic?
18:39:32 -!- Frooxius has joined.
18:39:57 <oren> My game didn't have any arabic. It had some chinese as images.
18:42:59 <oren> The font for Cyrillic somewhat resembled KOI7
18:56:41 <FreeFull> What if you're making a text editor?
18:57:02 <FreeFull> And you don't really have a standard way to get graphics in terminals right now
18:57:29 -!- ais523 has joined.
18:57:50 <myname> oren: what is this game about?
19:06:06 <zzo38> You get graphics in terminals using Sixel format
19:06:50 <zzo38> (Still not all terminals will support it, but some VT terminals did and xterm does, although xterm supports Tektronix graphics as well.)
19:08:37 <fizzie> I used to have a VT510, I think it didn't support the fancy graphics stuff (that being the main difference between VT510 and VT520).
19:08:44 <FreeFull> I don't think libvte terminals support sixels
19:09:01 <fizzie> After it caught fire, it no longer supported even text.
19:09:14 <FreeFull> Sixels have limited bit depth too, because they were originally designed for line printers
19:15:30 <FreeFull> xterm doesn't display sixels without the --enable-sixel-graphics option
19:15:55 <FreeFull> Wait, that's not right
19:20:33 <FreeFull> I can't figure out how to make xterm display sixels
19:21:21 <FreeFull> Oh, it has to be compiled with sixel support
19:22:12 <oren> just use a font that supports braille
19:23:05 <oren> e.g. hexels
19:23:17 <oren> er, ocxels
19:23:19 <oren> fuck
19:23:24 <oren> oxels
19:25:35 <FreeFull> Not a very good solution
19:26:04 <oren> meh, it's DWIT
19:26:57 <oren> http://thedailywtf.com/articles/FrontAhead-Design
19:31:22 <Melvar> ⣏⡉⡀⠀⡀⡀⣀
19:31:25 <Melvar> ⡇⠀⢇⡠⡇⡏⠀⡇
19:35:41 <FreeFull> Melvar: https://i.imgur.com/44lP0FH.png
19:35:46 <FreeFull> That's what it looks like in my terminal
19:37:34 <FreeFull> Hmm, it's the fault of bitstream vera sans mono, it seems
19:37:40 <FreeFull> It displays the empty spaces as empty circles
19:37:46 <FreeFull> Which looks bad at small font sizes
19:38:35 -!- atrapado has joined.
19:39:57 <Melvar> FreeFull: It comes out similarly on my terminal except slightly better because maybe my font size is a bit bigger? It seems to pick FreeMono for me.
19:40:11 <FreeFull> Oh, DejaVu Sans Mono does the same thing
19:40:46 <Melvar> FreeFull: I’m pretty sure DejaVu doesn’t have them, some other font gets picked to fill in.
19:40:56 <FreeFull> Melvar: The problem is that I have DejaVu Sans Mono set as my font, and it provides its own symbols for those, which look bad
19:41:17 <FreeFull> Oh, seems DejaVu Sans Mono doesn't have them
19:41:22 <FreeFull> But DejaVu Sans does
19:41:27 <FreeFull> And it's using the FreeMono ones
19:41:48 <FreeFull> Dammit FreeMono
19:41:48 <Melvar> Ah, indeed, DejaVu Sans non-mono does have its own.
19:42:31 <zzo38> I am just using the standard "fixed" bitmap font
19:42:53 <FreeFull> I'm going to see which package provides FreeMono and remove it
19:43:30 -!- t3cora_ has quit (Quit: ZNC - http://znc.in).
19:43:42 <FreeFull> ttf-freefont
19:44:11 <FreeFull> There, better
19:44:29 <FreeFull> Thanks for helping me fix it
19:44:35 <tswett> > let the⠀news = 3 in the⠀news
19:44:36 <lambdabot>  Not in scope: ‘the’Not in scope: ‘news’
19:44:54 <tswett> > let the news = 3 in the []
19:44:56 <lambdabot>  3
19:45:13 <Melvar> > isSpace '⠀'
19:45:14 <lambdabot>  False
19:45:25 <tswett> > isSpace '⠀'
19:45:27 <lambdabot>  False
19:45:39 <tswett> I wonder why not.
19:45:46 <tswett> `unidecode ⠀
19:45:47 <HackEgo> ​[U+2800 BRAILLE PATTERN BLANK]
19:46:11 -!- h0rsep0wer has left ("Leaving").
19:46:32 <Melvar> > let (⠀) = 0 in (⠀)
19:46:33 <lambdabot>  0
19:47:41 <Melvar> > let the⠀news = 3 in some⠀words
19:47:43 <lambdabot>      Could not deduce (Alternative f0) arising from a use of ‘some’
19:47:43 <lambdabot>      from the context (Num a)
19:47:43 <lambdabot>        bound by the inferred type of it :: Num a => a at Top level
19:48:06 <Melvar> > let the⠀news = 3 in any⠀words
19:48:08 <lambdabot>      Could not deduce (Foldable t0) arising from a use of ‘any’
19:48:08 <lambdabot>      from the context (Num a)
19:48:08 <lambdabot>        bound by the inferred type of it :: Num a => a at Top level
19:56:42 -!- nortti has changed nick to wombatman.
19:57:02 -!- wombatman has changed nick to nortti.
20:09:49 -!- t3cora has joined.
20:15:41 -!- h0rsep0wer has joined.
20:46:05 -!- bb010g has joined.
20:55:24 -!- zzo38 has quit (Remote host closed the connection).
20:59:04 <HackEgo> [wiki] [[Brainfuck constants]]  http://esolangs.org/w/index.php?diff=43678&oldid=43677 * Rdebath * (-268) These eight wrappers are the same length as very simple two cell wrappers. I see no point keeping them.
21:04:31 -!- zzo38 has joined.
21:08:19 -!- boily has joined.
21:09:48 -!- isnaldo has joined.
21:12:08 <zzo38> Is there a resource in xterm that causes it to send the contents of that resource to itself when it starts or is reset? Such a thing can be used to change some settings that aren't available with other resources.
21:14:00 -!- mauris has joined.
21:14:54 <boily> `wisdom
21:14:58 <HackEgo> grue/grue is the colour of the trees and the ocean
21:15:24 <olsner> good wisdom
21:16:01 <boily> excellent wisdom.
21:22:09 <Taneb> The wisest
21:22:34 -!- isnaldo has left.
21:42:22 -!- AnotherTest has quit (Ping timeout: 246 seconds).
22:02:40 -!- Frooxius has quit (Ping timeout: 244 seconds).
22:22:05 -!- tromp has joined.
22:25:15 -!- oerjan has joined.
22:26:25 -!- tromp has quit (Ping timeout: 256 seconds).
22:32:33 -!- mauris_ has joined.
22:33:52 -!- mauris__ has joined.
22:34:11 -!- mauris has quit (Disconnected by services).
22:34:15 -!- mauris_ has quit (Disconnected by services).
22:34:19 -!- mauris__ has changed nick to mauris.
22:38:46 <boily> @metar CYUL
22:38:46 <lambdabot> CYUL 012237Z 29013G18KT 15SM -SHRA FEW007 FEW025CB BKN050 BKN075 19/16 A2975 RMK SF1CB2SC4AC1 SF TR PRESRR SLP073 DENSITY ALT 800FT
22:46:10 <oerjan> bhoily
22:46:26 <oerjan> @metar ENVA
22:46:26 <lambdabot> ENVA 012220Z VRB02KT CAVOK 10/06 Q1012 RMK WIND 670FT 07004KT
22:48:23 <boily> bœrjanour.
22:48:32 <boily> it's not the size that counts, it's the relative humidity.
22:49:35 <oerjan> H2OKAY
22:50:10 <oerjan> i guess today was indeed relatively dry
22:50:20 <oerjan> also it started out warmer
22:52:19 <oren> I need a command to eliminate duplicates in my bash history
22:53:27 <boily> sort .bash_history | uniq >bash_history_copy && mv bash_history_copy .bash_history
22:53:29 <boily> ↑?
22:54:48 <oerjan> oren: include ignoredups or erasedups in the HISTCONTROL variable hth
22:57:35 <oerjan> probably the latter
23:00:39 <oren> boilty: that worked
23:00:58 <oerjan> there should be a version of uniq that doesn't require sorting
23:01:27 <oerjan> oren: my suggestion is for keeping it that way hth
23:01:54 <oren> although now my history is in alphabetical order from bash --version to xxd
23:02:21 <oerjan> as i said, there should have been a uniq version that worked without sorting
23:02:55 <oren> hmm what would be an efficieant algorithm for that?
23:03:32 <oerjan> with shell, probably you could use nl first to prepend line numbers
23:03:43 <oren> ah yeah that would work
23:04:06 <oren> maybe
23:04:10 <oerjan> and then whatever options to sort and uniq make them ignore the line numbers, and then a sort on the line numbers at the end
23:10:16 <boily> oretn: it's a known side-effect that sorting sorts data.
23:13:04 -!- atrapado has quit (Quit: Leaving).
23:21:34 -!- Patashu has joined.
23:34:10 -!- Sgeo has joined.
23:47:14 -!- Frooxius has joined.
23:57:41 -!- zzo38 has quit (Remote host closed the connection).
23:58:39 <boily> damned Prera. that thing is unwashable.