00:02:19 hellørjan. 00:10:03 -!- XorSwap has joined. 00:15:13 XorSwap: XellorSwap. who are you at now up? 00:15:50 A lurker, mostly :D 00:40:04 -!- trn has quit (Quit: quit). 00:45:54 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 00:50:20 -!- trn has joined. 00:52:06 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 00:54:43 And how about at later down? 00:55:17 Have you been taking grammar lessons from fungot? 00:55:17 int-e: the idea for a lossless udp mass transfer protocol minimizing acks. thus no disturbance when walking in the fnord it covers a huge chunk of unlabeled assembly in a language until it converges 00:55:56 f-NOOOOOH!!!!!-rd... 00:58:09 fungot 00:58:09 shachaf: for example lambda is also a wide spectrum of beliefs regarding what the right answer. that's one of the patches 00:58:20 ^style 00:58:20 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 00:58:29 where's the calvin and hobbes style twh 00:59:27 well, one would need transcripts... and perhaps worry about copyright 01:00:33 I imagine that a Markov chain is fair use. 01:01:25 int-e: I think that was actually just a fjord. 01:01:30 But character names may be tricky. I dunno. 01:01:52 ^style fisher 01:01:52 Selected style: fisher (Fisher corpus of transcribed telephone conversations) 01:01:54 I stole that. 01:02:12 In the sense that it costs money, and I'm not exactly sure what our license allows for. 01:02:38 I don't think I ever even found the license terms. 01:02:46 If I sent you a corpus, would you add it? 01:02:54 If someone asks, fungot's a research project. 01:02:54 fizzie: ( ( laughter)) someone and they called yesterday and so i 01:02:58 -!- hppavilion[1] has joined. 01:03:14 cliffhanger... 01:03:15 Ugh 01:03:15 Maybe. You can bump up the likelihood by doing all the work. 01:03:19 ^style irc 01:03:19 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 01:03:24 fungot: What are you researching? 01:03:24 shachaf: ( read) `3))) but i can't recall what chicken does about that amaranth and they use ascii... 01:03:29 WHY will my computer not boot from USB 01:03:37 fizzie: What sort of work? 01:03:52 shachaf: https://github.com/fis/fungot/blob/master/varikn/readme.txt <- that sort of. 01:03:52 fizzie: what about? :) fnord/ fnord/ web/ fnord/ fnord " java is slow if you're using a terminal app, though 01:03:58 (Also the instructions are not quite right.) 01:04:26 LinuxLive USB creator is /supposed/ to create a bootable USB stick, right? 01:04:27 fungot: what do you think of deep learning? 01:04:27 int-e: it was funny when the url fnord depends on the ' net 01:04:37 good answer, I guess 01:04:56 The varikn link is broken, it lives in github and the version 1.0.2 is outdated; don't use the example -D and -E parameter, they're not good; maybe something else as well. 01:07:17 Here's a random guess: it's making an old-style bootable thing, and your computer is set to UEFI only. Or vice versa. 01:09:00 fizzie: That sounds like a mess. 01:09:36 fizzie: http://www.s-anand.net/comic.calvin.jsz 01:11:43 -!- tromp_ has joined. 01:11:59 I will try to motivate myself to have a look, but not today. 01:13:00 It's just a text file. 01:13:03 needs some cleanup anyway... removing the dates, splitting into sentences... 01:13:31 shachaf: "just" a text file? 01:13:40 Text files can start wars 01:13:46 Overturn governments 01:13:53 And most importantly 01:13:57 CARRY ASCII PR0N 01:14:06 DO NOT SAY "just" A TEXT FILE 01:14:33 hppavilion[1]: well, for all I know, you're just human 01:14:44 int-e: How wrong you are... 01:15:05 I'm clearly a dwarf and I'm digging a hole; diggy diggy hole. 01:16:22 -!- hppavilion[1] has quit (Read error: Connection reset by peer). 01:16:53 -!- XorSwap has quit (Ping timeout: 276 seconds). 01:16:56 hah, must've hit a cable 01:26:36 -!- mauri has quit (Read error: Connection reset by peer). 01:27:04 -!- mauri has joined. 01:33:32 or maybe he fell down it 01:33:50 `? mauri 01:33:51 mauri? ¯\(°​_o)/¯ 01:33:55 wat 01:34:05 `` mv wisdom/mauri{s,} 01:34:09 No output. 01:34:10 `? mauri 01:34:11 maur is the correct spelling 01:34:15 there you go. 01:34:54 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:40:33 mauri's the correct spelling hth 01:40:46 (i literally forgot to type an s and rolled with it) 01:45:22 It's a Finnish first name. 01:46:04 I knew mauri's secretly Finnish. 01:47:06 16005 Finns with that name currently. 01:47:16 fizzie: How can you tell? 01:47:27 Oh, no: just in total. 01:47:47 a quick count, i presume 01:48:03 How many Finns are there with the name Shachaf? 01:49:23 That's funny: the surname search does distinguish between live, dead (and people who changed surnames), but the first name search just gives a total of living and died-with-that-name (since some year). 01:50:27 "Less than five", which it what it says when there are less than five. Otherwise it gives an exact count. 01:50:53 Ah, I found the website. 01:50:55 Less than five born between 1980-1999, zero in other years. 01:50:55 that is good 01:51:05 There are more than five with my last name. 01:51:07 is less than five more than zero? 01:51:16 Yes. 01:52:09 > (< 5) > 0 01:52:11 No instance for (Ord a0) arising from a use of ‘<’ 01:52:11 The type variable ‘a0’ is ambiguous 01:52:11 Note: there are several potential instances: 01:52:13 shocking 01:52:37 Still 10 currently with my surname. 01:52:52 :t (< 5) > 0 01:52:53 No instance for (Ord a0) arising from a use of ‘<’ 01:52:53 The type variable ‘a0’ is ambiguous 01:52:53 Note: there are several potential instances: 01:53:08 there's something wrong with that, but what. 01:53:14 :t (< (5::Int)) > 0 01:53:15 No instance for (Ord (Int -> Bool)) 01:53:15 (maybe you haven't applied enough arguments to a function?) 01:53:15 arising from a use of ‘>’ 01:53:28 > let x ==> y = not x || y in quickCheck (\x -> (x < 5) ==> (x > 0)) 01:53:29 Couldn't match expected type ‘Integer -> Bool’ 01:53:29 with actual type ‘QuickCheck-2.8.1:Test.QuickCheck.Random.QC... 01:53:29 The lambda expression ‘\ x -> (x < 5) ==> (x > 0)’ 01:53:35 oooops 01:53:45 When in doubt, apply more arguments to a function. 01:54:41 @check (\x -> (x < 5) ==> (x > 0)) {- hth -} 01:54:43 *** Failed! Falsifiable (after 1 test): 01:54:43 0 01:54:54 *gasp* 01:54:58 @botsnack -- very efficient 01:54:58 :) 01:55:15 when I meet a function I always apply an argument. functions love arguments. 01:56:15 -!- ORB has joined. 01:56:56 `relcome ORB 01:57:03 rhank you 01:57:56 No output. 01:59:24 -!- mihow has quit (Quit: mihow). 02:00:00 huh? 02:00:08 shachaf: did you un`relcome HackEgo? 02:00:32 noily 02:00:39 hmm... 02:00:48 * boily strokes his beard 02:00:48 HackEgo is just kind of broken right now. 02:00:51 oh. 02:00:53 beuh. 02:01:05 `relcome 02:01:17 ​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 EFnet or DALnet.) 02:01:23 ah! here it is. 02:01:32 `help 02:01:35 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 02:01:53 neat 02:04:24 -!- boily has quit (Quit: LINGERING CHICKEN). 02:09:11 -!- mihow has joined. 02:13:15 -!- mihow has quit (Ping timeout: 240 seconds). 02:17:13 Huh. 02:17:54 hm? 02:18:12 I was wondering if that earlier `relcome got in the same sort of stuck mode, but it's also being very slow in accepting a SSH. 02:18:43 Oh, it did say "No output." 02:18:46 I missed that. 02:18:46 the other day it was stuck for 10 min though, this was only one or two 02:19:03 I thought it was still pending. 02:22:57 I also wonder where all its memory is. free -m says (on the -/+ buffers/cache line) 1808 used, 204 free, but there isn't really any processes with a RSS of many megs, with the exception of mysql (370M) and a few php-fpms (<100M total), plus one memcached (20M). That doesn't really sound like it should make up 1800M. 02:26:25 (And it's not tmpfs either.) 02:26:29 Oh well, must sleep. 02:29:59 -!- bb010g has joined. 02:59:49 -!- lleu has quit (Read error: Connection reset by peer). 03:29:13 -!- hppavilion[1] has joined. 03:43:48 http://zem.fi/2014-04-05-opquiz i'm doing worse than random 03:43:52 proud of myself 03:45:30 -!- mihow has joined. 03:51:58 [wiki] [[HALT]] https://esolangs.org/w/index.php?diff=46355&oldid=44795 * 76.102.163.231 * (-350) 03:57:08 -!- TodPunk has quit (Read error: Connection reset by peer). 03:59:24 izabera: Really? I have a 100% 04:00:22 grats 04:07:45 -!- TodPunk has joined. 04:13:21 -!- vifino has quit (Ping timeout: 260 seconds). 04:13:32 -!- vifino has joined. 04:19:08 -!- sebbu has quit (Ping timeout: 260 seconds). 04:19:08 -!- idris-bot has quit (Ping timeout: 260 seconds). 04:31:46 -!- ORB has quit (Read error: Connection reset by peer). 04:36:26 -!- ORB has joined. 04:49:46 -!- ORB has changed nick to O0RB. 04:50:55 -!- O0RB has changed nick to ORB. 04:54:39 /nick MDream 04:54:50 -!- MDude has changed nick to MDream. 05:02:02 -!- mauri has quit (Ping timeout: 256 seconds). 05:03:54 -!- mihow has quit (Quit: mihow). 05:08:16 -!- MDream has quit (Ping timeout: 256 seconds). 05:19:32 -!- ais523 has joined. 05:39:27 -!- tromp_ has quit (Remote host closed the connection). 06:00:11 -!- ORB has quit (Read error: No route to host). 06:01:18 -!- ORB has joined. 06:01:24 -!- ORB has quit (Client Quit). 06:04:42 -!- oerjan has quit (Quit: Nite). 06:15:38 -!- sebbu has joined. 06:32:42 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 06:36:52 -!- hppavilion[1] has joined. 06:37:06 I'm trying to get a proper linux system (Ubuntu, specifically) running on my laptop 06:37:32 No matter what I try, my computer won't even boot the USB stick 06:38:17 you messed with the BIOS and all? 06:38:26 you sure ubuntu is properly on the USB? 06:40:06 Elronnd: It's the second USB burner I've tried 06:40:09 -!- tromp_ has joined. 06:40:18 Elronnd: Is it supposed to have an actual filesystem? xD 06:40:35 IIRC yes 06:40:50 Elronnd: I tried messing with the BIOS, but it doesn't seem to have any options. Just "Press any key to continue" 06:41:08 hppavilion[1]: on some systems there's a separate key to override boot order 06:41:09 Elronnd: Please tell me that isn't something Microsoft did to block us from installing other OSes xD 06:41:15 ais523: Such as? 06:41:19 different from the BIOS override key 06:41:20 I don't believe there's such a thing 06:41:31 on this laptop it's one of the lower F keys, F5 I think (not 100% sure on that) 06:41:34 Elronnd: OK, OK. Seems like that'd be possible, at the very least 06:41:43 hppavilion[1]: try hitting f12 or f5 or f2 or f1 or esc on boot 06:41:53 before the OS (MS-Windows, presumable) is loaded 06:41:57 however it does say which key it is at the bottom of the screen while it's booting 06:41:59 Elronnd: esc enters the useless window 06:42:10 hppavilion[1]: okay, so not that one 06:42:14 Elronnd: I don't know if f5 f2 or f1 did anything 06:42:16 but try all of those f-keys 06:42:27 On my computer, f2 and f12 both do stuff 06:42:31 Ah, google is my friend IIRC 06:42:36 oh, yeah 06:42:39 most laptops nowadays have their hard drive first in the boot order to reduce issues with malware on USB sticks 06:42:54 look up how to enter bios setup with $yourcomputer 06:44:35 -!- tromp_ has quit (Ping timeout: 264 seconds). 06:45:29 ais523: you have a server, why don't you run ZNC on it so you don't miss stuff when your internet is being spotty or you have to quit? 06:49:08 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 07:04:24 -!- MDude has joined. 07:09:40 huh, someone's made a StackFlow derivative with highly compressed syntax (it can do a truth-machine in three bytes) 07:09:48 interesting idea; it wasn't intended as a golfing language at all 07:11:03 * izabera read it as a stackoverflow derivative and was thinking about a compressed q&a site 07:11:25 heh 07:16:45 -!- hppavilion[1] has joined. 07:17:59 Can we remove R.I.P. Marvin Minsky? The being-depressed-he's-dead time has expired 07:18:01 hth 07:18:28 I just restored session in firefox 07:18:42 One of the things I restored was the session restore from the previous session 07:19:16 Sure 07:19:23 -!- Elronnd has set topic: The international hub for magic gathering and deployment. | Effi's finest fluffy waffles | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/ | 100% of cpus on the wall ♪. 07:20:00 -!- ais523 has quit. 07:24:20 -!- heroux has quit (Ping timeout: 250 seconds). 07:36:28 -!- heroux has joined. 07:47:06 -!- heroux has quit (Ping timeout: 240 seconds). 07:56:41 -!- variable has joined. 08:00:16 -!- heroux has joined. 08:07:20 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 08:22:59 -!- heroux has quit (Ping timeout: 250 seconds). 08:23:42 -!- heroux has joined. 08:40:13 -!- tromp_ has joined. 08:40:46 -!- heroux has quit (Ping timeout: 256 seconds). 08:44:33 -!- tromp_ has quit (Ping timeout: 240 seconds). 08:47:48 [wiki] [[Talk:Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=46356&oldid=46338 * YoYoYonnY * (+90) /* Calculating the integer square root of x */ 08:48:44 -!- bb010g has quit (Quit: Connection closed for inactivity). 08:53:51 -!- variable has quit (Quit: 1 found in /dev/zero). 08:54:24 -!- heroux has joined. 08:58:26 -!- heroux has quit (Ping timeout: 240 seconds). 08:59:33 -!- FreeFull has quit (Quit: BBL). 09:08:57 @tell hppavilion[1] Careful, each nested instance of the restore session page involves escaping some things, so the storage use grows exponentially. I knew someone who had those things 20 deep, and the json file it puts that stuff in was hundreds of megs. 09:08:57 Consider it noted. 09:12:32 -!- LexiciScriptor has joined. 09:12:35 @tell hppavilion[1] "foo" -> "\"foo"\" -> "\"\\\"foo\"\\\" -> "\"\\\"\\\\\\\"foo\\\"\\\\\\\"" -> ... 09:12:35 Consider it noted. 09:12:40 -!- J_Arcane has quit (Ping timeout: 252 seconds). 09:13:35 -!- vifino has quit (Ping timeout: 246 seconds). 09:14:30 -!- AnotherTest has joined. 09:28:23 -!- heroux has joined. 09:29:19 -!- Treio has joined. 09:34:34 is it possible to entirely get rid of pathological regex cases? 09:34:54 like replace a*a* with a* 09:35:17 (a+a+)+ -> (a{2,}) 09:35:21 and so on 09:40:37 * izabera wants to learn more about this 09:40:59 -!- heroux has quit (Ping timeout: 264 seconds). 09:48:22 -!- heroux has joined. 10:40:21 -!- vodkode has quit (Ping timeout: 245 seconds). 10:40:38 -!- heroux has quit (Ping timeout: 250 seconds). 10:40:46 -!- heroux has joined. 10:41:55 -!- vodkode has joined. 11:01:17 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 11:19:34 -!- LexiciScriptor has joined. 11:33:34 -!- boily has joined. 11:41:59 -!- tromp_ has joined. 11:46:30 -!- tromp_ has quit (Ping timeout: 250 seconds). 11:48:06 -!- Treio has quit (Remote host closed the connection). 11:50:46 -!- Treio has joined. 12:02:40 -!- mauris has joined. 12:17:07 -!- mezkhalin has joined. 12:17:33 -!- mezkhalin has changed nick to stalem. 12:20:37 -!- boily has quit (Quit: MEDIUM CHICKEN). 12:28:34 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 13:04:15 -!- jaboja has joined. 13:34:07 -!- tromp_ has joined. 13:54:46 -!- tromp_ has quit (Remote host closed the connection). 14:19:26 -!- jaboja has quit (Ping timeout: 240 seconds). 14:20:08 -!- nycs has joined. 14:38:41 -!- jaboja has joined. 14:42:46 -!- XorSwap has joined. 14:55:18 -!- tromp_ has joined. 14:59:35 -!- tromp_ has quit (Ping timeout: 240 seconds). 15:06:17 -!- XorSwap has quit (Ping timeout: 276 seconds). 15:11:48 -!- MDude has quit (Read error: Connection reset by peer). 15:12:03 -!- vifino has joined. 15:17:48 -!- vifino has quit (Quit: Who turned this off?! D:<). 15:27:40 -!- J_Arcane has joined. 15:32:56 -!- vifino has joined. 15:37:43 -!- spiette has joined. 15:46:16 -!- XorSwap has joined. 15:51:59 [wiki] [[AnnieFlow]] https://esolangs.org/w/index.php?diff=46357&oldid=46354 * FricativeMelon * (+25) 16:11:45 -!- ais523 has joined. 16:14:41 -!- LexiciScriptor has joined. 16:16:29 -!- J_Arcane has quit (Ping timeout: 276 seconds). 16:36:44 -!- oerjan has joined. 16:39:20 -!- Sgeo_ has joined. 16:40:44 -!- Sgeo has quit (Ping timeout: 252 seconds). 16:47:05 -!- Sgeo has joined. 16:48:59 -!- Sgeo_ has quit (Ping timeout: 276 seconds). 16:51:30 -!- Sgeo_ has joined. 16:52:30 -!- XorSwap has quit (Read error: Connection reset by peer). 16:53:01 -!- FreeFull has joined. 16:53:12 -!- Sgeo has quit (Ping timeout: 256 seconds). 16:56:58 -!- oerjan has quit (Quit: Later). 17:01:10 -!- newsham has joined. 17:07:49 -!- newsham has quit (Ping timeout: 252 seconds). 17:10:02 -!- newsham has joined. 17:10:23 -!- newsham has quit (Client Quit). 17:11:22 -!- newsham has joined. 17:26:00 -!- nycs has quit (Quit: This computer has gone to sleep). 17:28:24 -!- `^_^v has joined. 17:56:16 -!- tromp_ has joined. 18:07:38 -!- tromp_ has quit (Ping timeout: 252 seconds). 18:16:02 -!- hppavilion[1] has joined. 18:19:12 Hellu 18:19:19 @messages-lud 18:19:19 fizzie said 9h 10m 21s ago: Careful, each nested instance of the restore session page involves escaping some things, so the storage use grows exponentially. I knew someone who had those things 20 deep, and the json file it puts that stuff in was hundreds of megs. 18:19:19 fizzie said 9h 6m 43s ago: "foo" -> "\"foo"\" -> "\"\\\"foo\"\\\" -> "\"\\\"\\\\\\\"foo\\\"\\\\\\\"" -> ... 18:20:00 fizzie: Interesting. How can we exploit this knowledge? 18:20:11 > fix show 18:20:13 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\... 18:21:07 > iterate show "foo" 18:21:08 ["foo","\"foo\"","\"\\\"foo\\\"\"","\"\\\"\\\\\\\"foo\\\\\\\"\\\"\"","\"\\\"... 18:24:09 relevant http://xkcd.com/1638/ 18:24:46 Yes 18:24:48 Of course 18:31:04 clearly it needs a better escape format 18:31:57 raw strings are the best thing ever 18:35:50 -!- mauris_ has joined. 18:40:08 -!- mauris has quit (Ping timeout: 276 seconds). 18:40:46 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 18:58:23 -!- hppavilion[1] has joined. 19:01:19 izabera: how do you nest them? 19:01:37 some raw string formats allow arbitrarily complex brackets around the outside to allow nesting, but IIRC most don't 19:01:41 izabera: Really? THE best thing ever? What about the holocaust 19:01:45 Wait, wrong comeback 19:02:07 well, I definitely prefer raw strings to the holocaust 19:02:16 ais523: OK, good 19:02:18 and I imagine almost everyone else does too 19:03:16 ais523: O rly? What about neo-nazis? 19:03:44 that's what the "almost" is for 19:03:53 ais523: Oh right 19:03:54 ais523: sure, raw strings in C++ or lua are delimited that way, but that's not really what makes the strings *raw* 19:03:57 pretty sure that at least neo-nazi programmers still prefer raw strings to the holocaust 19:04:14 what makes the strings raw is that all the bytes inside it in the source code are taken literally, even the crlf or lf sequences. 19:04:19 no escapes 19:04:28 b_jonas: well yes 19:04:35 but this means you need to be very careful with how you terminate them 19:04:38 as you can't escape the terminator 19:04:51 I think Perl has "almost raw" strings where everything is taken literally except a backslash before the terminator 19:04:54 yep 19:04:56 ais523: and no 19:05:09 `perl-e print q(abc) 19:05:09 "you can't escape the terminator" said arnold in terminator 7 19:05:22 xD 19:05:23 `echo test 19:05:29 test 19:05:29 abc 19:05:35 `perl-e print q(ab\)c) 19:05:39 ab)c 19:05:39 ais523: perl string literals always convert crlf to lf if they're read from a file (but not if evalled from a string), it's only *DATA{IO} that allows perfectly raw stuff 19:05:42 `perl-e print q(ab\c) 19:05:44 ab\c 19:05:56 b_jonas: that's a conversion on the file itself, though 19:05:58 not on the literal 19:06:13 ais523: and q-strings in perl also treat double-backslash as an escape by the way 19:06:20 Perl source files aren't a sequence of bytes they're a sequence of characters 19:06:23 `perl-e print q(ab\\c) 19:06:25 ab\c 19:06:27 ugh 19:06:31 ew 19:06:32 that defeats half the point :-) 19:06:45 note that there's no escapes inside <<'foo' heredocs, 19:06:49 but crlf is still converted 19:07:19 b_jonas: no, the heredoc doesn't convert crlf 19:07:28 maybe reading the source file does 19:07:30 the /source file reader/ converts crlf before it's even parsed (also encoding, etc.) 19:07:30 but that too is silly 19:07:34 it shouldn't do that 19:07:44 it's just silly 19:07:53 Perl doesn't use bytes, it uses characters, and this is the right way to do things 19:08:21 ais523: maybe, but it's inconvenient 19:08:31 `quote "Perl... is the right way to do things" 19:08:32 No output. 19:08:34 why couldn't it convert the bytes to characters in the tokenizer EXCEPT in some tokens, like C++ does 19:08:46 Wait, no, that isn't how it works, is it 19:08:51 it's inconvenient to have non-ASCII characters not work properly 19:09:07 b_jonas: say the source file's encoded in an ASCII-incompatible encoding 19:09:16 like, say, ACME::Bleach 19:09:31 someone writes a raw string marker in that encoding 19:09:39 should they really get a bunch of whitespace? 19:09:48 ais523: yes, so if you ask it, the tokenizer should interpret the bytes in a character string literal or identifyier. but this shouldn't be done to the whole file indiscriminately. 19:14:39 Here's an idea 19:15:08 Make a series of virtual machines based on various cultures which made profound mathematical discovery 19:16:05 Basically, if that culture was around today, what would their computing look like? 19:17:04 Oh, this reminds me. Of C compilers and other compilers to native code and assemblers, which ones have an easy directive to define a constant byte array whose values are taken as the raw bytes read from a file at compile time? 19:17:36 b_jonas: imho, EVERY compiled language should have compile-time functions 19:17:48 There's various hacks to achieve something like that in C, but I wonder if some compiler or fancy new language has this built-in. 19:19:20 b_jonas: Does it count as a language feature technically? Sounds more like a macro 19:20:01 I suggest a syntax something like ct_readf#(filename), where # is a macro-denoting symbol 19:20:31 b_jonas: I do think #esoteric should organize and produce a full-scale compiler for a new language that is esoteric, but we don't /tell/ anyone it is 19:21:10 From what I know about ancient egypt, they like fractions 19:21:13 The various hacks include: (a) formatting the bytes in decimal or hexadecimal so the C compiler can read it directly, (b) putting an array with a shorter recognizable pattern at the start (like char foo[99999]="mUMGoGXWVo+zcFg9") then finding it in the object file and replacing it, (c) 19:21:19 So my "Egypt Machine" will include fractions as a builtin 19:22:03 creating a new section with just that array, either in assembly or with non-portable extensions, then using objcopy (of binutils) to replace the contents of that section. 19:23:08 hppavilion[1]: people already suggest that certain languages are actually esoteric, or were inteded to be a joke originally. 19:23:24 b_jonas: Yes, exactly 19:25:22 (including C, Haskell, all APL-likes, perl, C++) 19:26:52 b_jonas: I've seen assemblers which will take raw bytes from an external file 19:26:58 normally with some directive like "incbin" 19:27:15 ais523: really? hmm, let me check the docs of http://yasm.tortall.net/ 19:27:21 and of gas of course 19:27:37 wow indeed 19:27:55 the GNU as docs says it has such a directive 19:27:58 called .incbin 19:27:59 great 19:28:05 I didn't know this 19:28:08 thanks 19:28:45 yasm too: http://www.tortall.net/projects/yasm/manual/html/nasm-pseudop.html#nasm-pseudop-incbin 19:30:49 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 19:31:22 -!- hppavilion[1] has joined. 19:31:31 -!- Reece` has joined. 19:48:10 I should really reinstally my machine 19:49:01 the current install is so old and broken 19:49:10 but I'm lazy to reinstall 19:49:19 there's so many things I'd have to set up 19:49:39 Well, personally I like the patina on old, sticky bits. 19:49:39 still, I don't much have any choice 19:54:49 OK, I've got the egypt machine up and running 19:55:02 int-e: sure, those bits aren't going anywhere 19:55:08 it will still be bootable 19:55:24 It has 7 instructions, and (although not minimized properly), it is (intentionally) /not/ turing-complete 19:55:47 unless, you know, I mess up big time, or there's a hardware failure and I only bother to restore the new install 19:56:50 The instructions (which are represented as fractions in the code) are clr, inc, dec, glide, land, glidenz, landnz, incden, and decden 19:57:07 hppavilion[1]: um, how is that 7? 19:57:16 b_jonas: I added two in between 19:57:30 There are infinitely many registers in theory, of types "holy" (fractional) and "non-holy" (integers) 19:57:36 Because I realized fractions were pointless 19:57:47 `perl -e @a = split /,\s*/ "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"; warn 0+@a, " instructions" 19:57:50 (maybe I can't count) 19:57:51 String found where operator expected at -e line 1, near "/,\s*/ "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"" \ (Missing operator before "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"?) \ syntax error at -e line 1, near "/,\s*/ "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"" \ Execution o 19:58:03 `perl -e @a = split /,\s*/, "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"; warn 0+@a, " instructions" 19:58:06 9 instructions at -e line 1. 19:58:45 -!- ais523 has quit. 19:58:55 b_jonas: You write the instructions as a/b fractions, where a is the target register and b is the opcode (0..8) 20:01:59 -!- Phantom_Hoover has joined. 20:04:38 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 20:04:46 -!- tromp_ has joined. 20:04:54 -!- nycs has joined. 20:06:34 -!- `^_^v has quit (Ping timeout: 250 seconds). 20:08:13 -!- hppavilion[1] has joined. 20:09:25 -!- tromp_ has quit (Ping timeout: 260 seconds). 20:11:45 -!- Reece` has quit (Ping timeout: 245 seconds). 20:12:54 -!- Reece` has joined. 20:44:54 -!- deltab_ has joined. 20:45:06 is there a constant time method to compute remainder mod b using only elementary operations? 20:45:48 quintopia: um, what are the inputs? 20:46:21 x and b 20:46:30 and any constants you need 20:46:48 -!- shikhin has changed nick to driyoyleujiy. 20:46:59 -!- driyoyleujiy has changed nick to shikhin. 20:47:47 -!- sebbu has quit (*.net *.split). 20:47:48 -!- deltab has quit (*.net *.split). 20:47:49 -!- Elronnd has quit (*.net *.split). 20:47:49 -!- fizzie has quit (*.net *.split). 20:48:42 um, but what are they? 20:49:18 how does it matter? 20:49:41 -!- fizzie has joined. 20:51:49 -!- Elronnd has joined. 20:53:39 you may assume b is an integer greater than 1, and that x is a gaussian integer or half-integer or whatever else you like or need it to be 20:53:59 heck you may as well assume b=8 20:54:31 -!- Reece` has quit (Quit: Alsithyafturttararfunar.). 20:56:22 quintopia: and what do you count as elementary operations then? 20:58:58 a^b, log_a(b) and complex conjugation and any number of compositions of these in any order 21:07:37 -!- idris-bot has joined. 21:14:41 -!- sebbu has joined. 21:15:52 is addition allowed? 21:17:23 Using PLY 21:17:32 Specifically, ply.lex 21:17:37 To lex a programming language with keywords 21:18:03 How do I do keywords such that they don't collide with names? 21:19:01 So "fnwalrus" -> NAME "fnwalrus", "fn walrus" -> KW "fn", NAME "walrus" 21:25:42 -!- stalem has quit (Ping timeout: 252 seconds). 21:33:40 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 21:40:52 -!- augur has quit (Ping timeout: 248 seconds). 21:43:16 -!- madyach has joined. 21:45:00 -!- augur has joined. 22:02:59 -!- madyach has left ("Leaving"). 22:04:50 -!- madyach has joined. 22:06:34 -!- b_jonas has quit (Ping timeout: 256 seconds). 22:07:54 -!- b_jonas has joined. 22:11:00 -!- mauris_ has changed nick to mauris. 22:18:18 -!- shikhin has changed nick to rms. 22:18:25 -!- rms has changed nick to shikhin. 22:18:45 -!- mihow has joined. 22:20:32 -!- oerjan has joined. 22:22:26 -!- jaboja has quit (Ping timeout: 276 seconds). 22:27:19 b_jonas: http://doc.rust-lang.org/std/macro.include_bytes!.html 22:27:51 (There's also std:include_str! which includes the contents of a UTF-8 file as a string. 22:28:13 ) 22:29:14 stupid tooth filling fell out :( 22:29:47 (Other than that, I think I've only seen the same feature in assemblers, where it's positively commonplace.) 22:30:37 -!- J_Arcane has joined. 22:34:46 -!- nycs has quit (Quit: This computer has gone to sleep). 22:35:09 -!- jaboja has joined. 22:51:06 -!- mottled has joined. 22:52:57 -!- Snakke has joined. 22:54:46 hi all 22:56:27 -!- Snakke has left. 22:58:16 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:03:12 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 23:03:31 -!- mottled has left. 23:06:11 -!- deltab_ has changed nick to dletab. 23:06:19 -!- dletab has changed nick to deltab. 23:13:41 -!- Froo has joined. 23:16:46 -!- Froox has quit (Ping timeout: 250 seconds). 23:19:32 b_jonas: log_k(log_k((k^k^a)^(k^b)))=a+b 23:27:25 `cat bin/perl-e 23:27:30 ​#!/bin/bash \ perl -e "$@" 23:27:43 funny thing, that command is entirely redundant 23:27:46 -!- erdic has quit (Ping timeout: 240 seconds). 23:28:02 `perl -e print "hi"; 23:28:05 hi 23:28:51 -!- erdic has joined. 23:36:18 -!- tromp_ has joined. 23:37:37 -!- hppavilion[1] has joined. 23:38:03 -!- Froo has quit (Quit: *bubbles away*). 23:38:21 -!- Frooxius has joined. 23:39:25 Here's an idea for a fun website 23:39:43 A sort of forum for math (not just a math forum; a bit more than that) 23:39:58 Which makes all these math jokes inside its basic structure 23:40:52 -!- tromp_ has quit (Ping timeout: 248 seconds). 23:41:20 And, in the process, drills into your skull /exactly/ how math works 23:42:01 For example, there are communities (Google+ calls them circles, other places call them groups, etc.) 23:42:14 If you are not a member of a community 23:42:30 As in, any given community, not that you are not a member of any communities at all 23:42:54 If you are not a member of community x, then you are a member of community Cx 23:42:58 Automaticall 23:43:00 y 23:45:52 after all this play, i still manage to get new little epiphanies about how tatham's loopy puzzle works 23:47:04 i just realized a deduction i use for triangles with a 2 in them also works in reverse 23:48:22 (if a vertex of the triangle has exactly one non-triangle edge, then that edge is in the loop iff the opposing edge of the triangle is - i just had the => part) 23:48:54 admittedly the => part works if there's more than one edge 23:54:31 loopy is fun 23:54:50 can you answer my question oerjan? 23:55:02 MAYBE 23:55:31 i seem to have been distracted by loopy from my logreading, so you'll have to repeat the question. 23:59:37 or you could just wait, i guess. still loopying...