00:00:02 `url bin/lowercase 00:00:04 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/lowercase 00:00:16 `` sed -i 's/z/z | sed "s/Ø/ø/g"' bin/lowercase 00:00:17 sed: -e expression #1, char 16: unknown option to `s' 00:00:19 also calling people fools is kind of rude 00:00:29 don't nest slashes! 00:01:01 `` sed -i "s!z!z | sed 's/Ø/ø/g'!" bin/lowercase 00:01:03 No output. 00:01:09 `cat bin/lowercase 00:01:10 ​#!/bin/bash \ tr A-Z a-z | sed 's/Ø/ø/g' 00:01:20 -!- Melvar has quit (Ping timeout: 272 seconds). 00:01:23 `` echo Ørjan | lowercase 00:01:24 ​ørjan 00:01:43 `? ☃ 00:01:44 Frosty the Snowman / had a very shiny nose / And everywhere that Frosty went / the nose was sure to go. 00:01:53 shachaf: sorry 00:02:00 `rm wisdom/Ørjan 00:02:01 No output. 00:02:48 `` echo **/*Ø* 00:02:49 wisdom/Ø 00:02:50 -!- gniourf has quit (Ping timeout: 240 seconds). 00:02:50 huh 00:02:55 `cat wisdom/Ø 00:02:56 ​Ø escaped due to a sensitive case bug 00:03:11 `cat wisdom/ø 00:03:11 ​ø is not going anywhere. 00:03:32 `? Ø 00:03:34 ​ø is not going anywhere. 00:03:39 ack 00:04:23 -!- Melvar` has quit (Ping timeout: 264 seconds). 00:05:03 -!- gniourf has joined. 00:05:25 `` shopt -s globstar; echo **/*Ø* 00:05:27 wisdom/Ø 00:05:56 -!- Melvar has joined. 00:07:11 `` shopt -s globstar dotglob; echo **/*Ø* 00:07:18 wisdom/Ø 00:07:32 darn, how does mercurial escape those... 00:08:12 `` shopt -s globstar dotglob; echo **/~c3~* 00:08:14 are you sure there's more than one 00:08:18 ​.hg/store/data/wisdom/~c3~85.i .hg/store/data/wisdom/~c3~98.i .hg/store/data/wisdom/~c3~98rjan.i .hg/store/data/wisdom/~c3~a5.i .hg/store/data/wisdom/~c3~b8.i .hg/store/data/wisdom/~c3~b8l.i .hg/store/data/wisdom/~c3~b8rjan.i 00:08:33 -!- adu has quit (Quit: adu). 00:08:57 OKAY 00:09:23 oerjan: I thought, wrongly, that it should bring up the .hg stored version (but it's .hg/store/data/wisdom/~c3~98.i) 00:10:45 oh, s/bring up/turn up/ 00:13:21 -!- boily has quit (Quit: switchin'...). 00:14:33 -!- boily has joined. 00:16:43 `? œrjan 00:16:44 ​œrjan? ¯\(°​_o)/¯ 00:16:48 `? ørjan 00:16:49 ​Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers. 00:21:00 Tanelle. I'm drinking a mysterious cola. It's not even Fentimans! 00:23:56 I thought of some really strange kind of thing, which would be 6502 codes mixed with SQL codes; you could redefine one of the unstable opcodes to now mean executing a SQL code. You can store register/memory in virtual table. 00:25:21 zzo38: What do you think of SQL and category theory? 00:28:35 Do you mean to use together? I don't know. 00:29:11 I mean category theory as describing SQL codes. 00:29:31 For example what's-it-called-joins as pullbacks. 00:30:20 I don't really know much about that, although I suppose it can be possible. 00:30:42 Which is possible? 00:35:38 As I said, I don't know! 00:40:19 -!- Wright has joined. 00:41:34 I meant which "it" can be possible. 00:45:26 I don't know!!! 00:47:19 I say I don't know // I say you don't know ♪à 00:47:22 s/à// 00:58:21 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:00:58 Anyone curious about assignment overloading? 01:01:19 -!- JesseH has quit (Read error: Connection reset by peer). 01:01:37 hppavilion[1]: A bit; what stuff do you have to say about it (other than just that)? 01:02:08 Alpha Lightning Bolt + R&D's Secret Lair = You are allowed to target the battlefield. May be used if you have a lot of stuff to create creature tokens with. 01:02:55 R&D's Secret Lair is banned. 01:03:07 Yes I know 01:03:27 But if you are playing Un-cards then you can ignore that! 01:03:43 But if you are playing Un-cards then you can also ignore all errata. 01:04:32 Revised Fork + R&D's Secret Lair = Some people say it copies twice; I don't believe it. The first part has no chance to do anything as the spell has changed by that time. Modes remain the same, but you can change target, division, and you have to pay the original spell's cost rather than {RR}. 01:04:44 playing the Uns implies ignoring errata? I fail to grasp the link. 01:05:02 R&D's Secret Lair implies ignoring errata. Un-cards themselves have no errata though. 01:05:26 Therefore many of them make no sense. 01:05:59 -!- JesseH has joined. 01:06:17 If original spell was paid Phyrexian mana costs by life points or by mana, you must pay in the same way; also with hybrid mana symbol you must use the same colors, but you can still change what color is used for generic mana costs. 01:07:05 (Of course the rules aren't really meant to work with such thing at all. I just say what seems closely to the rules to me.) 01:09:00 zzo38: It's a pretty interesting idea. Not sure exactly how you would implement it in languages that don't have this one lexical feature though 01:09:48 The "Lexical Feature" I refer to is the ability to convert arbitrary strings into a name. In my language, codenamed "Castor", names can contain arbitrary symbols if their first and last two characters are _s 01:10:04 Which creates this feature for operator overloading: 01:10:26 To redefine +, for example, in a class, you give the class a method of the following form: 01:10:42 In SQL any name containing wrong symbols or reserved words require quotation marks 01:10:43 def __+__(self, other) 01:11:09 zzo38: That's another way to implement that feature 01:11:30 (Otherwise the quotation marks are optional) 01:11:33 (the alternative, competing syntax in Kastor (correct spelling, got it wrong earlier) that I think is better is __op_+__ 01:11:35 ) 01:12:02 ) 01:12:26 But to define assignment overloading, you define the __op_assign__ or __op_assign_:__ method, where : can be any operator 01:12:59 Assignment overloading takes three variables; I call them self, other, and vars 01:13:42 self is the thing on the lhs of an assignment expression, other is the value it should be assigned to, and vars is a dict representing the entirety of the program's namespace. Yeah. 01:14:35 I did have a way to override assignment operator, in a variant of C, but work entirely differently. Rather, if a variable "x" has a type "A" then the definition of the type can override what "*x=y;" means, but "x=y;" cannot be overridden. 01:14:52 So you could, for example, define a thue-like sublanguage by defining __op_assign_::__ for string as adding a new rule to an object variable in the global namespace 01:18:56 <\oren\> hi 01:21:02 \helloren\ 01:21:05 -!- zzo38 has quit (Remote host closed the connection). 01:21:52 helloily 01:22:02 QUINTHELLOPIAAAAA! 01:22:23 i didnt miss you because i logged on at work 01:22:26 bad quint 01:22:39 but you know 01:22:57 lemme know if you wanna do any gaming in the coming weeks 01:23:01 <\oren\> operator overloading is a socialist plot 01:23:50 quintopia: yup! 01:23:57 socialism is good. 01:23:58 <\oren\> also it's annoying when there aren't enough operators 01:24:03 this is a socialist plot: https://allfreedomismoral.files.wordpress.com/2013/12/inequality-graph-2a-socialism.jpg 01:26:49 <\oren\> for example, if someone defines + and = but doesn't do += 01:26:56 alright back to work 01:30:51 HERE we go: 01:30:52 http://pastebin.com/udWtqhsw 01:31:00 That took quite a while 01:31:03 Hi boily 01:31:03 -!- bb010g has joined. 01:31:11 hppavellon[1] 01:31:32 I've created a special case of Operator Overloading called "Assignment Overloading" 01:32:42 \oren\: It IS annoying why there aren't enough operators, which is why in Kastor, you can just make up operators! 01:32:52 AND it also makes them make more sense 01:33:10 In the lexer, anything that isn't composed of characters otherwise reserved is an operator 01:33:32 For example, you can define mingle to be $ such that you can actually call a$b 01:34:09 You just do it by defining the __op_$__ method for the type of the left-hand argument 01:34:42 > let a $ b = 17*a + b in 12$34 01:34:44 238 01:34:56 fizzie: Yes, I know haskell lets you do that 01:35:23 (I can't figure out any way to define unary or ternary operators thus far short of a separate file indicating which is which) 01:35:56 (OR parsing each line immediately before it's executed, but that's just stupid and forms a problem on complex statements) 01:36:55 \oren\: Another thing the language's semantics will do is make a += b equal a = a+b if not otherwise defined in __op_inline_+__ 01:38:15 I seem to recall Perl 6 also added custom operators. 01:38:27 And some other language in some really limited form. 01:41:28 Can't figure out what I'm thinking of for the last part. 01:45:54 [wiki] [[Postfix notation]] http://esolangs.org/w/index.php?diff=45081&oldid=22128 * Hppavilion1 * (+1150) Example implementation 01:47:54 That's absolutely amazing 01:48:11 -!- mihow has quit (Quit: mihow). 01:48:27 Wikipedia's example of infix notation in the english language, on https://en.wikipedia.org/wiki/Affix, is "Minne⟨flippin'⟩sota" 01:49:46 Perl 6 custom operators come in infix, prefix, postfix, circumfix and postcircumfix "categories". 01:51:07 fizzie: How do you define different fixes? 01:51:13 And what's postcircumfix? 01:51:55 Postcircumfix is stuff like "123 < 456 >" -- you have an opening and a closing symbol, and the whole thing is postfix to another expression. 01:52:27 You define them by mentioning the category in the operator definition. 01:52:38 (I just remembered my other idea for defining custom operators with fixities was to make operators have a syntactic marker; e.g. programmer-defined prefix operators would be of the syntax /.*:/ 01:52:59 res/*/+/ 01:53:10 fizzie: Oh. Um. Not sure how to implement that without parsing each line just before execution. 01:53:30 Well, I mean, Perl. 01:54:19 Oh. Right. Perl. 01:54:28 It also has a relative precedence thing, you can say your new operator "is tighter" or "is looser" than an existing operator, and it'll make it an operator that's the nearest but tighter/looser than the one you refer to. 01:55:47 And set associativity to any one out of five options (left, right, non, chain and list), because FLEXIBILITY. 01:55:49 Well I think I'll either exclude non-in fixities entirely, have a .meta file defining it (which I'd like to avoid), or make different operator types have lexical features that indicate their fixity 01:55:51 Or... 01:55:53 Idea! 01:56:22 I already was planning on having a thing called "shewuts" which are checked before anything is done with the program 01:57:01 For example, to tell the interpreter your program operates on a call queue as opposed to a stack, you do #?call-style:queue 01:57:41 I could have shewuts be used to define operator fixities and associativities! 01:57:43 YES! 01:57:46 PROBLEM SOLVED! 01:58:14 (Of couse, this all means the language is unexpressable in BNF, as the BNF is determined by the program itself) 02:00:27 Did anyone view my code example for semi-thue systems in Kastor? 02:02:44 Wow, this Perl6 "chain" fixity is pretty strange. 02:03:31 If you define ! with chain fixity, then $a ! $b ! $c ! $d gets interpreted as ($a ! $b) and ($b ! $c) and ($c ! $d) and your operator procedure gets passed all those individual pairs. 02:04:27 Werid 02:04:29 *Weird 02:05:07 ('list' associativity passes all four to the operator at once, and the rest are the usual ones.) 02:15:16 meanwhile, fungot the abyss. just got recast into it right after finding an exit. 02:15:16 boily: people keep asking, do your people wake up in time, please, please.... strange circumstances really... not surprised? tell us--are you really care that you are 02:18:03 WHAT! AGAIN! 02:18:06 AAAAAAAAAAAAAAAARGH! 02:18:47 -!- FreeFull has quit (Ping timeout: 264 seconds). 02:20:12 -!- FreeFull has joined. 02:20:36 -!- FreeFull has changed nick to Guest8810. 02:20:47 fungot: I know you are, but what am I? 02:20:47 fizzie: putain mais quelle bande de cons....... y else would there b passengers on this one out of 130 on board. 02:21:36 fungot: Can't argue with that, but mostly due to the language barrier. 02:21:36 fizzie: not in a positive way, he'll just try to land, i see the 02:22:30 -!- andrew_ has joined. 02:24:23 Wow, this Perl6 "chain" fixity is pretty strange. <-- um isn't that basically the same as python's relational operators 02:25:07 Maybe? I haven't defined any Python operators. Or at least many. 02:25:35 Makes sense for short-circuiting though, that's true. 02:26:01 no, i mean, how the builtins like < <= work 02:26:27 Ohh, right. 02:26:47 fungot: depuis quand tu chaînes des explétifs en français? 02:26:47 boily: this trailer makes him look a demon is taking his soul away to hell up and the louisiana area. much of hollywoodian happy endings. max payne 02:27:19 Hell, and Louisiana. 02:27:43 fungot: What's the difference between those two? 02:27:43 fizzie: project not yet rated! 02:27:50 are those the only options now 02:29:02 oerjan: Yes, it's for load-balancing. 02:29:16 Aren't you normally in bed by now Mr. Boily? 02:32:18 -!- oerjan has quit (Quit: Did someone mention beds). 02:35:14 -!- andrew_ has quit (Ping timeout: 272 seconds). 02:36:09 quintopia: what would make you believe that? that's preposterous! unpossible! 02:36:23 -!- boily has quit (Quit: POLEVAULTING CHICKEN). 02:43:00 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 02:47:49 -!- andrew_ has joined. 03:07:50 -!- FireFly has quit (Ping timeout: 240 seconds). 03:08:19 -!- MDude has quit (Quit: later chat). 03:08:26 -!- shikhin has quit (Ping timeout: 260 seconds). 03:11:29 -!- lleu has quit (Quit: That's what she said). 03:13:59 -!- doesthiswork has joined. 03:15:23 -!- FireFly has joined. 03:15:28 -!- shikhin has joined. 03:40:59 -!- aretecode has quit (Ping timeout: 264 seconds). 03:46:44 -!- aretecode has joined. 04:11:01 -!- zgrep_ has joined. 04:11:27 -!- nchambers has quit (Ping timeout: 240 seconds). 04:11:30 -!- skarn has quit (Ping timeout: 240 seconds). 04:11:31 -!- ineiros has quit (Ping timeout: 240 seconds). 04:11:31 -!- zgrep has quit (Excess Flood). 04:11:31 -!- ineiros has joined. 04:15:35 -!- nchambers has joined. 04:16:28 -!- skarn has joined. 04:34:40 -!- zgrep_ has changed nick to zgrep. 04:53:30 -!- zzo38 has joined. 05:07:51 -!- hppavilion[1] has joined. 05:25:27 -!- lleu has joined. 05:25:27 -!- lleu has quit (Changing host). 05:25:27 -!- lleu has joined. 06:19:59 Have you ever defined an output routine in TeX? Have you ever defined an insertion class in TeX? Have you ever implemented any kind of parser in TeX? Have you ever made up your own font with METAFONT? 06:26:43 -!- andrew_ has quit (Remote host closed the connection). 06:26:47 One use of insertion classes is as a substitute for \write when you are not shipping out the page. But I think it could be used to create vertical discretionary breaks too, with a bit of tricks. 06:28:00 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 06:28:32 -!- hppavilion[1] has joined. 06:42:07 [wiki] [[CASTLE]] N http://esolangs.org/w/index.php?oldid=45082 * Quintopia * (+10880) I've been sitting on this for like a year and a half, so I finally got around to writing it up 06:42:40 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=45083&oldid=45077 * Quintopia * (+13) /* C */ 06:53:14 -!- impomatic_ has quit (Quit: http://corewar.co.uk). 06:54:33 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 07:05:21 -!- JesseH has quit (Ping timeout: 255 seconds). 07:08:38 -!- andrew_ has joined. 07:12:41 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=45084&oldid=45035 * Bexandre * (+159) /* Leszek */ 07:13:29 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=45085&oldid=45084 * Bexandre * (-72) /* Licorne */ 07:15:20 -!- hppavilion[1] has joined. 07:17:20 -!- Xe has quit (Ping timeout: 240 seconds). 07:19:18 -!- Xe has joined. 07:20:11 -!- hppavilion[1] has quit (Read error: Connection reset by peer). 07:27:24 -!- rodgort has quit (*.net *.split). 07:29:24 -!- Wright has quit (Ping timeout: 244 seconds). 07:32:52 -!- rodgort has joined. 07:36:06 -!- FireFly has quit (Ping timeout: 240 seconds). 07:38:37 -!- FireFly has joined. 07:40:33 -!- andrew_ has quit (Remote host closed the connection). 07:41:13 -!- andrew_ has joined. 07:42:17 -!- andrew_ has quit (Remote host closed the connection). 07:42:37 -!- andrew_ has joined. 07:44:49 -!- Patashu has joined. 07:47:08 -!- doesthiswork has quit (Quit: Leaving.). 07:48:34 -!- Patashu has quit (Remote host closed the connection). 07:49:03 -!- Patashu has joined. 08:00:07 -!- bb010g has quit (Quit: Connection closed for inactivity). 08:04:50 -!- andrew_ has quit (Read error: Connection reset by peer). 08:06:14 -!- andrew_ has joined. 08:09:52 -!- andrew_ has quit (Remote host closed the connection). 08:10:23 -!- andrew_ has joined. 08:35:11 [wiki] [[Template:Vertical line]] N http://esolangs.org/w/index.php?oldid=45086 * 117.10.152.53 * (+5) Created page with "{{!}}" 08:53:40 -!- Phantom_Hoover has joined. 08:55:04 -!- sebbu2 has joined. 08:56:19 -!- sebbu has quit (Ping timeout: 240 seconds). 09:19:54 -!- lleu has quit (Ping timeout: 260 seconds). 09:29:26 documentation says "These settings can be overridden, but the defaults are usually sensible. If the default values listed below are ok for you, you can stop reading now." -- uh, if I read the values listed below, then I'll no longer be able to stop reading now. 09:29:32 How do I tell if I should stop reading now? 09:32:31 have a friend read them for you 09:35:20 it even specifically says "stop reading", which doesn't even allow for the possibility to read on and then forget what I've read with mind magic (eg. a Thought Nibbler) 09:40:07 -!- aretecode has quit (Ping timeout: 244 seconds). 09:43:03 -!- ^v has quit (Remote host closed the connection). 09:53:57 -!- AnotherTest has joined. 10:00:46 -!- shikhin has quit (Read error: Connection reset by peer). 10:00:46 -!- FireFly has quit (Read error: Connection reset by peer). 10:05:12 -!- shikhin has joined. 10:05:16 -!- FireFly has joined. 10:06:46 -!- mroman has joined. 10:07:01 I don't trust those articles with media(files|fire) downloads of .exe's 10:12:13 why not? 10:13:28 mroman: what articles is this you are talking about? articles where? 10:13:50 "here, download this virus -> http://mediafire.com/virus.exe" "i don't trust you, what if that program is actually a penis enlargement software?" 10:27:00 An email recently asked me to check an attached .jar file for the invoice. 10:27:27 Oooh, write-once-run-anywhere viri! 10:28:36 A .jar file is same format as .zip so you could also just open it with any program to open ZIP archives too, and then you can see what it is. 10:31:31 Yes. It has some rather dubious class names: http://sprunge.us/PJDY 10:31:54 (There's also some 0xe6 bytes between those +s that my browser's not rendering. 10:38:25 It looks like part of the same family as https://www.virustotal.com/en/file/61ef9b2536bca4d6fd24526c9a4ab3f8baad86ec94a54112687dd29df76d9fb6/analysis/ -- some of the details differ, but both have those stubcito.opp and textito.isn files, and slightly similar class names. 11:04:09 -!- lleu has joined. 11:06:06 -!- AnotherTest has quit (Ping timeout: 268 seconds). 11:10:42 -!- jaboja has joined. 11:16:21 -!- nitrix has quit (Ping timeout: 250 seconds). 11:18:06 Spotted a car with the licence plate "AI JOB". Wonder if that's about artificial intelligence. 11:19:57 fizzie: what did its http headers say? 11:22:01 I didn't catch those, it drove past so fast. 11:22:31 The I might've been a 1. Don't know the local requirements for plates. 11:23:45 -!- AnotherTest has joined. 11:24:21 -!- J_Arcane has quit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805]). 11:25:09 I believe in the UK I and 1 are indistinguishable on license plates 11:25:44 -!- Guest95113 has joined. 11:26:35 -!- andrew_ has quit (Ping timeout: 264 seconds). 11:27:18 -!- andrew_ has joined. 11:28:02 -!- Guest8810 has quit. 11:29:44 -!- FreeFull has joined. 11:34:32 [wiki] [[Brainfuck constants]] M http://esolangs.org/w/index.php?diff=45087&oldid=43702 * LegionMammal978 * (-95) Removed extra 11:34:48 -!- boily has joined. 11:46:56 -!- idris-bot has joined. 11:49:05 -!- GoToTell_ has joined. 11:51:07 -!- GoToTell has quit (Ping timeout: 268 seconds). 11:51:15 b_jonas: http://esolangs.org/wiki/AIV for example 11:51:26 links to http://www.mediafire.com/download/dcixadngm9lgye8/aiv.exe 11:52:15 http://esolangs.org/wiki/User:Bexandre/Attic 11:52:22 that interpreter has some weird encoded things in it 11:52:27 and feeds it to CScript somehow 11:52:34 I have not decoded yet what it actually is, though 11:52:44 but it looks suspicious enough to not execute it without a sandbox :D 11:53:41 http://esolangs.org/wiki/Licorne links to http://www.mediafire.com/download/8hapxc00za591ja/LicornePL.zip 11:53:46 which contains .bat and .exe files 12:00:30 that attic interpreter looks like a cab-combressed exe file 12:01:23 [wiki] [[Licorne/Compiler]] N http://esolangs.org/w/index.php?oldid=45088 * Bexandre * (+2428) Created page with "Programmed in Batch.
@echo off del "licorne.bat">nul ping 1.0.0.0 -n 1 -w 10 >nul cls echo @echo off >>licorne.bat set ln=-1 :lpl set /a ln=ln + 1 batbox /k if %errorleve..."
12:02:09  batbox is apparentely a tool for batch to get some ncurses-like things done
12:02:49  http://dos9.org/doc/en/html/batbox.html <- contains that snippet in the bat-file
12:04:05  although the version in the zip-file gets detected as malicious by some AV. but those could be false positives (they also flag packers like upx sometimes)
12:04:36 -!- Patashu has quit (Ping timeout: 272 seconds).
12:04:48  but judging by the imports from kernel32.dll and such it's not doing anything too bad at least
12:04:59  SetConsoleCursorInfo and the like
12:05:01  looks ok
12:05:35  [wiki] [[Special:Log/move]] move  * Bexandre *  moved [[Licorne/Compiler]] to [[Licorne/Writer]]
12:07:37  [wiki] [[Licorne]]  http://esolangs.org/w/index.php?diff=45091&oldid=45080 * Bexandre * (+43) 
12:10:43  hm. well. ok
12:10:57  [wiki] [[Licorne]]  http://esolangs.org/w/index.php?diff=45092&oldid=45091 * Bexandre * (+80) 
12:11:02  According to my static analysis they are not malware
12:11:11  [wiki] [[Licorne]]  http://esolangs.org/w/index.php?diff=45093&oldid=45092 * Bexandre * (+1) 
12:11:23  and sandboxing yields no network traffic going on
12:11:23  so
12:16:18  [wiki] [[AIV]]  http://esolangs.org/w/index.php?diff=45094&oldid=45011 * Bexandre * (-20) 
12:16:42  [wiki] [[Licorne]]  http://esolangs.org/w/index.php?diff=45095&oldid=45093 * Bexandre * (+7) 
12:23:15  who is this Bexandre dude and why aren't they Blexandre? does it mean there'll be a Clexandre and then a Dlexandre?
12:28:49  my feeling is that they aren't suspicious. just distributingly misguided.
12:29:15 -!- boily has quit (Quit: PEDAGOGIC CHICKEN).
12:30:11  mroman: I see
12:30:57  @tell I think Blexandre is friends with Tanea
12:30:57  Consider it noted.
12:36:52 -!- oerjan has joined.
12:39:26 -!- jaboja has quit (Ping timeout: 250 seconds).
12:40:40  Taneb: i think i might be confused tdnh
12:40:48  `? Tanea
12:40:50  Tanea plays Minecrafs, Dware Fortresr, and lives in Yorj.
12:41:10  i mean by your @tell
12:42:45  --- quit: boily (Quit: POLEVAULTING CHICKEN) <-- polevaulting always reminds me of the FRC Hellympics round
12:43:35  boily  who is this Bexandre dude and why aren't they Blexandre? does it mean there'll be a Clexandre and then a Dlexandre?
12:44:14  boily is not here hth
12:44:41  Hmm
12:44:47  I did accidentally tell I
12:44:50  Woops
12:45:08  @tell boily I think Blexandre is friends with Tanea
12:45:08  Consider it noted.
12:45:09  Taneb: why isn't that "Tanea playr Minecrafs, Dware Foresr, anc liver im Yorj."?
12:45:20  ah, I understood why
12:45:26 * lifthrasiir is enlightened
12:45:27  lifthrasiir: because playr isn't a word hth
12:46:00  `? tanea
12:46:03  Tanea plays Minecrafs, Dware Fortresr, and lives in Yorj.
12:54:06 -!- AnotherTest has quit (Ping timeout: 260 seconds).
12:54:20 -!- AnotherTest has joined.
12:58:38 -!- AnotherTest has quit (Ping timeout: 240 seconds).
13:00:23 -!- rodgort has quit (K-Lined).
13:01:45 -!- akfaew has joined.
13:04:43 -!- AnotherTest has joined.
13:17:51 -!- J_Arcane has joined.
13:25:18 -!- mauris has joined.
13:26:59  [wiki] [[Licorne]]  http://esolangs.org/w/index.php?diff=45096&oldid=45095 * Bexandre * (+4) 
13:27:24  [wiki] [[Hello world program in esoteric languages]]  http://esolangs.org/w/index.php?diff=45097&oldid=45085 * Bexandre * (+2) /* Licorne */
13:53:22 -!- andrew_ has quit (Remote host closed the connection).
13:56:34 -!- gniourf has quit (Ping timeout: 250 seconds).
14:08:32 -!- mauris_ has joined.
14:11:06 -!- mauris has quit (Ping timeout: 268 seconds).
14:14:57 -!- AnotherTest has quit (Ping timeout: 252 seconds).
14:16:23 -!- `^_^ has joined.
14:16:23 -!- `^_^ has changed nick to `^_^v.
14:19:42  did you guys ever play ruzzle?
14:20:00  ok it's a game that you play on a grid with letters
14:20:02 -!- AnotherTest has joined.
14:20:16  and you have to find words in it
14:21:06  mindboggling
14:21:21  as in, https://en.wikipedia.org/wiki/Boggle
14:22:30  yeah that
14:22:38  anyway
14:22:55  what if you had to find the longest path of unique letters?
14:23:16  if there's more than one, finding only one is fine
14:23:25  i mean more than one longest path
14:23:29  not more than one path
14:26:47 -!- gniourf has joined.
14:36:01 -!- scoofy has joined.
14:40:50 -!- doesthiswork has joined.
14:54:45 -!- lleu has quit (Ping timeout: 240 seconds).
14:57:01  izabera: the 4x4 or the big 5x5 version?
14:57:16  the NxN
14:57:41  uh... what set of cubes does the NxN have?
15:00:25 -!- lleu has joined.
15:00:25 -!- lleu has quit (Changing host).
15:00:25 -!- lleu has joined.
15:07:18  [wiki] [[Postfix notation]]  http://esolangs.org/w/index.php?diff=45098&oldid=45081 * Mroman * (+188) /* Implementation */ adding a simple implementation in Haskell
15:09:04 -!- AnotherTest has quit (Ping timeout: 268 seconds).
15:31:47 -!- rodgort has joined.
15:31:52 -!- rodgort has quit (Max SendQ exceeded).
15:32:15 -!- rodgort has joined.
15:34:30 -!- doesthiswork has quit (Quit: Leaving.).
15:35:33  any guys any ideas about how to calculate the maximum number a bf program of length N can possibly compute?
15:36:07  cell size?
15:36:24  infinite
15:36:29  otherwise the answer would be 255
15:36:36  no well
15:36:38  because you can always just do a -
15:36:40  and land at 255 :)
15:36:45  no i mean
15:37:20  it was unclear if you only wanted to store a value in a cell or to print any large number
15:37:40  Just store it.
15:37:51  - would produce -1
15:38:43 -!- AnotherTest has joined.
15:41:07  ok well, at least one can produce a reasonable lower bound
15:47:05  mroman: that's pretty obviously noncomputable in the same way as busy beaver.
15:47:10  I think you might need to answer what the steepest growing function is
15:47:15  and I think that can't really be done
15:47:43  at least for larger Ns
15:47:54  i assume you want it to halt, otherwise +[+] already wins.
15:48:02  for shorter Ns you could argue that the best you can do is an exponentation
15:48:13  oerjan: Yes @halt
15:48:28  mroman: anyway, i said it's uncomputable and i meant it.
15:49:21  and I heard it.
15:50:13  but
15:50:45 -!- shikhin has quit (Ping timeout: 240 seconds).
15:51:04  in the usual way: if you had a way to compute it, you could solve the halting problem.
15:51:47 -!- FireFly has quit (Ping timeout: 264 seconds).
15:52:50 -!- shikhin has joined.
15:52:50 -!- FireFly has joined.
15:53:37  (step 1: wrap your program to calculate the number of steps it takes if it halts.  step 2: compute your largest number for the wrapped program length. 3: run your original program for the calculated number of steps; if it hasn't halted then, it never will.)
15:55:27  s/the calculated number of steps/a number of steps as calculated in step 2/
15:55:51 * oerjan used the word "step" for too many steps here
15:55:56 -!- Guest95113 has quit (Changing host).
15:55:56 -!- Guest95113 has joined.
15:55:59 -!- Guest95113 has changed nick to nitrix.
15:56:01  *meanings
15:56:17  fungot: Step step step step step.
15:56:17  fizzie: this looks great. making it a wireles landing so why do u use for editng? adobe?
16:08:55  fungot, do you use raid?
16:08:55  b_jonas: grandtheftauto4films ( 11 godz. temu) komentarz usuniêty przez autora it likely takes place. i saw this accident happened in june 1988, air france
16:09:05  `? raid
16:09:17  raid? ¯\(°​_o)/¯
16:09:32  what
16:19:59 -!- shikhin has quit (Ping timeout: 264 seconds).
16:20:07 -!- oerjan has quit (Quit: leaving).
16:21:09 -!- aretecode has joined.
16:21:44 -!- FireFly has quit (Ping timeout: 272 seconds).
16:26:05 -!- JesseH has joined.
16:37:18 -!- AnotherTest has quit (Ping timeout: 255 seconds).
16:38:22 -!- FireFly has joined.
16:38:23 -!- shikhin has joined.
17:01:45 -!- AnotherTest has joined.
17:04:40  @tell oerjan technically the algorithm could produce wrong results for programs that don't halt.
17:04:40  Consider it noted.
17:05:19  @tell oerjan So when the algorithm replies with N=1024, it is only correct if and only if the program terminates. 
17:05:19  Consider it noted.
17:05:44  @tell oerjan which means you couldn't solve the halting problem with that.
17:05:44  Consider it noted.
17:15:44 -!- APic has quit (Read error: Connection reset by peer).
17:20:26 -!- mihow has joined.
17:23:19  That N there is the largest number achievable by a program of some given length L? 
17:23:46 -!- atrapado has joined.
17:25:28  Then I don't see why oerjan's argument would be faulty. If the tested program hasn't halted in that many steps, it will never halt, because if it did, your algorithm would've given an incorrect result for a program that did halt, and you said it's correct for all programs that halt.
17:25:28 -!- APic has joined.
17:36:20 -!- jaboja has joined.
17:56:35 -!- mroman has quit (Quit: Lost terminal).
17:57:24 -!- jaboja has quit (Ping timeout: 255 seconds).
17:57:31 -!- izabera has changed nick to muterelay.
17:57:59  One day it will say "(Quit:  Lost terminal dissease) for someone and nobody will know how to deal with that.
17:58:20 -!- muterelay has changed nick to izabera.
18:07:59  http://www.pornhub.com/insights/what-women-want/   not so nsfw
18:11:59 -!- aretecode has quit (Quit: Toodaloo).
18:36:10 -!- shikhin has quit (Ping timeout: 240 seconds).
18:39:07 -!- shikhin has joined.
19:26:35 -!- FreeFull has quit (Ping timeout: 264 seconds).
19:32:14 -!- FreeFull has joined.
19:37:11  GoToTello
20:01:09 -!- Frooxius has joined.
20:03:29 -!- `^_^v has quit (Ping timeout: 265 seconds).
20:10:37  [wiki] [[FrancePROG]] N http://esolangs.org/w/index.php?oldid=45099 * Bexandre * (+1172) Created page with "'''FrancePROG''' is a [[wikipedia:Non-English-based programming languages|french]] ''[http://bexandre.alwaysdata.net/FrancePROG.zip assisted]'' Programming Language|programm..."
20:10:54 -!- Patashu has joined.
20:11:08  [wiki] [[FrancePROG]]  http://esolangs.org/w/index.php?diff=45100&oldid=45099 * Bexandre * (+0) /* Hello world */
20:12:05  [wiki] [[Special:Log/newusers]] create  * Nalaek2004 *  New user account
20:12:07  [wiki] [[Hello world program in esoteric languages]]  http://esolangs.org/w/index.php?diff=45101&oldid=45097 * Bexandre * (+184) /* FRAK */
20:12:22 -!- bb010g has joined.
20:12:33  [wiki] [[Hello world program in esoteric languages]]  http://esolangs.org/w/index.php?diff=45102&oldid=45101 * Bexandre * (+4) /* FrancePROG */
20:13:31  [wiki] [[FrancePROG]]  http://esolangs.org/w/index.php?diff=45103&oldid=45100 * Bexandre * (+3) 
20:13:44  [wiki] [[FrancePROG]]  http://esolangs.org/w/index.php?diff=45104&oldid=45103 * Bexandre * (+7) 
20:34:15  [wiki] [[GHOST]] N http://esolangs.org/w/index.php?oldid=45105 * Nalaek2004 * (+1379) Created page with "== WARNING == This is my first page, i worked really hard on it. Sorry if its bad :D == GHOST == GHOST (Ghost holes of spoon tables) is a programming language developed by nal..."
20:39:36 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
20:42:10 -!- TieSoul has joined.
20:43:12 -!- TieSoul has quit (Read error: Connection reset by peer).
20:43:18 -!- Patashu has quit (Ping timeout: 272 seconds).
20:54:25 -!- XorSwap has joined.
20:57:54 -!- mihow has quit (Quit: mihow).
20:59:32  [wiki] [[FrancePROG]]  http://esolangs.org/w/index.php?diff=45106&oldid=45104 * Bexandre * (+207) 
21:02:09  [wiki] [[FrancePROG]]  http://esolangs.org/w/index.php?diff=45107&oldid=45106 * Bexandre * (+6) 
21:06:40 -!- mauris_ has quit (Read error: Connection reset by peer).
21:07:19 -!- ^v has joined.
21:07:45 -!- akfaew has left.
21:16:01 -!- mihow has joined.
21:23:40 -!- AnotherTest has joined.
21:25:40 -!- AnotherTest has quit (Client Quit).
21:27:41  what the heck?
21:27:43  this can't work
21:27:50  if I'm reading this right, there's a serious bug here
21:27:54  it just can't be right
21:28:46  bug detected
21:30:17  no seriously
21:30:41  this would cause the whole thing to be inconsistent, unless that function is not actually used, and there's a _real_ function somewhere
21:30:49  I'll have to test this later
21:30:57  definitely.
21:31:20  And it's not even easy to fix.
21:39:04 -!- XorSwap has quit (Ping timeout: 244 seconds).
21:45:54 -!- XorSwap has joined.
21:46:24 -!- Wright has joined.
21:56:30 -!- atrapado has quit (Quit: Leaving).
21:59:35 -!- Wright has quit (Ping timeout: 264 seconds).
22:30:39 -!- augur has quit (Quit: Leaving...).
22:40:08 -!- bb010g has quit (Quit: Connection closed for inactivity).
22:42:36 -!- XorSwap has quit (Ping timeout: 246 seconds).
22:49:19 -!- Wright has joined.
23:02:27 -!- XorSwap has joined.
23:12:33 -!- oerjan has joined.
23:13:44  @messages-lewd
23:13:44  mroman said 6h 9m 4s ago: technically the algorithm could produce wrong results for programs that don't halt.
23:13:44  mroman said 6h 8m 25s ago: So when the algorithm replies with N=1024, it is only correct if and only if the program terminates.
23:13:44  mroman said 6h 7m 59s ago: which means you couldn't solve the halting problem with that.
23:16:55  @tell mroman what fizzie said
23:16:56  Consider it noted.
23:16:57 -!- XorSwap has quit (Quit: Leaving).
23:17:16  suits me right for trying to be brief...
23:41:50 -!- nchambers has changed nick to telnet.
23:42:03 -!- telnet has changed nick to nchambers.
23:43:21  helloerjan
23:47:01  > nubBy (\x y -> x `rem` y == 0) $ [2..]
23:47:03   [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29...
23:47:05  hitopia
23:59:10  (apparently they fixed the bug where ghc used a different argument order for nubBy than the haskell report)
23:59:34  [wiki] [[Mothership]] N http://esolangs.org/w/index.php?oldid=45108 * 70.176.104.17 * (+205) Created page with "=Mothership= This page was created to reserve the name and page. More information on the language to be added later, but here is the repository: [https://github.com/GamrCorps/..."
23:59:52  [wiki] [[Mothership]]  http://esolangs.org/w/index.php?diff=45109&oldid=45108 * 70.176.104.17 * (-13) /* Mothership */