00:04:35 -!- Marcela_Gandara has quit (Quit: Leaving.). 00:05:10 wow, the TIS-100 is capable of flow-based programming... it has backpressure. 00:06:27 -!- iconmaster has quit (Ping timeout: 264 seconds). 00:07:13 -!- int-e has set topic: Surprise! | The international hub of esoteric programming language and kitten typesetting | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Chennai (not Madras). 00:08:11 gasp 00:10:55 I/O operations block on their respective nodes until they have needed data. 00:18:52 `unidecode Kohctpyktop 00:18:54 [U+004B LATIN CAPITAL LETTER K] [U+006F LATIN SMALL LETTER O] [U+0068 LATIN SMALL LETTER H] [U+0063 LATIN SMALL LETTER C] [U+0074 LATIN SMALL LETTER T] [U+0070 LATIN SMALL LETTER P] [U+0079 LATIN SMALL LETTER Y] [U+006B LATIN SMALL LETTER K] [U+0074 LATIN SMALL LETTER T] [U+006F LATIN SMALL LETTER O] [U+0070 LATIN SMALL LETTER P] 00:20:28 -!- iconmaster has joined. 00:20:29 I had not realized that КОНСТРУКТОР can be rendered using standard latin letters... but it's really spoiled in lower case. 00:21:25 (context: http://www.zachtronics.com/kohctpyktop-engineer-of-the-people/ ) 00:22:08 compare: конструктор 00:23:49 I like words that can be rendered like that, like PECTOPAH 00:24:43 maybe you could use latin smallcaps? 00:28:48 I had a random idea about making an esolang with an alphabet restricted to the overlap between cyrillic and latin, with e.g. H as an alias for Н 00:29:00 (called PECTOPAH) 00:29:32 olsner: EXCE... um. 00:29:37 (TIS-100 and Spacechem are games by the same company) 00:30:08 oerjan: EXCEwhat? 00:30:39 olsner: EXCEsomethingthatdoesn'tfitthescheme 00:33:06 otoh, this is pretty annoying: https://www.modulargrid.net/img/modules/v6/1026.jpg (cyrillic-lookalike for "autobot", but with my rudimentary cyrillic skills, that's something like PUGOSOG) 00:36:00 olsner: there exists something like that: car registration plates in Macedonia use the ten letters that appear in both the Macedonian alphabet (which is similar to the Serbian cyrillic alphabet) and the English alphabet (plus they use the ten digits). 00:36:49 `? zkstr 00:36:50 including e.g. H and P that look the same but have different sounds? 00:36:55 zkstr is a common consonant cluster at the start of Russian words, see eg. http://www.math.bme.hu/~ambrus/pu/metro-typo-2 00:36:56 olsner: yes 00:37:43 olsner: for a reg plate, the important thing is that you can write it up or remember it to later report, not to pronounce it 00:40:54 olsner: https://commons.wikimedia.org/wiki/Category:Old_license_plates_of_the_Republic_of_Macedonia should give a rough idea of how thus looks like in practice 00:42:48 although that shows the letter G so I don't quite get how it works 00:43:10 but other than G it does seem to match\ 00:43:37 ok, no, it also has Z 00:43:41 I dunno then 01:17:42 -!- tromp has joined. 01:22:37 -!- tromp has quit (Ping timeout: 260 seconds). 01:35:27 -!- jaboja has quit (Ping timeout: 260 seconds). 01:39:15 -!- hppavilion[1] has joined. 01:39:40 For spheres, why don't we just use π++? 01:39:50 (π++ = 4π/3) 01:40:42 Better yet, there should be an alternative syntax that treats π as a sequence rather than a constant 01:41:54 π_n = r^n/volumeOfNSphereWithGivenRadius(n, r) (forall real r) 01:48:45 -!- jaboja has joined. 02:00:39 -!- centrinia has joined. 02:00:52 -!- Sgeo has joined. 02:09:13 "Subclass" is a silly word 02:09:26 As is "Superclass" 02:10:26 Even in the most rigorous environments, in which subclasses never overload a method (or where methods have the same behavior with some added), they're increasing the stuff in the class, not decreasing it as a subset does 02:11:34 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:11:45 sgello 02:12:07 Here's a little HackEgo command I think would be funny 02:12:12 \`language 02:12:44 It takes a number of files listing terms and spits out a buzzword-filled language description 02:13:24 (Along with the `language.define command, which defines buzzwords (though potentially involving more buzzwords that you need to define (inevitably forming infinite loops))) 02:14:05 I say "little HackEgo command", but it'd probably take hours of development to make it work 02:14:47 well that was fun. 02:15:54 The images captions @ https://en.wikipedia.org/wiki/Duck_test are awesome 02:15:59 picobit: Was that directed at me? 02:16:03 hppavilion[1]: nah. 02:16:06 picobit: OK 02:16:18 hppavilion[1]: playing TIS-100. 02:16:24 picobit: Yay! 02:16:29 some of these scheduling problems are really fun. 02:16:30 picobit: TIS-100 is awesome! 02:16:35 it is. runs well too. 02:16:44 (btw, I'm not in ##programming anymore) 02:16:48 picobit: Though I got stuck on the one where I find the length of an array or something 02:16:56 picobit: I'm now muted there, so... 02:16:59 lmao. 02:17:01 sequence length? 02:17:13 I passed that problem a few minutes ago. 02:17:25 hold on, I'll screen the solution. 02:19:22 hppavilion[1]: http://imgur.com/a/KxB88 02:19:41 picobit: I think I had to find sequence length AND something else 02:19:47 hppavilion[1]: length and sum. 02:19:50 picobit: The length and sum 02:19:51 picobit: Yes 02:20:03 picobit: I couldn't figure it out because there weren't enough registers xD 02:20:15 hppavilion[1]: I used a buffering technique present there. 02:20:22 picobit: Ah, yes 02:20:30 essentially you send the value twice, since we don't send until two nodes agree. 02:20:46 it's expensive on cycles but it's the only way I thought of. 02:21:03 this way you can use the previous node's accumulator to buffer for the comparison. 02:27:21 picobit: I'm designing an image format called AGIF (Advanced Giraffical Interchange Format) 02:28:14 picobit: It aims to be like GIF with some simplified event-driven scripting (e.g. eyes that follow the mouse) 02:29:02 fun! 02:29:07 picobit: Yep! 02:29:15 I think SVG can also do but with vector graphics instead 02:29:24 zzo38: ...damn 02:29:38 lol. 02:29:49 zzo38: Though AGIF does support vector graphics (in the form of PNG), as well as raster graphics (in the form of JPG) 02:30:06 PNG is not even a vector graphics format though 02:30:18 zzo38: Really? I seem to remember it being vector... 02:30:26 Also JPG is lossy 02:32:01 zzo38: Yes, it is 02:32:12 holy shit, we get to divide numbers in TIS-100? 02:32:38 that's evil. 02:32:49 zzo38: But that lossiness, when used to encode non-computronic images (e.g. a picture) leads to fucking amazing compressoin 02:33:13 zzo38: Which is worth it given that you can't even tell 90% of the time unless you are also looking at the original 02:33:26 Yes it can help to improve the compression so that it why it is used for photographs 02:33:42 zzo38: Yes, that's why I support it 02:33:52 Yes OK 02:34:19 zzo38: Computer graphics are supposed to use whatever vector format I choose, photographics are supposed to use JPG 02:35:03 zzo38: Well, strictly speaking, since you usually won't be using AGIF for anything but programmatic GIF, you shouldn't use it for photographs at all 02:35:12 zzo38: The same way nobody uses GIF for static images 02:35:31 zzo38: I can't find any generally-used binary vector formats. Weird. 02:35:55 -!- centrinia has quit (Quit: Leaving). 02:36:20 zzo38: I now have to invent BVF too, of course 02:36:54 Or should I call it BVI? 02:37:02 PNG is much better than GIF anyways. That is why GIF is no longer used for static images (in the past they used to do though, before PNG was invented) 02:37:18 zzo38: Yes, you are correct 02:37:33 zzo38: TIL that GIF only supports 8-bit colors 02:37:39 (At least, originally) 02:38:45 Eh, BVIF will do 02:38:55 It's not really meant for usage outside of AGIF anyway 02:40:24 That is part of it too yes, and there are other problems also with GIF. GIF only does paletted pictures, uses inferior compression, does not support alpha transparency, and is patented. Those are a few of its problems. Animated PNG is also possible although it isn't common, so GIF is still sometimes used for animations 02:44:09 zzo38: GIF's patents expired ages ago... 02:44:16 2004 02:44:21 deltab: Thank you 02:44:34 Yes that is true 02:44:37 zzo38: And for BVIF... I need a binary JSON xD 02:45:17 There are a few different formats that are like binary JSON, including something I have designed some time ago, I will have to try to find it 02:45:31 holy fuck I didn't know this game had an image console. now I have to write a raytracer. 02:49:56 zzo38: It's not so much JSON as EJSON 02:50:02 (extensible json) 02:50:44 zzo38: Do you know the name of the encoding that UTF-8 uses? Where the high bit being 1 means "include next byte" 02:51:07 picobit: You don't *have* to, you just *want to at the moment* 02:51:29 picobit: Also, use of actual formatting on IRC as opposed to Human Markup offends me. 02:52:14 lol. 02:52:59 Meh, I'll just call it "variable-width include-bit encoding" 02:53:27 hppavilion[1]: I just call the encoding UTF-8 02:53:37 Whether or not it is being used to encode Unicode text. 02:53:41 zzo38: Yes, but the concept of the encoding. 02:53:43 zzo38: Ah 02:54:00 I think "the UTF-8 encoding algorithm" is probably the best unambiguous way of referring to it. 02:54:17 protobuf calls it varint: https://developers.google.com/protocol-buffers/docs/encoding#varints 02:54:26 What is extensible JSON? 02:55:00 I don't think protobuf varints are the same as UTF-8. 02:55:28 zzo38: It's something I made up for the purposes of this discussion 02:55:37 UTF-8 has the number of leading 1s in the first byte indicate how many bytes remain in the encoding, after all... 02:55:41 they're not: they're 'the high bit being 1 means "include next byte"' 02:55:51 pikhq: Yes, though I'm not doing that 02:55:55 OIC 02:55:57 pikhq: So I guess I need another name 02:56:08 pikhq: It's the first bit of each byte constitutes whether to include the next 02:56:23 "Each byte in a varint, except the last byte, has the most significant bit (msb) set – this indicates that there are further bytes to come. The lower 7 bits of each byte are used to store the two's complement representation of the number in groups of 7 bits, least significant group first." 02:56:44 UTF-8 is different from VLQ 02:56:52 zzo38: VLQ? 02:57:05 VLQ is used for the timing in MIDI files 02:57:09 zzo38: Ah 02:57:39 It is base 128 numbers where the high bit of each byte indicates that another byte of the number follows and is big endian numbers 02:58:01 (There is also small endian VLQ used in some other file formats, and also signed VLQ is another variant.) 02:59:07 And then there is also my variant where specifying the first byte of the number as 0x80 results in a place value of 128 instead of 0 03:00:43 hppavilion[1]: I know you made up EJSON but it does not quite explain the details? 03:00:55 zzo38: I didn't invent any details 03:01:04 zzo38: I literally just made it up on the spot 03:01:09 zzo38: As an example 03:01:23 Then how do you know how to do it? You have to figure out 03:01:44 zzo38: But if you want specifics, it's "Anything that's like JSON, but has extra stuff mixed in defined by the specific EJSON-decoding algorithm" 03:02:08 zzo38: It's just a way to talk about things that are like JSON++ 03:02:55 RDF is extensible though by adding whatever data types and data structures you want to put, although conversion can be done without needing specific parsers for such stuff 03:03:49 there are some binary vector formats used in GIS, for example https://en.wikipedia.org/wiki/Shapefile 03:07:29 (You probably do not need RDF in this case, although I wouldn't know all details of what you are doing of course) 03:12:50 the Draw file format: http://www.riscos.com/support/developers/prm/fileformats.html#31018 03:17:45 -!- centrinia has joined. 03:20:30 -!- MDude has quit (Quit: MDude). 03:30:04 zzo38: OK, I've got EBO defined 03:35:36 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 03:43:54 -!- XorSwap has joined. 03:45:27 -!- iconmaster has quit (Ping timeout: 264 seconds). 03:46:52 -!- hppavilion[1] has joined. 03:47:17 zzo38: I don't need RDF because I'm going for a binary format 03:50:21 I think these situations are independent 04:02:24 Ugh, BOX DRAWINGS VERTICAL HEAVY AND RIGHT LIGHT doesn't have a right pokey thing in it 04:02:27 In my font, that is 04:02:36 If only I could access the font creator to tell them. 04:02:37 ... 04:02:38 Oh wait 04:02:45 \oren\: BOX DRAWINGS VERTICAL HEAVY AND RIGHT LIGHT looks wrong. 04:07:45 -!- Kaynato has joined. 04:08:30 `unrelcome testPerson 04:08:46 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unrelcome: not found 04:08:52 `colorize 04:08:59 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: colorize: not found 04:11:04 zzo38: Wait, does RDF have a binary output option? 04:17:02 -!- picobit has quit (Ping timeout: 260 seconds). 04:24:25 hppavilion[1]: There are different file formats to store RDF, so it is possible to use a binary format. It would also be possible to make a program that takes RDF data and output a binary file of some specific format based on such thing. However, as I have said you do not necessarily need RDF for what you are doing anyways 04:24:51 zzo38: Yeah, probably not 04:25:02 zzo38: I'm considering submitting these as ESOSC standarsd 04:25:05 *standards 04:35:15 `danddreclist 77 04:35:17 danddreclist 77: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 04:36:15 -!- dingbat has joined. 04:50:22 -!- picobit has joined. 04:54:56 -!- MDude has joined. 04:56:56 -!- jaboja has quit (Ping timeout: 244 seconds). 05:18:09 I wonder... 05:18:17 Is it actually possible to put out a fire with gasoline? 05:18:54 With sufficient gasoline, probably. 05:18:56 It seems like with enough (like, a few kilolitres or so) poured on the water all at once, you would cut off the error and the gasoline wouldn't ignite 05:19:05 s/error/air/ 05:19:17 (Wow, impressive typofication) 05:19:41 You can't really get a normal fire without oxygen. 05:20:22 That said, I strongly advise against trying to put out fires with fluorine. 05:21:29 pikhq: Yes, that's what I said. Oxygen. 05:21:35 Well, I said "air" 05:21:50 Well, "error" until [20:19:03] 05:23:02 (I consider α-expressions with s as their command to literally change history, rather than just correcting a mistake) 05:23:20 I also strongly advise against doing much of anything with fluorine or its compounds, really. 05:23:32 pikhq: That is a fair piece of advice 05:25:31 do keep brushing your teeth, though 05:25:37 Don't trust a guy who would help you dispose of a body, he knows how to dispose of a body. 05:25:40 `advice 05:25:49 deltab: Okay. 05:25:50 deltab: "keep" brushing my teeth? 05:25:52 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: advice: not found 05:26:00 * pikhq squirts some krypton difluoride on his teeth 05:26:02 Like this? 05:26:22 `advice should be similar to `wisdom, but it doesn't associate the information with words 05:26:28 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: advice: not found 05:26:52 `` cat bin/wisdom 05:26:55 F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f | shuf -n1)"; echo -n "${F#wisdom/}/" | rnoooooodl; cat "$F" | rnoooooodl 05:27:41 pikhq: A *n?x that doesn't distinguish between files and folders... 05:28:10 Y'mean all of 'em? 05:28:18 Unix directories are literally files. 05:30:24 hppavilion[1]: yeah, keep brushing, but take breaks of around 12 hours every couple of minutes 05:30:24 https://www.quora.com/Why-are-visual-basic-programmers-laughed-at-by-other-programmers/answer/Mark-Flory?srid=dS99 is awesome 05:30:59 pikhq: Yes, but they don't hold anything more than a pointer to the next file. Or something. I'm not very good at *n?x 05:31:35 pikhq: I'm talking one where /every/ file with a body is /also/ a directory with members, and vice versa 05:31:55 Ah. 05:32:06 pikhq: Yes. 05:32:29 pikhq: And there would be tools like exj that turn a .json into a whole directory 05:32:54 (well, not a .json, because *n?x, but a file with the JSON mimetype) 05:33:22 pikhq: I have also considered an OOFS, but OO is bad and I should feel bad 05:39:07 IMO, for actual purposes OSes should have three types of applications- Applets, User Applications, and Admin Applications 05:39:55 Applets run in their own subsystem that follows the SILO model, user applications have access to all non-protected parts of the filesystem, and admin applications have full-system access 05:40:11 -!- earendel has joined. 05:40:48 All three of those also have their own Windows-like registry (because config files are getting old), and Admin applications can mess with registries of other applications (including the OS) 05:41:49 It's been suggested that we should use the mobile phone model where EVERYTHING follows the SILO model, but I quite like being able to open documents with both Notepad++ and other applications 05:41:53 -!- Kaynato has quit (Ping timeout: 244 seconds). 05:51:42 -!- centrinia has quit (Ping timeout: 244 seconds). 05:53:17 -!- oerjan has quit (Quit: Nite). 05:55:58 pikhq: Monadic File System 06:04:32 -!- tromp has joined. 06:08:13 -!- picobit has quit (Quit: leaving). 06:08:46 Hm... seeing as monads are like burritos... 06:08:54 ...Burritoid File System 06:11:20 Monads are like burritos? 06:11:37 That is what they say but it does not really make sense so much 06:11:48 I thought burritos were like monads. 06:12:13 This may explain my poor understanding of the burrito category. 06:21:06 zzo38: Do you understand Monads well enough to get what a Monadic filesystem would be like? 06:21:14 Because I really don't 06:33:28 Not at this time 06:34:34 I just don't have any idea how monads could apply to a filesystem. 06:34:57 -!- XorSwap has quit (Quit: Leaving). 06:35:01 Except in that you could have a "filesystem monad" which would be a state monad with an unusual API. 06:35:04 pikhq: I don't etiher 06:38:53 * zgrep wishes somebody'd explain the generic rules behind what a monad is to zgrep, and give a few examples afterwards... or at least link to place that does so well 06:40:11 * zgrep wonders why the Stanford Encyclopedia of Philosophy has a page about Category Theory... 06:42:12 A lengthy one, too. 06:52:48 "OpenType is a registered trademark of Microsoft Corporation." 06:52:51 That's just /wrong/ 07:02:37 Is this understanding of how font formats work correct?: 07:02:45 The font format defines the shape of a glyph 07:03:01 -!- tromp has quit (Remote host closed the connection). 07:03:26 When a machine requests to render it, in a given size, the format evaluator converts the relevant glyphs to bitmap images of that size and passes them back to the machine 07:03:30 s/machine/program/ 07:03:47 Then the program renders them in that size 07:03:54 The glyphs, that is 07:11:32 I think more often the text renderer is part of a graphics library that writes the glyph bitmaps onto the output bitmap 07:14:48 http://carnage-melon.tom7.org/embed/dmca.html makes me happy 07:14:50 sometimes it'll return the outlines as vector paths to the program, allowing it to resize and otherwise transform the shapes, or use them as clipping paths or extrude them into 3d 07:14:52 deltab: Ah 07:16:06 the glyph bitmaps get cached because it's much faster to copy a block of pixels than to render vector shapes 07:18:32 for vector output devices such as plotters, of course, the outlines stay as vectors 07:22:38 -!- nisstyre has quit (Changing host). 07:22:39 -!- nisstyre has joined. 07:23:14 also, the text renderer can be used to get just the positions and sizes ('metrics') without any visual data; that's useful for the program to do layout (line splitting, etc.), mapping mouse click locations to characters, drawing selection boxes, etc. 07:26:22 hppavilion[1]: What you described is probably accurate for some older font renderers. 07:26:32 pikhq: Ah 07:27:06 But a simplistic model like that doesn't work quite right with the more complicated features that the OpenType format provides, such as ligatures and variant selection... 07:27:30 (which are necessary for high quality typesetting of most languages, and vital for *legible* rendering of some languages.) 07:28:27 pikhq: Variant Selection? 07:29:29 pikhq: How DO font formats usually work? 07:29:32 Some glyphs can have variants depending on context, or metadata. 07:30:10 pikhq: Ah 07:30:24 pikhq: I do want to support that, but I now realize that the return-the-bitmap model won't work 07:31:05 e.g. Arabic letters join to each other, owth differing shapes when they're initial, medial, final or isolated 07:31:08 The better solution, which is also a lot easier for end users to use, is to have the font renderer render *strings* into a bitmap image. 07:31:36 pikhq: Ah, that works. 07:31:40 pikhq: Is there a "but"? 07:32:24 -!- ineiros has joined. 07:32:33 Not that I know of. Um, if you support antialiasing use an alpha channel and require end users to composite instead of rendering without an alpha channel? 07:32:49 pikhq: OK? 07:33:16 pikhq: I will have to figure out how to return bitmap images AND AGIF 07:33:34 Why GIF? 07:34:30 pikhq: AGIF 07:34:33 pikhq: Not GIF 07:34:57 pikhq: Because animated emoji with simplistic scripting make me cry tears of joy. 07:35:52 Where AGIF is GIF with the almost universally supported animation extension? 07:36:29 pikhq: No, AGIF is Advanced GIF 07:37:07 Is there anything about it that's better than PNG? (well, APNG or MNG or some such) 07:37:15 (I would hope so, but hey. :)) 07:37:55 pikhq: It's like GIF with simplistic scripting (e.g. googley eyes that follow the mouse). Horribly inefficient on slower processors, but fucking amazing when it's fast enough. 07:38:20 Ah. Neat. 07:38:23 I feel a like it's a /bit/ outside of the image domain, but oh well. 07:38:25 Just a bit. 07:38:35 Probably. 07:38:53 'AGIF' is likely to be interpreted as 'animated GIF' 07:38:59 pikhq: I imagine it'll be the kind of thing that you could technically write a full-scale game in but that you never would because that's awefome 07:39:01 Though probably easy *enough* to get working on the web with some clever Javascript. 07:39:03 *aweful 07:39:06 *awful 07:39:19 pikhq: Oooh, right 07:39:19 -!- lambda-11235 has quit (Quit: Bye). 07:39:37 Particularly if you manage to make it an actual extension of GIF. 07:39:48 pikhq: I probably won't 07:39:59 Then why call it GIF? :P 07:40:20 pikhq: The idea, though, is a font format that also supports vector images in the AGIF format (which builds on BVIF (Binary Vector Image Format)) 07:40:25 pikhq: Well, it's a coincidence 07:40:43 AGIF is actually, officially, Advanced Giraffical Interchange Format 07:40:54 Because why the hell not 07:50:16 -!- bb010g has quit (Ping timeout: 264 seconds). 07:50:51 -!- ineiros has quit (Ping timeout: 264 seconds). 07:51:34 -!- ineiros has joined. 07:58:47 -!- bb010g has joined. 08:03:32 -!- tromp has joined. 08:08:05 -!- tromp has quit (Ping timeout: 244 seconds). 08:49:39 I just realized that I've never seen a format for encoding charts 08:49:47 As in, arbitrary graphs 08:51:34 -!- yorick__ has joined. 08:51:34 -!- yorick__ has quit (Changing host). 08:51:34 -!- yorick__ has joined. 08:51:37 -!- FreeFull_ has joined. 08:55:33 -!- sewilton_ has joined. 08:56:43 -!- earendel has quit (*.net *.split). 08:56:45 -!- FreeFull has quit (*.net *.split). 08:56:45 -!- idris-bot has quit (*.net *.split). 08:56:45 -!- yorick has quit (*.net *.split). 08:56:45 -!- sewilton has quit (*.net *.split). 08:56:45 -!- Nithogg has quit (*.net *.split). 08:56:45 -!- zzo38 has quit (*.net *.split). 08:59:45 -!- sewilton_ has changed nick to sewilton. 09:03:13 -!- Nithogg has joined. 09:03:18 -!- augur_ has joined. 09:06:47 -!- atehwa_ has joined. 09:07:50 -!- Warrigal has joined. 09:08:54 -!- contrapumpkin has joined. 09:09:08 -!- jix_ has joined. 09:12:02 -!- FreeFull_ has quit (*.net *.split). 09:12:02 -!- yorick__ has quit (*.net *.split). 09:12:05 -!- me4 has quit (*.net *.split). 09:12:05 -!- copumpkin has quit (*.net *.split). 09:12:09 -!- jix has quit (*.net *.split). 09:12:13 -!- ski has quit (*.net *.split). 09:12:13 -!- augur has quit (*.net *.split). 09:12:13 -!- trn has quit (*.net *.split). 09:12:13 -!- tswett has quit (*.net *.split). 09:12:16 -!- atehwa has quit (*.net *.split). 09:12:16 -!- catern has quit (*.net *.split). 09:12:16 -!- Deewiant has quit (*.net *.split). 09:12:16 -!- nitrix has quit (*.net *.split). 09:12:16 -!- paul2520 has quit (*.net *.split). 09:12:16 -!- singingboyo has quit (*.net *.split). 09:12:16 -!- newsham has quit (*.net *.split). 09:13:17 -!- ski has joined. 09:15:19 -!- catern has joined. 09:16:17 -!- sewilton has quit (Ping timeout: 260 seconds). 09:16:22 -!- nitrix- has joined. 09:18:19 -!- Deewiant has joined. 09:18:23 -!- paul2520 has joined. 09:18:39 -!- paul2520 has quit (Changing host). 09:18:39 -!- paul2520 has joined. 09:22:33 -!- Lord_of_Life has quit (Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite!). 09:25:32 -!- sewilton has joined. 09:26:36 -!- trn has joined. 09:41:40 -!- ocharles_ has quit (Quit: Updating details, brb). 09:41:55 -!- Reece` has joined. 09:42:45 -!- ocharles_ has joined. 09:45:41 -!- Lord_of_Life has joined. 10:03:54 -!- yorick has joined. 10:05:30 -!- AnotherTest has joined. 10:05:31 -!- newsham has joined. 10:05:31 -!- singingboyo has joined. 10:15:11 -!- gamemanj has joined. 10:51:34 -!- FreeFull has joined. 11:01:46 -!- Phantom_Hoover has joined. 11:04:39 -!- gamemanj has quit (Ping timeout: 264 seconds). 11:04:51 -!- tromp has joined. 11:09:41 -!- tromp has quit (Ping timeout: 268 seconds). 11:22:36 -!- Froox has quit (Quit: *bubbles away*). 11:39:00 -!- Frooxius has joined. 11:44:47 -!- mroman has joined. 11:45:05 http://codepad.org/lwL6oCq0 <- anybody an idea how I can translate that to Haskell 11:45:07 I'm stuck 12:17:51 -!- fizzie has joined. 12:17:51 [[("a",1),("b",3),("c",4)],[("a",1),("b",3),("c",5)],[("a",1),("b",3),("c",6... 12:19:23 :t uncurry (map . (,)) 12:19:24 (a1, [a]) -> [(a1, a)] 12:25:23 -!- rdococ has joined. 12:26:21 this can be done in Python as well, of course: import itertools \ def f(xss): \ list(itertools.product(*[[(a,x) for x in xs] for (a,xs) in xss])) 12:27:50 (and the list() is a pessimation if you only want to iterate over the result) 12:27:59 pessimization 12:42:27 -!- MDude has quit (Ping timeout: 244 seconds). 12:55:39 -!- p34k has joined. 13:05:31 Given a biinfinite tape of endless 0s, write a TM that will 1ify it 13:23:15 `? tomato 13:23:22 `? tomato sauce 13:23:59 tomato sauce? ¯\(°_o)/¯ 13:23:59 tomato? ¯\(°_o)/¯ 13:29:31 -!- boily has joined. 13:36:12 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 13:48:28 I had forgotten just how inscrutable the KOHCTRYKTOP solutions look http://int-e.eu/~bf3/tmp/k8.png 13:54:20 That's impressively inscrutable 13:56:38 (featuring a transistor delay based osciallator and a T flip-flop) 14:03:57 Something I find fun from time to time is to write intentionally bad fizz buzz programs; a friend of mine has a github repository collecting them 14:04:07 Here is my latest (in Rust): https://github.com/Taneb/BadBuzz/blob/master/Rust/Taneb.rs 14:08:37 `? loudly 14:08:45 Did you mean: loudly 14:09:35 how the fungot am I supposed to LaTeX that one... 14:09:35 boily: calamari's array implementation does not allow you to reason about. 14:09:46 fungot: no, I do not reason about calamari hth 14:09:47 boily: and it is orthogonal to the interpretation technique. system interrupts, on the other hand, if you express a procedure literal with the lambda 14:10:22 Taneb: Tanelle. that is bad, and you should feel great. 14:15:24 -!- iconmaster has joined. 14:36:12 oh it blinks... what fun... 14:38:37 boily: how about something like {\fboxsep0pt\colorbox{green}{\textcolor{red}{l}}\colorbox{red}{\textcolor{green}{o}}\colorbox{green}{\textcolor{green}{u}}\colorbox{red}{\textcolor{red}d}\colorbox{green}{\textcolor{red}l}\colorbox{red}{\textcolor{green}y}}} 14:39:24 I was just going to suggest colorbox. 14:40:10 Though there's a \hl command in \usepackage{soul} that could also work. (You'd need a lot of \hl{x}\sethlcolor{a}\hl{y}\sethlcolor{b}... but still. 14:40:32 (not sure whether the green on green/red on red works for imitating blinking) 14:42:32 oh and maybe sprinkle some \strut in there... 14:42:52 My colleagues had recorded me one of those audio greeting cards, but so that it has 15 different greetings all mixed together. 14:43:15 \newcommand{\colorfulletter}[3]{{\fboxsep0pt\colorbox{#1}{\textcolor{#2}{\strut#3}}} 14:43:27 Taneb: abusing destructors? I've done that once, in a somewhat bad obfu at http://www.perlmonks.com/?node_id=330784 14:44:09 * int-e isn't testing this btw 14:44:21 no wait, that one doesn't abuse destructors 14:46:15 -!- cnydraz has changed nick to hydraz. 14:46:37 -!- jaboja has joined. 14:51:12 mumble. "Encoding file `t5enc.def' not found." 14:52:23 texlive-lang-other. thanks, debian. 14:52:41 int-e: are you... building the wisdom PDF? 14:52:50 maybe? 14:53:03 * boily has a widening grin 14:53:06 oooooh :D 15:04:10 doesn't really work... 15:06:13 which part doesn't work? 15:06:24 boily: anyway, try this: http://sprunge.us/IEGc 15:06:36 -!- tromp has joined. 15:06:39 the vietnamese doesn't work 15:08:31 strange... it works perfectly well here. 15:08:39 missing package? bad moon alignment? 15:08:40 (apparently the vietnam.ldf file is gone) 15:08:57 ??? 15:11:07 I have it here, it belongs to texlive-lang-other. reinstall the package? 15:11:18 or renamed, hmm. /usr/share/texlive/texmf-dist/tex/generic/babel-vietnamese/vietnamese.ldf 15:11:27 texlive-lang-other: /usr/share/texlive/texmf-dist/tex/generic/babel-vietnamese/vietnam.ldf 15:11:44 I'm on debian unstable (stretch) 15:13:27 ubuntu 15.10. 15:15:10 anyway... not going to solve this today... it's also missing the -cjk stuff and I'm not in the mood to download 100 MB right now. 15:15:58 tried you loudly thing. it's loud. 15:18:15 Oh, fun LaTeX thing: we've got a semi-official university beamer template thing, and when it's used with pdflatex from the right TeX distribution (including the one I have), it manages to make PDF files that Adobe Reader doesn't open. Just prints a cryptic error. 15:19:23 Other tools (evince, something called "PDF-xChange" or something like that that they fortunately had on the lecture hall Windows box) think the files are just fine. 15:20:13 int-e: pushed! 15:20:47 Except when I told evince to print them two slides per page, most (but not all) 'i' and 'l' letters disappeared. But for slides per page was again fine. 15:20:56 I hate Adobe Reader's errors. "Something went wrong somewhere" "Yes, I can see that. What went wrong?" "..." 15:20:58 Four. 15:21:55 Yeah, it was something like that. Except the error message box repeated six times before it gave up. 15:25:32 -!- sebbu has quit (Ping timeout: 260 seconds). 15:27:05 at our office we have an obscure tool to explode PDFs and analyse their contents. no documentation, cryptic dictionary keys, weird numbers, but otherwise tremendously useful for debugging. 15:27:26 can't remember how it's called, and if it's still available on the interwebs. 15:30:12 -!- J_Arcane has quit (Ping timeout: 246 seconds). 15:33:15 -!- jaboja has quit (Ping timeout: 250 seconds). 15:48:11 -!- gremlins has joined. 15:50:02 -!- Reece` has quit (Ping timeout: 260 seconds). 15:58:01 -!- Reece` has joined. 15:58:47 -!- gremlins has quit (Ping timeout: 244 seconds). 16:09:30 stop that! 16:11:58 b_jellonas. stop whom? what? why? 16:12:13 fungot: help? 16:12:13 int-e: especially the part about screen names made me think... thats a perfect explanation. 16:12:26 wow, perfectly coherent 16:21:17 -!- rdococ_ has joined. 16:23:09 -!- fungot has quit (Ping timeout: 250 seconds). 16:24:01 -!- j-bot has quit (Ping timeout: 250 seconds). 16:27:38 -!- boily_ has joined. 16:29:13 -!- nortti has quit (Ping timeout: 250 seconds). 16:29:46 the Gregorlogs are dead, and I am besides myself. 16:29:58 b_jonas: did the what that had to be stopped stopped? 16:30:46 -!- boily has quit (*.net *.split). 16:30:46 -!- rdococ has quit (*.net *.split). 16:31:00 -!- boily_ has changed nick to boily. 16:31:34 -!- rdococ_ has changed nick to rdococ. 16:32:12 boily: yes. it was some neighbor making noises. the nerve they have, hammering something when I'm home. 16:36:27 -!- nortti has joined. 16:43:20 -!- Reece` has quit (Read error: Connection reset by peer). 16:52:32 -!- mroman has quit (Quit: Page closed). 17:00:31 -!- oerjan has joined. 17:03:39 -!- boily has quit (Quit: SIMPLIFIED CHICKEN). 17:16:31 -!- Kaynato has joined. 17:21:26 -!- Frooxius has quit (Ping timeout: 244 seconds). 17:22:35

