00:00:00 I'm assuming something's becoming unplugged 00:00:18 So going to open up computer 00:01:12 Sgeo: how are you talking then? 00:01:40 Becoming. Not completely. And screen isn't always that bad depending on how it's tilted 00:01:49 Although it's been getting worse 00:02:18 lol 00:02:30 -!- FreeFull has quit. 00:04:59 -!- FreeFull has joined. 00:05:52 -!- FreeFull has quit (Client Quit). 00:06:08 -!- mihow has quit (Quit: mihow). 00:06:17 -!- FreeFull has joined. 00:11:31 -!- Sprocklem has joined. 00:15:25 -!- S1 has quit (Quit: S1). 00:52:16 -!- puppy has joined. 00:53:29 -!- nys has quit (Ping timeout: 272 seconds). 00:53:52 -!- puppy has changed nick to nys. 00:54:51 -!- idris-bot has quit (Quit: Terminated). 00:55:46 -!- idris-bot has joined. 01:02:02 -!- CrazyM4n has joined. 01:46:58 are base64 literals a good idea? 01:48:37 base64 literals in *what*? 01:49:29 oren, no. base63 is better 02:01:18 base64 literal integers 02:02:11 hmm i'm gonna put them in anyway 02:05:26 Easy to implement in C++! 02:10:02 -!- Bicyclidine has joined. 02:33:06 I personally enjoy base 62 02:33:45 base62 does have advantage of not requiring 2 extra characters 02:35:22 but with the version of base64 i'm using, 63 is =_= 02:36:12 Why not be original? Why not base 79? 02:36:20 not a power of 2 02:36:34 You're going to let society tell you that you shouldn't use base 79? 02:36:38 i will support also base 60 02:36:39 And that 64 is better? 02:36:58 Society doesn't know what they are talking about. Spit in the face of society and use base 79 02:36:59 in form :12:30: 02:37:37 bases for integers: 10, 16, 60, 64, 256 02:38:18 That's what they try to tell you 02:39:12 hmm... actually maybe i should just do BNN,NNNNNN 02:39:21 where the first NN is the base 02:40:59 -!- Bicyclidine has left. 02:42:43 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 02:53:29 -!- oren has quit (Quit: Lost terminal). 03:26:34 -!- oren has joined. 03:37:36 they said dlls were hell. whoever they were, they never had to deal with these stupid .mex files. 03:44:47 -!- heroux has quit (Ping timeout: 264 seconds). 03:45:00 -!- heroux has joined. 03:45:58 no base32? base8? base2? 03:48:12 What are these stupid .mex files? 03:48:43 Mexican files, of course 03:54:22 .mex files are executables written in c++ that hook into matlab 03:54:34 [wiki] [[K-on Fuck]] N http://esolangs.org/w/index.php?oldid=41339 * 50.53.30.212 * (+470) Created page with "K-on Fuck (けいおんfuck) is an esoteric programming language believed to be created by Yuichi Nishiwaki. It is a programming language where all input is done via the japa..." 03:55:20 ew 03:55:31 [wiki] [[K-on Fuck]] http://esolangs.org/w/index.php?diff=41340&oldid=41339 * 50.53.30.212 * (+4) 03:55:42 K-on! iei! 03:55:56 i like that show 03:56:03 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=41341&oldid=41287 * 50.53.30.212 * (+16) 03:57:34 and someone from oregon added it to the wiki 03:59:17 the name of that esolang is extremely ungooglable 03:59:36 that's the point 04:00:36 looks like we have our new featured language 04:01:44 Gotta rename it to K-On! Fuck! 04:02:49 the problem is there are many things on the internet with that name, most of which are illegal in my country 04:04:24 Heh 04:05:20 -!- nys has quit (Quit: sleep). 04:13:23 japanese people all know what the word 'fuck' means... this guy is definitely trolling everyone. 04:14:43 Japan is a country composed of trolls and Samsung 04:15:38 -!- Frooxius has joined. 04:17:55 you realise brainfuck also means, like, fucking brains, right 04:19:04 CrazyM4n: Somehow I don't think Japan has anyone from Samsung. 04:19:08 Samsung is Korea, dude. 04:19:21 like 20% of korea's economy anyway 04:19:39 uh 04:19:41 yeah 04:19:45 And yes, pretty much anyone from Japan and in particular anyone in Japan who watches anime would know what "fuck" means. 04:19:50 the samsung playstation 4 is made in taiwan 04:20:30 If nothing else they know it from South Park. 04:20:41 ankuru fakka 04:22:58 (for god knows what reason, South Park is moderately successful in Japan) 04:24:49 in Japanese? 04:25:20 Yes. 04:25:36 -!- CakeMeat has joined. 04:25:52 Were you talking about how weird English is 04:26:02 No. 04:26:19 nah we were talking about how japan is full of toolls 04:26:23 *trolls 04:26:36 As is all of the world? 04:26:39 Oh, Japan 04:26:44 I'd love to go there though 04:26:51 -!- ZombieAlive has quit (Remote host closed the connection). 04:26:54 and in particular one troll wrote an esolang called 'K-on fuck' 04:27:04 which is of course ungooglable 04:27:14 Explain? 04:27:18 Whats it do 04:27:36 well if you google it you get lots of japanese child porn 04:27:55 ... 04:27:59 Well then 04:28:02 Understandable 04:28:07 because K-on is the name of a manga featuing little girls 04:28:12 Use deep web 04:28:15 -!- ZombieAlive has joined. 04:28:26 Marketable assasination league 04:28:29 that will make the problem worse undoubtably 04:28:33 I think we're changing the topic now 04:28:38 ok 04:28:40 Ok 04:28:45 hehheheh 04:28:52 Assasination 04:29:03 buttbuttination 04:29:15 Thats not what i was refering to 04:29:33 I was refering to i can hire assasins 04:29:53 Just search it on paheal or something 04:29:59 assassin comes from the same root as hashish 04:30:02 That should get you the esoteric language 04:30:13 oh god no 04:30:18 don't 04:30:46 despite knowing japanese and having been to japan i have a low tolerance for their shit 04:30:48 use x0r 04:31:09 "Japan, I've had enough. This is too far. I've had too much of this shit." 04:31:38 speaking of low tolerance 04:31:39 Japan pumps out alot of scandolous manga 04:31:41 It is fair. Some aspects of their society are pretty fucked up. 04:31:53 CakeMeat: Well no shit, Japan has a lot of manga of every sort. 04:31:53 Sorry elliott 04:32:00 it's okay I'm blaming everyone else too 04:32:04 Lets stop guys 04:32:45 On an unrelated note, I'm in like 5 channels and only one of them has had nobody talking in it. 04:33:02 ok. new topic: why does matlab use such screwed up keyborad shortcuts? 04:33:07 The only thing there is: http://i.imgur.com/tzZep0I.png 04:33:20 i am not clicking on that 04:33:23 ever 04:33:29 That screen shot tho 04:33:43 It's a screenshot of the only activity in #perl over the course of about 6 hours 04:33:57 it's "ok... on" 04:34:18 Because oren they are just saying Fuck you silently 04:34:46 fine i wgot it and it is safe 04:35:33 wget is a germanic strong verb wget, wgot, wgotten 04:35:42 Off topic 04:35:49 BEEP BEEP 04:36:20 Anyways¿ why are there so many alters of bf 04:36:23 perl has latin. does any language use ablaut? 04:36:31 "¿" 04:36:39 How do you accidentally hit that key 04:36:49 im on that page 04:36:52 Did you put that key on your keyboard layout for the sole purpose of accidentally hitting it 04:36:52 ¿¡ 04:37:10 I think his keyborad is spanish 04:37:25 Re assigning keyboards to show alt symbols along the num pad 04:37:45 mine is, too 04:37:55 ¿¡ ®© ° § 04:38:00 TBH I don't even know how to get to ¿ 04:38:06 but I can do this áéíóú 04:38:10 Alt+21 04:38:19 Wait 04:38:25 Alt+2216 04:38:42 If only alt codes worked in ubuntu 04:38:50 Pfft 04:38:53 Ubuntu 04:39:02 I have RFC1345 on my layout 04:39:06 hold on 04:39:16 Painted green keys 04:39:57 I got everything I need 04:40:21 I got haskell, python, ruby, simplefunge, and league of legends, 04:40:30 All on ubuntu 04:40:42 What do you use ruby 04:40:51 For? 04:40:59 ¿ 04:41:03 ¿? 04:41:11 §_§ 04:41:16 I use it for things 04:41:17 I type & 04:41:24 Like?¡ 04:41:26 Where I want to make the code look good 04:41:48 So a code to make your slop look spiffy 04:42:22 https://gist.github.com/CrazyM4n All of my actually ok code is here 04:42:23 Note: no ruby 04:42:34 ruby is annoying... we did not need a python with {} 04:42:41 JK there's 1 ruby script 04:42:54 Maybe we just didn't need ruby with " " 04:42:57 -!- Frooxius has quit (Quit: *bubbles away*). 04:43:16 Haskell, Python , javascript++ , C , Simplefunge. Are all i need 04:43:30 ruby barely uses {}.... 04:43:41 s/\.$// 04:43:44 also it predates Python, IIRC 04:43:56 Yes but 04:44:03 Its very easy 04:44:06 CakeMeat: Are you being seirous about Simplefunge because if it's caught on in the time that I've been away from esoteric languages 04:44:12 I'd be pretty hyped 04:44:14 okay, no, Python is older. but still 04:44:19 Ruby is as old as me. 04:44:27 Youngin' 04:44:44 -!- Frooxius has joined. 04:45:38 also Ruby was popular in Japan way before it caught on elsewhere, IIRC 04:45:54 Ruby on rails 04:46:13 Also no ones made a ruby alter called emerald yet and im sad 04:46:27 maybe Ishould make sapphire 04:46:30 There's gem 04:46:32 nintendo did 04:47:08 it would be different from ruby in only 4 ways 04:47:33 What if it had all the syntax 04:47:37 but enough to make almost all programs in either one incompatible 04:48:20 Makes most useful program.. Its incompatible with everything 04:48:27 actually that is an interesting category: a language minimally different from a mainstream one, but enough to make porting a huge hardship 04:48:43 the struggle is real 04:49:28 ? ¿ 04:49:48 `icode ¿ 04:50:02 So 04:50:10 Python 2 and Python 3 04:50:10 ​[U+00BF INVERTED QUESTION MARK] [U+0020 SPACE] 04:50:18 exactly. 04:50:20 So laggy? 04:50:54 Man, the Python community was so much more fun when I was younger. XD 04:50:58 is it my fault? my conn is also running matlab through ssh -X 04:50:59 Python 2 will be in my heard forever 04:51:18 Every one i know hates python 04:51:45 I love python and hate the developers 04:52:04 Python was my escape from BASIC. In the end though, it just wound up being my gateway drug to Lisp. 04:52:16 The only thing I don't like about python is everything 04:52:17 Fancy 04:52:18 Except using it 04:52:28 Python to many rules 04:52:38 Imo 04:52:40 also whytf did they make perl 6? 04:52:47 noone uses it 04:53:17 Tried to necro perl 04:53:21 whereas perl 5 is still huge 04:53:22 They didn't realize ruby replaced it 04:53:39 no it didn't, PHP replaced it 04:54:08 CGI sh -> perl -> PHP -> ??? 04:54:26 Node.js 04:54:32 Or, any similar thing 04:54:37 Python, probably 04:54:38 Nooo! js 04:54:43 heh 04:54:55 Ruby was meant as perl's successor of sorts 04:55:17 Node.js is popular with chat bots that arent on irc 04:55:22 but perl had to be replaced with somthing just as fucked up and inconsistent 04:55:35 not something clean 04:55:59 So ruby 04:56:10 I give it crap because I love it 04:56:26 I think ruby is much cleaner than PHP 04:56:44 But perl and PHP weren't really meant for the same thing 04:57:09 Never learned Ruby. If I was still considering an RPG Maker project I'd consider it, but Lua is more widely used for game scripting. 04:57:29 Lua 04:57:31 Roblox 04:57:34 Please 04:58:06 Lua is good for powder particle based games 04:58:07 Oh the days of being 12 and playing Roblox every day 04:58:31 I like the looks of Lua; it's like 90% just another Python but with a hint more Lisp. 04:58:38 Heh, I hate it 04:58:52 I tried making things in a certain powdery simulation with it 04:58:56 But I couldn't deal with it 04:59:12 Powder toy? 04:59:23 Also java is more game maker material 04:59:23 Yeah 04:59:43 J_Arcane: and one-based indexing @_@ 04:59:45 bah... for real games just use BASIC 04:59:46 That was what you were referring to also? 04:59:48 Really though, I just didn't see the point learning another slowass scripting language when even the slowest Lisp was faster. 05:00:29 (of course, Lisp skills also won't get me a job ...) 05:00:55 bah... i got a job by promising to read up on PHP 05:01:08 for a week 05:01:13 Hah hah. 05:01:14 Just turned Friday 05:01:43 oren: Yeah. I am not surprised. 05:02:04 the job market for programmers is still obscene 05:02:27 (at least by other professions' standards) 05:02:33 Governments love programmers though 05:02:41 It just turned friday? 05:02:47 For me 05:02:47 More like it just turned 10 05:02:50 in my time zon 05:02:51 Part of me gets super psyched out of actually applying for programming work because I feel like I don't have much skills yet, but then people tell me stories about whole workplaces that have to be reminded to only push executables that actually, like, execute, and I don't feel as self-concious. 05:03:14 Then I go read about continuations or something and start considering a CS degree again ... 05:03:29 Why not do it? 05:03:39 money. 05:03:45 Its your dream carrie it out 05:04:00 school's free here in Finland, but the student benefit is crap, and I have a wife. 05:04:09 Finland is cool. 05:04:11 I am at the final stretch of my CS degree... I have learned a lot, but there is still lots that I need to learn 05:04:11 Finland?! 05:04:14 Lucky 05:04:30 Yup. 05:04:33 * J_Arcane is expat 05:04:35 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 05:05:34 really the more i know the more i realize that there is so much we don't know 05:05:36 whoa, http://golf.shinh.org/reveal.rb?different+letters+parity/kaki_1416990781&rb 05:06:06 What is that 05:06:10 What is it supposed to be? 05:06:19 I didn't know about Fixnum#[] 05:06:26 Nor did I 05:06:50 Huh... 05:06:54 Wow, that's awesome 05:06:55 one of my lecturers began a lecture with "this is what is true about image processing as of last week" 05:07:13 we are in such a new field 05:08:00 Did you see how google just managed to make an accurate, plain english image recognition engine? 05:08:12 That crap is so futuristic 05:08:26 oren: I just really hope the sudden popularity of FP doesn't prove to be a bubble by the time I get out into the work place. XD 05:08:58 But then I remember that like 75% of the US financial sector is still writing COBOL and I get depressed ... 05:09:19 COBOL is better than PHP IMO 05:09:31 :D 05:09:57 I was reading an article about inhouse programming languages last night and learned about Hack. 05:10:05 Facebook made a typed PHP ... wot. 05:10:29 that is excellent, solves one of the problems with php 05:10:34 next compile it 05:10:39 I can't deal with PHP 05:10:42 What? 05:10:58 facebook *do* compile it. 05:11:04 why the hell do they want to parse and interpret each php file on each request 05:11:05 http://php.net/mysql_real_escape_string 05:11:12 http://hhvm.com/ 05:11:18 they have for years 05:11:33 excellent 05:11:37 Such amaze 05:11:40 It's kinda amazing the amount of effort they've put into a frankly terrible platform. 05:12:10 they probably have 10M+SLOC 05:12:16 so locked in 05:14:03 SLOC = source lines of code, as opposed to what, preprocessed? 05:15:51 As opposed to the 5 or so lines of bytecode 05:16:08 Apparently house-developed programming languages and even just what programming language you use is becoming a big "thing" in competitive terms. 05:16:31 Like, it's not uncommon anymore for companies to literally not talk about or even NDA what languages they even use. 05:16:58 Kinda easy to figure out what fb uses 05:16:59 How absurd. 05:17:00 There's a bunch of companies that use Racket, but almost none of them talk about it publicly at all. They treat it like some kind of secret weapon. 05:17:30 Amaze secret racket 05:18:05 that is ridicueux. 05:18:35 I have a friend who works at a shop with their own hideous in-house XML scripting language, and he is literally not even supposed to talk about it, they act like it's some massive trade secret that they hacked ugly control loops into x-expressions. 05:19:08 Is it that bad? 05:19:09 gah. they keep it a secret so that programmers don't run from them like the plague 05:19:36 who the hell wants to write x-expressions? 05:19:50 oren: He's been there like three months, and they're paying him over €3k a month, and he's still looking for another job. So maybe you're right. ;) 05:20:02 They're going to have to kill him 05:20:11 To keep the trade secret 05:21:40 i am liking these transparent terminal windows btw 05:21:52 i just found otu about them today 05:22:02 Can you show? 05:22:08 sure 05:22:52 are we showing off terminals? http://i.imgur.com/rdDZJap.png 05:23:13 `slist 05:23:15 slist: Taneb atriq Ngevd Fiora Sgeo ThatOtherPerson alot 05:23:44 Is that a tree? 05:24:59 Ç-Ç 05:25:01 http://ctrlv.in/469610 05:25:53 What WM is that? 05:26:01 XFCE? 05:26:34 Sees oren doing stufg in background. 05:26:47 XFCɛ4 05:26:47 Also nice. 05:27:11 ...how did you correctly guess xfce4. 05:27:22 there's no window decorations or anything. 05:28:22 Magic 05:29:01 the tiny mouse on the menu button in the top left 05:29:46 oh, wtf? 05:29:46 or maybe the window decorations on the remote X matlab window 05:29:51 that crappy site cut off the top of the image 05:31:08 The tiny mouse at the top 05:31:17 i like the way the title on each ncurses app works like a title for the terminal window 05:32:26 Cool 05:32:54 -!- diginet has quit (Ping timeout: 250 seconds). 05:33:56 "\x1b]2;" + title + "\x9c" 05:34:32 i don't have window decorations on my terminals 05:34:44 there is no need for them 05:35:49 -!- diginet has joined. 05:40:08 btw CrazyM4n i like the tree. is that a 3d model of some sort 05:41:34 i have another 300 images to run the face detector over 05:41:55 another all nighter 05:42:00 -!- adu has quit (Quit: adu). 05:42:58 -!- adu has joined. 05:43:24 Yeah 05:43:32 I posted it on /r/low_poly a long time ago 05:43:34 Want it? 05:43:52 Thanks btw 05:44:47 i dunno how to use polygons. i am taking the graphics course next semester. i am only taking the image processing course this term 05:45:28 fuck why does my arm hurt when i get the flu shot 05:46:37 That sucks 05:46:41 I just meant do you want the image 05:46:51 oh. sure why not 05:47:17 http://i.imgur.com/53qGNGe.jpg 05:48:04 wgot it 05:48:57 ~250 images left... god why is this thing so slow 05:50:15 after this i have to train a thing to recognize male and female faces 05:50:31 and classify them 05:51:08 (that is the faces in the images i just located faces in) 05:51:32 Heh 05:51:37 OpenCL to the rescue? 05:53:02 i am already using a multithreaded library with SSE and stuff... this thing is slow despite it 05:53:34 stupid MEX file was hard to compile too 05:54:40 i wonder if resizing the jpegs would help. 05:59:21 -!- oren has quit (Quit: midnight snack). 06:03:09 -!- augur has joined. 06:08:12 if oren comes back tell him I left 06:08:38 -!- CrazyM4n has quit (Quit: {}+[]). 06:16:38 -!- adu has quit (Quit: adu). 06:22:00 -!- oren has joined. 06:22:59 -!- cluid has joined. 06:23:15 hi cluid 06:23:18 hello 06:23:52 * oren is eating delicious beef jerky 06:25:10 so did you get your compiler to work? 06:30:55 no 06:31:26 i have to do some debugging 06:31:31 but it dont want to 06:31:38 I added that thing you recommended about the prototypes though 06:38:02 -!- drdanmaku has quit (Quit: ,). 06:41:23 debugging is like the flu shot. it hurts, but you'll be glad later 06:42:12 so is refactoring. these are the boring bits between the 'battles' 06:46:14 I'd say flu shots are closer to refactoring than debugging. With both, you only notice how bad it is when you don't do it, not how good it is when you do it 06:47:50 mhm and i just wasted an hour on one stpid little bug 06:48:29 I wish I could link the chart I just saw. I'm proud of it 06:51:24 what was it a chart of? 07:02:27 whats up 07:03:57 https://gist.github.com/wasabili/737881 07:04:30 echo "++++[>++<-].." | driver/brainfuck 07:06:33 https://gist.github.com/wasabili/562178 translation from kon fuck to branfuck 07:35:32 Aw, /proc//cmdline shows "only" the first 4096 bytes of the command line. 07:37:12 interesting 07:44:11 -!- shikhin has joined. 07:44:19 -!- Patashu has joined. 08:04:49 -!- CakeMeat has quit (Quit: Connection closed for inactivity). 08:05:18 I was thinking it was some ps limitation that even with 'ww' it's not quite unlimited, but apparently not. 08:05:56 its probably the linux kernel? 08:06:00 that woudl be my guess where to look first 08:07:47 fizzie: you're reading it wrong. this is not a limitation, it's the exact opposite. the kernel lets you exec processes with very long command lines, but it won't try to store a pristine copy of that long command line for debug purposes, for that would be a pointless memory leak. 08:08:16 the kernel could be evil enough like old unixen to restrict your command line length to 4k too, but it's kind enough not to do that. 08:09:38 the process you start can overwrite the passed command line, and if it's really huge, it could even munmap it in theory (it can't do that for short command lines in normal programs because it's on the same page as the starting stack and the very important elf stack header containing the sysconf data. 08:09:47 b_jonas: But it's not a copy. 08:10:03 um, not sysconf. whatever that magical data is that's stored there. 08:10:05 At least I don't think it is. 08:10:26 fizzie: how could it be not a copy? the process you start is free to overwrite that data. 08:10:43 Yes, and I think that will be reflected in proc. 08:10:57 no, I think there's some system call that lets the process overwrite what's displayed in proc 08:10:58 proc_pid_cmdline: struct mm_struct *mm = get_task_mm(task); len = mm->arg_end - mm->arg_start; if (len > PAGE_SIZE) len = PAGE_SIZE; res = access_process_vm(task, mm->arg_start, buffer, len, 0); 08:11:20 Okay, possibly it's a separate thing. 08:11:27 what? 08:11:35 Because there's a comment that makes reference to setproctitle. 08:11:40 don't forget that ps can display two or three different commandline-like things 08:11:52 also that all this depends a lot on your flavor of unix 08:11:55 But still, that if (len > PAGE_SIZE) len = PAGE_SIZE; makes it look like an arbitrary limit. 08:12:59 page_size's arent arbitrary, assuming that that means a memory page like in my OS course. it's a property of the mmu. 08:13:28 "arbitrary" in the sense that it could read the whole thing from mm->arg_start to mm->arg_end. 08:13:41 http://sprunge.us/PCPR is the entire thing, for the record. 08:17:08 wow that is arbitrary. but maybe some limitation is necessary to stop some exploit? 08:20:07 why does the linux kernel use goto? 08:20:24 because gotos are good. 08:20:37 gotos are very clear when used well 08:21:21 especially if the labels are named descriptively 08:22:13 Gotos are good for matching resource allocation with cleanup. 08:22:45 http://lpaste.net/115710 08:22:50 -!- adu has joined. 08:23:14 and they are not confusing. go to here, go to there, it could not be clearer 08:23:39 with your code you have to count }s 08:23:49 pro-goto reactionaries are so last century :p 08:23:55 (you need goto in C though because it sucks too much) 08:23:58 oren: "The answer to that is that if you need more than 3 levels of indentation, you're screwed anyway, and should fix your program." -- kernel style guide. 08:24:04 Er, that was to cluid. 08:24:28 right, i'm arguing in favor of goto (but only in C) 08:24:35 idea; amend c with some kind of exception handling mechanism 08:24:51 setjmp longjmp 08:24:54 lol 08:24:57 not like that! 08:24:57 it already has one 08:24:59 i mean something really simple 08:25:03 that desugars into goto 08:25:13 * Sgeo alters oren 08:25:18 something that is block structured 08:25:31 block structure is confusing 08:25:55 ALTER OREN TO PROCEED TO COBOL 08:26:28 wait is that a TOFROM statement like i suggested earlier today? 08:26:36 COBOL has one? 08:26:36 cluid: compare that to the current version, https://github.com/torvalds/linux/blob/master/fs/proc/base.c#L199-L209 08:27:20 oren: I didn't see your TOFROM statement 08:27:27 int-e: I was looking at an old copy since that's what I had around. 08:27:39 https://github.com/torvalds/linux/blob/0cf744bc7ae8e0072159a901f6e1a159bbc30ffa/mm/util.c#L364 08:27:41 so they moved the code here 08:29:16 http://home.ccil.org/~cowan/cobol-horrors.html 08:29:57 earlier today (well, yesterday) i suggested you could have a statement that connects any two lines so control would flow from one to the other 08:30:33 @oren, 08:30:33 Unknown command, try @list 08:30:38 nondeterministic finite automata 08:30:40 -!- FreeFull has quit. 08:30:57 http://en.wikipedia.org/wiki/Nondeterministic_finite_automaton#mediaviewer/File:NFASimpleExample.svg 08:31:38 oren: there needs to be a GOTO statement to alter 08:31:55 oh, so it is a limited TOFROM 08:32:04 aaaah beautiful switch statement... https://github.com/torvalds/linux/blob/master/fs/afs/fsclient.c#L1488 08:32:50 Also not sure if you can actually compute 08:33:16 http://computer-programming-forum.com/48-cobol/b7aab4801e867645.htm 08:33:16 int-e, that line 1557 looks very confusing 08:33:33 oh actually its ok 08:33:39 I didn't realiez they incremented twice 08:34:21 C needs a goto case [n] statment. would make that line clearer 08:34:39 Well, or with Cobol's ALTER to cause it to alter the program to connect two lines of control. 08:34:49 what about continue; ? 08:34:52 oren: Yes, that is also something I have wanted to look at too 08:35:24 Also, C doesn't have \& like Haskell but I can just use "" instead it works OK 08:36:56 what does \& do in haskell? 08:38:42 It's an escape sequence that turns into nothing. 08:39:57 ummm why would you need such thing? 08:40:25 > ("\1234","\12\&34") 08:40:26 ("\1234","\f34") 08:40:50 Well, that wasn't so effective. But anyway \ followed by any number of digits is a single character. 08:41:21 > let { x = "abc\ &def" } in (x, length x) 08:41:22 :1:49: 08:41:22 lexical error in string/character literal at character '&' 08:41:44 > let { x = "abc\ \def" } in (x, length x) 08:41:45 ("abcdef",6) 08:41:53 uh 08:42:04 strange syntax 08:42:19 no stranger than perl tho 08:42:27 b_jonas: imagine a line break in the middle and line up the second \ with the first " 08:42:34 i want to make a language with regex syntax builtin 08:42:37 then it'll look quite nice. 08:42:51 int-e, I tend to use unlines for that 08:42:58 and I found it strange that people used \ \ for it 08:43:05 int-e: sure, but 08:43:19 > "backslash: \\; nothing: \&" 08:43:21 "backslash: \\; nothing: " 08:43:25 but once you put spaces in them, 08:43:31 i think most things in a language besides control flow should be sublanguages 08:43:31 > "nothing: \ \" 08:43:32 "nothing: " 08:43:34 > "\\\" 08:43:36 :1:6: 08:43:36 > "error: \ &" 08:43:36 lexical error in string/character literal at end of input 08:43:38 :1:13: 08:43:38 lexical error in string/character literal at character '&' 08:43:38 > "\\\\" 08:43:40 "\\\\" 08:43:53 > "\/\" 08:43:55 :1:3: 08:43:55 lexical error in string/character literal at character '/' 08:44:35 `! c printf("lolwut?\flolwut\n"); 08:44:51 Does not compile. 08:45:06 `! c int main(){printf("lolwut?\flolwut\n");} 08:45:08 Does not compile. 08:45:32 i guess \f isnt a thing 08:45:33 `! c int main(){printf("lolwut?\\flolwut\\n");} 08:45:50 https://www.haskell.org/onlinereport/syntax-iso.html 08:45:54 actually \f should be form feed 08:45:58 I like the L function part of haskell syntax 08:45:58 on a different note, I think this one is approperiate for this channel: schmorp reports that he's made http://cvs.schmorp.de/vt102/vt102 , a vt100/102/131 hardware simulator, i.e. it runs the original dec vt roms for 100% perfetc temreinal "emulation" 08:46:04 lolwut?lolwut 08:46:16 b_jonas: can I use it as my terminal 08:46:44 form feed used to eject the current page and start a new one 08:47:05 elliott: sort of. it puts the output to another terminal, so you can't use it alone, but yes 08:47:33 https://www.haskell.org/onlinereport/lexemes.html#lexemes-char 08:47:33 does it nest :p 08:47:56 elliott: no idea 08:48:35 cluid: If you're going to use the string as a Bytestring, having a single string literal is *highly* beneficial. That's because string literals are normally translated into something like unpackCString# "foobar"# and Bytestring has a rule to directly use the constant character string "foobar"# 08:48:40 @type ""# 08:48:41 GHC.Prim.Addr# 08:49:09 ah! 08:49:10 So that's one reason for using that syntax. 08:49:55 The story is less nice for Text, because it has to convert from UTF-8 to UTF-16. 08:50:03 b_jonas: I did not hear of that before, now I do! 08:50:12 zzo38: it's brand new 08:50:19 I like how string literals with \0s in them are encoded. 08:50:40 zzo38: "< schmorp> this is what i hacked on in the last few days:" half a day ago 08:51:27 zzo38: also "< schmorp> 4 out of the 6 days needed were lost on debugging that single cpu instruction that was broken" [in his emulator] 08:52:09 I like this kind of ideas 08:52:41 zzo38: it's crazy, but yeah 08:55:40 i figured out something. instead of trying to make escape chars work in scrip7, i am simply putting in Hollerith strings as anoption 08:56:10 no lore \ rubbish escapes except the most common ones 08:56:14 *more 08:56:44 just do 13|anything here 08:57:10 j-bot: #'anything here' 08:57:10 b_jonas: 13 08:57:12 wow this terminal code is cool 08:57:28 he does JIT 08:57:41 cluid: to perl, yes 08:57:42 Actually, I like Hollerith strings as an option too 08:58:02 the point of hollerith notation is that literally any bytes can be placed after the | 08:58:52 because there is no ending delimiter 08:59:01 howdoes that let you write 0x3030303030 08:59:26 Yes I like that 08:59:30 it doesn't but 5%30 08:59:32 does 08:59:47 ok 09:00:05 the entire literal syntax is being revamped it will break some of my example programs 09:00:35 does anyone have a pastebin mover bot here? 09:00:50 how about 5R2H30 09:00:54 or does HackEgo have such a command? 09:00:58 'R' means repeat 09:01:08 or 2H30R5 09:01:16 5% is fine forget this 09:02:28 a literal is: N S D where N is a number in decimal, S is a symbol and D depends on what kind of literal it is 09:02:46 when there is no symbol it is simply a decimal number 09:03:19 when there is only a symbol default parameters are assumed 09:03:54 so %30 is 0x30. 09:04:53 Do you like: callCC x = lemCC >>= either return x; 09:05:01 :t lemCC 09:05:02 Not in scope: ‘lemCC’ 09:05:06 oren: you should be able to use other bases than decimal for N imo 09:05:13 also you should be able to use this recursively 09:05:27 for example (5%30)%30 09:05:42 what use would that be? 09:05:44 lemCC :: Either a (a -> Cont r b) 09:05:52 isn't it obvious 09:05:53 writing literals 09:06:01 integersonly go up to 8 bytes 09:06:19 zzo38, this looks Interesting 09:06:40 cluid: No that isn't quite the type. Although a definition of lemCC in terms of callCC: lemCC = callCC (return . Right . (<=< return . Left)); 09:06:48 what is the type? 09:06:54 lemCC :: ContT r m (Either a (a -> ContT r m b)); 09:07:00 so the maximum thing before % is 8. 09:07:02 A though about this 09:07:14 You need a Cont around your type; other than that it works 09:07:14 Various 'characterization' of classic logic are intuitionistically equivalent 09:07:27 piece law ((a -> b) -> a) -> a is the normal callcc, I think 09:07:33 one of my lecturers began a lecture with "this is what is true about image processing as of last week" ← what was it about? 09:07:38 Yes, it is 09:07:45 so then excluded middle Either a (a -> b) could be define interms of it, and vice versa 09:08:02 it was about google's ability to classify images 09:08:04 cluid: have you seen oleg's haskell "lem" 09:08:04 Although at least to me, using law of excluded middle to define continuations is easier to understand 09:08:07 no 09:08:15 cluid: http://okmij.org/ftp/Computation/lem.html 09:08:17 it doesn't use continuations 09:08:21 it's a cute trick 09:09:14 what 09:09:26 oren: ah 09:09:31 Firefly: and in particular the performance of their awesome superclusters 09:09:38 http://www.lix.polytechnique.fr/~lengrand/Work/Teaching/MPRI/lecture1.pdf slide 30 09:09:43 the evil of excluded middle 09:10:06 oren: reminds me of http://code.flickr.net/2014/10/20/introducing-flickr-park-or-bird/ 09:10:12 Which is also pretty recent I suppose 09:11:26 there is an issue with teaching a course where the answers are changing so fast 09:11:46 that is why this course has a project not a final exam 09:12:59 zzo38, In a book I read, instead of doing it as a monad they add a new binder to lambda calculus 09:13:53 if you can prove _|_ given x : phi -> _|_, then /\x. M : phi 09:15:17 what the heck is ⊥ 09:15:27 oren, its a data type with no constructor 09:15:29 i didn't take the logic course 09:16:19 where do data types interact with given and proving things? 09:16:45 they're just different terms for the same thing 09:18:16 huh? a data type is an interpretation for some digital data... how does that interact with logical proofs? 09:18:56 Specifying a value of the type proves it 09:20:08 proves what? 09:21:03 oren: heh, the image processing class I'm taking has a final exam. 09:21:13 oren, you can think of typed lambda calculus as a programming language and/or a logic 09:21:35 it serves as a foundation for both 09:22:21 is it possible to design a cpu that runs lambda calculus? 09:22:29 I dont think so 09:22:53 why not? 09:22:55 you have to compile it to something more easy to make an instruction set for 09:23:10 i dont know much about these things, but that's what I think 09:23:47 I don't see why you couldn't, if you use some encoding like BLC or so 09:24:21 FireFly, for one thing the "instructions" can be arbitrarily wrong - normally instruction sets are encoded in a handful of bytes 09:24:35 s/wrong/long/ 09:25:06 second there is a lot of things like free variables.. envronments.. which an interpreter would normally handle - it's not clear how a CPU could run it directly 09:25:15 oren: It proves the type! 09:25:24 maybe you have registers for environment, continuation etc.. 09:25:32 You can try to learn about Curry-Howard. 09:25:42 i guess the CPU they mention in the last chapter of SICP does that 09:27:04 A better approach is to mak ea good CPU and then compile languaegs to it 09:28:12 but lambda calculus and all this is incredibly far from what our standard cpus do... 09:28:25 If you know anything about sequent calculus you can also look at: http://esolangs.org/wiki/Gentzen You can see it is using the logical rules of sequent calculus to execute a computer program. 09:28:39 cluid: have you seen reduceron 09:28:44 yeah 09:28:48 what our normal cpus do is manipulate sets of bits 09:29:07 according to other sets of bits 09:29:44 (usually of a fixed size called the word size of the cpu) 09:30:22 and garbage collection 09:30:51 so languages designed on such principles are easy to make fast on our normal cpus 09:31:52 i think we need to put functional programming into the cpu itself to really make it fast 09:32:18 i dont think so 09:32:25 why not 09:32:31 ive just explained in detail 09:32:56 you said you would make a "good cpu" what does that mean? 09:33:14 just something like x86 64 09:33:20 and why are cpus based on manipulating fixed size bit strings "good" 09:34:13 does this imply that languages based on such will always be faster? 09:34:35 well a CPU is put on a circuit board 09:34:55 so it has to have address buses like 64 wires in parallel for a word 09:35:06 so the instruction sets are in accordance with that 09:35:22 if you tried to handle a language with arbitrary length bit strings you would not be able do it in a good way 09:35:28 s/language/instruction set/ 09:36:00 so if a CPU is good general purpose computation, then you can compile all different languages onto it 09:36:14 Thats why I think the way to make functional languages fast is better compilers 09:36:41 isn't BLC "general computation" (Church turing thingy) 09:36:49 although the thing elliott mentioned runs haskell 40x faster than on a normal CPU 09:37:14 reduceron? 09:38:01 ah i see, so i'm right. building functional programming into the cpu will increase performance of functional languages 09:38:42 (and presumably this thing can't run C very well) 09:41:30 [wiki] [[Truth-machine]] http://esolangs.org/w/index.php?diff=41342&oldid=40497 * Zzo38 * (+491) +[[Gentzen]] 09:41:41 perhaps this sort of thing can help with JS performance too! 09:44:49 actually, fpga's have so many uses, why don't all computerscome with fpga's built in? 09:46:14 One reason is that nobody builds generic-open-source-FPGA; due to this you require specific operating systems and CPU to be able to use them 09:46:53 i see. then there is a market opportunity for plug and play fpga 09:47:17 would take a lot of venture capital obviously 09:47:30 it would be cool to try programming an FPGA 09:47:37 Wihle there are some open-source FPGA designs none of them have ever been manufactured. 09:47:38 but it might be very difficult, 09:47:57 i've done it in one course, we used verilog which is very similar to C 09:48:34 cool!! 09:48:34 what university do you go to cluid? 09:48:38 i dont 09:48:59 why not? 09:49:26 i dont know 09:51:41 uhh... i guess this is because i was always expected to get a degree in my family, so i can't even fathom not going 09:52:01 not everyone lives the life their parents expect of them 09:52:43 i know. my dad is annoyed i'm not going for a phd 09:52:58 why dont you do a PhD 09:53:04 heh 09:53:07 because i like money 09:53:20 byou could design a new CPU 09:53:39 i'll do that and make money by starting a company 09:53:49 if i was going to do that 09:54:46 anyway there are 3phds and a dd in my family so they are annoyed 09:55:16 ok 09:55:18 Doesn't seem like reason enough to be annoyed 09:55:22 but shrug 09:55:24 i like to pronounce phd phud 09:55:32 'fudd' 09:55:33 pht magic dogz 09:57:12 -!- oerjan has joined. 09:58:13 FireFly: Perhaps they were hoping to break some sort of family doctoral density record. 09:58:42 fair 09:58:56 would not workwith my dad's side having no-one but him and my youngest aunt 09:59:36 actually no wait my other aunt has a doctor of divinity 09:59:51 the other d.d. 10:00:11 it would be fun to design own CPUs on an FPGA 10:00:16 and try running your own code on them 10:00:39 FPGA's cost about 100 dollars i think 10:00:51 plus the software cost 10:01:02 cluid: i had that exact same thought 10:01:21 cluid: but then i remembered that i hate VHDL and would never use that CPU for anything 10:01:25 so i dropped that idea 10:01:27 haha 10:01:37 use verilog instead 10:03:20 is it better? 10:04:25 -!- shikhout has joined. 10:05:47 i guess i oughta go home and eat breakfast 10:06:12 -!- oren has quit (Quit: going home to eat brekfast). 10:07:23 -!- shikhin has quit (Ping timeout: 252 seconds). 10:10:59 -!- cluid has quit (Quit: Leaving). 10:23:41 -!- adu has quit (Quit: adu). 10:31:54 -!- idris-bot has quit (Ping timeout: 250 seconds). 10:32:28 -!- Melvar has quit (Ping timeout: 264 seconds). 10:35:19 [wiki] [[REGXY]] http://esolangs.org/w/index.php?diff=41343&oldid=41226 * Oerjan * (-38) /* External resources */ Use template 10:35:26 -!- Melvar has joined. 10:37:31 [wiki] [[MNNBFSL]] http://esolangs.org/w/index.php?diff=41344&oldid=41271 * Oerjan * (+18) /* External resources */ yearcat 10:42:02 [wiki] [[Brainfuck implementations]] M http://esolangs.org/w/index.php?diff=41345&oldid=41244 * Oerjan * (+1) /* Normal implementations */ sp 10:43:18 -!- Phantom_Hoover has joined. 10:56:54 [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=41346&oldid=41341 * Oerjan * (+0) /* K */ order 11:15:12 -!- boily has joined. 11:39:54 There are people buying FPGAs to install Softcpus on them 11:43:49 -!- FreeFull has joined. 11:56:03 :r 11:56:05 oops 11:56:30 Failed, modules loaded: none. 11:59:03 -!- Patashu has quit (Ping timeout: 240 seconds). 12:04:01 -!- boily has quit (Quit: TRANSALPINE CHICKEN). 12:08:32 -!- FreeFull has quit (Ping timeout: 250 seconds). 12:14:11 [wiki] [[Return Oriented Programming]] http://esolangs.org/w/index.php?diff=41347&oldid=41298 * Oerjan * (+45) some proofreading 12:15:19 [wiki] [[Special:Log/move]] move * Oerjan * moved [[Return Oriented Programming]] to [[Return-oriented Programming]]: I see no reason to use a different title than Wikipedia 12:15:51 -!- FreeFull has joined. 12:16:08 oops, 1/10 second later i realize the p isn't capitalized 12:16:34 [wiki] [[Special:Log/move]] move * Oerjan * moved [[Return-oriented Programming]] to [[Return-oriented programming]]: Whoops 12:17:03 [wiki] [[Return Oriented Programming]] M http://esolangs.org/w/index.php?diff=41351&oldid=41349 * Oerjan * (+0) fix link 12:19:01 and there the wiki goes down 12:19:50 and the neigbors start making noise 12:21:34 -!- HackEgo has quit (Ping timeout: 244 seconds). 12:21:48 oops maybe the whole server did 12:21:58 fizzie: ? 12:23:51 -!- HackEgo has joined. 12:24:25 Hmm. 12:24:32 That wasn't me. 12:24:53 perhaps it rebooted 12:25:10 `run uptime # oh wait 12:25:27 ​ 12:24:33 up 0 min, 0 users, load average: 0.00, 0.00, 0.00 12:25:39 OH NO IT IS REBOOTING ALL THE TIME 12:26:18 07:25:07 up 98 days, 10:55, 1 user, load average: 0.19, 0.14, 0.31 12:26:25 I guess something transient, then. 12:26:38 those evil transients 12:27:54 fizzie runs HackEgo? 12:28:42 I "run" the wiki, for some values of run. 12:28:42 [wiki] [[Talk:Pikalang]] M http://esolangs.org/w/index.php?diff=41352&oldid=41300 * Oerjan * (+48) Not signing: the sign of the times 12:28:55 And it's the same server, so I've been doing hackego-related things occasionally. 12:29:27 oerjan: What's next, top-posting in the talk pages? 12:29:49 that's always been. 12:35:43 [wiki] [[Hello world program in esoteric languages]] M http://esolangs.org/w/index.php?diff=41353&oldid=41302 * Oerjan * (+1) Not knowing the alphabet: also a sign. 12:38:03 [wiki] [[Pendulum Instruction Set Architecture]] http://esolangs.org/w/index.php?diff=41354&oldid=41317 * Oerjan * (+4) /* External Links */ standard section name + fmt 12:42:22 -!- Sgeo_ has joined. 12:43:12 This isn't #ghci. 12:43:15 Or is it. 12:43:50 Sometimes it feels that way, with all the Haskellists. 12:45:04 -!- Sgeo has quit (Ping timeout: 264 seconds). 12:48:43 > True||(1/0)==0 12:48:44 True 12:48:46 > 1/0 12:48:47 Infinity 12:48:53 > True||(1`div`0)==0 12:48:55 True 12:49:00 > 1`div`0 12:49:01 *Exception: divide by zero 12:58:27 -!- shikhout has changed nick to shikhin. 13:06:36 > let f xs = (head xs == last xs)||(f (tail xs)) in f [1,2,3] 13:06:38 True 13:06:49 > let f xs = (head xs == last xs)||(f (tail xs)) in f [1,1,1] 13:06:50 True 13:07:20 > let f xs = (head xs == last xs)||(f (tail (tail xs))) in f [1,2,3] 13:07:21 True 13:07:25 yup 13:07:29 -!- shikhin has quit (Ping timeout: 255 seconds). 13:08:31 > let f xs = (head xs == last xs)||(f (tail (tail xs))) in f [1,2,3,4] 13:08:33 *Exception: Prelude.head: empty list 13:09:23 -!- shikhin has joined. 13:09:38 That was a confusing function, in the "what's it good for" sense. 13:09:48 you think 13:09:59 (it can never return False) 13:12:18 > last $ cycle [0] -- a metaphor for life 13:12:24 mueval: ExitFailure 1 13:16:33 > fix id 13:16:37 mueval-core: Time limit exceeded 13:16:55 Don't fix what ain't broken. 13:17:20 how do you know my id isn't broken 13:17:29 > id 42 13:17:31 42 13:17:35 lambdabot's id seems fine to me 13:17:45 I don't know about yours 13:22:02 > (84-) 42 -- of course my test wasn't very thorough. 13:22:04 42 13:22:16 oerjan: Write a prop_id x = x == id x 13:22:18 then run it 13:22:33 @check x == id (x :: Int) 13:22:35 Couldn't match expected type ‘GHC.Types.Int’ 13:22:35 with actual type ‘Debug.SimpleReflect.Expr.Expr’Couldn't match expected type... 13:22:42 funny thing is that prop_Foo x y = x == y always succeeds anyway ;) 13:22:44 @check \x -> x == id (x :: Int) 13:22:46 +++ OK, passed 100 tests. 13:22:54 @check \x y -> x == y 13:22:55 +++ OK, passed 100 tests. 13:23:07 obviously 13:23:12 Yeah 13:23:32 @check \x y -> x == [y] 13:23:34 *** Failed! Falsifiable (after 1 test): 13:23:34 [] () 13:23:48 @check \x y -> x == reverse y 13:23:50 *** Failed! Falsifiable (after 5 tests and 1 shrink): 13:23:50 [] [()] 13:23:58 @check \x y -> (x) == [y] -- prettier 13:23:59 :1:59: 13:23:59 parse error (possibly incorrect indentation or mismatched brackets) 13:24:04 @check \x y -> (x) == [y] 13:24:04 @check \x -> x == reverse x 13:24:06 *** Failed! Falsifiable (after 1 test): 13:24:06 [] () 13:24:07 +++ OK, passed 100 tests. 13:24:12 hm 13:24:18 ah 13:24:30 @check \x -> last x == head x 13:24:31 *** Failed! Exception: 'Prelude.last: empty list' (after 1 test): 13:24:32 [] 13:25:10 @check \x -> x == () 13:25:12 +++ OK, passed 100 tests. 13:26:42 @check \f x -> x == map f x 13:26:44 +++ OK, passed 100 tests. 13:26:53 -!- shikhin has quit (Read error: Connection reset by peer). 13:33:43 [wiki] [[K-on Fuck]] M http://esolangs.org/w/index.php?diff=41355&oldid=41340 * Oerjan * (+20) bold, stub, link 13:36:51 -!- shikhin has joined. 14:02:38 -!- scounder has quit (Ping timeout: 272 seconds). 14:06:04 -!- GeekDude has joined. 14:11:53 @check \a b c n -> not ((a :: Int) > 0 && (b :: Int) > 0 && (c :: Int) > 0 && (n :: Int) > 2 && a^n + b^n == c^n) 14:11:55 *** Failed! Falsifiable (after 95 tests and 10 shrinks): 14:11:55 2 14 62 64 14:12:47 Shows what you know, Wiles. 14:13:45 (I was originally planning a different joke, about how he overcomplicated things, since in query-testing it passed.) 14:18:46 @let a --> b = not a || b 14:18:49 Defined. 14:19:14 @check \a b c n -> not (((a :: Int) > 0 && (b :: Int) > 0 && (c :: Int) > 0 && (n :: Int) > 2) --> (a^n + b^n == c^n)) 14:19:15 *** Failed! Falsifiable (after 1 test): 14:19:16 0 0 0 0 14:19:27 Apparently logic is hard 14:19:38 maybe. 14:20:24 @check \a b -> (a --> b) == (if a then b else True) 14:20:26 +++ OK, passed 100 tests. 14:20:49 @check \a b c n -> ((a :: Int) > 0 && (b :: Int) > 0 && (c :: Int) > 0 && (n :: Int) > 2) --> not (a^n + b^n == c^n) 14:20:51 +++ OK, passed 100 tests. 14:23:30 -!- oerjan has quit (Quit: leaving). 14:26:52 @check \a b c n -> ((a :: Int) > 0 && (b :: Int) > 0 && (c :: Int) > 0 && (n :: Int) > 2) --> a^n + b^n /= c^n 14:26:53 Couldn't match expected type ‘GHC.Types.Bool’ 14:26:54 with actual type ‘GHC.Types.Int’Couldn't match expected type ‘GHC.Types.Bool... 14:27:06 Aw, I guess I got bitten by some precedence. 14:28:45 -!- scounder has joined. 14:46:31 @let infixr 3 --> 14:46:33 Defined. 14:47:22 @check \a b c n -> ((a :: Int) > 0 && (b :: Int) > 0 && (c :: Int) > 0 && (n :: Int) > 2) --> a^n + b^n /= c^n 14:47:24 +++ OK, passed 100 tests. 14:47:26 Yay. 15:03:24 -!- `^_^v has joined. 15:27:42 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=41356&oldid=41353 * SuperJedi224 * (+1724) /* Mineso */ 15:28:20 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=41357&oldid=41356 * SuperJedi224 * (-1) /* Mineso */ 15:28:32 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=41358&oldid=41357 * SuperJedi224 * (+2) /* [Mmmm()] */ 15:37:44 [wiki] [[Truth-machine]] http://esolangs.org/w/index.php?diff=41359&oldid=41342 * SuperJedi224 * (+186) /* GolfScript */ 15:45:27 -!- S1 has joined. 15:46:47 -!- zzo38 has quit (Remote host closed the connection). 15:55:23 -!- idris-bot has joined. 15:55:41 -!- dts|pokeball has joined. 16:45:05 -!- Y4kuzi has joined. 16:47:10 -!- FreeFull has quit (Quit: Going... Going.. Gone!). 16:51:18 -!- Y4kuzi has quit (Quit: Quick on the net.). 16:52:07 -!- shikhin has changed nick to pan. 16:52:23 -!- pan has changed nick to shikhin. 17:14:23 -!- dts|pokeball has quit (Ping timeout: 240 seconds). 17:25:33 [wiki] [[Truth-machine]] http://esolangs.org/w/index.php?diff=41360&oldid=41359 * BCompton * (+60) /* SyL */ 17:36:56 [wiki] [[Truth-machine]] M http://esolangs.org/w/index.php?diff=41361&oldid=41360 * BCompton * (-1) /* Tag */ 17:49:21 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=41362&oldid=41358 * Tromp * (+46) 17:51:18 [wiki] [[Hello world program in esoteric languages]] M http://esolangs.org/w/index.php?diff=41363&oldid=41362 * Tromp * (+0) 17:57:11 -!- S1 has quit (Quit: S1). 18:25:38 does "/MSG CHANSERV PLEASE #somechannel ABSTAIN FROM JOINING" set the moderated flag? 18:27:47 [wiki] [[Truth-machine]] http://esolangs.org/w/index.php?diff=41364&oldid=41361 * Tromp * (+105) 18:28:56 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=41365&oldid=41363 * Tromp * (+17) /* Binary lambda calculus */ 18:37:46 b_jonas: shouldn't that be +i, invitation only... 18:37:57 int-e: oh right, the invitation only flag 18:38:16 but I like the idea :) 18:38:49 I wonder if there's a channel mode like "PLEASE #somechannel ABSTAIN FROM 60% JOINING" which lets people join successfully only 40% of the time 18:38:56 but I don't think intercal has that 18:40:08 I guess you could simulate it by something like "DO COMESUB FROM JOINING DO REINSTATE JOINING PLEASE 60% ABSTAIN FROM JOINING DO RESUME" 18:40:37 that would reset the flag each time somebody joins 18:40:52 though you'd better put a label in front of that COMESUB so you can later ABSTAIN from it 18:44:03 int-e: feel free to shorten my blc program for truth :) 18:48:48 -!- ZombieAlive has quit (Remote host closed the connection). 18:55:20 [wiki] [[Truth-machine]] http://esolangs.org/w/index.php?diff=41366&oldid=41364 * BCompton * (+108) /* Tag */ 18:57:13 is there a list of problems like hello world and truth machine? 18:58:44 I made a little dc program to simpliy fractions \o/ 18:58:44 | 18:58:44 /^\ 18:58:45 nyuszika7h@cadoth ~ $ dc -e '[s0q]sa[dst%ltrlgx]sb[d0=ad0!=b]sg[? ]n?dstrdltrlgxdsd/rld/rn[ ]np' 18:58:46 ? 48 18 18:58:47 8 3 18:59:29 simplify, even 19:02:31 -!- oren has joined. 19:06:16 -!- shikhout has joined. 19:09:07 tromp_: http://rosettacode.org/wiki/Rosetta_Code 19:09:25 -!- shikhin has quit (Ping timeout: 264 seconds). 19:09:40 tromp_: specficailly http://rosettacode.org/wiki/Category:Programming_Tasks 19:11:28 tromp_: I have a different 69 bits one... but nothing smaller 19:12:13 thx, b_jonas. and thx int-e for searching fot the truth:) 19:13:39 tromp_: see repo 19:15:58 (it's pity that the meanings of 0 and 1 aren't reversed, \z.z x x would be 2 bits shorter ;-) ) 19:16:08 yes, i had the same realization! 19:18:24 I'm also tempted to replace (\z.z x nil) by xs, but I guess it's against the rules. 19:19:54 yeah, the problem statement is ambiguous there 19:20:25 -!- shikhout has changed nick to shikhin. 19:23:22 xs? why not just a one-letter variable then? :P 19:23:45 nyuszika7h: because the code is compiled to binary lambda calculus 19:23:46 same size 19:24:04 oh, I have no idea what that is :P 19:24:26 it is a functional machine code 19:24:29 b_jonas: well, you can do +j 40:100 which only lets 40 people join within a 100-second time window 19:24:36 then it resets 19:24:41 and starts over again 19:25:09 nyuszika7h: https://github.com/tromp/AIT/blob/master/truth.lam is what we write, which becomes 010001101000000110000000010110111001011110000010010111111011111011110 (using truth) or 000110000001011100001011011100000100100011010000001011000001001110110 (using truth2) when compiled. 19:26:58 yay, functional machine code! 19:34:50 http://rosettacode.org/wiki/99_Bottles_of_Beer that lyrics is wrong :/ 19:39:03 -!- dts|pokeball has joined. 19:57:47 I once heard someone sing it as α₀ bottles of beer 20:06:55 Did they finish? 20:13:11 -!- FreeFull has joined. 20:17:36 i dunno maybe they're still singing it for alli know 20:39:36 are you sure you don't mean aleph 20:41:51 I completely didn't even notice. Some sort of a "sounds alike == looks alike" brain-wiring thing. 21:04:25 nyuszika7h: isn't that like "first day of Christmas" which has multiple different lyrics, many of them ocurring in example programs and obfuscations? 21:05:18 maybe there's a need for an international standard that specifies the default text for hello world, first day of Christmas, 99 bottles of beer, and all the similar stuff 21:05:38 -!- GeekDude has changed nick to GeekAfk. 21:05:42 -!- Frooxius has quit (Quit: *bubbles away*). 21:06:19 -!- Bicyclidine has joined. 21:06:25 -!- Bicyclidine has left. 21:07:42 -!- GeekAfk has changed nick to GeekDude. 21:13:19 hmm, I found this from 1995: http://www.faqs.org/rfcs/rfc1882.html 21:15:18 Knuth, D. "The Complexity of Songs", Communications of the ACM, 1984, 24(4) pp. 344-346 also gives one definition for 99bob. 21:16:13 fizzie: true 21:16:27 and as for hello, world, the authoritive standard is of course the K&R book 21:17:10 It refers to "J. W. Blatz of Mulwaukee, Wisconsin who first discovered a class of songs known as "m Bottles of Beer on the Wall". 21:17:56 -!- Patashu has joined. 21:18:14 With a footnote: "Again Kennedy ([8], p. 631) claims priority for the English, in this case because of the song "I'll drink m if you'll drink m + 1." However, the English start at m = 1 and get no higher than m = 9, possibly because they actually drink the beer instead of allowing the bottles to fall." 21:22:08 tromp_: there, 68 21:22:33 tromp_: I can't believe I didn't try that variant sooner. 21:23:50 b_jonas: well, http://www.99-bottles-of-beer.net/ pretty much defines a de facto standard 21:24:11 http://www.99-bottles-of-beer.net/lyrics.html 21:24:22 gratz, int-e! 21:26:26 and then there's the local let trick 21:27:15 tromp_: 65. 21:28:08 58 coming up 21:29:38 loop shld no longer be applied to x 21:30:10 i'll let you fix it:) 21:30:17 -!- GeekDude has quit (Ping timeout: 256 seconds). 21:30:22 oops. 21:31:03 you can also remove the suboptimal defs 21:31:11 I like the history 21:31:23 -!- GeekDude has joined. 21:34:29 i actually started out with a version of your truth2 21:34:37 but for some reason mine was 70 bits 21:34:52 which led me to my 69 bit truth 21:35:10 tromp_, int-e: what problem is 'truth machine'? 21:35:24 it's a totally dumb problem:(* 21:35:27 FireFly: http://esolangs.org/wiki/Truth-machine 21:36:01 -!- Patashu has quit (Disconnected by services). 21:36:01 -!- Patashu_ has joined. 21:38:35 Danke 21:41:39 tromp_: one nice thing about truth = \xs.xs(\x\d\z.z x (x nil (truth xs))) is that one can write it out as halftruth = \ht\xs.xs(\x\d\z.z x (x nil (ht ht xs))); and then make truth = halftruth halftruth. 21:45:33 b_jonas: Time has sort of passed by the indignation inherent in the "It's a 10GB database!" interjection. 21:45:39 b_jonas: (In the RFC you quoted.) 21:47:46 fizzie: yeah, and that's not even the most dated part 21:48:02 I'm still reading. 21:48:45 The SCSI parts are perhaps somewhat passé too. 21:49:19 (Although I did find a SCSI terminator when rummaging through stuff just last week.) 21:50:47 int-e: isn't that what the recursion eliminator already does? 21:51:01 expect it doesn't call it halftruth:) 21:51:54 -!- shikhin has quit (Ping timeout: 245 seconds). 21:52:21 tromp_: I was after the name 21:52:34 yeah, that's cute:) 21:54:11 tromp_: I was also looking into some more clever argument order abuse (if you invoke things as \io. io halftruth halftruth, then halftruth can be written as \x\d\ht\z. ... with the halftruth argument somewhere in the middle. It didn't help, but it's something that the automatic blc translation won't accomplish. 21:54:31 ) 21:55:59 rosettacode is nice, but i wondered if there was a task list on the esolangs. wiki itself 21:57:41 http://esolangs.org/wiki/Popular_problem ? 21:58:31 (just following a link from the "Truth machine" page) 22:01:13 ah, thx 22:06:59 tromp_: you can just use the same tasks 22:07:08 why would you need a separate list? 22:10:38 because competing with other esolangs feels more manageable 22:11:16 i like the idea of a set of tasks that would appeal more to esolangs 22:27:43 Hrm. The youtube-dl in Debian has stopped working. 22:27:58 (The one in testing, anyway.) 22:28:59 -!- atslash has joined. 22:29:11 -!- `^_^v has quit (Ping timeout: 244 seconds). 22:29:43 I guess there's been a couple of newer ones in unstable, but they haven't migrated. 22:30:42 Oh, of course, jessie's freeze. Hmp. 22:32:30 http://en.wikipedia.org/wiki/Binary_lambda_calculus#Delimited_versus_undelimited "the only caveat being that N will be passed to M as its third argument" in the final sentence--shouldn't N and M be swapped here? 22:32:49 er, oops, I didn't notice the "to". Never mind 22:49:20 -!- Patashu_ has quit (Ping timeout: 252 seconds). 22:49:44 -!- oerjan has joined. 22:56:52 [wiki] [[Mmmm()]] http://esolangs.org/w/index.php?diff=41367&oldid=41330 * 71.184.241.244 * (+25) 22:58:09 -!- KingOfKarlsruhe has quit (Quit: ZNC - http://znc.in). 23:09:44 -!- CrazyM4n has joined. 23:13:04 -!- KingOfKarlsruhe has joined. 23:31:04 -!- ZombieAlive has joined. 23:48:11 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=41368&oldid=41346 * 70.162.52.61 * (+18) Added simplefunge, should have been added long ago