00:00:17 @metar ORBI 00:00:17 ORBI 080000Z 00000KT CAVOK 19/06 Q1010 NOSIG 00:00:47 @metar ORER 00:00:47 ORER 072300Z 15004KT CAVOK 13/08 Q1013 NOSIG 00:00:53 It 00:21:26 I made up a new variant of Magic: the Gathering now, it is: http://zzo38computer.org/textfile/miscellaneous/magic_card/randcommand.var 00:31:38 long live conspiracies! 00:37:33 Have you dreamt of nonexisting episodes of television shows? 00:39:59 as far as my memory serves, no, I think not. 00:40:22 * boily flunked zzo38's Roman Catholic quiz. «maudit qu'y'est pas facile!» 00:42:20 boily: Well, some of the questions are difficult; which questions did you miss? 00:42:52 I got 19 out of 42. most were guessed... 00:43:23 I do know the guy's called St-François-d'Assise. other than that they were wildly random. 00:47:16 What kind of religions are you though? 00:48:47 atheist. I was born and raised Roman Catholic for about the first half of my life. 00:50:48 Ah, OK. (I was also born and raised Roman Catholic, and sometimes still go to church on Christmas Eve) 00:52:19 I do know Catholics, atheists, and a few others though. (I consider myself a panendeist.) 00:52:31 `? panendeist 00:52:32 panendeist? ¯\(°​_o)/¯ 00:55:19 There is still much to read in the Bible though, even if you are not Christian. I think I even read in some book written by an atheist, in a list of books he recommended, the Bible was included in that list too. 00:55:44 Of course there is much to read in other books too! 00:56:07 [wiki] [[Hexadecimal Stacking Pseudo-Assembly Language]] http://esolangs.org/w/index.php?diff=42339&oldid=42331 * SuperJedi224 * (-8038) /* An interpreter in Java: */ 00:56:59 books are made to be read. it's their purpose in life. 00:57:28 that's what they want you to think 00:58:58 boily: Yes, clearly, that is what it is, otherwise you don't need to write on it. 01:04:59 oerjan: yes, and I agree. I hope you take good care of your books and that you pet them regularly. 01:13:19 :( 01:14:35 :(? :( 01:20:19 panendeist - um, lemme see pan=all en=in dei=god ist=believer "someone who believes all is in god" ? 01:27:07 That emoticon looks seird when \ is a yen sign 01:30:26 ¥ is ¥, and \ is \. 01:31:47 boily: In Japanese locales \ renders as the yen sign. 01:31:47 Hmm... apparently the first one is a double-width yen sign 01:32:21 For legacy reasons. 01:32:51 pikhq: I know. it's surprising the first time you're Team Viewing some desktop in Japan and all paths are C:¥...¥...¥... 01:32:58 :) 01:33:24 and then you discover that in Korea it's wons all the way, but then you half-expected it anyway. 01:33:36 pikhq: That's because it is the Japanese character encoding I think. And then some people wanted to do it even if you are using different encoding 01:34:20 zzo38: Ish. In legacy Japanese encodings there is no \ but the yen sign is encoded the same as \ in ASCII. 01:34:46 pikhq: Yes, that's what I meant the Japanese character encoding has a yen sign where standard ASCII has a backslash. 01:35:05 So semantically it was treated as a backslash... 01:35:22 Even the Famicom keyboard has a yen sign, but no backslash. 01:35:26 And when they switched to Unicode they still wanted the thing-that-acted-like-backslash to look like a yen sign. :) 01:35:55 I've seen anime where there are computer classes and it is like printf("%d￥n",i); 01:36:09 -!- vodkode_ has joined. 01:36:17 Yep. Though arguably that's incorrect C. 01:36:31 Such as in serial experiments Lain 01:39:04 Because their charset doesn't have \ it should be printf("%d??/n",i); 01:43:05 If the character encoding has a yen sign in the place where a backslash in ASCII, then you can use yen sign in that way; C is using ASCII encoding so a variant of ASCII still, you use whatever is in the correct position of the codes. Such as, some older ASCII codes use up arrow in place of ^ so in such codes you use up arrow where ^ is expected (as XOR or whatever). 01:43:34 http://postimg.org/image/xg91wqvfn/342429f8/ 01:44:13 But when using UTF-8 Unicode the proper character should be a proper backslash. UTF-16 should not be used to write a C code though, but some other character encodings are OK (such as ISO-8859-1, or CP437, or whatever) 01:44:59 Hmm... I'm not sure what printf("%c<&\n",a); does anyway 01:45:08 Hmm... I'm not sure what printf("%c<^\n",a); does anyway 01:45:12 Hmm... I'm not sure what printf("%c<%\n",a); does anyway 01:45:15 fuck 01:45:56 Probably it isn't valid printf format string, whoever made that picture may have done the mistake 01:47:03 It's from serial experiments lain... apart from the mistake he seems to be teaching how to use comparison operators or something 01:48:59 http://postimg.org/image/gc5maf6el/ 01:49:44 unfortunately the anime doesn't show the rest of the lesson because our heroine is about to go on a crazy acid trip 01:50:48 -!- boily has quit (Quit: GOTHIC CHICKEN). 01:54:56 zzo38: C does not use ASCII encoding. 01:55:39 Well, it should. 01:56:02 zzo38: C uses some encoding with the property that 0 through 9 are sequential, and a small set of characters exist. 01:56:45 Alphanumerics + !"#%&'()*+,-./:;<=>?[\]^_{|}~ 01:57:10 Does C specify the visual appearance of said characters? 01:57:26 And line break too I suppose? You missed line breaks. 01:57:41 orin: Not especially. 01:58:14 zzo38: Right, yes, it also requires the space character, horizontal tab, vertical tab, and form feed. 01:58:22 Then japanese computers simply have a \ that looks like ￥ instead of ＼ 01:59:08 Additionally, at run time alert, backspace, carriage return, and newline must exist. 01:59:29 orin: That is the implementation used on modern systems, yes. 01:59:48 \ simply has a locale-specific rendering, and nobody is that confused. 01:59:56 -!- incomprehensibly has quit (Ping timeout: 265 seconds). 02:02:05 Yes, it is the C backslash character, and has the same code number as the ASCII backslash, I suppose, is how you can describe it, even if it is not a backslash. 02:02:49 -!- incomprehensibly has joined. 02:02:56 IIRC, {|} [\] had locale-specific renderings in nordic countries, so people would use xÄiÅ instead of x[i]. 02:04:40 orin: How odd, the relevant legacy encoding is ISO 8859-1, no? 02:04:54 this was in the 7-bit age. 02:05:22 *Ugh*, right, ISO 646 got used too. 02:06:13 it's the reason why irc by default consider those characters different case variants of each others 02:06:19 *+s 02:06:26 *-s 02:07:00 it used the finnish variant 02:08:23 * oerjan checks if irssi will do that, nope 02:09:39 well the server refused my /nick f\`-`\f so at least it still does 02:10:43 -!- orin has changed nick to {|oren|]. 02:10:49 <{|oren|]> this works 02:11:09 [|oren|]: does this ping you 02:11:18 <{|oren|]> no 02:11:41 <{|oren|]> apparently they are allowed but no longer case-viariant 02:11:56 -!- {|oren|] has changed nick to \oren\. 02:12:22 \oren\: no, they are case-invariant in the server 02:12:38 for freenode, anyway 02:12:52 -!- \oren\ has changed nick to orin. 02:13:21 if you try to do /nick or /whois with a variant of them, it will be blocked/displayed 02:13:53 (if the nick is in use in some variation) 02:14:52 The british variant of iso646 had # as £ apparently 02:19:24 we had ISO 646 IRV for this reason... 02:31:54 -!- lmt has joined. 02:31:58 wow 02:31:59 big channel 02:32:24 `relcome lmt 02:32:25 ​lmt: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 02:32:34 very big channel 02:32:45 how did it get so big? 02:32:58 I got here via the wiki 02:33:46 also there are a ton of bots on this channel, so it inflates the nubmers a bit 02:33:50 ahh 02:33:53 that explains it 02:34:20 for example fungot HackEgo lambdabot idrisbot... 02:34:20 orin: fnord returns true if ( eq val 4) code" from a different angle ( make-rectangular 4 1) 2 3 02:36:24 -!- darwin has joined. 02:36:59 -!- darwin has left ("Leaving"). 02:37:26 -!- lleu has quit (Quit: That's what she said). 02:38:36 the bots aren't more than about 10%... 02:38:46 hi oerjan 02:38:49 (hi l*m**t) 02:39:21 Why am I awake 02:39:51 oerjan: did you mean l*m*****t? 02:39:53 in a general sense, or right now? 02:40:00 nice pdf in the topic 02:40:03 hm we are indeed pretty big 02:40:07 lifthrasiir: nope hth 02:40:11 oh 106 02:40:32 I have no idea what is going on 02:40:43 Taneb: with what? 02:40:54 All the asterisks in lmt 02:41:02 try a whois 02:41:10 俺も何も分かんない 02:41:28 Ah 02:42:52 I'm also confused about why I am awake 02:43:32 Taneb: gramlins hth 02:43:36 Oh no 02:43:42 i wish i were cool enough to be in the list of people in the pdf :( 02:43:54 i don't know why my fingers insisted on spelling it with an a 02:44:37 lmt: it's mostly extracted from stuff in HackEgo. it may not go back far enough. 02:44:51 You can add stuff into HackEgo yourself though, instead of using PDF 02:45:38 oh well 02:45:40 later 02:45:41 -!- lmt has left. 02:46:07 `quote oren 02:46:09 1227) when i was a kid it used to snow on christmas eve. what is this "freezing rain", "sleet" crap? yeah seriously, who is evn in charge anymore? apparently not santa claus Santa Claus is dead by now. \ 1228) <{\[oren]|}> ｚｚｏ３８：ｉｔ　ｗｉｌｌ　ｃａｕｓｅ　ｐｒｏｂｌｅｍｓ　ｂｙ 02:46:24 -!- gjord has joined. 02:46:35 -!- augur has quit (Remote host closed the connection). 02:46:48 `quote oren 02:46:49 1227) when i was a kid it used to snow on christmas eve. what is this "freezing rain", "sleet" crap? yeah seriously, who is evn in charge anymore? apparently not santa claus Santa Claus is dead by now. \ 1228) <{\[oren]|}> ｚｚｏ３８：ｉｔ　ｗｉｌｌ　ｃａｕｓｅ　ｐｒｏｂｌｅｍｓ　ｂｙ 02:46:52 `quote orin 02:46:53 49) both of you, quit it with the f-bombs. kaelis: what's the matter? something censoring stuff you're interested in? \ 109) how does a "DNA computer" work. von neumann machines? CakeProphet, that's boring in the context of DNA. It's just stealing the universe's w 02:47:18 might add a < 02:47:26 `quote No output. 02:47:32 `quote 1227) when i was a kid it used to snow on christmas eve. what is this "freezing rain", "sleet" crap? yeah seriously, who is evn in charge anymore? apparently not santa claus Santa Claus is dead by now. \ 1238) is instant coffee stronger than espresso? I think it must be... [...] Ohh.... so apparently 02:47:56 `quote taneb cows 02:47:57 No output. 02:48:00 `quote taneb * cows 02:48:01 No output. 02:48:09 `quote instant 02:48:09 `quote punched myself in the face 02:48:09 512) dangit I need someone who knows the answers to my problems instantly and is always around for me! I need.....an adult ;_; \ 1117) hmm… I guess the difference between me and most esolangers is that I don't instantly go and put it into a BF derivative and call it a day \ 1127) I designed a norn to drop dead 02:48:10 401) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. 02:48:14 it's regexps, Taneb 02:48:22 What? 02:48:27 Regexps? 02:48:28 the `quote syntax 02:48:29 All along? 02:48:43 the watchtower 02:49:37 oh god my compulsive word association is coming back 02:49:51 to the future 02:50:14 In my opinion the best program for online quizzes is Internet Quiz Engine; the other ones require you to use a GUI and are slow. Isn't it? 02:50:25 -!- augur has joined. 02:50:35 (read the topic's PDF for 3rd time) ...I think that was originally Starcraft mentioned in my entry. 02:50:53 `? lifthrasiir 02:50:54 lifthrasiir is shunned by the rest of his country for being no good at League of Legends. 02:51:05 `? oren 02:51:06 oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. 02:51:10 lol 02:51:15 `url wisdom/lifthrasiir 02:51:16 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/lifthrasiir 02:51:32 oh, historic. 02:51:51 I think you should remove that PDF to make room for other stuff; you can link information from HackEgo and so on. Of course the PDF and other information can also be found in the logs. Right now it is unnecessary but it might be useful in future to remove this link 02:51:53 hmm, my memory is that inaccurate then 02:52:07 time to switch the parts 02:52:14 `quote oren instant 02:52:16 No output. 02:52:27 `quote oren.*instant 02:52:27 1238) is instant coffee stronger than espresso? I think it must be... [...] Ohh.... so apparently the jar says one scoop of powder per mug, I assumed an equal amount of powder and boiling water 02:52:45 lifthrasiir: it's been that way since 2012 at least 02:53:02 * lifthrasiir is busy switching his parts 02:53:31 that is, when HackEgo's repository history was wiped out last 02:53:36 week 02:54:36 Requiring to use a GUI is barbaric 02:54:47 reverted. it didn't work well. 02:55:30 did you start remembering the future instead 03:00:02 unless time is multidimensional, no. 03:01:32 `quote 1124 03:01:33 1124) kmc, I was trying to go to a sci-fi and fantasy society social, and I went to the wrong bar Wound up at my university's fetish society Didn't realise for an hour and a half 03:01:42 Someone apparently has now done the reverse of that 03:01:50 So the balance of the universe is restored 03:03:37 (they saw "Fantasy" in the society name and jumped to conclusions) 03:06:29 -!- AndoDaan_ has quit (Quit: Going, going, gone.). 03:06:44 Taneb: ahahaha thats great :) 03:07:28 yay 03:38:35 -!- variable has joined. 04:00:15 Do you know how to hack Pokemon Pinball? There is a problem with the game, that the Mewtwo stage you can earn too many points. Also how to make Visual Boy Advance to allow opposite directions pushed together? 04:11:05 `quote 1127 04:11:11 1127) I designed a norn to drop dead instantly if he ever thought about eating elevators. He was stillborn. 04:11:18 What does dying norns have to do with punching myself in the face? 04:40:23 Sgeo, you creating those norns and me punching myself in the face both got in the quote file 04:45:28 Sgeo: why were you interested about me being on TDT? 04:52:03 -!- variable has quit (Ping timeout: 240 seconds). 04:53:09 coppro: I was just surprised at it, and surprised at the continued existed of TDT 04:56:38 TDT? isn't that the thing from lessworng 04:56:40 ? 04:57:13 timeless devteam, sounds about right 04:57:58 I thought he was on the Nethack dev team? 04:58:07 `? tdt 04:58:11 tdt? ¯\(°​_o)/¯ 04:58:19 #scow 04:58:20 `? coppro 04:58:21 coppro prefers his nickname, Pooppy. 04:58:48 `slashlearn tdt/That doesn't tdt. 04:58:59 Learned «tdt» 04:59:50 shachaf: I have heard TDT referring to "timeless decision theory" which is some philosophy where people in the future can make threats to people in the past by simulating them, or some nonsense likt that 05:00:18 oerjan: fancy 05:00:43 I wonder whether using // as a separator would be better for slashlearn 05:00:45 shachaf: hth 05:00:58 That way you could learn inside directories. 05:01:15 well, but then you'd need it to mkdirs too 05:01:24 I think it works to just one slash; I don't expect you need subdirectories (but, I don't know for sure). 05:01:39 You and me both, zzo38. 05:01:49 whoa, did you play the discworld computer game? 05:01:53 i don't think we should encourage subdirectories too much, although wisdom has some. 05:03:38 another xkcd map 05:07:45 In this context I think The DevTeam was what was meant 05:12:25 oerjan: https://www.youtube.com/watch?v=tvNLw7IHWmw#t=19m49s hth 05:24:43 Have you ever watched a television show called "To Be Announced"? 05:37:18 -!- vodkode_ has quit (Remote host closed the connection). 05:38:51 -!- oerjan has quit (Quit: Not that I recall). 06:13:29 -!- zadock has quit (Quit: Leaving). 06:29:10 Is Socrates a good golfer? 06:34:40 good golfers are immortal so no hth 06:55:01 -!- zadock has joined. 08:01:14 -!- zadock has quit (Ping timeout: 252 seconds). 08:04:31 -!- zadock has joined. 08:09:26 -!- ais523 has joined. 08:21:13 so all immortal people are good golfers? 08:26:40 -!- Patashu has joined. 08:37:27 Socrates is everyman; in other words every man is Socrates. Therefore every man is mortal. 08:38:16 -!- AndoDaan has joined. 08:42:20 Except Hades. 08:43:28 -!- gjord has left. 08:52:22 -!- AndoDaan has quit (Read error: Connection reset by peer). 08:52:44 -!- AndoDaan has joined. 09:01:32 -!- merdach has quit (Ping timeout: 252 seconds). 09:01:49 -!- merdach has joined. 09:01:54 -!- fractal has quit (Ping timeout: 252 seconds). 09:03:58 are there two-dimensional languages besides rail that do have commands that need more than one character? 09:10:34 myname: there's some sort of cross between INTERCAL and Befunge, I think 09:10:41 that works like that 09:10:48 but it wasn't very interesting IMO 09:11:00 also, hmm 09:11:07 let me check my very first esolang 09:11:32 if I can even find where it's got ot 09:11:34 *got to 09:12:36 * The playfield is made out of blocks of commands and data. The blocks are^M 09:12:37 * 2x2 blocks arranged in a hex-grid pattern, like this:^M 09:12:52 -!- fractal has joined. 09:13:07 -!- vodkode_ has joined. 09:13:09 looks like I had enough foresight to document how the language actually worked 09:13:13 which is something of an improvement on Burn 09:13:41 -!- TodPunk has quit (Read error: Connection reset by peer). 09:14:06 -!- dianne has quit (Quit: byeannes). 09:14:08 -!- TodPunk has joined. 09:14:24 myname: http://nethack4.org/esolangs/el1.c 09:14:37 may as well "release" it, now I remembered it exists 09:15:10 the file's dated 2006, that seems plausible 09:16:22 now I'm trying to figure out what platform this was developed on 09:16:39 the Windows-style newlines and order of the platform defines give some clues 09:16:43 I suspect it may have been DOS 09:16:59 after a while, Windows (especially pre-Vista) becomes annoying enough that anything is better :-( 09:17:05 and I didn't have a lot of options back then 09:21:46 oh, it uses a hex grid 09:21:47 nice 09:21:56 that's a good reason for it to be 4 by 4 09:22:15 I think it's better than most people's first attempts 09:22:24 but it does rather miss the point it was aiming to illustrate 09:22:25 or perhaps not 09:23:54 so where will you release it? esolangs.org? 09:24:53 I just put the file online 09:25:24 also, it's very hard to search for files that originally came from a case-insensitive system, when your existing copy of them is on a case-sensitive system 09:25:37 because you have to guess the capitalization 09:26:17 can't you just search for all capitalizations? 09:27:14 -!- vodkode_ has quit (Ping timeout: 250 seconds). 09:29:43 that's what I did in the end 09:29:56 luckily "el1" only has two cased characters in it 09:30:03 or, well, I found the source on the second try 09:30:08 my first try found only the executables 09:30:43 I guess I could try to get them running in wineconsole, but figuring out how an esolang works based on an /implementation executable/ is pretty hard unless it gives good error messages 09:33:15 ais523: but it has comments explaining how it works, 09:33:20 partly 09:33:32 yep, that should make things much easier 09:33:32 and you can guess the rest from the source and testing 09:33:45 I actually think it's a complete spec, just one written in an awkward style 09:33:47 and I don't see why you need a wineconsole for it 09:33:52 (again, which is believeable for my first esolang) 09:33:53 oh, I don't 09:34:01 it was a hypothetical about "what if all I had was the executable" 09:34:05 oh, I see 09:35:06 well, it's by an old compiler which doesn't optimize too much so disassembling and debugging would help a bit more than these days, but yeah. 09:38:38 2006 isn't /that/ old, but the compiler itself may well be much older 09:38:55 it'd either be a version of DJGPP which was current at the time (i.e. basically gcc-circa-2006 levels of optimization) 09:39:01 or Borland C++ 4, which was ancient even at the time 10:02:42 -!- bb010g has quit (Ping timeout: 256 seconds). 10:05:09 * ais523 reads a US court case, and is amused to see it discussing which state's laws to use to determine which state's laws to use 10:05:37 (the court case used New York state laws to determine that California state laws were those that applied to the rest of the case) 10:07:25 `complain I don't know what to complain about. 10:07:28 Complaint filed. Thank you. 10:12:27 `complain about frivolous use of the complain command. 10:12:28 Complaint filed. Thank you. 10:12:52 -!- bb010g has joined. 10:19:11 I'd like to see a human vs. compiler asm-writing contest 10:19:14 for a range of processors 10:19:39 I think on most embedded systems, the human would win easily, because IME the compilers suck there 10:27:13 -!- boily has joined. 10:35:42 ais523: the problem is that computers only have a source code, have to stick to that literally even when the programmer wrote sucky source code, whereas humans know the purpose and hopefully even test input data to know what to optimize for 10:35:59 (sometimes the computers have test input data too, and use profile-based optimization, but that's rare) 10:36:13 right 10:36:18 I think you should allow PGO here 10:36:45 although, the benefit from it isn't usually that large, it's mostly just used to know how likely a branch is to be taken 10:45:36 -!- AndoDaan has left ("Leave channel"). 10:46:11 The human usually knows a great deal of non-aliasing and frequent special case and similar information that the computer can't divine from the code. 10:46:38 Also expected array sizes or loop counts. 10:55:01 I'm against using life expectantcy as a "quality of life"-measurement. 10:56:29 there's also the risk that one set or other of the code is compiled flat-out wrong 10:56:36 most likely the human-generated version 10:57:32 ais523: yes, people produce a lot of flawed benchmark without even testing that the snippets they ran really compute the solution at all 10:57:45 that's why I never believe timing benchmarks unless I produce them myself 10:57:57 this is why alioth claims it shouldn't be taken seriously 10:58:18 because there's too much skill influence from the human coders 10:58:34 like, it'd be a struggle doing some of that stuff in INTERCAL at all, let alone via the fastest possible algorithm 10:59:06 I'd just stick to human versus human. 10:59:16 http://benchmarksgame.alioth.debian.org/ for people who don't know about it 10:59:50 (They can use computers, which are just tools, totally not secretly our masters.) 11:12:40 fungot, do you believe benchmarks? 11:12:40 b_jonas: it has been run and debugged now i am depressed... there's been good and bad. 11:13:54 fungot: Debugging benchmarks sounds like fun. 11:13:54 mroman: when developing full applications it is fnord illustrative of how heavy on style and light on substance java really is an amazing hack that abuses the fnord interleaving ( like in pascal :) 11:15:15 that's abso-fnording-lutely amazing. 11:15:28 and it's fnord funny. 11:16:05 fnord (adj): We don't for the fnord of it know what fnord means. 11:16:09 also adv. 11:16:11 also n. 11:16:12 and v. 11:16:34 Life is fnord after all. 11:17:04 -!- choochter has joined. 11:28:03 -!- boily has quit (Quit: INESSIVE CHICKEN). 11:32:10 -!- vodkode_ has joined. 11:43:12 ais523: I would expect custom compiler backends to enter such a contest if people took it seriously 11:43:33 it'd be hard to get enough people to take such a contest seriously 11:43:56 Also humans would take hours to write assembly code by hand, imagine if you gave superopt ten hours 11:44:01 (RIP superopt) 11:44:44 did superopt just try every combination of optimization settings to see which worked best? 11:45:13 basically, I'm not affraid to lose my work to this kind of stuff. 11:45:56 http://directory.fsf.org/wiki/Superopt 11:46:25 Well, in reality superopt wouldn't get very far in ten hours 11:47:31 You could probably make a compiler backend out of smt solvers or static analysers, some of them can guess loop invariants now 11:47:40 wow, that page is really short on info and has a couple of external links that look like they go to the info 11:47:44 but they just redirect back to itself 11:48:56 Given that it was “released on 3 June 1995” the fact that it still has a webpage is quite impressive 11:50:26 OK, I'm downloading the source to get information about how it works 11:50:58 Most likely it only works for small pure functions 11:51:39 and optimises them for processors that you don't have any more 11:52:17 Jafet: I keep all my old processors around just in case! 11:52:46 wow this is smaller than I expected 11:52:57 $ ls | wc -l 11:52:59 13 11:53:00 all are regular files 11:53:08 since when does a software project only have 13 files in it? 11:53:26 $ wc -l *.{c,h} ? 11:53:34 ais523: try ls -a instead of ls :-) 11:53:48 5873 total 11:53:52 b_jonas: but .. isn't part of the project 11:53:56 that's quite small, yeso 11:53:56 arguably . is 11:53:58 yes* 11:54:24 FireFly: a large part of it seems to be written in a DSL, though 11:54:27 with the C file being the DSL interp 11:54:32 ais523: um, ok, then ls -A 11:54:36 that comes to another 5518 lines 11:56:24 I'm sure you kept your old i686 in working condition for this very moment 11:56:44 processor probably works 11:56:49 not sure about the rest of the machine though 11:56:52 Although it should be mentioned that present-day compilers still compile for i686, for some reasons 11:57:11 actually I think one of the machines still has a 16-bit processor 11:57:23 I booted it up like 5 or 6 years ago to see if it was still working 11:57:34 the hard drive was unreadable but it could boot and run from floppy disk 11:59:02 superopt seems quite specific in its use 11:59:13 I guess you could try to get it to come up with a fast inverse square root or the like 11:59:36 but unless the FPU has an instruction specifically for doing that (in which case the search will be fast), it'd be unlikely to find it in a reasonable length of time 11:59:40 I doubt it would find the right 32-bit constant in time 12:00:08 there's actually a range of constants that work 12:00:19 the one in the infamous code isn't right in the middle of it, either 12:00:30 so it might just have been a trial and error thing 12:01:27 ooh, idea 12:01:30 superopt rainbow tables 12:01:40 you're already running all possible program fragments already, right? 12:01:59 so you may as well try some standard inputs on all of them, produce a corresponding hash code 12:02:15 then when you want to implement a new function optimally, just look it up in the table and see if the impl is correct 12:02:51 Unfortunately for us humans, we love to make short passwords and long programs. 12:03:26 maybe you could make that into a distributed "optimal functions for everything" search 12:04:19 ais523: the problem with that is often you want to implement a partial function 12:04:28 and you can't just table that 12:04:58 not so easily as complete functions 12:05:14 You can use wildcards for the inputs outside the domain, but searching with wildcards is slower. 12:08:48 -!- vodkode_ has quit (Ping timeout: 250 seconds). 12:11:04 There should be password schemes/hash functions with error correction codes. 12:20:36 -!- izabera has quit (Ping timeout: 245 seconds). 12:24:44 -!- izabera has joined. 12:39:15 -!- Patashu has quit (Ping timeout: 256 seconds). 12:56:42 -!- magician has joined. 12:59:12 -!- Guest3780 has quit (Ping timeout: 245 seconds). 13:00:41 -!- Guest3780 has joined. 13:00:53 -!- magician has quit (Ping timeout: 248 seconds). 13:16:12 -!- variable has joined. 13:20:00 -!- ProofTechnique has quit (Ping timeout: 272 seconds). 13:29:55 -!- magician has joined. 13:31:42 -!- Guest3780 has quit (Ping timeout: 245 seconds). 13:31:43 -!- magician has changed nick to Guest3780. 13:37:15 12:49:23 You could probably make a compiler backend out of smt solvers or static analysers, some of them can guess loop invariants now 13:37:22 regehr is doing stuff like this 13:37:28 superoptimisation with an SMT solver 13:38:38 elliott: this reminds me of the TASvideos Polarium Automated Solver War 13:38:48 which someone eventually won using a SAT solver 13:39:53 http://blog.regehr.org/archives/1109 http://blog.regehr.org/archives/1146 http://blog.regehr.org/archives/1192 http://blog.regehr.org/archives/1219 13:43:21 hmm, maybe an INTERCAL superoptimizer would be interesting 13:43:43 (fun fact: superoptimisation was pioneered by alexia massalin, who also wrote the famous Synthesis OS thesis) 13:44:25 that said, violin's using a satisfaction solver already (I forget the technical term for the class of satisfaction solver that gprolog has) 13:44:55 violin? 13:46:18 -!- ProofTechnique has joined. 13:46:27 -!- variable has changed nick to constant. 13:47:00 elliott: https://groups.google.com/forum/#!topic/alt.lang.intercal/fcxkgc7Pomk 13:47:11 (much as I hate linking Google Groups, but it isn't archived elsewhere) 13:47:41 "Creating an extra thread to do the addition is somewhat inefficient" 13:47:54 ais523: btw, you're going to end up secretly controling nethack development through coppro, right 13:48:19 elliott: there's more involved here than is public 13:48:52 let's just say, if I wanted to secretly control NetHack development, even without coppro I'd probably find a way 13:49:48 heh, Google interprets the filename "violin.pl" as an URL 13:49:51 I'm scared to visit it 13:54:36 -!- idris-bot has quit (Ping timeout: 264 seconds). 13:54:53 -!- Melvar has quit (Ping timeout: 276 seconds). 13:55:35 -!- Melvar has joined. 13:56:09 -!- idris-bot has joined. 14:01:02 "This syntax was designed to look reassuringly familiar, yet be surprisingly unintuitive in practice (especially when writing it by hand)." 14:01:07 I need to read my old esolang stuff more oftne 14:01:13 *more often 14:12:12 -!- `^_^v has joined. 14:43:07 Help I am binging Girl Genius again 14:43:17 And I think I have just spotted an Animal Crossing reference 14:43:48 http://www.girlgeniusonline.com/comic.php?date=20090121 Major Resetti - Mr Resetti is a mole in Animal Crossing 14:47:03 Taneb: Stop it. 14:47:09 No 14:47:16 Press the button with a square on it 14:47:20 a filled square that is. 14:47:32 or press the one with two vertical lines 14:47:35 that'll work as well. 14:47:54 Just don't fnording press the button with a triangle on it. 14:48:24 It's fnord easy. 14:54:24 -!- Sprocklem has joined. 15:06:39 -!- zzo38 has quit (Remote host closed the connection). 15:09:37 -!- zadock has quit (Quit: Leaving). 15:10:16 -!- dianne has joined. 15:32:17 -!- Sprocklem has quit (Ping timeout: 250 seconds). 15:59:58 mroman: the button with a square on it, that's "maximize" in the window bar, right? 16:00:33 that's a filled square, though, not an unfilled square 16:16:01 -!- constant has quit (Quit: 1 found in /dev/zero). 16:21:05 -!- FreeFull has quit. 16:45:58 ais523: what were you quoting above? 16:46:20 quintopia: violin documentation 16:46:31 which is in the sharball in the post I linked above 16:46:43 https://groups.google.com/forum/#!topic/alt.lang.intercal/fcxkgc7Pomk to save you the trouble of scrolling back 16:56:31 why is it called violin 16:56:47 -!- Sprocklem has joined. 16:58:45 -!- TieSoul has quit (Ping timeout: 248 seconds). 17:00:49 because the file that implements assignments in C-INTERCAL is called fiddle.c 17:02:39 -!- vodkode has quit (Remote host closed the connection). 17:03:57 presumably because it fiddles with things 17:04:40 it does bit-twiddling 17:04:55 -!- TieSoul has joined. 17:10:06 How are you going to get a bit slimmer? It's barely possible in your case. 17:10:14 first time I've seen spambots actually throw insults around 17:11:31 Uh, isn't that a compliment? 17:11:52 I'm not sure at this point 17:12:03 Or maybe a expression of concern for your anorexia? 17:12:37 I interpreted it as "there's no /way/ someone like you is ever going to slim without the product we're selling", with a sidecurrent of "and you really need it" 17:12:59 Ah. From a spambot, that would make sense. 17:13:00 . o O ( Pro tip: Eating spam is not a healthy diet. ) 17:13:12 Spam is, however, delicious 17:13:20 If you say so. 17:13:56 especially spam sandwiches with hot saucece 17:16:07 there is a store he called spamacyt 17:16:24 i haven't been inside, but i think it's just an unfortunate portmanteau of "spa" and "pharmacy" 17:16:58 (there's no t on the end...that was a typo) 17:37:24 -!- Sprocklem has quit (Ping timeout: 240 seconds). 17:45:17 ais523: is that reply to the violin thread spam 17:45:24 or just incomprehensible 17:45:47 elliott: sort-of, I think it's from someone who wants to contribute to alt.lang.intercal but doesn't know enough INTERCAL to make any sense of the content 17:45:56 https://groups.google.com/forum/#!topic/alt.lang.intercal/aTAikUJ2yDc nice replying to 2002 posts in 2014 17:47:37 -!- zadock has joined. 17:48:14 -!- SopaXorzTaker has joined. 17:58:07 ais523: The company that runs blogspot web site isn't widely known in Europe. For example I don't know if it is from Bermuda or from Finland; latter due to usage of double vowels in its name (Hei Hyvää päivää! Mitä kuuluu?). But I know that it knows your fetishes better than other companies and even better than you do. It's hidden under /settings/ads URL and then Interests, in case you don't know. 17:58:15 is this a joke, or... 17:58:22 i guess the joke is pretending google is a finnish company?? 17:58:50 the third sentence makes me think it's a joke 17:59:00 the rest can be interpreted as "it's hard to discover which company it is that runs blogspot" 17:59:15 well the double vowel thing only makes sense with "google" 17:59:25 because blogspot and blogger do not have two adjacent vowels in them 17:59:32 in that case it probably is a joke, but not a very good one 17:59:35 yes :p 18:04:20 -!- variable has joined. 18:34:45 -!- SopaXorzTaker has quit (Ping timeout: 248 seconds). 18:40:44 what the... the Hurr Durr archives frontpage at https://www.hurrdurr.org/ doesn't list 4.0-rc7 18:43:21 -!- variable has quit (Ping timeout: 265 seconds). 19:01:57 -!- FreeFull has joined. 19:04:48 -!- vodkode has joined. 19:10:43 \o/ 19:10:43 | 19:10:43 >\ 19:13:42 -!- variable has joined. 19:21:55 -!- mitchs has quit (Quit: mitchs). 19:27:37 -!- mitchs has joined. 19:40:03 -!- variable has quit (Ping timeout: 245 seconds). 20:01:23 -!- TieSoul has changed nick to TieSleep. 20:05:56 -!- Sprocklem has joined. 20:12:04 -!- ais523 has quit (Read error: Connection reset by peer). 20:12:13 -!- ais523 has joined. 20:34:38 http://postimg.org/image/jg0irvjzb/ 20:39:53 -!- AnotherTest has joined. 20:52:57 -!- AnotherTest has quit (Ping timeout: 250 seconds). 21:06:06 -!- Patashu has joined. 21:07:35 -!- ProofTechnique has quit (Ping timeout: 246 seconds). 21:24:04 -!- Sprocklem has quit (Ping timeout: 240 seconds). 21:33:31 -!- izabera has quit (Ping timeout: 245 seconds). 21:35:43 -!- izabera has joined. 21:35:47 -!- ProofTechnique has joined. 21:40:11 -!- izabera has quit (Ping timeout: 245 seconds). 21:41:44 -!- izabera has joined. 21:43:05 -!- ais523 has quit. 21:44:17 [wiki] [[Special:Log/newusers]] create * FreedomSka * New user account 21:53:31 -!- izabera has quit (Ping timeout: 245 seconds). 21:58:45 -!- izabera has joined. 21:58:49 -!- boily has joined. 21:59:02 -!- oerjan has joined. 22:00:46 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=42340&oldid=42332 * FreedomSka * (+18) 22:01:07 [wiki] [[EncryptFuck]] N http://esolangs.org/w/index.php?oldid=42341 * FreedomSka * (+706) Created page with "'''EncryptFuck''' is a encrypted version of a similar brainfuck code created by [[User:FreedomSka|FreedomSka]] This is a comment 
 : COMMENTS