> let f = sequence . map (uncurry (map . (,))) in f [("a",[1,2]),("b",[3]),("c",[4,5,6])] 17:22:52 -!- sebbu has joined. 17:23:35 > let f = sequence . map sequence in f [("a",[1,2]),("b",[3]),("c",[4,5,6])] 17:23:36 [[("a",1),("b",3),("c",4)],[("a",1),("b",3),("c",5)],[("a",1),("b",3),("c",6... 17:23:50 *MWAHAHAHA* 17:24:02 :t sequence 17:24:03 (Monad m, Traversable t) => t (m a) -> m (t a) 17:24:28 eww. okay. 17:24:34 > let f = traverse sequence in f [("a",[1,2]),("b",[3]),("c",[4,5,6])] 17:24:36 [[("a",1),("b",3),("c",4)],[("a",1),("b",3),("c",5)],[("a",1),("b",3),("c",6... 17:25:13 brilliant, of course, but also appalling. 17:25:37 -!- fungot has joined. 17:25:48 That thing keeps dropping like a fly. 17:26:07 I guess that doesn't really work, since a single fly probably just drops once. 17:30:45 that doesn't match my experience 17:35:22 `? loudly 17:35:45 Did you mean: loudly 17:35:53 > traverse sequence (1,["12","34"]) 17:35:54 [(1,"13"),(1,"14"),(1,"23"),(1,"24")] 17:36:26

(not sure whether the green on green/red on red works for imitating blinking) <-- that's what irssi does, anyway 17:36:53 oerjan: I've seen it blink... I was talking about the LaTeX sinppet. 17:37:13 or snippet, to use the conventional spelling 17:37:27 ok, might be putty. 17:38:32 I see that thing as just red-on-green/green-on-red, with no blinking. 17:39:13 It blinked in my local xterm (without screen or other intermediates) 17:50:41 yay 17:50:55 -!- Reece` has joined. 17:51:14 -!- iconmaster_ has joined. 17:51:35 -!- tromp__ has joined. 17:52:36 -!- oerjan has quit (Quit: Later). 18:00:47 -!- tromp has quit (*.net *.split). 18:00:47 -!- iconmaster has quit (*.net *.split). 18:01:59 -!- boily has joined. 18:02:01 `wisdom middle worse 18:02:15 middle worse/Mïðal VVőrszü vvoràði nyëlv spöket af magyar inva̋ðereknek leszármazottai Herefördshirben äppröxima̋tely 1250. 18:02:33 -!- boily has set topic: Pickle surprise! | The international hub of esoteric programming language and kitten typesetting | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Saguenay (not Chicoutimi). 18:10:59 -!- j-bot has joined. 18:11:01 `words --finnish 20 18:11:20 pelallansa uinamme ampansoittamme nuorillenne sillensa käyneimmilta vääni kylvyllyttömimilla vetoillani konaistisimpani rajunnistäsi juhlaavillensa etenhuavistintavikalle noutariaksi pellisuudeksi suukutsutui hurjoilla tunttisisi opistoamaalenne kompien 18:20:05 -!- Reece` has quit (Ping timeout: 250 seconds). 18:20:28 -!- Reece` has joined. 18:23:58 fizziello. any real words in there? 18:24:10 -!- earendel has joined. 18:26:32 ``` words --finnish -o -5 50 18:26:34 poikkealla omaaverit haisimaannoista kuulettisimpina helisemmaltaava lautumassa sinko kaudottamaalisesi pihaa ikäisemastavilläne laperäisi laajussani yksingokseni yhdelttavilta noudeksi kahvissäni ryhmiseli kärsioikkentä valtamissämme isyytymällä hiipeilla ajalta vaksessani jakaani oivoiteikiä 18:26:35 ``` words --finnish -o 5 20 18:26:37 lyhyeliturruttelemme kourikalisempänäniputkiksentuviksen paanisemmetoimiini oulumallesittelustuvin puhkumassansaarnaan pullaamallenne tyvääniloituaksellista heneväsitoillänsä terältänne lohinhahmaansaaniikaisimmastantauksen hyökallemiamme kroukseniläisellisemmista kuohuvenemaansarjallanne vallastaantamallemme hersinuuttaessämme avillesi 18:26:56 ``` words --hungarian 30 18:26:57 Unknown option: hungarian 18:27:49 ``` words --magyar 18:27:51 Unknown option: magyar 18:27:55 :( 18:30:55 ``` words --portugese 18:30:58 Unknown option: portugese 18:31:02 ``` words --portugoose 18:31:03 Unknown option: portugoose 18:31:09 ``` words --british 18:31:10