00:01:55 -!- sebbu has quit (Ping timeout: 276 seconds). 00:02:27 -!- Frooxius has quit (Ping timeout: 252 seconds). 00:09:15 -!- tromp has joined. 00:11:12 -!- Bike has quit (Read error: Connection reset by peer). 00:11:22 -!- Bike has joined. 00:41:47 Why do Google's HTTP servers have a lot of protocol violations? 00:44:15 to madden you 00:49:04 I doubt it has anything to do with me 00:59:23 -!- mhi^ has quit (Quit: Lost terminal). 01:03:12 zzo38: because lots of people don't follow protocols, sometimes because they can't, because of other people not following protocols 01:16:59 -!- Phantom_Hoover has joined. 01:20:38 -!- general_cryptic has joined. 01:24:51 Can you please help me? Is ZCDSF even LALR(1)? 01:26:16 -!- general_cryptic has quit (Remote host closed the connection). 01:26:44 -!- general_cryptic has joined. 01:27:01 The compiler says there aren't any conflicts, but it still doesn't work. 01:28:52 -!- general_cryptic has quit (Remote host closed the connection). 01:29:24 -!- general_cryptic has joined. 01:32:39 Actually I may have found one of the mistakes; probably many of the mistakes I made are in the tokenizer instead of in the parser. 01:33:01 -!- Bike has quit (Ping timeout: 252 seconds). 01:33:32 The tokenizer was deleting some semicolons that shouldn't be deleted. 01:34:41 -!- sebbu has joined. 01:34:55 -!- Bike has joined. 01:35:12 -!- sebbu has quit (Changing host). 01:35:12 -!- sebbu has joined. 01:36:41 I think it works now. 01:38:11 Macros still have a few problems. 01:46:19 -!- general_cryptic has quit (Remote host closed the connection). 01:48:28 OK I fixed it. I accidentally put a minus sign instead of equal sign and that caused a problem 02:05:51 I love working at 1:15AM! 02:05:58 ocl 02:06:01 *ick 02:19:59 -!- Bike has quit (Ping timeout: 265 seconds). 02:21:52 -!- Bike has joined. 02:24:23 -!- Sprocklem has quit (Quit: g2g). 02:26:41 Now I made it: http://zzo38computer.org/prog/zcdsflib.zip 02:27:43 Please look in the file called "zcdsflib.h" for the list of API functions. 02:28:30 Do you think this is good? 02:30:52 It isn't quite perfect. 02:31:18 It isn't secure either. 02:34:26 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:37:25 -!- pikhq_ has joined. 02:37:26 -!- pikhq has quit (Read error: Connection reset by peer). 02:41:18 -!- Bike has quit (Ping timeout: 240 seconds). 02:43:24 -!- Bike has joined. 02:44:24 -!- Ghoul_ has quit (Quit: Connection closed for inactivity). 03:08:36 -!- Sorella has quit (Quit: It is tiem!). 03:15:59 -!- Leb has quit (Quit: Page closed). 03:18:48 -!- Bike_ has joined. 03:22:07 -!- Bike has quit (Ping timeout: 276 seconds). 03:22:32 -!- Bike has joined. 03:23:32 -!- Bike_ has quit (Ping timeout: 260 seconds). 03:32:40 -!- shikhin has quit (Ping timeout: 260 seconds). 03:41:29 A music tracker software I would think, it would help to have three more windows: SQL window, MML compiler window, and synthesizer window. Do you know of such a software, which can also make/edit/play a .MOD and .S3M and .IT and .XM formats? 03:42:47 Also even such format as .MOD and so on you cannot enable multiple effects at once 03:52:24 -!- tswett has joined. 03:52:32 Good news, everyone! 03:52:45 So I'm pretty sure that a while back, in this channel, someone mentioned "coffee with butter in". 03:53:56 I mentioned that that sounded wrong to me; you'd have to say "coffee with butter in it". 03:54:15 Whereas it's perfectly fine to say e.g. "a gun with bullets in". 03:54:17 Someone asked why. 03:54:23 I now think I know the answer to that question. 03:54:42 "slightly different dialect" 03:54:44 The answer is that something is only "in" if it operates by being inside of whatever it's inside of. Otherwise, it has to be "in it". 03:55:06 Bullets operate by being inside of guns. Butter does not operate by being inside of coffee. 03:55:32 have you ever heard the term "post-hoc" 03:56:02 As in post-hoc analysis? 03:56:17 quite 03:56:45 Sure. It's hard to do analysis without already having some data. 03:58:28 well the implication is you just make something up after the fact. 03:58:47 Well, I tried to come up with a simple hypothesis that fit the data well. 03:58:52 without much real possibility that it's the cause (for instance: why does this matter to americans and not to brits) 03:59:29 cos you keep doing this and you're gonna end up thinking "fuck" is an initialism, you know? 04:00:44 Also, I haven't yet thought of a counterexample or an alternative hypothesis that seems to work better. 04:01:10 quirk of history assisted by geographic separations 04:03:07 Have you ever used a gun 04:03:41 Bike: you realize that you're not actually contradicting what I said? 04:03:46 Jafet: yes, but not a bullet gun. 04:03:55 mine is an alternative hypothesis. 04:04:24 i haven't used a gun, but i have concluded that they work by magnetic acceleration, cos that's how i'd make one. 04:04:29 My hypothesis is a hypothesis about what the rule is for me personally. Your hypothesis is a hypothesis about why it's that way. 04:05:05 Bicycle artillery 04:05:21 (I ain't never used none of them BULLET GUNS.) 04:05:31 why would you do that to a bicycle jafet 04:06:14 You can't put artillery on a unicycle, man, it would fall over. 04:06:35 Bicycle artillery. What a great idea. 04:07:08 have the artillery fire in both ways simultaneously 04:07:35 Is there a word for a gun that isn't a firearm? 04:07:45 Of course, that never stopped the Dresden Unicycle Military Branch's firing uni cyclist kooks. 04:07:52 waterleg 04:10:27 Are tracker music formats supposed to be deliberately difficult to work with? 04:10:33 It seems like it to me. 04:12:07 Air gun, I guess. 04:14:20 zzo38: it's a well known fact that leonardo davinci wrote his chiptunes backwards to confuse thieves. 04:28:38 -!- tswett has quit (Quit: Konversation terminated!). 04:52:58 -!- nooodl has joined. 04:59:00 -!- vyv has quit (Ping timeout: 265 seconds). 05:00:34 -!- vyv has joined. 05:13:19 -!- nooodl has quit (Quit: Ik ga weg). 05:46:45 -!- oerjan has joined. 05:50:06 -!- FreeFull has quit. 06:26:02 -!- tertu has quit (Ping timeout: 245 seconds). 06:55:58 -!- tertu has joined. 06:56:30 -!- variable has changed nick to constant. 07:00:31 -!- tertu has quit (Ping timeout: 276 seconds). 07:00:35 -!- tertu_ has joined. 07:08:35 -!- kmc has joined. 07:08:41 fungots fall on fungot falls 07:08:41 kmc: or not. i didn't write down who said that 07:10:41 fungot: apparently, godspeed you black emperor hth 07:10:41 oerjan: strike the " for" 07:10:55 fungot: already did hth 07:10:55 oerjan: this means that whatever the 2nd interpreter does added to the hashtable i have the patch? 07:11:24 fungot: i don't know, show me the code 07:11:24 oerjan: my fnord have fnord of code improvement are applicable to many languages 07:11:38 fungot: i think that got censored hth 07:11:39 oerjan: i did?) has no support for processes. 07:12:05 ^language hth 07:14:11 ^show 07:14:11 echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks tmp2 07:14:26 i don't think it has that command 07:18:42 -!- edwardk has quit (Quit: Computer has gone to sleep.). 07:20:40 -!- vyv has quit (Ping timeout: 276 seconds). 07:22:01 -!- vyv has joined. 07:23:51 -!- password2 has joined. 08:05:09 zzo38: Loughry pushed some new stuff 08:05:15 He pushed more source code and the LIST source code too 08:05:26 https://github.com/jloughry/BANCStar/blob/master/MM1SM1.SCN 08:05:36 https://github.com/jloughry/BANCStar/tree/master/LIST/src/ 08:05:40 ^- that's the LIST source 08:06:04 OK now let me to see it 08:06:47 -!- micha2718l has joined. 08:07:41 He also found a PDF that documents opcodes 08:07:52 although "documents"... :D 08:07:57 it lists them at least :D 08:08:45 4001 - 7999 is Draw 08:08:47 whatever that means. 08:10:33 What do the asterisks on the left side means? 08:11:16 No idea. 08:11:38 Some of these things I have already guessed a bit from the other printouts and examples 08:12:39 Whoever printed it out forgot to compensate for the holes 08:15:20 10000 - 12000 are "Arithmetic Commands" 08:15:37 -!- password2 has quit (Ping timeout: 245 seconds). 08:15:50 Still very little information :) 08:16:36 Yes, although from looking at the printout, a few more things can be figured out about that. 08:16:51 -!- sebbu has quit (Read error: Connection reset by peer). 08:17:15 I already figured that 10000 and so on are used for direct assignment, and low numbered commands are prompts, from what was available before. 08:17:36 From looking at printout a few more things about how this "arithmetic commands" can be figured out. 08:19:54 For example, the three operands to "arithmetic commands" seem to be the values to add or otherwise do, where you have to multiply by ten and add two. A number 1 to 2000 is a variable, or you can add 2200 for a literal number (I don't know why it is 2200). 08:21:03 But for comparisons, there is no "multiply by ten", and you instead add ten thousand for a numeric literal, or thirty thousand for a character literal. 08:22:10 (I don't know what happens if you add twenty thousand.) 08:23:45 i need more things to graph 08:24:19 -!- sebbu has joined. 08:24:38 The ones digit of the arithmetic operands seems to be 2 for addition and 6 for substrings; I don't know what 5 means. 08:24:49 -!- sebbu has quit (Changing host). 08:24:49 -!- sebbu has joined. 08:24:49 Quintopia: graph the number of graphs that don't graph themselves hth 08:28:56 -!- micha2718l has quit (Quit: Bye). 08:29:08 -!- micha2718l has joined. 08:33:49 OK, now I see arithmetic operator 4 is division 08:35:43 From the context, it seems that command 3100 might mean that it is an error if the condition is false; rewind and tell the user to try again. 08:38:24 It is now clear from the arrows that 3001 command block does not nest, and just combines conditions using a "and" operation; I have already guessed this from the part of the program that "only ten people can read", and now I have confirmed it. 08:39:30 -!- general_cryptic has joined. 08:40:47 -!- Patashu has joined. 08:41:37 -!- Patashu_ has joined. 08:41:37 -!- Patashu has quit (Disconnected by services). 08:41:57 -!- oerjan has set topic: Turning BANCStar up to eleven | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 08:49:30 I am guessing that the last value in the prompt commands is the position on the screen which it is displayed. 08:49:55 And it is in row/column format 08:50:04 Where the row is multiplied by one hundred 08:52:03 It is in format: variable,help-position,response-length,field-position is my currently guess 08:53:03 I don't know why some of them use negative numbers though. Probably that means something too. 08:53:56 -!- edwardk has joined. 08:58:43 zzo38: He alos pushed 58 pages of annotated source code :) 08:58:51 https://github.com/jloughry/BANCStar/blob/master/LIST/doc/C16LNAPP.SCN_LIST_report.pdf 08:59:44 which also includes some "Screenshots" of the GUI at the end 09:00:20 or at least what his tool generated 09:01:02 zzo38: He also found a copy of the actual software 09:01:13 on a floppy disk :) 09:01:18 which he tries to recover 09:01:26 let's hope the floppy disk isn't too much damaged. 09:02:32 Yes, I am looking at those annotated codes now 09:03:35 -!- edwardk has quit (Quit: Computer has gone to sleep.). 09:08:55 -!- mhi^ has joined. 09:13:48 -!- sebbu has quit (Ping timeout: 260 seconds). 09:14:00 -!- conehead has quit (Quit: Computer has gone to sleep). 09:22:46 zzo38: is this about BANCStar still? 09:23:05 seems to be 09:26:04 -!- shikhin has joined. 09:26:25 b_jonas: yep 09:27:08 Is the first number in a BANCStar line always the opcode? 09:29:04 b_jonas: I think so 09:29:43 Although the opcode also includes the number of the variable to manipulate, if applicable. 09:29:44 I'll make an entry on the eso wiki for BANCStar 09:33:55 i vaguely recall BANCStar being removed because someone insisted it's not esoteric. not sure it was the wiki, though. 09:34:35 [wiki] [[BANCStar]] N http://esolangs.org/w/index.php?oldid=39783 * B jonas * (+730) Created page with "'''BANCStar''' is a language that was used in production in finance in the 1990s, even though it looks like an esoteric language. Each line in a BANCStar program is four op..." 09:35:16 There is the prehistory of esolangs page, as well as some people wanting "honorary esolangs" too; however, it is unsure how to organize such thing within the wiki, and furthermore in a few cases it may be disagreed of what counts. 09:35:43 meh, if you don't like honorary esolangs, just add a category for them or something 09:35:55 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=39784&oldid=39737 * B jonas * (+15) 09:36:30 I myself am OK with it (and agree with you to make it separate category), but perhaps we can decide which way best. 09:37:08 sure, just delete it if you decide there's no place for it 09:37:27 and add Haskell and C++ etc if you decide you want honorary esolangs or something 09:38:03 I wouldn't consider to add those, but that is what I say, it may be disagreed of what counts. 09:38:45 More seriously, I wouldn't bother to add stuff like Haskell or C++ or TeX or metafont etc, because there's already lots of information about those everywhere on the internet. 09:38:48 b_jonas: i think the prospect that people will start adding things like haskell and c++ is a reason why we've avoided it... 09:39:08 But if you're actually studying BANCStar here, then it deserves a place on the eso wiki. 09:39:37 so let's try it then. 09:39:41 oerjan: if someone does want to bother, I don't feel a problem with adding C++, as long as it's not seriously misrepresented 09:39:56 like, don't claim that it's not used in production or that it was intended as an esolang originally 09:40:47 should BANCStar go into bounded storage languages, or have you found a way to address arrays? 09:40:59 Note of things like http://esolangs.org/wiki/Prehistory_of_esoteric_programming_languages existing, as well as some things on user subpages such as http://esolangs.org/wiki/User:Ian/Computer_architectures 09:41:44 zzo38: sure 09:41:46 b_jonas: There are "tables", but I don't know how they work. Probably it is bounded storage but of course I don't know; only things we can do for now is to makes guesses 09:42:12 I believe that the Special:Random will never select a user page 09:42:59 never mind, it's not like bounded storage really means much in a language implemented in a computer 09:44:19 -!- Patashu_ has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 09:45:54 I think pages can also be moved between name spaces if that help 09:46:02 sure 09:48:30 I would delete [[Perl]] if oerjan didn't make it mildly amusing 09:48:59 *hadn't made, rather 09:49:24 Yes I think that Perl article is good the way it is written, for being on esolang wiki 09:50:43 -!- general_cryptic has quit (Read error: Connection reset by peer). 09:51:11 [wiki] [[Perl]] http://esolangs.org/w/index.php?diff=39785&oldid=37512 * B jonas * (+26) 09:51:33 -!- general_cryptic has joined. 09:51:50 b_jonas: that category is for esoteric languages only, I think 09:51:57 [wiki] [[Perl]] http://esolangs.org/w/index.php?diff=39786&oldid=39785 * B jonas * (+54) 09:52:06 oh, maybe not 09:52:09 I guess it's not a subcat of Languages 09:52:20 there should probably be a cateogry for non-esoteric languages 09:52:34 but Implemented and TC should maybe be reserved for esoteric-only, I think. 09:52:42 Or probably one for honorary esolang, at least 09:52:51 elliott: Yes, probably those two should at least 09:53:16 looks like you can have 501 pages 09:53:30 probably 500 09:53:35 I assume 0 isn't a "legal" page 09:53:51 -!- Patashu has joined. 09:53:54 values > 501 are function keys 09:54:07 (There may sometimes be reasons why you might have TC on other things too but I don't think of any right now. But I agree that Implemented probably only for (non-honorary) esolangs) 09:54:12 as for BANCStar, the strange part is why they didn't use at least an assembler for handling the code labels and variables 09:54:20 mroman: OK 09:54:31 b_jonas: I was thinking about quite the same kind of things 09:54:52 -!- sebbu has joined. 09:54:55 such an assembler could probably be made compatible with existing code 09:54:57 An assembler (supporting a superset of the existing syntax) could be done. 09:55:11 (at least not less compatible than writing raw code) 09:55:12 I could do it if I knew enough about it! 09:55:25 L_COMMTS.C is probably going to be most helpful 09:55:32 but I probably have a strange idea about these kinds of things: 09:55:59 8500 with M3 40XX is like pressing the corresponding key o_O 09:56:42 back when we had to write the same homework in two languages, I wrote a translator from a language that had the intersection of their features, and then when that worked fine, I ran out of time and couldn't write the actual program to work well 09:56:44 you can even execute DOS commands apparentely 09:57:10 and even now I probably care too much about the tools 09:57:23 mromas: Yes I saw that. 09:58:11 is this BANCStar system connected to a database or network or printer or something? 09:58:29 -!- general_cryptic has quit (Remote host closed the connection). 09:58:30 zzo38: Did you look at the arithmetic commands 09:58:30 b_jonas: I would guess, all three, probably. 09:58:35 they are really weird 09:58:42 but it looks like there's -+*/ 09:59:04 mroman: I have looked at the scanned listing file, and figure out some of how it works, as I have described above. 09:59:23 I didn't finished looking at all of them yet, though. 09:59:53 Values under 2000 are prompts 10:00:12 how are you reverse engineering this? from those printouts only? or do you have access to an implementation (not necessarily in working condition)? 10:00:13 mroman: Yes I figured out that already. 10:00:15 which means if the operand_2 is 1000 it will show the user a prompt with the text stored in 1000? 10:00:25 b_jonas: From those printouts only. 10:00:40 b_jonas: We might get access to an implementation 10:00:52 depends on whether JLoughry can read the floppy disk he found 10:01:21 Even from just the two pages that were originally scanned, and the information that was released when they wrote about the program that only ten people can read it, I could figure out a lot of things. 10:01:34 Although a lot of it, just being guesses. 10:02:03 -!- general_cryptic has joined. 10:02:04 zzo38: Out of curiousity: Do you plan to implement BANCStar? 10:02:10 Or why did you start reverse engineering it? 10:04:03 mroman: Just to figure it out, because figure out that kind of stuff interests me a bit. 10:14:48 -!- boily has joined. 10:20:45 zzo38: have you documented what you've figured out so far in a file or something? 10:29:44 The thing doing the printing seems to print "variable" numbers emboldened. I wonder if that has any semantic meaning or is just a pretty-printing thing 10:38:10 -!- nooodl has joined. 10:40:27 FireFly: probably no semantic meaning, for http://reocities.com/ResearchTriangle/station/2266/tarpit/bancstar.html 10:40:37 says "The only legal characters in a BANCStar program are the digits 0 through 9, comma, minus sign, and carriage return. Blank lines are not allowed. If a "." appears anywhere in the file, the compiler will crash." 10:42:08 That makes sense 10:43:04 the compiler. crashes. on a fungotting period. I refuse to believe that. 10:43:04 boily: hey would fnord be fun to watch him argue with a native fnord. 10:43:25 fungot: there are multiple kinds of fnords? 10:43:25 boily: if you consider that i stated only what i need is to override a specific procedure and then re-export everything else the way it is 10:43:40 yeah, consider that 10:43:52 Dies this really have a compiler? I totally thought this was some interpreter that interprets the array of fours of integers. 10:47:30 b_jonas: It has a "Screen Generator" 10:47:48 Which I think allowed you to create Forms WYSYWG style? 10:48:23 there was a program at least that allowed to to create stuff which was translated to BANCStar language that was interpreted by some sort of VM 10:48:29 *you to 10:48:41 boily: what's so strange about that, after all it's just the compiler coming to a full stop 10:48:48 but as he said, that Screen Generator wasn't powerful enough so they started reverse engineering the VM 10:49:05 and program directly in it instead of using the screen generator 10:49:26 as I understand it it was never meant to be programmed in it directly which is why there's no official documentation of it 10:49:38 which is weird because... I mean 10:49:44 If you program a VM you document it, right? 10:49:56 mroman: sure, 10:50:02 zzo38: Who actually wrote the BANCStar "VM"? 10:50:30 ah. the NFCS Inc. 10:50:44 Hm 10:50:44 mroman: but I meant about that statement that the "compiler crashes" if it meets a full stop in the barnstar numbers 10:51:24 oerjan: ... 10:51:47 b_jonas: Oh. Hm... 10:51:54 That's a good question 10:52:32 "We developed some in-house tools for programming large applications in BANCStar, and at one point attempted to interest Broadway & Seymour in them, but I think they never really believed us, that we were writing directly to their internal, low-level, undocumented machine code." 10:52:37 :D 10:53:11 Why would Broadway & Seymour create a VM and not document it's machine code 10:53:24 and why wouldn't the programmers just ask them for a documentation 10:53:30 this is all really really creepy 10:53:41 mroman: because it's supposed to be an internal form for the screne generator program 10:53:43 mroman: manifest destiny hth 10:53:55 b_jonas: Yeah. 10:54:00 mroman: IMO, the people that started to misuse it and write the internal form directly without proper tools are to blame 10:54:07 But how will you write the Screen Generator without documentation of the VM it's supposed to target? 10:54:19 mroman: yes. this was before 1990 10:54:27 mroman: don't try to think of it like you're in 2014 10:54:39 it's like you wrote a VM, then a "Compiler"/"Generator" that targets said VM 10:54:43 but you never documented the freaking VM? 10:54:50 what the hell 10:55:07 Good luck maintaining that compiler then 10:55:08 Maybe they documented it with pen and paper 10:55:10 yes, or maybe they documented it internally, but never released the docs about that with their proprietary screen generator software 10:55:32 maybe there's documentation in the source code for their screen generator or something 10:55:43 b_jonas: I understand that they did not release the docs if you weren't supposed to program in it 10:55:52 but once you KNOW that people really program in it 10:56:00 that's the point I would release the documentation 10:56:09 possibly even *sell* the documentation to earn more money 10:56:29 instead of saying "Well, you guys just reverse engineer it. I don't care. I won't help you." 10:56:41 mroman: probably those docs were not in a releasable state 10:56:56 yeah. 10:57:04 but for gods sake they reverse engineered it :) 10:57:07 and come on, if you were the developer and someone told you thye want to develop right for that internal language, wouldn't you just LAUGH AT THEM? 10:57:11 even a not so good doc is better than nothing. 10:57:17 those people deserve not to have the docs 10:57:22 b_jonas: I would laugh 10:57:33 but I'm pretty sure I'd send them the docs I have 10:57:38 I'm a bit scared that stuff like this was actually powering banks 10:57:44 not for free probably but I'd sell them 10:58:16 Like "well, you're not supposed to do that but for 1000$ bucks I'll give you the documentation" 10:58:27 FireFly: have you looked at the scanned screenshots on github? it probably just powered credit application form printout stuff, not real banking programs 10:58:28 It's not really my problem if they program in the internal language 10:58:41 other than this means that my screen generator is crap :D 10:58:47 b_jonas: yeah, I'm reading it currently 10:59:16 so I would laugh at first, then realize that my product is apparentely so crappy, they started reverse engineering undocumented stuff and that'd make me sad 11:00:10 mroman: again, this was before 1990. think of it like that. you didn't have infinite computing resources back then. 11:00:32 reverse engineering random programs from a floppy was sort of the norm at that time 11:02:37 -!- boily has quit (Quit: CRAWFISH CHICKEN). 11:04:25 -!- MindlessDrone has joined. 11:04:39 -!- stuntaneous has quit (Remote host closed the connection). 11:05:00 -!- stuntaneous has joined. 11:08:21 zzo38: operand fields ≥2200 seem to be constants, and the least significant digit of each operand seems to determine the operation somehow 11:09:07 This thing is bizarre 11:10:03 what's the highest magnitude number that appears in the source? 11:11:47 Dunno, but e.g. here a parameter is 25652, which, if I'm guessing correctly, corresponds to the constant value 365 and the operation 2 (addition or concat or something) 11:12:29 There are probably bigger numbers though, a scanned-in pdf isn't easy to search 11:13:41 ! 11:13:49 At least this seems to use ASCII 11:14:23 oh wait, never mind 11:16:35 -!- mhi^ has quit (Quit: Lost terminal). 11:17:54 well that's the right order of magnitude for a -32768 .. 32767 range 11:18:04 of 16 bits 11:22:25 > chr 89 11:22:26 'Y' 11:23:49 FireFly: >= 2200 && <= 3276 11:24:12 at least for exponentian 11:24:58 conditionals seem to use other conventions for how to denote constant values 11:25:21 10xxx seems to be a constant int, 30xxx a constant char (ASCII-encoded) 11:25:48 also operator is % 10 and operand / 10? 11:26:10 yep 11:26:13 Yeah 11:26:22 for assignemnts 11:26:37 How mid$ comes into that, I've no clue 11:26:59 you encode where to assign in the op itself, right? 11:27:12 yes 11:27:44 -!- shikhout has joined. 11:27:45 M1-10000 11:27:53 I don't get what the prompts are 11:27:59 A prompt can store an integer? 11:28:19 Me neither, but I think it could be related to the whole drawing-a-window thing 11:28:30 there's a list of prompt variables and their types and lengths at the end of the PDF 11:30:37 -!- shikhin has quit (Ping timeout: 245 seconds). 11:30:44 hm k 11:30:51 Probably from the prompt file 11:31:00 -!- augur has quit (Ping timeout: 260 seconds). 11:31:29 Did this thing have some Database in the background? 11:31:38 to store forms/files? 11:35:31 There are table search commands for example 11:35:51 whatever a table is 11:38:26 -!- M28_ has quit (Read error: Connection reset by peer). 11:39:29 -!- shikhout has quit (Ping timeout: 252 seconds). 11:39:44 there are indirect prompts as well 11:39:58 No idea what indirect refers to right now 11:40:20 22002 seems to be used as a general "unused operand".. I wonder what the reference implementation would do if you passed something else instead 11:40:42 for instance, "x ← number of days between y and z" seems to be 1xxxx,yyyy9,zzzz3,22002 11:40:54 ah. There's file-io too 11:41:03 Oh? 11:41:06 yeah 11:41:27 -!- general_cryptic has quit (Remote host closed the connection). 11:41:55 16000 - 18999 11:42:13 foo = 0; if Applicant == 'Y': foo = 1; if Spouse == 'Y': foo = 1; ...; if foo == 1: ... 11:42:29 I take it this thing doesn't have a cleaner way to do "or" 11:43:06 " It took about two weeks to become fluent in the language." 11:43:13 Two weeks is actually not very long 11:43:29 -!- general_cryptic has joined. 11:45:55 Proceed If aborts if it fails? 11:46:14 there's if, block if, proceed if and reverse block proceed if whatever that is supposed to be 11:47:49 isn't it reverse block if? 11:48:03 anyway, I think that's like a do-while loop, essentially (guessing by the arrow to the left) 11:48:13 heh 11:48:30 so you're missing reverse if, reverse block if, and block proceed if? 11:48:43 reverse if wouldn't make much sense 11:48:45 and reverse proceed if 11:49:15 which of those is computed come from? 11:49:24 Neither I think 11:49:55 b_jonas: so 3101 jumps back to a previous 3101? 11:50:00 if is "conditionally execute next line", block if is "ignore until block-end if condition holds", reverse block if is the same but backwards 11:50:06 looks ilke that from the C16LNAPP 11:50:07 AIUI 11:50:13 although I haven't found a nested 3101 now 11:50:21 er, unless condition holds* 11:51:06 FireFly: so none of those have a target label? 11:51:07 -!- tertu_ has quit (Read error: Connection reset by peer). 11:51:22 this is actually structured programming with if-endif rather than if-goto? 11:51:23 wow 11:51:27 pretty advanced for its age 11:51:30 b_jonas: yeah 11:51:39 3101 looks like it jumps back to a previous 3101 11:51:46 and 3001 jumps forward to the next 3001 11:51:48 something like that 11:52:17 b_jonas: yep. there is also "save address", "goto screen N", "return from subroutine" 11:52:31 FireFly: What's WSF*** 11:52:35 great 11:52:42 No clue 11:52:44 Are those prompts? 11:52:48 files? tables? windows? 11:53:10 :) 11:53:14 maybe you can compile brainfuck to bancstar then 11:53:20 -!- Sgeo has quit (Read error: Connection reset by peer). 11:53:35 Hm 11:53:45 hm. 11:53:48 and then claim that this is one of those trivial brainfuck variants like Ook! that only replace the symbols with a longer encoding 11:53:54 there are occurences of 3001 followed by another 3001 11:53:58 b_jonas: well, the if-endif doesn't nest 11:53:59 ] would be 3101,,, or something 11:54:01 but only followed by one endif block 11:54:09 FireFly: you only need nested do-while, not nested if 11:54:19 looks like it really jumps only to the next end block 11:54:24 do-while also does not nest I think 11:54:32 hmm 11:54:41 So compiling brainfuck would be a bit tricky 11:54:43 C16LNAPP line 00892 11:54:47 ok 11:54:54 there's a 3001, and a "nested" 3001 11:55:02 but they both end at 00900 11:55:06 (according to the arrows at least) 11:55:09 well, I guess it's more practical to just escape to machine code somehow 11:56:30 mroman: yeah, I'm guessing it's implemented by setting a flag to ignore commands, and end-of-block resets it, or some such 11:58:19 FireFly: or more likely just fast-scanning for the end of block command in a separate loop 12:01:02 why's that more likely :D? 12:01:53 -!- augur has joined. 12:03:00 -!- yorick has joined. 12:04:31 hmm, maybe they don't do either: instead the block if command just stores its label to a global variable, the end-of-block commands are preprocessed to know where the previous end-of-block statement is, and the end-of-block statements are compiled as a computed come from that kicks in when that global variable is set to anything between their address and the address of the previous end-of-block. 12:05:17 -!- oerjan has quit (Quit: leaving). 12:05:51 that would be simpler than either ABSTAINING FROM all statements other than end-of-block like FireFly suggests, or scanning in the code memory to find the end-of-block 12:06:58 i think ignoring commands when a global flag is set is very easy to implement ;) 12:07:54 mroman: but so is a loop to scan forward if your code is represented in as simple a way as four words per statement, first word is opcode 12:07:59 -!- Frooxius has joined. 12:10:27 -!- mhi^ has joined. 12:11:56 https://github.com/jloughry/BANCStar/blob/master/LIST/src/L_COMMTS.C seems to have a lot of interesting info 12:12:59 yep 12:13:10 maybe even enough to write an interpreter :D 12:14:16 FireFly: is that a code pretty printer? 12:14:24 Yes 12:14:46 the LIST utility is apparently what took a BANCStar source file and produced a listing like the pdf that was linked before 12:15:33 hee, that loop with "Deactivate F7 - activate all other F-keys" in that pretty-printer seems copy-paste code 12:15:53 not just a pretty printer 12:16:04 it annotates code with pseudo-code 12:16:26 mroman: yes. that's a pretty-printer. or call it a disassembler if you prefer. 12:17:09 I don't ;) 12:17:13 I'll call it code annotator 12:18:37 you could also call it a syntax highlighter :P 12:19:02 it typesets variables in boldtext and things 12:19:38 It's the holy grail of a tool . 12:19:45 that is, if you beleive in the holy grail 12:19:56 *believe 12:21:30 Whose bright idea was it to make the conditional operator encoding depend on the type? 12:21:57 That is, the check for inequality of strings seems to be encoded with the same operator number as >= on numbers 12:22:25 there are string variables? 12:22:34 Yes 12:22:39 I think so, at least 12:23:16 Makes sense to me, if you have input fields for things that it would be able to deal with strings too 12:23:32 so the mid and length operations operate on entire strings? is there a string concatenate operator? that'd probably be easily enough for turing-completeness 12:24:20 I thought it only operated on characters, and on fixed length arrays laid out in the 2000 words of data memory or something 12:24:59 I think we're not even sure if you have 2000 words 12:25:04 or just 2000 storage thingies 12:25:15 which can hold values of different size 12:25:22 yeah 12:25:32 There is a line that gets annotated with "Name = First Name + Middle + Last", where the only sensible interpretation I can think of is string concatenation 12:25:44 that scan includes a variable listing with lots of ALPHA stuff, but I thought that was just a character or something 12:25:48 FireFly: which line number is that? 12:25:58 00175 12:26:04 mroman: 00062 12:26:08 FireFly: wow 12:26:29 Is it esoteric if it's actually used for banking 12:26:49 "not really" esoteric 12:27:46 that's 10193 12:28:17 10193,1902,1912,1922 12:28:29 so the operators are 2,2,2 12:28:44 and operands are 190,191,192 12:28:46 Yes 12:29:00 2 is also addition (for numbers) 12:29:10 ah, so it encodes multiple operators and operands together in a command? nice 12:29:12 so 190,191,192 are prompts 12:30:04 and does 10193 encode both that this is supposed to be an arithmetic expression thing and the destination location? 12:30:18 although it seems like it just looks at operator_4? 12:30:32 b_jonas: it says "store to 193" 12:30:34 I think 12:30:47 I see 12:30:49 that it is in [10000,12000] indicates that it is a move operation, AFAIK 12:30:58 s/AFAIK/is my interpretation/ 12:31:06 makes sense 12:31:47 193 is ALPHA 55 NAME 12:31:49 so yeah 12:31:57 the 193 in 10193 is the target 12:34:06 I like how the internal programming language has an article on wikipedia, but not the application itself 12:35:00 FireFly: well the application is crap 12:35:52 FireFly: also recall the legend that says lisp has supposed to eventually have a normal input syntax, but the parenthesis stuff was good enough that it remained 12:36:32 true 12:37:28 parerthesis aren't that bady imo 12:37:31 -y 12:39:07 mroman: sure. and it's just a funny legend. 12:39:23 -!- Sorella has joined. 12:39:30 it's just that the parenthesis had become the most recognizable part 12:39:50 -!- Frooxius has quit (Quit: *bubbles away*). 12:42:39 -!- Frooxius has joined. 12:46:32 I searched for BANCStar in http://rosettacode.org/ and http://codegolf.stackexchange.com/ but it seems nobody is programming in it yet :-) 12:47:50 -!- general_cryptic_ has joined. 12:47:58 Ooh. It'd be nice to submit a program to CGSE once we've got this figured out 12:48:19 -!- general_cryptic_ has quit (Remote host closed the connection). 12:49:39 -!- general_cryptic_ has joined. 12:50:47 FireFly: http://rosettacode.org/wiki/Arithmetic/Integer might be a good start 12:52:10 -!- general_cryptic has quit (Ping timeout: 276 seconds). 12:52:21 FireFly: or http://rosettacode.org/wiki/String_concatenation 12:56:19 "Go to a Function Key" just how are you supposed to branch to keys? 13:06:00 -!- FreeFull has joined. 13:23:12 -!- Patashu has quit (Ping timeout: 260 seconds). 13:26:44 FireFly: You can also branch to ASCII keys 13:26:53 whatever that's supposed to mean 13:26:58 I think it's like GOTO PAGE 13:27:52 8500 with M3 = 40XX is apparentely goto ASCII thingy 13:28:09 There's a Multi-task menu 13:28:17 so maybe there's some multi-tasking involved ;P 13:28:34 maybe there's a dialog tab for each function key? 13:33:10 This C code reminds me of vim's source 13:33:31 though this is at least commented 13:39:02 which C code? 13:39:12 the one of BANCStar LIST? 13:42:42 Yes 13:43:18 I guess they're not all that similar, on second thought 13:55:10 -!- shikhin has joined. 13:55:36 if p^x == 1 then p^(x*y) == 1? 13:57:04 modulo something that is 13:58:26 -!- lollo64it has joined. 13:59:18 -!- erdic has quit (Remote host closed the connection). 14:01:55 FireFly: Actually Vim's source code is commented good enough (IMHO), it's just the pre-K&R syntax that makes it atrocious. :) 14:02:36 and the globals, and the ifdefs 14:03:03 and the really long functions and source files... 14:04:05 Bram doens't like refactoring. Code has to evolve naturally or something... 14:07:46 mroman: I can't think of any cases where that wouldn't be the case, with real numbers at least 14:08:22 Actually 14:08:27 That only works if y is an intger 14:08:29 integer* 14:08:41 mroman: What if you had (-1)^2 14:09:16 And then y was 1/2 14:09:28 the question is 14:09:37 z^(x*(y^k)) = 1 14:09:56 does that imply that z^(x*(y^(k+1))) is also 1? 14:10:15 I don't think so 14:10:26 me too 14:10:31 although empirical evidence suggests so 14:10:57 Well, it would imply that if z was a positive number 14:11:16 it's modulo 14:11:20 so they are all positive numbers 14:11:26 Ah 14:11:45 If it's all positive or 0, then yes, it would imply that the other expression is also 1 14:11:56 I just don't see why it implies that 14:12:20 There are two cases where z^a = 1 14:12:29 Either z = 1, or a = 0 14:12:41 That's if you restrict yourself to non-negative numbers 14:13:42 But this is (mod N) 14:14:44 Still holds 14:15:31 well 14:15:37 3^1980 `mod` 15841 is 1 14:15:51 that is 3^(495*4) `mod` 15841 14:16:01 Hmm 14:16:30 > (3^(495*8)) `mod` 15841 14:16:32 1 14:16:37 > (3^(495*16)) `mod` 15841 14:16:39 1 14:16:42 > (3^(495)) `mod` 15841 14:16:44 12802 14:16:57 Hmmmmm 14:17:19 -!- general_cryptic_ has quit (Remote host closed the connection). 14:17:21 > (3^(495^2*2)) `mod` 15841 14:17:23 218 14:17:32 Ok, it seems it doesn't hold 14:17:42 yep 14:17:46 -!- general_cryptic has joined. 14:17:47 If you take the x to be 2 and 495 to be y 14:18:00 [wiki] [[Talk:Rand.Next()]] http://esolangs.org/w/index.php?diff=39787&oldid=39758 * Ais523 * (+435) not possible to compile arbitrary BF into it; might be curly-L-complete, depending on the RNG in question 14:18:10 I bet there is a simpler example 14:18:22 it holds for 3^(495*(2^k))) though 14:18:33 x = 495, y = 2 14:18:36 z = 3 14:18:59 i.e. once you found a k, so that the term yields 1 14:19:03 increasing k won't change the value 14:19:13 which is because you square it 14:19:17 and 1 squared is still 1 14:19:47 that's from miller-rabin btw 14:20:13 once you found z^(x*(y^k)) is one, you don't have to check any other k 14:20:57 (y is 2 for the miler-rabin case) 14:24:11 -!- password2 has joined. 14:27:28 -!- general_cryptic has quit (Remote host closed the connection). 14:29:22 -!- general_cryptic has joined. 14:31:57 well 14:32:32 x^(a*y^(k+1)) is 1 if x^(a*y^k) is 1 14:32:57 because x^(a*y^(k+1)) = x^(a*y*y^k) = (x^(a*y^k))^y 14:33:07 and (x^(a*y^k)) = 1 means that 1^y = 1 14:33:47 -!- Tritonio has joined. 14:34:15 -!- Tritonio has quit (Client Quit). 14:36:41 but on topic again 14:36:56 There are Data Model Commands o_O 14:37:08 -!- Tritonio has joined. 14:38:39 -!- edwardk has joined. 14:39:35 -!- edwardk has quit (Client Quit). 14:50:29 mroman: Didn't we already show that it's not true mod N 14:51:27 It is true mod N 14:51:43 it's true for at least all positive integers 14:52:41 if x^(a*y^k) == 1 then x^(a*y^(k+1)) is also 1 14:53:41 If x is 3, a is 2 and y is 495... 14:53:58 And N is 15841 14:54:21 x^(a*y*y^k) = x^(a*y^(k+1)) 14:54:21 > 3^(2*495) `mod` 15841 14:54:23 218 14:54:34 Make that 4, not 2 14:54:38 > 3^(4*495) `mod` 15841 14:54:40 1 14:54:43 > 3^(4*495^2) `mod` 15841 14:54:44 1 14:54:47 > 3^(4*495^3) `mod` 15841 14:54:52 mueval: ExitFailure 1 14:54:57 > 3^(4*495^3) `mod` 15841 14:55:02 mueval: ExitFailure 1 14:55:05 -!- general_cryptic has quit (Read error: Connection reset by peer). 14:55:17 Wait, what were we getting up there then? 14:55:30 x^(a*y*y^k) = x^(a*y^(k+1)) = (x^(a*y^k))^y 14:55:36 -!- general_cryptic has joined. 14:55:41 ^- potentiation laws 14:56:02 and (x^(a*y^k))^y is 1 if (x^(a*y^k)) is 1 14:56:06 because 1^y is always 1 14:56:11 Oh, I was multiplying by 2, not 4 14:56:14 That's why it didn't work 14:56:43 ghci gets stuck on 3^(4*495^3) 14:56:49 To be fair, it is a really big number 14:57:13 also (p-1)^2 mod p is always 1 14:57:46 generally (p-r)^2 mod p is r^2 14:57:56 I can't abuse this to modsqrt 14:57:59 though 14:58:14 About 2.314751381666169e8 digits 14:58:28 You should probably use modpow :) 14:58:35 if haskell has such a thing 14:58:36 Probably :) 14:58:42 No such thing is built in 14:58:50 -!- mihow has joined. 14:58:51 Libraries probably have it 14:58:58 Probably :) 15:00:53 and it's actually a small number 15:01:08 compared to what actual numbers you'd use in real world applications 15:01:30 probably not in bancstar though 15:02:05 although it looks like you have to give the length of a number in digits 15:12:48 mroman: 231475138 digits 15:13:14 Remembering that googol only has 100 digits 15:22:28 -!- ais523_ has joined. 15:36:12 -!- Tritonio has quit (Ping timeout: 260 seconds). 15:48:36 -!- Bike has quit (Ping timeout: 265 seconds). 15:50:16 -!- Bike has joined. 15:54:42 -!- KingOfKarlsruhe has joined. 16:03:24 -!- Phantom_Hoover has joined. 16:05:31 -!- password2 has quit (Ping timeout: 265 seconds). 16:08:14 -!- password2 has joined. 16:12:05 -!- KingOfKarlsruhe has quit (Read error: Connection timed out). 16:13:17 -!- KingOfKarlsruhe has joined. 16:13:23 -!- KingOfKarlsruhe has quit (Changing host). 16:13:24 -!- KingOfKarlsruhe has joined. 16:17:01 googol? 16:17:15 pff. 16:17:19 googol is a baby number 16:18:01 100 digits isn't really that much 16:18:56 > log 2 10^100 16:18:58 Could not deduce (GHC.Num.Num a0) 16:18:58 arising from the ambiguity check for ‘e_1210100’ 16:18:58 from the context (GHC.Num.Num a1, 16:18:58 GHC.Num.Num a, 16:18:58 GHC.Float.Floating (a1 -> a)) 16:19:02 pff 16:19:03 what 16:19:27 > logBase 2 10^100 16:19:29 1.377281663205057e52 16:19:33 hm 16:20:33 well 16:20:41 compared to 4096 bit keys that's probably way larger :D 16:21:11 > logBase 10 2^4096 16:21:13 0.0 16:21:24 ok? 16:22:04 @type logBase 16:22:06 Floating a => a -> a -> a 16:22:35 what the hell 16:22:41 2^4096 is larger than 10^100 16:23:38 > logBase 10 (2^2096 :: Integer) 16:23:39 No instance for (GHC.Float.Floating GHC.Integer.Type.Integer) 16:23:39 arising from a use of ‘GHC.Float.logBase’ 16:23:46 > logBase 10 (2^2096 :: Double) 16:23:48 Infinity 16:23:56 > (100*(log 10))/log(2) 16:23:58 332.19280948873626 16:24:03 anyway, it's around 0.303*4096 16:24:04 there we go 16:24:14 > 0.3034096 16:24:15 0.3034096 16:24:21 > 0.303*4096 16:24:22 1241.088 16:24:29 a miserly 332 bits 16:31:13 also depending on how large an ALPHA can be 16:31:25 they could've stored their string constant in one large ALPHA 16:31:38 and possibly extract the strings they need later on in the code 16:31:50 although that might not be better by that much :D 16:33:48 seeking alpha 16:37:20 -!- idris-bot has quit (Quit: Terminated). 16:38:11 -!- idris-bot has joined. 16:39:01 mroman: No, I think they use the CONSTANT type for string constants, probably? 16:42:17 hm 16:48:09 Although they could store multiple string constants and extract them later; such a thing is done on the first page of C16LNAPP in order to extract only one letter. 16:49:01 -!- shikhin has quit (Ping timeout: 265 seconds). 16:49:18 -!- password2 has quit (Ping timeout: 240 seconds). 16:54:51 with mid$, you mean? 16:55:35 -!- password2 has joined. 16:57:08 Yes 16:57:28 zzo38: do you have a document with what you've figured out so far? 16:57:31 -!- KingOfKarlsruhe has quit (Read error: Connection timed out). 16:57:40 -!- mihow has quit (Quit: mihow). 16:57:53 No, I have not written such a thing, but you can try searching these IRC log (which is no longer available on HackEgo, however). 16:58:18 Oh, okay 16:59:41 -!- KingOfKarlsruhe has joined. 17:08:28 -!- AndChat|570836 has joined. 17:12:13 -!- micha2718l has quit (Ping timeout: 265 seconds). 17:13:45 -!- MoALTz has joined. 17:16:36 -!- KingOfKarlsruhe has quit (Read error: Connection timed out). 17:17:07 -!- micha2718l has joined. 17:18:25 " what the hell 2^4096 is larger than 10^100" <-- it gets clearer if you consider 2^4096 = 16^1024 > 10^100 17:19:58 -!- password2 has quit (Ping timeout: 240 seconds). 17:20:19 -!- AndChat|570836 has quit (Ping timeout: 240 seconds). 17:21:09 "exponentials grow pretty fast, huh" 17:21:41 nooodl: I can't even calculate 2*13 in my head 17:21:42 so.... 17:21:44 no :) 17:21:52 -!- shikhin has joined. 17:22:17 zomg, #esoteric has lambdabot 17:22:25 mroman, also useful is remembering that 2^10 ~= 10^3 17:24:32 I can't handle numbers well ;) 17:24:51 ok so i came up with a screwy thought experiment the other day 17:25:16 suppose you take a swimming pool and fit an airtight seal over the top of it 17:25:51 then you drill a 1cm wide hole in the top, and to that attach a 20m long, open-ended tube 17:26:47 if you then hold that tube straight upright and fill it with water, that tiny bit of extra water (less than 20 litres) will increase the pressure inside the entire swimming pool to 3 atmospheres 17:27:26 the only reason i can believe this is that the alternatives sound even sillier 17:28:58 -!- KingOfKarlsruhe has joined. 17:29:13 Phantom_Hoover: the water falls out of the tube and into the swimming pool, because the pressure inside the swimming pool is less than 3 atmospheres 17:29:29 ais523_, er, no 17:29:38 the swimming pool's sealed tight over the top, remember 17:29:49 oh, you mean the swimming pool's already full of water? 17:29:53 (assume there's no air between the surface of the pool and the seal, too) 17:29:53 in that case, exactly the same thing happens 17:30:00 ...no? 17:30:03 the pressure in the swimming pool increases slightly 17:30:09 and most of the water falls out of the tube 17:30:24 into the pool, which increases in pressure to compensate 17:30:34 eventually, you end up with a very small amount of water left in the tube 17:30:37 er, ais 17:30:40 water is incompressible 17:30:46 err, no? 17:30:50 what do you think water pressure /is/? 17:30:55 it's caused by the compression of wate 17:30:56 *water 17:31:08 So how big is your pool? 17:31:08 if you assume that a) water pressure exists, and b) water is incompressible, that explains why you're getting silly results 17:31:46 or put it another way: assume I have two completely sealed boxes of water, one at 1 atmosphere of pressure, the other at 3 atmospheres of pressure 17:31:50 no seriously, the pressure might be caused by compression but that compression is negligible in terms of volume 17:32:04 what is the difference between the boxes that determines the difference in pressure? 17:32:10 answer: one has more water molecules than the other 17:32:15 this is why when you're scuba diving you never get crushed, your body's largely made of incompressible water 17:32:21 no, ais, that's completely wrong 17:32:41 http://en.wikipedia.org/wiki/Properties_of_water#Compressibility 17:32:44 Phantom_Hoover: you don't get crushed because the water inside your body increases in pressure to match the water outside 17:32:53 If you take a serious pool, 25*20*3m, then if I haven't messed up my calculations you'll need something like 150 liters of water to compensate for 200kPa of extra pressure. 17:33:00 which by your logic would require that it should be compressible 17:33:09 er, *that it should be compressed 17:33:31 Phantom_Hoover: your link doesn't contradict what I or int-e are saying 17:33:46 "The low compressibility of non-gases, and of water in particular, leads to their often being assumed as incompressible. The low compressibility of water means that even in the deep oceans at 4 km depth, where pressures are 40 MPa, there is only a 1.8% decrease in volume." 17:34:05 the fact that water compressibility is low means that the pressure will increase quite rapidly as you put more water into the swimming pool 17:34:07 (4km depth is ~400 atmospheres, for reference) 17:34:23 but if it's only a very small extra proportion, like in your experiment 17:34:28 it won't have that much extra to increase 17:34:50 int-e, it's possible btw that i'm misinterpreting the formula for pressure in a static fluid 17:34:52 (150l, of course, is ridculously small compared to the 1.5 million liters that the pool contains) 17:35:27 or, well, I guess if you "fill the tube with water" 17:35:39 then that involves adding enough water into the tube to increase the pressure of the swimming pool to 3atm 17:35:52 which will be more than the capacity of the tube, but not by all that much because water compresses poorly 17:35:58 int-e, specifically, the density * gravitational field strength * depth formula 17:36:38 Phantom_Hoover: that's just for calculating the pressure. if you turn it into a proper intregral it's even true for compressible fluids 17:36:54 yeah, i know 17:37:57 so my reasoning is that because it's 20m from the pool to the surface of the water (in the tube), the pressure in the pool is the same as if the entire pool were 20m deep 17:38:09 Phantom_Hoover: it's just that you're multiplying something ridiculously small (compressibility of water) by something ridiculously large (the surface area of the pool divided by that of the hole and cylinder above) 17:38:29 Phantom_Hoover: yes, that's true 17:38:48 but if you just add enough water to fill the tube, the tube won't be full. 17:39:08 and if you keep pouring water in until the tube is full, then you will have 3atm of pressure at the bottom of the pool 17:39:08 because the water in the pool is compressed just a litte. 17:39:23 hmm 17:39:26 ais523_: at the top actually :) 17:39:41 that doesn't sound unreasonable actually 17:39:44 (oh. depending on how you hold the tube.) 17:39:57 int-e: err, of the top of the pool itself, yeah 17:40:03 the pressure at the top of the tube is 1atm, obviously 17:43:19 hmm, now I'm reading some of the rest of the article Phantom_Hoover linked to 17:43:29 and thought "huh, I'd never wondered before today whether ice conducted electricity" 17:46:30 -!- KingOfKarlsruhe has quit (Read error: Connection timed out). 17:46:54 When typing an address on an envelope, is it supposed to be Pica or Elite? 17:48:38 -!- KingOfKarlsruhe has joined. 17:49:12 -!- conehead has joined. 17:49:17 zzo38: whichever one fits 10 characters to the inch, IIRC 17:49:20 I forget which is which 17:49:30 OK 17:49:38 the wider one, that is 17:50:09 The instructions say Pica is ten character per inch 17:50:43 in that case, Elite must be 12 per inch 17:50:44 i guess int-e's explanation is correct 17:50:55 (though... idk, if you used a less compressible fluid...) 17:52:09 Phantom_Hoover: this is like the thought experiment of a perfectly inelastic floor 17:52:40 which makes anything placed on it much more fragile, as a result 17:53:16 but just a couple orders of magnitude less! 17:53:51 -!- AndChat|570836 has joined. 17:53:57 because it doesn't absorb impact of stuff? 17:54:56 nooodl: yep 17:54:57 -!- shikhin has quit (Ping timeout: 252 seconds). 17:55:21 and ofc, it's impossible to place a perfectly inelastic object on a perfectly inelastic floor unless you slow it down to a speed of exactly 0 as it touches 17:55:25 otherwise, one or the other mustb reak 17:55:30 *break 17:55:36 then go on breaking, and go on breaking, ad infinitum 17:55:55 until they end up as dust so fine any elasticity properties become meaningless 17:56:02 -!- micha2718l has quit (Ping timeout: 245 seconds). 17:56:09 i dunno though, this isn't that extreme 17:56:48 i did run through the calculations, but with a small pool and a more incompressible fluid you could still recreate the desired effect 17:57:28 why not just hire a swimming pool and find out? 17:57:42 because of the 'airtight seal over the pool' part 17:57:44 (the hard part is finding a seal for the top which can withstand 3atm of pressure) 17:58:27 http://golf.shinh.org/reveal.rb?easy+regexp/irori_1173885553&hs i love haskell code like this am i bad 17:59:02 yes 17:59:08 -!- Bike_ has joined. 17:59:12 I wouldn't think to make you love Haskell code like whatever make you bad 17:59:35 is that third line defining an operator #? 17:59:40 yup 17:59:44 IIRC, in OCaml, you have to use prefix notation to define an operator 17:59:45 the ones below it define % 18:01:22 -!- Bike_ has changed nick to Bicyclidine. 18:01:51 -!- KingOfKarlsruhe has quit (Changing host). 18:01:51 -!- KingOfKarlsruhe has joined. 18:02:18 oh my god: the m -> (%) -> (#) -> m mutual recursion. it's so good 18:02:57 what single ascii chars are available as operators if you have just Prelude loaded? 18:02:58 -!- shikhin has joined. 18:03:22 -!- shikhin has quit (Read error: Connection reset by peer). 18:04:09 i know % ? and # are popular in code golf, that i know of 18:04:46 oh i guess & is available. because that's a lens thing 18:04:56 (imagines Lens golf, shudders) 18:05:29 -!- KingOfKarlsruhe has quit (Read error: Connection timed out). 18:06:16 -!- KingOfKarlsruhe has joined. 18:06:48 -!- shikhin has joined. 18:06:54 > let 2 + 2 = 5 in 2 + 2 18:06:56 5 18:07:28 i think it's (%), (?), (#), (&), (!) 18:07:29 > let 2 + 2 = 5 in 1 + 1 18:07:30 *Exception: :3:5-13: Non-exhaustive patterns in function + 18:08:27 also, wonderful unicode punctuation, which anagol, however, counts as multiple bytes 18:08:47 -!- shikhin has quit (Read error: Connection reset by peer). 18:09:37 nooodl: Which it should, but maybe it can still help if you use the high codepoint symbols for less used ones 18:09:48 (Anagol also uses binary formats too) 18:09:49 > let (☃) = (+) in 2 ☃ 2 18:09:51 4 18:11:50 -!- shikhin has joined. 18:14:23 if it uses UTF-8, though, you're wasting bytes by using non-ASCII characters 18:16:10 -!- drdanmaku has joined. 18:16:19 > generalCategory '☃' 18:16:21 OtherSymbol 18:31:50 [wiki] [[User:GermanyBoy]] http://esolangs.org/w/index.php?diff=39788&oldid=39738 * GermanyBoy * (+449) 18:32:54 -!- KingOfKarlsruhe has quit (Changing host). 18:32:54 -!- KingOfKarlsruhe has joined. 18:35:38 ais523_: Yes, that is it. But it is what I am saying, one characters with more than seven bits, will use more bytes to encode using UTF-8 so you would use those for less often codes. 18:36:32 If you are using a programming language/interpreter/compiler that doesn't require UTF-8, then you can do a lot more too, since you are not limited to UTF-8 encoding and can therefore shorten some things. 18:37:55 -!- AndChat|570836 has quit (Ping timeout: 240 seconds). 18:39:11 -!- KingOfKarlsruhe has quit (Read error: Connection timed out). 18:40:06 I had idea about writing a Japanese-style manga using some help (although I probably never would do so, actually). It is called "Pokemon Card", and in it Professor Oak invents Pokemon Card, and the pokemons can talk (including the ones pictured on the cards) too, and many strange thing like you find in Akagi too. 18:40:19 Would such a things interest you at all? I am just curious. 18:41:25 ( update S [True,"foo",Z] 18:41:25 [True, "foo", 1] : HVect [Bool, String, Nat] 18:41:32 ( update not [True,"foo",Z] 18:41:33 [False, "foo", 0] : HVect [Bool, String, Nat] 18:42:01 ( update (++ "bar") [True,"foo",Z] 18:42:01 [True, "foobar", 0] : HVect [Bool, String, Nat] 18:42:30 -!- micha2718l has joined. 18:44:20 -!- micha2718l has quit (Client Quit). 18:46:06 -!- zzo38 has quit (Remote host closed the connection). 18:50:47 -!- _1_alexandro2 has joined. 18:50:51 <_1_alexandro2> hi 18:51:34 -!- _1_alexandro2 has quit (Remote host closed the connection). 18:58:38 -!- Bike has quit (Ping timeout: 240 seconds). 19:00:04 -!- shikhin has quit (Ping timeout: 276 seconds). 19:00:14 -!- shikhout has joined. 19:00:48 -!- Bike has joined. 19:07:09 -!- mihow has joined. 19:10:27 -!- shikhout has changed nick to shikhin. 19:12:26 #define __NR_oldolduname 59 19:16:07 fungot: what's your old old name? 19:16:07 olsner: they decided not to waste any brain cells storing obscure unix silliness). 19:16:22 fungot: p. good decision 19:16:23 olsner: now i started that mud as roleplayer make one cringe? back in seattle, and hang around here 19:19:48 #define __NR_fcntl64 221 19:19:49 /* 223 is unused */ 19:19:49 #define __NR_gettid 224 19:20:17 222 is not unused, it's just [REDACTED] 19:20:28 shachaf: are you having as much fun with syscall.h as I was with the Perl headers? 19:20:58 -!- Tod-Autojoined has joined. 19:22:29 I was just looking through it, but it turns out it has all sorts of jams. 19:22:38 What about the Perl headers? 19:22:54 they're massively inconsistent in capitalization style 19:23:08 and have some great names, too 19:23:11 <+ais523_> also, so far, my favourite macro name inside the Perl core is "SV_CHECK_THINKFIRST_COW_DROP" 19:23:18 -!- Tod-Autojoined2 has joined. 19:23:19 -!- TodPunk has quit (Ping timeout: 240 seconds). 19:23:35 `quote COW_DROP 19:23:35 No output. 19:24:41 -!- Tod-Autojoined has quit (Read error: Connection reset by peer). 19:26:18 -!- mihow has quit (Quit: mihow). 19:28:59 -!- Tod-Autojoined2 has quit (Quit: This is me, signing off. Probably rebooting or something.). 19:29:30 -!- TodPunk has joined. 19:32:01 [wiki] [[Lii]] N http://esolangs.org/w/index.php?oldid=39789 * GermanyBoy * (+5210) Created page with "'''Lii''' is a declarative object-oriented language created by [[User:GermanyBoy]] in 2014. It is named after a fictional 31st century tea company Lii Tea (from a SciFi book, ..." 19:33:02 [wiki] [[User:GermanyBoy]] http://esolangs.org/w/index.php?diff=39790&oldid=39788 * GermanyBoy * (+45) /* Summer languages 2014 */ Lii 19:33:39 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=39791&oldid=39784 * GermanyBoy * (+10) /* L */ 19:34:43 come to think of it, the reason that macro's required is almost as silly as the name 19:35:49 -!- aloril has quit (Ping timeout: 276 seconds). 19:42:47 I won't even ask the inevitable question 19:43:31 what's the deal w/ airline food 19:44:00 -!- aloril has joined. 19:48:14 Bicyclidine: whatever the deal, it's no big deal 20:02:37 -!- ais523_ has quit (Quit: Page closed). 20:05:46 everything in math.h is deterministic, right? i'm losing my mind here 20:06:01 -!- oerjan has joined. 20:06:30 nah, it's mostly just undefined behavior 20:14:59 IIRC math.h might have some uncertainty in the last bit or somesuch 20:15:19 Because they can't guarantee precision on all the bits for all special functions 20:15:25 And so it might depend on the implementation 20:16:22 Although the basic functions have a precision that is guaranteed to be deterministic 20:17:13 -!- Sprocklem has joined. 20:17:30 i'm getting results divergent by a multiple of 10^280 or so, is the thing 20:17:54 Well what's 10^280, really 20:17:58 Barely a thing 20:18:19 also i can no longer reproduce the nondeterminism, so, thinking my computer's haunted or such 20:18:43 The gods of computers are smiling on you 20:19:18 no, it stopped nondtermining on the results with 2800 dB 20:20:07 > 1024/log 10 * log 2 20:20:09 308.2547155599167 20:20:45 if math.h follows IEEE (which may or may not be required by C), then I think most operations are defined to give the exact result according to some rules 20:22:42 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:22:42 but some stuff might not have such requirements? 20:22:48 `? math 20:22:49 math? ¯\(°​_o)/¯ 20:25:48 olsner: i recall from previous discussion that there are some operations where it is not known how to calculate the perfectly rounded result, so either of the neighboring closest numbers is accepted. 20:26:13 *efficiently calculate 20:27:09 trigonometry and stuff, iirc 20:27:49 alas IEEE does not define the "f(n) if machine n halts, otherwise zero" operation 20:29:54 [wiki] [[Pi]] http://esolangs.org/w/index.php?diff=39792&oldid=39717 * 63.251.123.2 * (+48) add link to IDEOne copy 20:30:28 <`^_^v> f(n) = 1 20:30:41 -!- mhi^ has quit (Quit: Lost terminal). 20:31:07 f(n) = 0 is easier to handle 20:33:19 -!- EgoBot has quit (*.net *.split). 20:33:21 -!- Taneb has quit (*.net *.split). 20:33:21 -!- Jafet has quit (*.net *.split). 20:33:29 -!- Jafet has joined. 20:33:34 -!- EgoBot has joined. 20:33:40 -!- Taneb has joined. 20:36:30 -!- mhi^ has joined. 20:36:50 [wiki] [[Pi]] http://esolangs.org/w/index.php?diff=39793&oldid=39792 * 63.251.123.2 * (+0) is [[:Category:Brainfuck equivalents]] 20:39:18 -!- atehwa_ has joined. 20:40:20 -!- Jafet has left. 20:40:46 what the hell is Photo Library? 20:43:17 those Phising mails get more confusing 20:43:40 you're not even sure whether it's a serious phishing mail or a serious extortion mail or a serious joke 20:44:15 it' doesn't even say which website it tries to phish 20:44:44 try replying ;) 20:47:59 mroman: did someone point out yet that p^(x*y) == (p^x)^y ? 20:48:10 no 20:48:16 oh wait 20:48:16 yes 20:48:19 but no 20:48:22 I already knew that 20:48:42 ooh, freefall has a stand-up comedian :) 20:48:58 well then obviously if p^x is 1, so is p^(x*y) 20:49:07 (and this all works mod N) 20:49:41 > 1^(0/0) 20:49:43 Could not deduce (GHC.Real.Integral b0) 20:49:44 arising from a use of ‘GHC.Real.^’ 20:49:44 from the context (GHC.Num.Num a) 20:49:44 bound by the inferred type of it :: GHC.Num.Num a => a at Top level 20:49:44 The type variable ‘b0’ is ambiguous 20:49:46 > 1**(0/0) 20:49:48 1.0 20:50:05 yeah. the tough part was figuring out that you can rewrite a^(x*y^(k+1)) as a^(x*(y^k)*y) 20:50:29 fiendish ~ 20:51:07 (I'm not very good at match) 20:51:11 math 20:51:16 also not very good at spelling 20:51:24 although I can write 120 WPM 20:51:52 1 2 0 W P M. 20:51:53 finedish 20:52:04 that wasn't so hard :P 20:52:11 -!- Sorella_ has joined. 20:52:15 I overuse those smileys, don't I. 20:52:21 int-e, :P 20:52:28 Also, I went to Alton Towers today 20:52:30 That was fun 20:52:38 120 words per minute feels really fast 20:52:47 but compared to the guys who can write 200 WPM it's slow as hell 20:52:58 seeing as the average internet user is somewhere around 60 WPM 20:53:07 > 120^2/200 -- hell, in words per minute 20:53:09 72.0 20:53:22 which I don't really beleive but that's what does websites say 20:53:28 60 WPM is terribly slow 20:53:31 I can do that one handed 20:54:01 -!- edwardk has joined. 20:54:04 I should learn to touch-type. I've been thinking that for 15 years :) 20:54:18 on touchscreen keyboards? 20:54:25 -!- idris-bot has quit (*.net *.split). 20:54:26 -!- Sorella has quit (*.net *.split). 20:54:27 -!- nooodl has quit (*.net *.split). 20:54:27 -!- Melvar has quit (*.net *.split). 20:54:28 -!- atehwa has quit (*.net *.split). 20:54:30 In the meantime I tend to type faster than I think. 20:54:47 I tend to write phonetically 20:54:47 mroman: no, on normal mechanical ones 20:54:52 mroman, yeah, same 20:55:03 then you have no real reason to learn touch typing, except perhaps to get slightly more time left over for thinking 20:55:07 -!- nooodl has joined. 20:55:09 I almost wrote "advantage" instead of "about it" a few minutes ago 20:55:30 what's touch-type then? 20:55:44 it could be more (or less) ergonomic to do touch typing than ad-hoc typing though 20:55:47 typing with most fingers resting on the home row 20:56:05 "d) is typing without using the sense of sight to find the keys." 20:56:22 unlike hunt-and-peck typing where the hands wander all over the keyboard. 20:56:33 (often but not always at horrible speed) 20:56:36 home row is a stupid concept I think 20:56:54 and you can ask the fastest typer in the world and he'll say the same thing 20:57:11 it's a guy? 20:57:12 your hands are supposed to wander all over the place 20:57:30 Bicyclidine: I don't really know if he's officially the fastest 20:57:33 but his > 200WPM 20:57:35 *he's 20:58:00 the way I type is an extension of hunt-and-peck I think 20:58:04 I don't use the home row 20:58:11 `thanks banks 20:58:12 Thanks, banks. Thanks. 20:58:15 my fingers wander all over the place when necessary 20:58:24 but I can type without looking at the keyboard of course 20:58:49 The idea is, that you can use your index finger 20:58:59 close your eyes, move the index finger to your nose 20:59:11 and then somebody says a key and you can press that key with your index finger 20:59:16 without looking 20:59:22 mroman: could you check whether you mean WPM or CPM please? 20:59:28 what's CPM? 20:59:35 characters per second 21:00:08 it's WPM 21:00:11 per minute even 21:00:34 where a word is defined as 5 characters 21:00:40 > 120*5 21:00:42 600 21:00:49 that's 600 characters per minute 21:00:58 not counting spaces I think 21:01:09 > 600/60 21:01:11 10.0 21:01:18 that's 10 characters per second 21:02:06 -!- Patashu has joined. 21:02:29 To type that fast you memorize word patterns and just spill them out very fast 21:02:35 by "twitching" your finger 21:02:59 stuff like contest, content, sentence can be written incredibly fast 21:03:03 -!- Patashu_ has joined. 21:03:03 -!- Patashu has quit (Disconnected by services). 21:03:38 other words like quickly are harder for me to type 21:03:50 omnious 21:03:54 mostly due to two vowels in a row 21:04:17 (including a free typo!) 21:04:18 I can only use my left index finger to type 21:04:34 which is why I can't write words with two or more vowels in a row fast 21:04:45 (left index finger to type vowels) 21:05:18 dvorak? 21:05:29 also obviously I can't keep up 120 WPM for more than two minutes :D 21:05:31 int-e: yep 21:07:15 I can type on it better because my left hand is clumsy 21:07:32 and dvorak enables me to type vowels with my left hand and rest I can write with my very nimble right hand 21:07:58 also my pinky finger are somewhat "trigger fingerish" 21:08:06 so I dont' really use them to type too 21:08:15 which breaks the whole home row system anyway 21:08:29 -!- Melvar has joined. 21:08:55 -!- Slereah has joined. 21:09:20 int-e: are you using qwerty? 21:09:32 -!- Slereah_ has quit (Ping timeout: 265 seconds). 21:09:54 I'm still waiting for text to speech programming 21:10:09 which will probably bring other programming languages to live 21:10:41 saying int space main paranthesis right int space argc comma char asteriks asteriks ... is tedious 21:11:05 wait 21:11:08 that's speech to text 21:11:14 yes I'm using a qwerty layout keyboard 21:11:16 COMPUTER, PLOT A COURSE TO THE B NEBULA 21:12:14 (which is already slightly odd in Austria) 21:12:31 you're an ostritch? 21:12:52 austrian 21:13:18 I'm from Germany originally. Close enough. 21:13:23 ah 21:13:31 Dann kannst du ja Deutsch :) 21:13:40 Nie und nimmer. 21:13:59 It's "ostrich" actually... 21:14:16 In any case I use English all the time. 21:14:26 at home too? 21:14:41 Being single, yes, certainly. 21:14:44 oh 21:15:09 (reading english books, being on english speaking IRC channels, reading... well, all sorts of computer related stuff) 21:15:15 Yeah me too 21:15:30 reading english books, watching tv series in english, movies in english 21:15:39 I actually think in english 21:15:44 dreams too sometimes 21:15:56 -!- Sprocklem has quit (Quit: g2g). 21:16:02 and by thinking I mean those monologues you do in your brain 21:16:15 I know what you mean 21:18:30 -!- edwardk has quit (Quit: Computer has gone to sleep.). 21:18:47 I only use it "written" though 21:18:54 No one to "talk" to 21:19:53 I'm working in academia, and a few of my colleagues don't even speak german. 21:22:20 schrecklich 21:23:03 ugloubli 21:24:05 unmglisch 21:25:58 -!- Patashu_ has quit (Ping timeout: 265 seconds). 21:29:27 -!- zzo38 has joined. 21:42:22 -!- oerjan has quit (Quit: leaving). 22:01:08 -!- edwardk has joined. 22:03:07 -!- zzo38 has quit (Remote host closed the connection). 22:06:52 -!- boily has joined. 22:07:17 -!- boily has quit (Client Quit). 22:26:50 -!- mhi^ has quit (Quit: Lost terminal). 22:31:53 -!- zzo38 has joined. 22:34:54 -!- edwardk has quit (Quit: Computer has gone to sleep.). 22:43:28 -!- Sprocklem has joined. 23:05:01 -!- Sgeo has joined. 23:05:14 -!- fungot has quit (Ping timeout: 252 seconds). 23:09:15 -!- nooodl has quit (Quit: Ik ga weg). 23:16:56 -!- Sorella_ has changed nick to Sorella. 23:17:05 -!- Sorella has quit (Changing host). 23:17:05 -!- Sorella has joined. 23:30:40 -!- Bike has quit (Ping timeout: 265 seconds). 23:31:38 -!- Bicyclidine has quit (Ping timeout: 240 seconds). 23:32:25 -!- Bike has joined. 23:44:55 -!- MoALTz has quit (Read error: Connection reset by peer). 23:45:51 -!- MoALTz has joined. 23:53:12 -!- shikhout has joined. 23:56:16 -!- shikhin has quit (Ping timeout: 260 seconds). 23:59:52 -!- yorick has quit (Remote host closed the connection).