The syntax it's like ..." 22:03:06 Programming is hard 22:03:21 [wiki] [[EncryptFuck]] http://esolangs.org/w/index.php?diff=42342&oldid=42341 * FreedomSka * (+28) 22:03:35 You can be all like "This bad default is breaking stuff and fixing it won't hurt user code" and some idiot user's code does break 22:05:01 -!- `^_^v has quit (Ping timeout: 244 seconds). 22:05:05 i think this applies to life in general. 22:05:21 [wiki] [[EncryptFuck]] http://esolangs.org/w/index.php?diff=42343&oldid=42342 * FreedomSka * (+24) 22:06:22 [wiki] [[User:FreedomSka]] N http://esolangs.org/w/index.php?oldid=42344 * FreedomSka * (+53) Created page with "[[https://esolangs.org/wiki/EncryptFuck|EncryptFuck]]" 22:07:00 Sgello. hellørjan. 22:07:01 [wiki] [[User:FreedomSka]] http://esolangs.org/w/index.php?diff=42345&oldid=42344 * FreedomSka * (-38) 22:07:06 on average, we're all idiot user code. 22:11:39 bonjoily 22:21:48 -!- lleu has joined. 22:21:48 -!- lleu has quit (Changing host). 22:21:48 -!- lleu has joined. 22:28:47 `relcome lleu 22:28:48 ​lleu: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 22:29:28 thanks boily 22:29:30 [wiki] [[Meq]] http://esolangs.org/w/index.php?diff=42346&oldid=42337 * 194.168.93.97 * (+90) 22:30:24 [wiki] [[Special:Log/upload]] upload * TheMeq * uploaded "[[File:Meq-ide-screenshot.png]]": Screenshot of the Meq IDE 22:31:03 [wiki] [[Meq]] http://esolangs.org/w/index.php?diff=42348&oldid=42346 * TheMeq * (-14) 22:57:43 [wiki] [[EncryptFuck]] http://esolangs.org/w/index.php?diff=42349&oldid=42343 * 87.11.7.181 * (+50) 22:58:55 [wiki] [[EncryptFuck]] http://esolangs.org/w/index.php?diff=42350&oldid=42349 * 87.11.7.181 * (+8) 23:09:53 -!- adu has joined. 23:27:20 Factorio is a pretty fun hardware description language. 23:27:44 Someone should make a page for it on Esolang. 23:27:52 Focusing, obviously, on how to compute with it. 23:37:03 -!- ProofTechnique has quit (Quit: ZNC - http://znc.in). 23:38:09 -!- ProofTechnique has joined. 23:48:53 [wiki] [[EncryptFuck]] http://esolangs.org/w/index.php?diff=42351&oldid=42350 * 87.11.7.181 * (+224)