00:00:30 ais523: oh and the ^ was not for zzo38's message, i was backscrolled without realizing 00:00:48 what was it for then? 00:00:59 I can't really respond to an ^ that points to an unspecified past line 00:01:02 actually it was just to point out what @send correct to 00:01:10 ah right thanks 00:01:10 ais523: i'd forgotten i'd said other things 00:01:35 *+s 00:02:33 my question about the algorithm was because my attempts at changing one letter at a time failed 00:02:58 although removing one helped 00:03:23 well, send→kind and send→undo are both distance 2 00:03:28 so you'd have to guess from what it does 00:03:30 @send Monad 00:03:31 (* -> *) -> Constraint 00:03:44 no, undo doesn't work with the distance lambdabot uses 00:04:14 wait, it's distance 3 I think 00:04:15 lambdabot doesn't correct unless the closest one is unique 00:04:20 ah no, 2 00:04:25 no, it's 3. 00:04:28 err, no, it is 3 00:04:33 distances are hard to calculate in your head! 00:04:36 @endo 00:04:36 Error: expected a Haskell expression or declaration 00:04:44 @end 00:04:44 Maybe you meant: wn undo kind id bid 00:04:50 @ind 00:04:50 bzzt 00:04:54 wat 00:05:07 @id 00:05:19 hm what happened there 00:05:31 it's probably an identity command? 00:05:36 i mean @ind 00:05:45 it cannot have corrected to @id 00:05:46 how do you chain commands anyway 00:05:50 @help @@ 00:05:50 help . Ask for help for . Try 'list' for all commands 00:05:53 @help @ 00:05:53 @@ [args]. 00:05:53 @@ executes plugin invocations in its arguments, parentheses can be used. 00:05:53 The commands are right associative. 00:05:53 For example: @@ @pl @undo code 00:05:53 is the same as: @@ (@pl (@undo code)) 00:06:00 which probably means it's a prefix 00:06:02 @@ @id @send Monad 00:06:02 Plugin `compose' failed with: Unknown command: "send" 00:06:03 @indu 00:06:03 Maybe you meant: undo kind index id 00:06:06 @index 00:06:06 bzzt 00:06:07 @@ @id @kind Monad 00:06:08 (* -> *) -> Constraint 00:06:17 @id test 00:06:17 test 00:06:27 I think I understand what @id does now 00:06:42 ais523: unfortunately the correction only works for the first command 00:06:51 and not recursively 00:07:36 anyway, @ind -> @index, by the other correction rule 00:07:46 -!- tromp_ has joined. 00:08:10 @help index 00:08:10 index . Returns the Haskell modules in which is defined 00:08:30 so why does that output "bzzt" if given no input? 00:08:35 @index Monad 00:08:35 Control.Monad, Prelude, Control.Monad.Instances 00:08:38 hunor value. 00:08:41 *m 00:09:50 that's a strange choice of modules 00:10:08 it cannot be defined in all of them, and it's definitely exported from more 00:11:19 @version 00:11:19 lambdabot 5.0.3 00:11:19 git clone https://github.com/lambdabot/lambdabot 00:11:44 I just learned that Codecademy has a "Pro" feature 00:11:47 And I became sad 00:13:51 @ghcversion 00:13:51 Unknown command, try @list 00:14:24 :,( 00:18:09 hppavilion[1]: just sign up for the world communist revolution hth 00:19:29 -!- tromp_ has quit (Remote host closed the connection). 00:23:29 -!- jaboja has quit (Ping timeout: 244 seconds). 00:23:34 oerjan: I started the WCR hth. 00:23:53 ah. 00:24:15 oerjan: I'm kind of tempted to start my own, one with more information on CS theory and stuff too. But knowing me... 00:31:07 -!- centrinia has joined. 00:36:31 \oren\: Canaima seems to have been renamed to Kukenán (with intermediate updates Kerepakupai, Auyantepui, and Roraima) 00:45:16 -!- ais523 has quit. 00:48:36 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46878&oldid=46877 * H3LL * (+4) /* Overview */ 00:52:51 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46879&oldid=46878 * H3LL * (+0) /* Operator */ 00:53:38 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46880&oldid=46879 * H3LL * (+1) /* Comparison operator */ 00:54:05 -!- jaboja has joined. 00:56:52 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46881&oldid=46880 * H3LL * (+1) /* Example programs */ 00:58:55 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46882&oldid=46881 * H3LL * (+90) /* Example programs */ 01:00:35 -!- tromp_ has joined. 01:01:43 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46883&oldid=46882 * H3LL * (+15) /* Hello World! */ 01:02:48 [wiki] [[Confusion]] M https://esolangs.org/w/index.php?diff=46884&oldid=46883 * H3LL * (+2) /* [Hello, World!|Hello World!] */ 01:03:42 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46885&oldid=46884 * H3LL * (+0) /* Hello, World! */ 01:04:15 [wiki] [[Confusion]] M https://esolangs.org/w/index.php?diff=46886&oldid=46885 * H3LL * (+1) /* Example programs */ 01:05:53 [wiki] [[Confusion]] M https://esolangs.org/w/index.php?diff=46887&oldid=46886 * H3LL * (+1) 01:07:25 [wiki] [[Confusion]] M https://esolangs.org/w/index.php?diff=46888&oldid=46887 * H3LL * (+1) /* Confusion */ 01:08:23 [wiki] [[Confusion]] M https://esolangs.org/w/index.php?diff=46889&oldid=46888 * H3LL * (+2) 01:11:01 * Sgeo starts reading about DCSS again 01:11:15 So, Distortion-branded stuff can be strong but is dangerous to unweild? 01:11:53 oh that dcss 01:12:22 "department of child support services" beats it on google though 01:12:24 Oh reading the strategy suggests that it's not so great 01:14:05 * hppavilion[1] is confused 01:14:31 http://crawl.chaosforge.org/Distortion 01:14:41 -!- Moon_ has joined. 01:14:46 Hia 01:14:56 Sgeo: That was a pun about the massive tower of edits, but I was going to ask that anyway :P 01:14:58 Moon_: Hello 01:15:27 `ciol rFizzie beleives ciol is turing complete; 01:16:22 Fizzie beleives ciol is turing complete 01:16:38 would you say that is corrent hppavilion[1] 01:16:57 Moon_: Is what correct? 01:17:01 -!- tromp_ has quit (Remote host closed the connection). 01:17:18 Fizzie thinks CIOL is turing complete 01:17:43 Moon_: I don't know what fizzie thinks. 01:17:50 * hppavilion[1] is not fizzie 01:18:03 well he does, anyway 01:21:55 it's a plausible belief too 01:27:22 -!- boily has joined. 01:27:38 * hppavilion[1] is making another attempt at OS dev 01:27:43 -!- sp1n has joined. 01:27:53 ahoily 01:27:57 hhoily! 01:28:00 * hppavilion[1] wins at the porthelloing race 01:28:05 -!- tromp_ has joined. 01:28:47 -!- sp1n has quit (Client Quit). 01:28:48 * boily you are trying to reach is currently suffering from hot sauce. holy fungot that shit's legit. 01:28:48 boily: i know. the gui stuff is drscheme specific. 01:29:32 fungot: You write in drscheme? n00b 01:29:33 hppavilion[1]: don't tell bush 01:29:46 fungot: God no. Though I hear he's a rather excellent painter now. 01:29:46 hppavilion[1]: you have to. i usually make " mind maps", because it often isn't, but if global warming continues, at least 01:29:59 hppavellon[1]. oerjan. 01:30:04 uuuh... hellørjan. 01:30:15 epic boil! 01:30:33 Blair's Ultra Death. 01:30:51 fungot: brilliant 01:30:51 int-e: do as much of a hint that i included in the arguments counted in length. one end is pointed, the other isnt 01:31:10 and that was even better 01:31:25 * hppavilion[1] idly wonders what would happen if we made a sentient kernel and plugged in fungot 01:31:25 hppavilion[1]: we never saw that 01:31:35 fungot: Yeah, that's why I wonder what it'd be like 01:31:35 hppavilion[1]: is it? stack-based?) you're not allowed to touch them at all, 01:34:02 `? philosophy 01:34:09 philosophy is at the root of everything. 01:34:17 Or is it? 01:34:29 `` sed -i sapaPa wisdom/philosophy 01:34:39 No output. 01:34:41 `? philosophy 01:34:43 Philosophy is at the root of everything. 01:35:06 . o O ( s/is/gets/ ) 01:35:37 pretty sure is was intended. 01:36:07 sure 01:36:16 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 01:36:46 oerjan: huh?sapaPa? 01:36:52 Oh, a is equivalent to / there 01:37:09 / is hard to pronounce 01:37:58 You cannot get to philosophy from insurance (insert jokes here) <-- ooh 01:38:08 it's true 01:38:21 prooftechnique: how did you discover that 01:40:18 I just did 01:40:23 oerjan: prooftechnique was wrong. 01:40:47 (I follow the strategy in which you also exclude things in parentheses, on top of italics) 01:41:06 -!- Moon_ has quit (Ping timeout: 250 seconds). 01:41:51 `wallstreet 01:41:54 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wallstreet: not found 01:41:55 `wisdom 01:41:57 latin/LATINA EST SUBLIMISSIMA LINGUA MUNDI 01:42:05 `wisdom 01:42:07 gaspatsjo/gaspatsjo is a norwegian soup, which died out due to a lack of hot summer days 01:42:08 `stupidity 01:42:09 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: stupidity: not found 01:43:15 hppavilion[1]: how was he wrong? 01:43:32 oerjan: Well I started at Insurance 01:43:45 oerjan: And I followed the first link on each page to philosophy 01:43:58 In finitely-many steps, with no editing in between :P 01:44:16 @metar ENVA 01:44:16 ENVA 292350Z 11014KT CAVOK 08/M01 Q1018 RMK WIND 670FT 14020G31KT 01:44:21 @metar CYUL 01:44:21 CYUL 300000Z 08009KT 30SM OVC250 10/M11 A3011 RMK CI8 SLP200 01:44:29 HAH! warmer! 01:44:33 hppavilion[1]: that doesn't describe how he was wrong, since i did the same and never got to philosophy. 01:44:45 oerjan: Did you at any point click "Greek"? 01:44:48 no. 01:44:59 oerjan: Huh... 01:45:12 oerjan: Did you click anything in italics? 01:45:16 no. 01:45:24 oerjan: Weird. 01:45:29 oerjan: You were on wikipedia, correct? 01:45:31 :P 01:45:35 yes. 01:45:53 you realize that you are being unhelpful by not saying which pages you visited, right? 01:46:18 (mine were the same as prooftechnique afaict) 01:46:54 i'm sure you have some kind of twisting of the intent in mind. 01:47:41 oerjan: Oh, that's what you want 01:48:21 Insurance -> risk management -> risk -> physical health 01:48:30 physical health is in parentheses. 01:48:33 (which redirects to health) 01:48:38 Oh, crap 01:48:40 * hppavilion[1] is an idiot 01:48:50 OK, uncertainty 01:48:57 ...insurance 01:48:59 OK, weird 01:49:09 I think wikipedia is broken. 01:49:19 SHOCKING 01:49:26 The solution is clearly to scrap it all and start over. 01:49:41 * hppavilion[1] goes to the center of the internet and starts dismantling it 01:49:47 (so do i. i mean how can not deal efficiently with this sockpuppet i've been whacking. but i digress.) 01:49:52 *can they 01:50:32 hppavilion[1]: there is no center of the internet. every point of the internet is its center. 01:51:22 boily: Um, https://www.youtube.com/watch?v=eh7lp9umG2I hth 01:53:05 * boily wants to thwack hppavilion[1], but he makes a good point there 01:54:20 Whoo! 01:54:27 I think binutils cross-compiled properly! 01:54:28 boily: Well I don't see how that's stopping you from thwacking. 01:54:52 int-ello. indeed. 01:54:58 * boily merrily thwacks hppavilion[1] 01:55:36 -!- Moon_ has joined. 01:56:52 ow. 01:59:29 -!- ineiros has quit (Ping timeout: 260 seconds). 01:59:44 -!- Moon_ has quit (Ping timeout: 250 seconds). 02:00:43 `? gender 02:00:45 gender? ¯\(°​_o)/¯ 02:06:32 `? `? `? 02:06:34 Yes, you're very clever 02:06:38 :) 02:07:13 `` marsha marsha > marsha 02:07:17 ​/hackenv/bin/`: line 4: marsha: command not found 02:10:06 -!- ineiros has joined. 02:11:39 helloily 02:12:01 -!- jaboja has quit (Ping timeout: 252 seconds). 02:16:43 The time has come... 02:16:54 to solve this Sudoku puzzle by making a bunch of permutation grids. 02:17:10 And by "permutation grid" I mean a grid representing an unknown permutation of a set. 02:17:54 Say, a 5x5 grid, representing a permutation of 5 elements. Each row is an element, as is each column. You blacken a square to indicate that it is not part of the permutation. 02:18:07 Eventually you'll end up with exactly one white square in every row and in every column. 02:20:09 there are a lot of permutations in sudoku 02:20:20 this seems as if it would take more time than it's worth 02:20:28 Probably. 02:20:33 But this is a pretty difficult puzzle. 02:20:54 have you tried all of the other logical techniques? 02:21:16 Probably not. 02:22:19 look at the list of techniques on the side: http://www.sudokuwiki.org/sudoku.htm 02:26:35 Now that looks interesting. 02:27:10 quinthellopia! 02:28:13 All right. By spending five or ten minutes making this grid here, I've successfully determined that by looking at just this row, I can't find out anything more about this row. 02:29:13 lolol 02:31:41 I think my most promising approach here is to look at the alternatives for this huge tree of alternating pairs. 02:39:35 -!- boily has quit (Quit: ACCURSED CHICKEN). 02:44:04 Nothing really interesting has turned up so far. 02:55:27 -!- Kaynato has quit (Quit: Leaving). 02:57:44 Well gee. Assuming I did everything exactly right, I've found an inconsistency in one of the possibilities. 02:57:47 You know what that means. 02:59:05 -!- Kaynato has joined. 02:59:30 -!- centrinia has quit (Remote host closed the connection). 03:02:04 And with that figured out, it looks like the rest of the puzzle is collapsing. 03:02:04 There, I solved the whole thing in less than two hours! 03:24:10 quintopia: looks like it's missing naked and hidden quadruples! 03:32:37 -!- centrinia has joined. 03:42:09 -!- tromp_ has quit (Remote host closed the connection). 03:49:53 -!- tromp_ has joined. 04:04:16 Oh, it does have naked quads. 04:04:19 But not hidden quads. 04:06:54 WHOO! 04:07:02 I THINK I HAVE A WORKING GCC CROSS COMPILER! 04:07:07 tswett: CONGRATULATE ME DAMMIT! 04:07:17 hppavilion[1]: woohoo! \o/ 04:07:26 tswett: THANK YOU DAMMIT! 04:07:38 You're goddamn fucking welcome. 05:00:37 tswett: The phrase "Mr. President" in the US disturbs me 05:00:46 I will only be happy when it's "Dr. President" 05:01:39 What's disturbing about it? 05:02:02 Keeping in mind that it's intended as an alternative to "Your Highness". 05:02:56 pikhq: Yes 05:03:25 pikhq: But "Dr. President" gives off at least the facade that the individual in power is smrt. 05:04:23 Why doesn't *n?x have a part of the directory tree called "/sht" 05:04:40 "/huh" 05:04:43 "/wtf" 05:04:49 "/umm" 05:04:53 "/prn" 05:05:25 I'm afraid that you're unlikely to see "Dr. President" as the term of address. Both because it seems unlikely that we'll have a President with a doctorate, and it seems unlikely we'll add "Dr." to the title. 05:06:16 pikhq: Yeah, the former is the reason it's sad 05:06:46 "/meh" 05:07:04 Oh, actually, we have had at least one President with a doctorate. 05:07:05 -!- nisstyre_ has quit (Quit: WeeChat 1.4). 05:07:16 Obama has a Juris Doctor. 05:07:31 So, y'know, there's that. 05:07:46 https://en.wikipedia.org/wiki/List_of_Presidents_of_the_United_States_by_education 05:08:16 -!- nisstyre has joined. 05:08:17 Oh, didn't know Wilson had a Ph.D. 05:08:34 Yay! 05:08:43 Someone acceptable was once president! 05:08:57 -!- nisstyre has quit (Changing host). 05:08:57 -!- nisstyre has joined. 05:09:01 Perhaps "Dr." is an abbreviation of "Dear". 05:09:09 phdpavilion 05:09:26 shachaf: Someday... 05:09:34 Codoctor. 05:09:58 Just get an honorary doctorate. 05:10:55 Just get a non-accredited degree. 05:11:35 Dr. shachaf i think you're stretching it 05:11:52 dearjan 05:12:33 just oct some code 05:12:33 shachaf: The fact that "fictitious academic degrees" is not a wikipedia page makes me sad 05:13:00 https://en.wikipedia.org/wiki/List_of_honorary_degrees 05:13:32 -!- tromp_ has quit (Remote host closed the connection). 05:13:35 You could become a Hon. D.A., if you're a car. 05:13:44 oerjan: Those aren't strictly "fictitious" so much as "useless" 05:14:19 They are inarguably real honorary degrees. 05:15:05 * oerjan gives hppavilion[1] an honorary swatting for misdirection -----### 05:15:37 shachaf: Anti-doctorate: A mandatory degree forced upon stupid people upon achieving enough stupid to teach stupid at a university level 05:15:52 s/university/stupiversity/ 05:16:18 oerjan: i feel like all my swattings have been dishonorary 05:16:50 trust your feelings, Dr. shachaf 05:16:54 I'm pretty certain that would be a St.D. A Stultus Doctor. 05:17:06 pikhq: St.D :) 05:17:19 there's a hole in the bucket, dr. oerjan, dr. oerjan 05:17:20 Why do we have Ph.D.s for hard science? 05:17:32 Soundn't they be anything /but/ philosophy? 05:17:40 because all the sciences descend from philosophy 05:17:46 oerjan: Yeah, but... 05:17:52 Rocktorate? 05:18:07 Anybody who gets a doctorate in geology should be referred to as a "Rocktor" 05:18:18 anyway, i'd have you know i have a genuine Doctor Scientiarum degree hth 05:18:22 *i'll 05:18:34 oerjan: Scientariarum? 05:18:36 Because "philosophiae" here is not referring to the present-day academic field of philosophy, but rather the original meaning, "love of wisdom". 05:18:40 philosophy comes from the greek meaning "love of one's own voice" 05:19:02 Which is to say that most academic study was considered "philosophy". 05:19:06 hm maybe that is just Scientiae 05:19:42 it's abbr. D.Sc., anyway. 05:19:45 So, just another instance of an outdated use of a term. 05:19:50 Just like "Christian Science". 05:19:53 hm, or was it "love of phyllo dough" 05:21:53 love of false etymology 05:22:58 oerjan: etymology is subjective hth 05:24:42 itymobjective 05:25:15 itymology is certainly more popular in this channel 05:25:55 `learn Itymology is the science of understanding the true meaning of a statement. 05:26:22 Learned 'itymology': Itymology is the science of understanding the true meaning of a statement. 05:27:46 `? itym 05:27:49 itym "i think you mean" hth 05:28:04 in thor you must 05:28:42 sounds like a Durkon proverb 05:28:48 no wait 05:28:59 in Thor ye must 05:29:49 i wish there was an olist search 05:29:57 and that each strip came with a transcription 05:30:14 i feel like there was a phrase similar to that somewhere 05:30:28 i know wwtd was used 05:32:13 -!- centrinia has quit (Ping timeout: 252 seconds). 05:32:53 http://www.giantitp.com/comics/oots0073.html 05:33:11 also http://www.giantitp.com/comics/oots0170.html 05:45:44 Need an irc bot that can be GM https://1d4chan.org/images/7/70/EVERYONE_IS_JOHN.png 05:55:11 -!- Kaynato has quit (Ping timeout: 244 seconds). 06:08:54 `list 06:09:18 Phantom_Hoover int-e hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname 06:09:18 fowl: I thought you didn't like IRC bots 06:14:03 -!- tromp_ has joined. 06:18:26 -!- tromp_ has quit (Ping timeout: 244 seconds). 06:26:29 -!- bb010g has joined. 06:34:50 hppavilion[1], i have taken popular opinion under advisement and decided to flip-flop 06:46:20 "As a cryptographer for the U.S. government during WWII, he developed the first unbreakable cipher." 06:46:33 How many unbreakable ciphers are there? I thought there was just one? 06:47:00 yeah 06:47:22 two if you count quantum cryptography as distinct 06:47:34 though really it's just a way of making an OTP 06:47:36 speaking of which 06:47:45 we really need One True Pairing-based crypto 06:52:06 What is that? 06:59:50 Aren't there other "unbreakable" schemes too? 07:00:09 Stuff like Shamir's Secret Sharing 07:00:27 Secret sharing is not a ordinary kind of cipher though 07:01:57 I do know how secret sharing works; one way is to decide a point and make any number of equations of lines that pass through that point. With one line you cannot figure it out but with any two lines they intersect at the one point. With the proper way to encode the data and decide the point so that it cannot "leak", it should be safe. 07:06:03 *sigh* 07:06:46 I got a GCC Cross-Compiler nearly working 07:07:15 But the shell restarted and I forgot to re-update some variables (and bash is stupid and treats unassigned variables as the null string) 07:07:21 So now I need to recompile 07:07:27 But it isn't working this time 'round 07:07:33 And I can't remember what I did to make it work last time 07:15:46 -!- tromp_ has joined. 07:20:03 -!- tromp_ has quit (Ping timeout: 240 seconds). 07:30:22 FUUUUUUUUUUUUUUUUUUUUUU 07:54:40 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 08:16:11 -!- lambda-11235 has quit (Quit: Bye). 08:20:32 -!- oerjan has quit (Quit: Nite). 08:29:15 -!- bb010g has quit (Quit: Connection closed for inactivity). 08:41:50 -!- impomatic has quit (Ping timeout: 268 seconds). 08:48:33 -!- gamemanj has joined. 08:53:31 I'm still thinking I should put on a cloak so I can travel across the world, but how... 08:54:30 gamemanj, ask in #freenode 08:54:38 Ok, noted! 09:15:30 -!- tromp_ has joined. 09:20:17 -!- tromp_ has quit (Ping timeout: 276 seconds). 09:20:25 -!- AnotherTest has joined. 10:45:45 -!- Reece` has joined. 10:57:48 -!- gremlins has joined. 10:58:59 -!- Reece` has quit (Ping timeout: 244 seconds). 11:10:01 -!- gremlins has quit (Quit: Alsithyafturttararfunar). 11:10:25 -!- Reece` has joined. 11:26:53 does anyone know a service like archive.org that ignores robots.txt? 11:40:04 -!- Reece` has quit (Read error: Connection reset by peer). 11:42:16 -!- boily has joined. 12:06:09 -!- J_Arcane has quit (Ping timeout: 244 seconds). 12:12:13 -!- J_Arcane has joined. 12:25:54 I'd like to qualify my statement that it was assuming a tape of unlimited length. 12:29:08 @tell ais523 Re breaking out of loops: the spec doesn't make it clear, but unlike [, the CIOL ] actually does the Brainfuck thing, tests for the current cell being nonzero. 12:29:08 Consider it noted. 12:44:55 -!- yorick has quit (Remote host closed the connection). 12:57:00 -!- J_Arcane has quit (Ping timeout: 246 seconds). 12:57:18 -!- MDead has joined. 12:57:50 -!- zemhill_ has joined. 13:06:28 -!- zemhill has quit (*.net *.split). 13:06:28 -!- MDude has quit (*.net *.split). 13:06:33 -!- MDead has changed nick to MDude. 13:06:57 @massages-loud 13:06:57 You don't have any messages 13:07:08 -!- J_Arcane has joined. 13:07:56 -!- idris-bot has quit (Quit: Terminated). 13:08:11 -!- idris-bot has joined. 13:08:11 @messages-lewd 13:08:11 You don't have any messages 13:08:16 ... 13:08:41 @messages-loid 13:08:41 You don't have any messages 13:09:03 @massive-temporal-shift 13:09:03 Unknown command, try @list 13:09:39 @memories-lard 13:09:39 Unknown command, try @list 13:09:48 hmm, ok... 13:09:51 @messages 13:09:52 You don't have any messages 13:09:56 @messages-ABRACADABRA 13:09:56 Unknown command, try @list 13:10:09 gamemanj: Hamming distance ≤ 2. 13:10:15 ah 13:10:44 So... 13:11:05 @missages-laud 13:11:05 You don't have any messages 13:11:12 @massages-baud 13:11:12 Unknown command, try @list 13:11:16 @messages-baud 13:11:16 You don't have any messages 13:11:50 The actual command being @messages-loud . 13:11:57 @messages 13:11:57 You don't have any messages 13:12:29 @melvages 13:12:29 You don't have any messages 13:13:07 @mess--es 13:13:07 You don't have any messages 13:13:47 @help 13:13:47 help . Ask for help for . Try 'list' for all commands 13:14:23 @tf ++++++++[->++++++++<]+. 13:14:23 Done. 13:14:32 ...what, exactly, did that do 13:14:35 Sometimes random short words will turn out to be a valid command, and then great fun can be had trying to figure out what command was actually triggered. 13:14:48 Oh, you just found that out by yourself. 13:15:02 Either Melvar is very fast at typing or Melvar predicted the future 13:15:16 I was already typing that, as the followup indicates. 13:15:27 @bf 13:15:27 Done. 13:15:38 ah, I forgot a '>' 13:15:41 @tf ++++++++[->++++++++<]>+. 13:15:41 A 13:15:58 The fabled "trainfuck" language. 13:16:02 @ip ++++++++[->++++++++<]>+. 13:16:02 ++++++++[->++++++++<]>+. 13:16:09 @dt ++++++++[->++++++++<]>+. 13:16:09 .hs: 1: 1:Parse error: ++++++++ 13:16:11 ... 13:16:20 Ok, I give up, I don't understand lambdabot anymore 13:16:27 @bp ++++++++[->++++++++<]>+. 13:16:27 A 13:16:30 fizzie: You know, I’m sure there’s porn of trains fucking. Certainly I’ve seen planes. 13:16:34 ... 13:16:38 ..... 13:16:46 * boily thwacks Melvar 13:16:57 dt was probably ft from the ft module. 13:16:57 -!- tromp_ has joined. 13:17:04 @help ft 13:17:04 help . Ask for help for . Try 'list' for all commands 13:17:20 -!- boily has quit (Quit: SPONSORED CHICKEN). 13:17:25 you're always tempting me to disable that feature 13:17:27 todo: make a hackego ++ script of some sort 13:17:28 "ft . Generate theorems for free" 13:17:59 @ft alphabet 13:17:59 Maybe you meant: wn v rc pl let id faq do bf @ ? . 13:18:01 And ip probably turned into id. 13:18:14 @ft @ 13:18:14 Maybe you meant: wn v rc pl let id faq do bf @ ? . 13:18:17 @ft @? 13:18:17 Maybe you meant: wn v rc pl let id faq do bf @ ? . 13:18:19 >.> 13:18:22 That's not a command. 13:18:34 The "Maybe you meant:" was referring to your @ft, not whatever you said after it. 13:18:37 but the: @help ft 13:18:57 So it was maybe do. 13:18:59 @help do 13:18:59 do 13:18:59 Translate Monad operators to do notation. 13:19:04 Yeah, guess so. 13:19:10 different kinds of command lookup 13:19:14 I got 'ft' from a random COMMANDS file from the webs. 13:19:23 But seems that it's stale. 13:19:26 @free 13:19:26 Pattern match failure in do expression at src/Lambdabot/Plugin/Haskell/Free/FreeTheorem.hs:54:21-35 13:19:32 it got renamed 13:19:50 also... apparently... it's not very robust 13:20:58 @help id 13:20:58 id . The identity plugin 13:21:12 @id so what does this do? 13:21:12 so what does this do? 13:21:17 @id so basically echo then 13:21:17 so basically echo then 13:21:22 -!- tromp_ has quit (Ping timeout: 252 seconds). 13:21:38 @id `echo @id `echo 13:21:38 `echo @id `echo 13:21:43 :( 13:22:07 lambdabot's anti-botloop seems to consist of prefixing everything with a space if the user had anything to do with it 13:22:27 that's the idea... and there are some known holes in it 13:22:57 @id "\nPRIVMSG #esoteric :hello" 13:22:57 "\nPRIVMSG #esoteric :hello" 13:23:03 Apparently that is not one of them 13:24:06 @bf ++++++++[>++++>++++++++++<<-]++++++++++>>---><<<.>>><[->+>+<<]>+++.++.---------.+++++++++++++.---------.++++++.------------.<<.>>------------------------------------.[-]>[-<+<+>>]<--------.++++++++++++++.----.+++++.---------------.+++++++++++++.---------.------.<<.>>---------.++++++++++++++.---.+++++++..+++.<<<.>>> 13:24:06 PRIVMSG #ESOTERIC :HELLO 13:24:25 And neither is that 13:24:30 ^echo @id 13:24:30 @id @id 13:24:30 @id 13:24:46 It's too bad that NOTICE doesn't work as intended in the IRC RFC... 13:25:00 ^help echo 13:25:00 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 13:25:15 ... there's nothing about echo on that helptext... 13:25:22 ^show echo 13:25:22 >,[.>,]<[<]+32[.>] 13:25:27 (the RFC says, bots should reply to PRIVMSG with NOTICE and never reply to NOTICE at all) 13:25:51 But some clients are really annoying when a NOTICE is received... so nobody uses it. 13:26:14 they treat a NOTICE like a NOTICE instead of a message + a little bit of metadata 13:26:15 int-e: Wasn’t there a thing where the most widespread client was really really bad in several ways and this has misshaped IRC forever? 13:26:35 Sure, we still suffer the mirc color codes, for example 13:27:17 Because idris-bot produces color, I have actually had to contend with misimplementations of those color codes. -_____- 13:27:25 Yeah, ^help only covers the builtins. 13:27:29 * gamemanj reads the echo code 13:27:36 it's an awfully complicated echo... 13:27:46 It's not that complicated. 13:27:50 ^echo foo 13:27:50 foo foo 13:27:51 ^echo I hear an echo? 13:27:51 I hear an echo? I hear an echo? 13:27:56 -!- centrinia has joined. 13:27:56 wait, a sec, it's writing it twice 13:28:02 gamemanj: Sure, it's *echoing*. 13:28:04 That's the pun. 13:28:32 ^reverb Reverberating. 13:28:32 RReevveerrbbeerraattiinngg.. 13:28:41 There's also that, along those lines. 13:28:52 ^show reverb 13:28:52 ,[..,] 13:29:24 So, you know how the color codes go ^Cmm or ^Cmm,nn ? I’ve found out that at least one client parses “^Cmm,” as though it were “^Cmm”, so that hilighted commas get lost entirely. 13:30:24 Wait,really? 13:30:49 But only the one client I think so far displayed that particular problem. 13:33:58 anyway, let's see how ^echo reacts to colourcodes 13:34:09 ^echo bleudcliadm 13:34:09 bleudcliadm bleudcliadm 13:35:30 ^echo the FSM of the colors causes a reinterpretation. 13:35:30 the FSM of the colors causes a reinterpretation. the FSM of the colors causes a reinterpretation. 13:35:55 actually... 13:37:11 ^echo 04 There are differences between these sentences. 13:37:11 04 There are differences between these sentences. 04 There are differences between these sentences. 13:37:20 hmm... 13:37:52 so control sequences can't cross the "boundary" 13:37:56 It puts a space in between. 13:40:41 > :type id 13:40:42 :1:1: parse error on input ‘:’ 13:40:52 ( :type id 13:40:52 Command "\ETX04type" not permitted. 14:29:16 -!- centrinia has quit (Ping timeout: 244 seconds). 14:33:40 -!- yorick has joined. 14:43:09 -!- idris-bot has quit (Ping timeout: 276 seconds). 14:51:55 -!- Reece` has joined. 14:58:11 -!- tromp_ has joined. 15:19:49 -!- AnotherTest has quit (Ping timeout: 260 seconds). 15:24:20 -!- AnotherTest has joined. 15:40:54 <\oren\> │ 15:40:56 <\oren\> ↓ 15:42:52 <\oren\> hmm looks like they line up to me 15:46:08 `unidecode │ | │ 15:46:33 ​[U+2502 BOX DRAWINGS LIGHT VERTICAL] [U+0020 SPACE] [U+007C VERTICAL LINE] [U+0020 SPACE] [U+2502 BOX DRAWINGS LIGHT VERTICAL] 15:47:28 <\oren\> `unidecode ⎜⎟⎢⎥⎪⎮ 15:47:36 ​[U+239C LEFT PARENTHESIS EXTENSION] [U+239F RIGHT PARENTHESIS EXTENSION] [U+23A2 LEFT SQUARE BRACKET EXTENSION] [U+23A5 RIGHT SQUARE BRACKET EXTENSION] [U+23AA CURLY BRACKET EXTENSION] [U+23AE INTEGRAL EXTENSION] 15:49:35 <\oren\> `unidecode ᛁᅵ︱︲︳∣∥ 15:49:37 ​[U+16C1 RUNIC LETTER ISAZ IS ISS I] [U+FFDC HALFWIDTH HANGUL LETTER I] [U+FE31 PRESENTATION FORM FOR VERTICAL EM DASH] [U+FE32 PRESENTATION FORM FOR VERTICAL EN DASH] [U+FE33 PRESENTATION FORM FOR VERTICAL LOW LINE] [U+2223 DIVIDES] [U+2225 PARALLEL TO] 15:50:18 <\oren\> ।॥ 15:50:51 <\oren\> man there are a lot of characters that look like vertical lines 15:51:38 <\oren\> | 15:54:13 `unidecode ।॥| 15:54:16 ​[U+0964 DEVANAGARI DANDA] [U+0965 DEVANAGARI DOUBLE DANDA] [U+FF5C FULLWIDTH VERTICAL LINE] 15:54:28 wtf is a danda 15:54:43 `unidecode ǀǁ 15:54:46 ​[U+01C0 LATIN LETTER DENTAL CLICK] [U+01C1 LATIN LETTER LATERAL CLICK] 15:55:04 <\oren\> oh yeah I forgot those 16:02:37 -!- Kaynato has joined. 16:06:04 -!- idris-bot has joined. 16:09:45 <\oren\> > 2 + 3 16:09:47 5 16:10:04 <\oren\> ] 2 + 3 16:10:26 <\oren\> `? idris-bot 16:10:42 idris-bot? ¯\(°​_o)/¯ 16:11:23 ( 2 + 3 16:11:24 5 : Integer 16:11:59 `? prefixes 16:12:01 prefixes? ¯\(°​_o)/¯ 16:12:06 ^prefixes 16:12:06 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 16:12:11 `prefixes 16:12:13 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 16:12:24 they agree, too 16:12:34 <\oren\> `prefixes 16:12:35 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 16:12:45 now that was redundant 16:13:11 <\oren\> argh my ssh connection is screwy 16:13:28 <\oren\> it's sending a lot faster than it recieves 16:13:40 ah, lag. 16:13:43 always fun 16:14:03 <\oren\> hmmm... maybe I should kill some of these chrome windows 16:14:51 <\oren\> test test - いえい! 16:15:30 <\oren\> ( 5 & 3 16:15:30 b -> c is not a numeric type 16:15:42 <\oren\> ( 5 bitand 3 16:15:42 (input):1:3:Can't disambiguate since no name has a suitable type: 16:15:42 Data.Fin.fromInteger, Prelude.Interfaces.fromInteger 16:15:55 Huh. 16:16:00 ( :t bitand 16:16:00 No such variable bitand 16:16:18 Interesting … 16:16:21 oren: messing with fonts? 16:16:23 <\oren\> ( :t & 16:16:23 (&) : (a -> b) -> (b -> c) -> a -> c 16:16:54 <\oren\> gamemanj: I was testing to see if my arrows line up with my box drawers propery 16:17:27 <\oren\> wait wtf, & is fucntion composition or somethin?! 16:17:33 ...oren: "いえい" "Portrait of deceased person" according to a translator... 16:17:50 oren: You're either using really weird ligatures... 16:18:01 ( 5 `prim__andBigInt` 3 16:18:01 1 : Integer 16:18:06 oren: or you have an interesting system for choosing test words. 16:18:19 <\oren\> gamemanj: your translator is very outdared 16:18:28 oren: Tell that to Google Translate :) 16:18:38 <\oren\> gamemanj: in real life japanese いえい is "YAY" 16:19:08 ^unicode いえい 16:19:19 ...wait, wrong bot 16:19:23 `unicode いえい 16:19:29 ...no? 16:19:31 U+3044 HIRAGANA LETTER I \ UTF-8: e3 81 84 UTF-16BE: 3044 Decimal: い \ い \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+3048 HIRAGANA LETTER E \ UTF-8: e3 81 88 UTF-16BE: 3048 Decimal: え \ え \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+3044 HIRAGANA LETTER I \ UTF-8: e3 81 84 UTF-16BE: 3044 16:20:08 \oren\: (&) is reverse function composition. Note that | is a keyword, so you can’t have an operator (|), so using (&) for any sort of and doesn’t make much sense. 16:21:00 @type (&) 16:21:02 a -> (a -> b) -> b 16:21:25 lambdabot thinks it should be reverse function application instead, but I disagree. 16:26:07 tswett: < tswett> quintopia: looks like it's missing naked and hidden quadruples! <--- "Naked quads" is right underneath "Hidden Pairs/Triples" 16:28:08 the significance of this being... 16:34:58 -!- AnotherTest has quit (Ping timeout: 252 seconds). 16:36:54 @type all 16:36:55 Foldable t => (a -> Bool) -> t a -> Bool 16:38:03 @quickcheck \p m => maybe True p m == all p m 16:38:03 Unknown command, try @list 16:38:10 @qc \p m => maybe True p m == all p m 16:38:10 Not enough privileges 16:38:42 @check \p m => maybe True p m == all p m 16:38:42 .hs: 1: 6:Parse error: => 16:38:51 @check \p m. maybe True p m == all p m 16:38:51 .hs: 1: 5:Parse error: . 16:38:56 @check \p m -> maybe True p m == all p m 16:38:57 arg 16:38:58 +++ OK, passed 100 tests. 16:39:09 too many functional programming languages 16:39:17 @check \p m -> maybe False p m == any p m 16:39:18 +++ OK, passed 100 tests. 16:39:30 I wonder how its instantiating the type variable. 16:39:38 *it’s 16:39:41 (=> is ML; . is used in Isabelle... technically not a programming language, but there's a significant fragment that feels like one) 16:40:03 => is also used in Idris, that’s why I made that mistake. 16:41:39 -!- gremlins has joined. 16:42:07 -!- lambda-11235 has joined. 16:43:24 -!- Reece` has quit (Ping timeout: 276 seconds). 16:44:31 What is an optic that enables one to update multiple elements inside a structure simultaneously with the same function? 16:46:16 A Setter. 16:46:25 -!- jaboja has joined. 17:03:15 Hm. What if you can also retrieve multiple elements? 17:16:56 -!- Sgeo_ has joined. 17:18:49 `` jq -cn '[1,2,3] | .[0,2] = 7' 17:19:28 -!- Sgeo has quit (Ping timeout: 250 seconds). 17:19:48 ​[7,2,7] 17:20:32 `` jq -cn '[1,2,3] | .[0,2] |= . + 4' 17:20:34 ​[5,2,7] 17:21:02 `` jq -cn '[1,2,3] | .[0,2]' 17:21:04 1 \ 3 17:25:27 -!- jaboja has quit (Ping timeout: 260 seconds). 17:26:13 `` jq -cn '[1,[2,3],4] | recurse 17:26:16 ​/hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `'' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file 17:26:18 `` jq -cn '[1,[2,3],4] | recurse' 17:26:20 ​[1,[2,3],4] \ 1 \ [2,3] \ 2 \ 3 \ 4 17:26:34 `` jq -cn '[1,[2,3],4] | recurse | numbers' 17:26:36 1 \ 2 \ 3 \ 4 17:26:53 `` jq -cn '[1,[2,3],4] | (recurse | numbers) |= . + 4' 17:26:54 ​[5,[6,7],8] 17:28:39 Neat. I wasn’t sure that was possible. 17:28:55 `` jq -cn '[1,[2,3],4] | (recurse | select(. > 2)) |= . + 4' 17:28:59 jq: error (at ): array ([1,[2,3],4]) and number (4) cannot be added 17:29:21 `` jq -cn '[1,[2,3],4] | (recurse | numbers | select(. > 2)) |= . + 4' 17:29:23 ​[1,[2,7],8] 17:30:21 `` jq -cn '[1,[2,3],4] | (recurse | arrays | .[0] | numbers) |= . + 4' 17:30:22 ​[5,[6,3],4] 17:59:53 -!- AnotherTest has joined. 18:01:19 -!- J_Arcane has quit (Ping timeout: 252 seconds). 18:14:15 -!- Frooxius has quit (Quit: *bubbles away*). 18:37:31 -!- bb010g has joined. 18:41:10 -!- Frooxius has joined. 19:14:18 -!- acertain has quit (Read error: Connection reset by peer). 19:40:49 -!- Kaynato has quit (Ping timeout: 244 seconds). 19:51:31 -!- boily has joined. 19:55:09 -!- hppavilion[1] has joined. 19:55:25 hppavellon[1]! 19:55:32 ahoily... 19:55:54 boily: I got a cross-compiler almost working yesterday, but I accidentally used two different prefixes 19:55:58 helloily 19:56:02 boily: So I had to start over 19:56:09 boily: And now binutils won't compile 19:56:10 xD 19:56:12 cross-compiling is insanely hard. 19:56:18 boily: It is, yes 19:56:25 QUINTHELLOPIA! 19:56:37 WHAT DO 19:56:51 LAUNDRY 19:57:20 oh. sounds like an exciting saturday 19:57:38 i'm back at starbucks. one more hour of writing before april is over 19:57:45 -!- gremlins has quit (Ping timeout: 276 seconds). 19:58:24 -!- Reece` has joined. 19:58:28 it was more fun this morning. the grilf and I had a nice Saturday morning walk, with croissants, random boutiques, food, sun, crumbling civil engineering... 19:58:41 "grilf"? 19:58:52 gamellomanj. "girlfriend" hth. 19:59:05 @localtime quintopia 19:59:06 Local time for quintopia is Sat Apr 30 14:59:05 2016 19:59:18 you still have plenty of hours left! 19:59:31 I'm still not sure what it is with the name "gamemanj" and being twisted in every single conceivable manner 19:59:43 you were porthelloed hth 19:59:48 ...wait a sec, crumbling civil engineering? 20:00:13 gamemanj: Uh, yeah 20:00:29 gamemanj: Didn't you know boilia's civil engineering is crumbling? 20:00:31 our bridges, overpasses, highway interchanges, roads, sidewalks are in advanced décrépitude. 20:00:49 hppavilion[1]: btw, I'm not a civil engineer. I only did computer engineering in school hth 20:00:50 ...in which case I suggest not standing on those bridges and overpasses. 20:01:00 . o O ( what's the right word for "décrépitude"? ) 20:01:11 boily: maybe "decay" 20:01:12 or under them. they even marked the spots for your convenience! 20:01:23 boily: Well duh. When did I say you were? 20:01:32 boily: I'm not sure if you're talking in French or some completely unknown language, but I can infer from context that you probably mean "advanced decay" 20:01:32 meh, we're waaaay past decay now. world leader in crumbles! 20:01:43 boily: Decrepitedness? 20:01:52 boily: I'm pretty sure decrepit is an english word 20:02:00 Yeah, spellcheck doesn't complain 20:02:00 gamemanj: French, the Québec variant of. 20:02:14 screw spellcheckers, they're no fun. 20:02:20 spellcheckers are cheating! 20:02:27 boily: They're useful for finding the base words 20:02:30 you might as well put the word into a translator 20:02:36 or a transformer. 20:02:51 boily: And even though english doesn't /strictly/ let you make up words on-the-fly, nobody adheres to the giveafuckist view in english-speaking countries 20:03:08 gamemanj: I already thought decrepit was an english word; I was just checking 20:03:19 grilf eh. i should get one. 20:03:46 * hppavilion[1] absentmindedly wonders what a grilf is, suspecting that it's "girlfriend" 20:04:06 So I'm not the only person not paying attention to the IRC window most of the time! 20:04:20 i think decrepitude is an acceptable english word 20:04:23 gamemanj: You are, aamof 20:04:25 I also didn't invent the term → http://www.catb.org/jargon/html/G/grilf.html 20:04:31 quintopia: Oh, right, decrepitude 20:04:39 boily: Well yeah. 20:04:39 hppavilion[1]: "grilf"? gamellomanj. "girlfriend" hth. 20:05:40 boily: hopefully you also didn't invent the concept. (are you secretly boilazarus?) 20:05:53 -!- Phantom_Hoover has joined. 20:05:57 IRC is an interesting interface; chat-by-topic (as opposed to chat-by-person). It's a shame that the younger generation isn't exposed to it as much. 20:06:11 quintopia: eh? 20:06:16 so anyway on my plans for world domination and forced IRC usage by all able persons 20:06:20 did anyone look at that site i linked last night? 20:06:27 hppavilion[1]: people are all over Slack nowadays. 20:06:48 hppavilion[1]: i think group messages tend to have a topic with various degrees of stickiness 20:07:01 Then again, even if the younger generation /was/ exposed to it, they wouldn't use it because STRANGER DANGER DON'T TALK TO ANYONE YOU DIDN'T MEET FACE-TO-FACE ETC 20:07:12 quintopia: Stickine- oh. OH. 20:07:21 ah, yes, the good old *EVERYBODY YOU DO NOT KNOW IS EVIL* 20:07:30 boily: Never heard of it. Maybe it's not a 'murican thing. 20:07:40 boily: and what do you plan on doing with the rest of your day 20:07:53 who are you actually talking about when you refer to the ~younger generation~ 20:07:59 gamemanj: I remember finding "don't-talk-to-strangers" to be bullshit from a young age 20:08:00 @massages-loud 20:08:00 You don't have any messages 20:08:03 oh 20:08:21 Phantom_Hoover: Early teens? 20:08:26 like i remember getting drilled about not talking to strangers when i was a child and if you're going to say that it kept my generation off irc then loooooool 20:08:36 Phantom_Hoover: Yep xd 20:08:37 *xD 20:08:51 hppavilion[1]: I do wonder how on earth the population isn't going down 20:08:53 Phantom_Hoover: I think it's more effective this time around because they have cherry-picked evidence this time 20:08:58 Phantom_Hoover: all i got was don't talk to strangers when we're not around unless they know the secret code word 20:09:02 gamemanj: Yep 20:09:11 ESPECIALLY DONT GO WITH THEM UNLESS THEY GIVE YOU THE CODEWORD 20:09:14 quintopia: Ah, the secret code word. 20:09:18 hppavilion[1], do you actually know anyone in their early teens 20:09:23 hppavilion[1]: if everybody followed those rules we'd all die out from inbreeding... 20:09:25 Phantom_Hoover: ...maybe. 20:09:30 gamemanj: Yes, exactly 20:09:33 quintopia: finish laundry, nap, cook, eat, then disappear birthdaying a friend hth. 20:09:43 there'S a secret codeword? 20:09:46 Chariots. 20:10:04 fungot: remember chariots hth 20:10:04 boily: oklotalk is just one conditional statement spread over two lines, one can use bfm without any macros/ syntax, what would be a problem in an earlier era, we'd say " evoli makes google eyes at riastradh" 20:10:11 boily: mine was tomatoes 20:10:27 quintopia: are you writing like there's no tomorrow up until late at night? 20:10:32 well no 20:10:34 aaaaah! this kind of codeword. 20:10:59 i'm writing for one hour and then cleaning for one hour and then...gaming? 20:11:16 was going to invite you to game but you appear to be busy hth 20:11:36 maybe i'll go out and do board gaming 20:12:07 or stay in and finish season 2 of the almighty johnsons 20:12:14 -!- tromp_ has quit (Remote host closed the connection). 20:12:37 ^help 20:12:37 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 20:12:44 ^def codeword bf ++++++++[>++++>++++++++++<<-]++++++++++>>---><[->+>+<<]>----------.+++++.-------.+++++++++++++++++.---------.++++++.+++++.-.<<<.>>> 20:12:44 Defined. 20:12:47 * hppavilion[1] . o O ( What do actual Norwegians think of The Almighty Johnsons? ) 20:12:55 ^codeword 20:12:55 CHARIOTS. 20:13:00 LIES 20:13:03 -!- Frooxius has quit (Ping timeout: 240 seconds). 20:13:06 fine, what is it? 20:13:12 TOMATOES 20:13:20 I can resolve this 20:13:27 ^def codeword bf ++++++++[>++++>++++++++++<<-]++++++++++>>---><[->+>+<<]>+++++++.-----.--.------------.+++++++++++++++++++.-----.----------.++++++++++++++.<<<.>>> 20:13:27 Defined. 20:13:29 ^codeword 20:13:29 TOMATOES. 20:13:30 -!- Kaynato has joined. 20:14:03 ^def codeword bf -[--->+<]>-.-----.--.------------.>-[--->+<]>-.-----.+[-->+<]>+++++.-[-->+++<]>+.--.>-[--->+<]>---..+++++++.>-[------->+<]>.+++++.-------.+[->++++<]>.+[->++<]>+.+++++.-------.>-[--->+<]>---.---------.++++++.+++++.-. 20:14:03 Defined. 20:14:08 ^codeword 20:14:08 TOMATO-CARRYING CHARIOTS 20:14:27 so I'm not the only one with a BF string generator, though the one hppavilion[1] uses seems more... optimized? 20:14:39 gamemanj: I just used one online. 20:14:52 though I'm a bit confused as to what on earth it's doing 20:15:01 -[--->+<] is really confusing 20:15:03 gamemanj: I think it's an evolutionary algorithm 20:15:10 gamemanj: So... 20:15:14 no, it's using some pretty obvious patterns 20:15:29 gamemanj: Yeah, an evolutionary algorithm that uses patterns. 20:15:35 like: -[--->+<] which only works in an 8-bit wrapping environment 20:15:41 well, probably, anyway 20:15:41 gamemanj: It detects certain obvious patterns because they're obvious 20:16:19 !bf-txtgen what was this command called again 20:16:28 Oh, huh, it isn't evolutionary 20:16:41 Must be a different one 20:16:55 !bftxtgen is this it 20:17:36 Oh, ++++++[>+++++++>+++++++++++++++>+++++++<<<-]>++++>+>+>,[[<.>-]<<<.>.>++.--<++.-->>,] 20:17:45 That's a BF text generator IN BF 20:17:56 (is it proper to capitalize "BF"?) 20:18:30 ^def badbftxtgen bf ++++++[>+++++++>+++++++++++++++>+++++++<<<-]>++++>+>+>,[[<.>-]<<<.>.>++.--<++.-->>,] 20:18:30 Defined. 20:18:35 seems straightforward enough. you just have to read in a character, then output a >, n +s and a . 20:18:38 ^badbtxtgen walrus 20:18:46 ^badbftxtgen walrus 20:18:46 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.[-]++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ... 20:18:51 oh 20:18:53 yeah 20:19:03 that'd be shorter with a > instead of a [-] 20:19:09 the program itself would be also 20:19:09 quintopia: It would be 20:19:30 quintopia: But OTOH, this way it can handle unbounded input in a bounded environment 20:19:38 tradeoffs 20:19:57 quintopia: Yes, true 20:20:06 quintopia: This one works with 1-cell BF. 20:20:29 i prefer unbounded interpreters 20:20:33 If #esoteric had an official LISP, what commands would it have? 20:20:43 i imagine 20:20:44 quintopia: What about unbounded compilers? 20:20:55 hppavilion[1]: i have yet to meet one 20:21:05 quintopia: Theoretically unbounded 20:21:34 our lisp would have car, cdr, eval, print, die, kick, and destroy-earth 20:21:59 oh and fork-multiverse 20:22:09 and if 20:22:28 (all (imagine (! countries)) (imagine (! (any (thingtofor kill) (thingtofor die))) (imagine (! religion))) 20:23:07 quintopia: We can do better than that 20:23:15 (if (try you) (be-easy it)) 20:24:31 hppavilion[1]: sure. throw in "and" "or" and "not" i guess 20:24:43 quintopia: How about just nand? 20:24:51 fine fine 20:24:57 and "inc" and "dec" 20:25:12 quintopia: Wait, are there any functionally-complete ternary operators? 20:25:22 sure 20:25:51 SUBLEQ is turing-complete when it can take unbounded addresses 20:25:53 for instance 20:26:15 quintopia: I mean like nand is functionally-complete 20:27:29 hppavilion[1]: so...you want some three argument logic unit that can be used to be arbitrary circuits? 20:27:38 quintopia: Yes 20:27:46 easy. let's call it blargh 20:27:55 quintopia: Perhaps with multiple outputs, if preferred 20:27:59 blarg(a,b,c) -> a nand b 20:28:08 multiple outputs? 20:28:12 quintopia: Well duh. 20:28:20 quintopia: I want something that uses all 3 arguments 20:28:26 blargh(a,b,c) -> (a nand b, c) 20:28:31 done 20:28:46 Speaking of which, is there a nice notation for writing boolean-like logic where the gates might have multiple outputs? 20:28:51 quintopia: *sigh* 20:29:06 quintopia: I take it that, if someone asks you to express pi as a fraction, you say pi/1? 20:30:00 depends. do they specify that it must be a ratio of integers? but what you're asking is more like "can you express five as a fraction?" and getting upset at me answer "5/1?" 20:31:20 what is bajillion? is this some tv show or podcast/ 20:33:13 so boily disappeared without saying a word. i will not do this 20:33:20 * quintopia writes -> 20:37:32 -!- acertain has joined. 20:38:32 I have a "really slightly optimized" BF from text generator in BF, but it doesn't like input chars under 45 due to some performance optimizations. 20:39:10 Well, I say performance optimizations... 20:42:32 gamemanj: I think you predated Thoof. Have I told you about it? 20:42:41 uh, what? 20:43:21 quintopia: there was a clothesline involved hth 20:43:28 also, depending on which network you're looking at, which channel, etcetc... 20:43:36 I am now disappearing by saying a word: fnord! 20:43:38 "predated" is such a silly word 20:43:41 who cares about time? 20:43:54 -!- boily has quit (Quit: MITTEN CHICKEN). 20:44:31 gamemanj: Thoof is a proof assistant I made 20:44:45 gamemanj: Based on s///-notation 20:45:10 Why does it matter if I predate it...? 20:46:06 gamemanj: Because you definitely wouldn't have been online when I was designing it, and thus wouldn't have heard of it 20:46:15 gamemanj: I'm currently designing a version to put in an IRC bot 20:47:36 gamemanj: Wait, I meant "postdate", right 20:47:38 gamemanj: Sorry 20:48:21 I prefer the illusion that I never pre-dated or post-dated anything, and simply drop in on occasion. 20:48:32 gamemanj: xD 20:49:17 gamemanj: But basically, Thoof was a proof assistant where you prove things by executing s/abc/xyz/ on strings 20:49:51 -!- Reece` has quit (Ping timeout: 246 seconds). 20:50:00 ...I'm confused. First off, is this supposed to be a mathematical proof assistant, or just madness...? 20:50:21 gamemanj: It's a madthematical proof assistant. 20:50:24 ... 20:50:40 A successful confusion has been caused. 20:50:52 gamemanj: You have to declare axioms first (known strings and substitutions) 20:51:04 gamemanj: Then you set the strings and execute substitutions on them (with various strategies) 20:51:32 gamemanj: You can't use any substitutions or strings that are not either proved in prior or declared as axioms 20:51:40 ^def gmj-maybe-improved-bf-txt bf ++++++++++[->>+++++++++<<]>>[--<++<+>>]<[->+>+<<]>>[-<<+>>]<+++<+<--.........++>.<.+++++++++++++++++.-------------------.....+++++++++++++++++.--------------->>.>,[<<<[->>>->+<<<<]>>>>[-<<<<+>>>>]<<<.<.>>.<<+++++++++++++++++.----------------->.<.+++++++++++++++.-----------------.+++++++++++++++++++..-------------------.+++++++++++++++++.--------------->>.<<+++++++++++++++++.------- 20:51:40 Mismatched []. 20:51:41 ---------->.<.+++++++++++++++.-----------------.+++++++++++++++++++.----------------->>.<<+++++++++++++++..--------------->>>[-<<<--.++>>>]<<<+.->>>,] 20:51:46 ....where??? 20:51:49 oh 20:52:05 gamemanj: There 20:52:34 Note that it was not split into two messages before I pressed "enter" 20:53:43 gamemanj: WEll yeah 20:53:59 IRC has a line length limit, and good clients autosplit (rather than letting it be truncated). 20:54:37 Remember: If a client macerates your text, it's a good client! 20:55:43 Would you prefer part of the text get dropped for everyone but yourself, and you were unable to notice? 20:56:12 no, I'd prefer the server notified me 20:56:31 ...then again, some servers might do that using a KILL 20:56:57 gamemanj: They wouldn't 20:57:19 True, it would just be a connection close 20:58:01 gamemanj: No, it wouldn't. 20:58:16 gamemanj: The length limit wouldn't result in you being disconnected unless it was a REALLY long overflow. 20:58:36 I.e. you want a protocol change rather than a preferred client behavior. 20:59:05 hmm, true, it would be a protocol change... hmm... 21:00:08 one quick lookup and... it's already been done, some random sheet of numerics says 419 is ERR_LENGTHTRUNCATED on aircd 21:02:45 Maybe a better solution would be for fungot to allow multi-line command definitions? 21:02:46 gamemanj: there are three different index files, at least for now... had to kill them with flamethrowers and radiation. *cough* 21:02:51 ... 21:03:01 poor index files... 21:03:40 other question: why on earth was "flamethrowers and radiation" even a vaguely possible output 21:04:08 did someone actually say "flamethrowers and radiation"??? 21:04:12 Best fungotery ever. 21:04:12 hppavilion[1]: am i missing something 21:04:20 fungot: No, no you aren't... 21:04:20 hppavilion[1]: you'll need a 32-bit interp" you meant " perfect binary tree" at http://paste.lisp.org/ display/ fnord 21:04:51 eeeek 21:05:05 -!- Reece` has joined. 21:05:48 Ok, fizzie, the truth please: Did you secretly add in the sentence in which fungot was mentioned as an extra parameter, and then ran it through databases until it was capable of coherent response? 21:06:31 I admit nothing. 21:06:35 And the command was !bf_txtgen, but it's an EgoBot command, and therefore probably not available right now. 21:06:38 Although, hmm. 21:06:45 `! bf_txtgen walrus 21:06:50 "I admit nothing" (read: fizzie did it) 21:07:48 And there's a way for fungot to run programs longer than fit in a single line, it's just very inconvenient. 21:07:48 fizzie: although i fell its kinda is misnamed, since ( error symbol) won't quite do that? 21:07:56 No output. 21:08:10 ^str 0 set ++++++++++[->>+++++++++<<]>>[--<++<+>>]<[->+>+<<]>>[-<<+>>]<+++<+<--.........++>.<.+++++++++++++++++.-------------------.....+++++++++++++++++.--------------->>.>,[<<<[->>>->+<<<<]>>>>[-<<<<+>>>>]<<<.<.>>.<<+++++++++++++++++.----------------->.<.+++++++++++++++.-----------------.+++++++++++++++++++..-------------------.+++++++++++++++++.--------------->>.<<+++++++++++++++++.------- 21:08:10 Set: ++++++++++[->>+++++++++<<]>>[--<++<+>>]<[->+>+<<]>>[-<<+>>]<+++<+<--.........++>.<.+++++++++++++++++.-------------------.....+++++++++++++++++.--------------->>.>,[<<<[->>>->+<<<<]>>>>[-<<<<+>>>>]<<<.<.>>.<<+++++++++++++++++.----------------->.<.+++++++++++++++.-----------------.+++++++++++++++++++..-------------------.+++++++++++++++++.--------------->>.<<+++++++++++++++++.------- 21:08:21 since that bot really likes to creep me out... 21:08:23 ^str 0 add ---------->.<.+++++++++++++++.-----------------.+++++++++++++++++++.----------------->>.<<+++++++++++++++..--------------->>>[-<<<--.++>>>]<<<+.->>>,] 21:08:23 Added. 21:08:30 And, uh, how did it go again? 21:08:33 I'll just be taking a "vacation" 21:08:46 ^bf str:0 21:08:54 Hmm. 21:09:05 I wonder if that was actually def-only. 21:09:09 ^def test bf str:0 21:09:09 Defined. 21:09:11 ^show test 21:09:11 +10[->2+9<2]>2[-2<+2<+>2]<[->+>+<2]>2[-<2+>2]<+3<+<-2.........+2>.<.+17.-19.....+17.-15>2.>,[<3[->3->+<4]>4[-<4+>4]<3.<.>2.<2+17.-17>.<.+15.-17.+19..-19.+17.-15>2.<2+17.-17>.<.+15.-17.+19.-17>2.<2+15..-15>3[-<3-2.+2>3]<3+.->3,] 21:09:18 ^test x 21:09:18 +++++++++[->+++++<][-]>[-<+>>+<]>[-<+>]<<+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++. 21:09:18 ^test CHARIOTS 21:09:18 +++++++++[->+++++<][-]>[-<+>>+<]>[-<+>]<<++++++++++++++++++++++.[-]>[-<+>>+<]>[-<+>]<<+++++++++++++++++++++++++++.[-]>[-<+>>+<]>[-<+>]<<++++++++++++++++++++.[-]>[-<+>>+<]>[-<+>]<<++++++++++++++++++++++++++++ ... 21:09:26 aw, it put "..." 21:09:28 that makes it useless 21:09:37 Yeah, the output length limit is a bit short. 21:11:21 https://github.com/lifthrasiir/unison/commit/c1a1968 *phew* 21:11:43 ancient hangul jamos are too much to do them incremently 21:11:49 fizzie: can you make it output to a stored string as well? and print arbitrary indices of that string? 21:12:11 I don't think I can be bothered. 21:12:11 but I *did* manage to design all the initial jamos (the largest, since there are 6 sets to cover) 21:12:13 this is some sort of text-based bitmap font format, am I wrong? 21:12:42 gamemanj: right. I've designed it since some point in 2015 21:12:47 -!- tromp_ has joined. 21:13:06 hmm, the original commit was 2015-12 21:13:37 I've added lots of latin, greek, cyrillic and some armenian, then turned to hangul and got stuck for some months (also because of the work) 21:15:19 It seems the glyphs are either 8-wide or 16-wide, like Unifont. 21:15:30 At least, if I'm interpreting sample.png correctly... 21:15:55 gamemanj: I think there are other widths as well. 21:16:17 I was mostly looking at U+2160 here. 21:16:17 Everything looks so... aligned. 21:16:27 gamemanj: mainly 8 or 16, but there are some glyphs with 8n (n>2) width 21:16:31 Those roman numerals are pretty wide. 21:16:47 anyway, probably 8n only (but I'm not sure how to deal with arabic and so on) 21:17:03 I thought they were just lots of single chars 21:17:13 Can't tell in that PNG 21:17:23 missing useful things, like "character borders" 21:17:24 -!- tromp_ has quit (Ping timeout: 260 seconds). 21:17:43 gamemanj: yeah, samples are just samples 21:17:55 there is a live page that you can actually test it 21:19:19 "Unison defines a subpixel shape"? 21:19:28 How exactly...??? 21:19:40 gamemanj: see the font description files 21:20:19 gamemanj: in short, each pixel has a subpixel shape plus a binary pixel which will be used in the hinting (not yet, but in the future) 21:20:32 so the font can be used as both a bitmap font and a (quirky) vector font 21:21:47 I've also built my own font development system based on the textual files 21:21:57 whatever happened here 21:22:25 I looked at braille.txt. 21:22:40 And... 21:24:36 algorithmic descriptions made things a lot easier for some cases 21:24:40 -!- gremlins has joined. 21:25:33 -!- Reece` has quit (Ping timeout: 246 seconds). 21:27:38 lifthrasiir: Is that what the different colors indicate? 21:28:23 Melvar: different parts of glyphs. mainly for the debugging 21:31:01 There is one important question... 21:31:23 `unicode U+2468 21:31:40 * gamemanj hopes that he did actually find the right one 21:31:40 ​⑨ 21:31:45 ^ is that in the font 21:32:05 gamemanj: YES. https://lifthrasiir.github.io/unison/sample#u2468 21:32:17 Yay!!! 21:32:22 and I feel I know why did you ask that 21:32:48 I consider that "unlikely". 21:36:28 hmm, should I pay attention to color fonts... 21:36:53 anyway, should sleep 21:36:55 * lifthrasiir afk 21:37:28 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 21:37:33 ...ok, why is it people really like the multiocular O... why does an O need eyes, anyway? 21:37:50 -!- centrinia has joined. 21:38:16 it's one of the scariest Unicode symbols out there 21:39:34 I mean it's creepy to be stared at with one eye Ꙩ and slightly less creepy to be stared at with two Ꙭ, but it's outright scary to be stared at, depending on the font, by 7 or 10 ꙮ. 21:39:46 (fwiw, those are all small boxes here :P) 21:40:04 gamemanj: Because it was used to write a word meaning “many-eyed”. 21:40:08 -!- jefrite_ has quit (Max SendQ exceeded). 21:40:22 maybe it exists as a logo of Unicode... "Don't mess with us. We're typographic and linguistic experts... we will be watching from your screen." 21:42:36 also we don't like the symbol nearly as much as we could... it's not in the tꙮpic, for example. 21:43:02 anyway, good evening to all 21:43:10 `wisdom 21:43:22 krf/KRF is the Norwegian Christian Democratic Party. 21:48:23 int-e: all of your ocular o's appear just fine in konsole :) 21:51:22 Maybe because they didn't know how many eyes seraphim have so they had to guess 21:54:44 -!- centrinia has quit (Ping timeout: 260 seconds). 21:55:03 quintopia: hmm I guess xterm doesn't do any font substitution. but it does support the symbols if they're present in the selected font. 21:56:35 It is correct; xterm just use whatever is present in the selected font. Some symbols are not supported at all though, such as DEC Technical and downloadable fonts. 21:56:44 zzo38: possibly seraphim only have one eye, but only 7 of them can dance on the head of a pin 21:57:13 -!- centrinia has joined. 21:57:23 -!- rdococ has quit (Read error: Connection reset by peer). 21:58:13 -!- rdococ has joined. 21:58:25 I wanted to make up my own terminal emulator to be better than the existing one including xterm, would also require to design the new font too. 21:58:56 can't you just support an existing more complete font. surely there's a font out there that has all your goals in mind as well 21:59:05 I don't think so. 21:59:52 I partially wrote a document of UTCE, once is completed the existing "fixed" font can be partially automatically converted to UTCE, and then the characters which are not included in the existing font, are the wrong width, or are not in Unicode at all, can be added on manually. 22:00:20 -!- jaboja has joined. 22:00:20 Tables for the ISO 2022 mapping can then be added on, and then it can be in use. 22:00:35 that seems efficient. though it seems strange to me that there could be anything you would need that ISN'T already in unicode 22:01:13 There *are* some encodings with characters that aren't in Unicode. 22:01:26 -!- gamemanj has quit (Ping timeout: 276 seconds). 22:01:34 Arguably this is a bug in Unicode, but still. Totally the case. 22:01:44 I am guessing there is something like 200 such characters 22:02:04 Unicode is bad for terminal emulation anyways 22:02:35 Well, more accurately complex text layout languages are bad for terminal emulation. 22:02:50 Arabic is hard in a terminal, and it doesn't matter what encoding you use. 22:03:01 Yes, that is true too. 22:03:54 i have an idea 22:04:03 here it comes... 22:04:07 That's because arabic only has forms of letter ideal for brush calligraphy, no proper printed block form for chiseling into stone. 22:04:13 let's force all arabs to adopt more reasonable orthography 22:04:18 They should invent a carvable script. 22:04:28 quintopia: No that is not the correct solution 22:04:28 Or adapt an existing one. 22:04:40 Mind you, carvable isn't enough: 22:04:41 zzo38: oh. okay. thanks. 22:05:06 quintopia: we can't even get the britains and the US americans speak the same language 22:05:39 int-e: at least both use orthography which is easily represented in terminals 22:05:49 Complex script such as Arabic is OK for typography (not for terminal emulation though), but the details about composing the complex scripts does not belong in the character set and belongs in the font metric file instead. 22:05:54 old hungarian runes are completely carveable in wood, that's what it was originally used for, it has almost no horizontal lines so that the wood doesn't split; but it has tons of ligatures, so it's totally unsuitable for a terminal, and I don't think anyone has a computer font engine that can properly produce all the ligatures. 22:06:18 Unlike latin letters and futhark runes, old hungarian runes weren't carved to _stone_. 22:06:25 quintopia: I think you're confusing cause and effect there to some extent 22:06:27 they were carved to wood 22:07:19 int-e: if you're saying that the use of terminals has forced language to adapt to have more easily terminalized orthography, then you are undermining the thrust of your earlier argument 22:07:42 The ligatures (and shittons of dropped letters, so that they can carve it with fewer stroke) make realistic old hungarian runes to have a very different look from these no-ligature present day uses of old hungarian runes. 22:07:52 "how do we force all arabs to adopt more terminalizable orthography?" "make them all use terminals and let them figure it out" 22:08:16 The contemporary fake decorative uses of old hungarian runes look very simlar to the contemporary decorative uses of futhark runes and cirth runes. 22:08:55 quintopia: well, with terminals you'll have not only the problem of block printing, but also of right to left writing. 22:09:00 Make the format of the font metric file sufficient that you can define Hungarian runes. 22:09:44 zzo38: yes, you'd either need a fancier font engine for that, or a HUGE font with tons of ligatures pre-generated 22:10:03 and to pre-generate the ligature, you would probably need a fancy font engine 22:10:11 because you wouldn't draw them by hand 22:10:35 The case is sort of similar to hangul syllables. 22:10:37 zzo38: FWIW the rules for composing complex scripts usually *are* in the fonts, not the renderer. 22:10:40 So there's at least that. 22:11:17 pikhq: it's... complicated, divided between the font and the engine 22:11:27 Of course it can't be that simple. 22:11:29 quintopia: I guess it boils down to this... what would the arabic analogue of movable types be? 22:11:41 Wood block printing, probably. 22:11:58 But probably nobody is interested enough in old hungarian runes to make it worth for him to pay for the development of such an engine. 22:12:02 Much like with the Sinosphere. 22:12:33 (you can *do* movable type with Chinese characters, but wood block printing was the way it was done for a long time) 22:12:52 int-e: do you mean like lead types? 22:13:07 good old gutenberg stuff? 22:13:11 yes 22:13:19 Wikipedia does not have a lot of information about ligatures in Hungarian runes. 22:13:32 didn't that go out of fashion now when high quality computerized typesetting is possible and easier than lead types? 22:13:48 (if you can't make it from small individual components, making a terminal-as-we-know-it for it will be hard) 22:13:53 zzo38: I think commons has enough pictures to illustrate it 22:14:07 b_jonas: I'm tracing history. 22:14:10 pictures of authentic old text that is 22:14:27 int-e: I mean pictures of actual old use of them 22:14:39 not just of the no-ligatures often misused current ones 22:15:00 (the ones where they sometimes don't even know how letters work and write an s rune followed by a z rune instead of an sz rune 22:15:03 ) 22:15:09 (that was the worst abuse I've seen) 22:15:19 the sun is shining on a rainy day 22:15:40 weird to be blinded by a bright sun with this much rain coming down 22:15:46 writing old hungarian runes left to right also reveals modern use, but that one is actually a GOOD thing 22:16:04 even if right to left is traditional, the runes were designed to be flipped horizontally, and often are for ligatures 22:16:18 so you can write it left to right or as a boustrophedon and get something that looks good 22:17:26 why did i get a laptop with a glossy screen 22:17:51 you like to know what's going on behind you? 22:18:31 no. mainly because they don't seem to make matte touchscreens 22:18:58 Oh, the the anglo-saxon nationalists that write everything in English say that they shouldn't be called runes, but I say fuck them, "runes" is a generic word that's applicable not only to futhark, but to any script you carve, including old hungarian runes, cirth, braille (any variant), moon, ogham, etc. 22:19:01 (well, that makes sense... but why would anyone want a laptop with a touch screen... oh well) 22:19:30 So on the internet you find all sorts of euphemisms for "old hungarian runes" just to avoid the word "runes" 22:19:59 * int-e would imagine that a matte touch screen would soon develop glossy parts where it's touched most frequently. 22:21:19 int-e: it's a convertible. turns into a tablet. 22:21:30 and it was on sale. 22:22:14 -!- hppavilion[1] has joined. 22:23:29 Ok, I take that back. I was wrong. Commons doesn't have many pictures of old uses of old hungarian runes. 22:24:19 UTCE is design only for terminals and not for typesetting, therefore there is no font metric file; the rules are in the rendering engine and there is only one rule: (for 16-bit strings) If the high-bit is set then it is double-wide otherwise single-wide. (for 8-bit strings) Bytes in range 0 to 31 take up no space; other bytes take up a single cell of space. 22:25:10 I think it is good, isn't it? 22:27:06 Converting between 8-bit and 16-bit format is also simple. 22:28:00 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:29:39 `unidecode ⑨ 22:29:50 * hppavilion[1] waits 22:30:12 ​[U+2468 CIRCLED DIGIT NINE] 22:30:57 Um, huh? 22:31:09 It's a 7-segment display to me 22:31:15 \oren\: Why did you do this? 22:39:26 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46890&oldid=46889 * H3LL * (+3) /* Overview */ 22:44:33 http://smbc-comics.com/index.php?id=1662 22:55:09 -!- gremlins has quit (Ping timeout: 246 seconds). 23:06:57 <\oren\> hppavilion[1]: because the terminal treats that charatcer as halfwidth and a circled number won't fit 23:07:38 \oren\: Still. 23:08:30 maple syrup? 23:08:45 <\oren\> although, supposedl the next version of unicdoe will fix the width of a lot of characters 23:08:49 (red button in hppavilion[1]'s link) 23:09:15 No, just using UTCE. 23:09:20 <\oren\> so maybe I should just treat it as fullwidth 23:10:20 Some widths in UTCE are different from Unicode, and in some cases UTCE has both versions. 23:11:10 http://smbc-comics.com/index.php?id=1713 23:12:04 Am I right in assuming that UTCE does not, in fact, exist? 23:12:50 -!- tromp_ has joined. 23:13:33 int-e: Partially. 23:17:03 -!- tromp_ has quit (Ping timeout: 240 seconds). 23:26:19 int-e: There's a Global Strategic Maple Syrup Reserve. 23:26:55 int-e: A thousand tonnes of maple syrup were once stolen from the strategic reserve. http://loweringthebar.net/2012/09/maple-syrup-theft.html 23:27:23 fizzie: I've heard of it... it's grand. 23:28:04 Great moment... what does one do with 1000 tons of maple syrup... did Coca Cola taste different for a while after that, perhaps? 23:28:19 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46893&oldid=46890 * H3LL * (-1) 23:28:43 The Wikipedia "Federation of Quebec Maple Syrup Producers" article says they managed to track two thirds of it. 23:28:57 "Over the next three months, police had further success in locating portions of the stolen syrup, but were still unsure of the final disposition of about one third of it. Much of it had apparently been sold to buyers who were unaware of its origins and who were led to believe it had been produced in neighbouring New Brunswick." 23:30:10 -!- oerjan has joined. 23:31:21 oh almost time to go to bed 23:31:38 (I mean, hi oerjan) 23:31:55 hint-e 23:40:07 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 23:45:09 [wiki] [[Confusion]] M https://esolangs.org/w/index.php?diff=46895&oldid=46893 * H3LL * (+67) /* Input and Output */ 23:49:19 [wiki] [[Confusion]] https://esolangs.org/w/index.php?diff=46896&oldid=46895 * H3LL * (+238) /* Example programs */ 23:54:47 -!- ybden has joined. 23:56:34 -!- acertain has quit (Ping timeout: 244 seconds). 23:56:59 -!- oerjan has set topic: If anyone has the key to the matrix of solidity, please hand it in to Neo at the front desk | The international hub of esoteric programming | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Mexico City (not Tenoch. 23:57:06 oops 23:57:54 -!- oerjan has set topic: The international hub of solid matrices | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Mexico City (not Tenochtitlan).