00:00:02 fizzie, I seem to remember that open source game where you guide a black ball around a maze having a level based on brainfuck 00:00:58 Can't remember the name of the game 00:00:58 Robozzle is also kind of like an esolang, but it's not exactly a "mainstream" game. 00:01:00 e-something 00:01:41 robozzle <3 00:01:48 which actual fuck myname? 00:01:53 i especially like that there is an android port 00:02:10 kmc: i'm just not used to zzo yet 00:02:29 zzoh 00:02:54 Vorpal: Enigma 00:02:59 http://enigma-game.org 00:03:01 I have made up a similar game to Robozzle too but there isn't enough levels yet 00:03:17 I've developed levels for it, that are actually in the official released versions (not just modding) 00:03:22 zzo38: define "similar" 00:03:24 perhaps the most infamous one is a backwards Sokoban 00:03:34 where you're given an empty room where you can build walls and place boxes 00:03:39 and the level solves it and then tells you it was too easy 00:03:50 -!- Bike has quit (Ping timeout: 264 seconds). 00:03:54 or alternatively, if it's impossible, makes you go solve it yourself (you can't) 00:03:55 ais523, ah yes 00:04:25 There's an Android port of SpaceChem too, sadly not automatically available if you have the computer version. (Didn't really do the "post-game" content, might on the tablet.) 00:04:53 I wasn't much good at SpaceChem 00:05:30 I was barely good enough to get through it. 00:05:49 myname: You have set of commands available (which can differ per level), and rows of programming you can fill in, and have to catch all of the diamonds before the program stops. There can be diamonds in places where there is no floor; you can step there safely but then cannot step there a second time unless the hole is filled in. If there is a "$" then you must catch that one last, otherwise you lose. 00:05:55 I found it pretty boring, so I didn't play more than maybe two worlds of it 00:06:07 At that point at least it wasn't really hard. 00:06:14 It quite resembles an arbitrarily constrained Befunge, though. 00:06:19 I just found it monotonous 00:06:37 fizzie: i stumbled upon a game based on an esolang recently 00:06:42 fizzie, yes, and I suspect it isn't TC? 00:06:48 myname: Does this description explain it? 00:06:55 zzo38: kind of 00:07:16 zzo38: sounds like a slightly modified robozzle 00:07:32 there should be more interesting commands available! 00:07:39 programming games in general are a bit awkward 00:07:47 myname: Yes, although the engine is entirely rewritten, in QBASIC. 00:07:53 Phantom__Hoover: tbh, i don't like most of them 00:07:59 And more commands can be added if you have an idea what to add! 00:08:01 i really like the idea 00:08:01 Vorpal: I'm pretty sure it has finite state, yes. 00:08:03 but... 00:08:11 fizzie, right 00:08:36 fizzie, you have those production line things though, you could extend them to be infinite queus 00:08:40 *queueus 00:08:45 *queues? 00:08:53 zzo38: why qbasic? i used that when i was like 12 years old 00:08:57 Quuus. 00:09:13 Qs 00:09:16 i should figure out how to wrap up my "x86 is turing complete with no registers" post 00:09:37 And that's true. They have a finite maximum capacity as implemented, though. 00:09:43 kmc, huh? It is? 00:09:45 how 00:09:52 well wait and read the article 00:09:52 i'd love something like an ncurses game engine for android 00:09:54 myname: I write in a computer that is the only compiler, the QBASIC compiler. Also, QBASIC is not bad for writing these kind of computer games actually. 00:10:00 it has finite storage though, but so does x86 itself, or C 00:10:04 kmc, With infinite ram I assume, but there is not an infinite address space 00:10:25 kmc, then it really isn't TC. And nor is C indeed 00:10:29 yeah 00:10:39 justifying this is the last part of the article I need to write 00:10:57 Justifying a false claim? 00:11:12 kmc: Just call it something else, perhaps. 00:11:14 did you know that comonads are just cofree comonad comonad comonad coalgebras 00:11:16 just because something is false doesn't make it unjustifiable 00:11:21 justifying that a brainfuck implementation with a fixed sized tape meets the informal definition of "turing complete" that programmers use 00:11:28 kmc, Anyway, I would say that proving it is a bounded storage machine without registers is pretty cool too 00:11:35 you can come up with plenty of plausible reasons why something was likely to happen, even if it didn't 00:11:39 -!- FreeFull_ has joined. 00:11:51 i mean e.g. there's a famous paper titled "mov is Turing-complete" about x86 with the mov instruction, and this would seem to have the same issue 00:11:56 with only the mov instruction, i mean :) 00:12:09 and a jump!! 00:12:13 that's right 00:12:18 they have one unconditional jump 00:12:21 mov and jmp heh 00:12:25 can't you just cycle round the entirety of memory? 00:12:29 mov, really? 00:12:31 actually, if you keep going long enough 00:12:39 cmov yes, but mov? Wow 00:12:43 you'll end up activating the A20 line trying to decode the next address 00:12:47 yeah, read the paper 00:12:48 and I guess you could activate it with mov too 00:12:48 well, x86 mov is quite versatile 00:12:52 so you could reboot the system 00:12:55 ais523, only in real mode surely? 00:13:04 -!- AwfulProgrammer_ has quit (Read error: Connection reset by peer). 00:13:10 ais523, shouldn't happen in protected or long mode 00:13:12 I guess the next question is, is lea Turing complete? 00:13:13 I didn't like how the mov+jmp one "halts" with an invalid memory access. 00:13:17 -!- iamcal has quit (Read error: Connection reset by peer). 00:13:24 Vorpal: I learned from 8086 manuals 00:13:33 lea can't access memory can it? 00:13:36 Wasn't there one that uses page-fault errors? 00:13:38 ais523, kiiind of outdated these days 00:13:44 -!- FreeFull has quit (Ping timeout: 260 seconds). 00:13:44 literally, I got a book out of the library that covered mostly DOS 1 and DOS 2 00:13:46 why would that reboot the system? 00:13:47 with some mentiones of DOS 3 00:13:52 Taneb: yes, computing using only the MMU as it handles a never-ending double fault 00:14:06 http://events.ccc.de/congress/2012/Fahrplan/events/5265.en.html 00:14:09 int-e: it was an awful hack, basically they needed a way to restart the processor to be able to get back into real mode 00:14:28 Anyway, goodnight 00:14:30 so they connected one of the address lines to the keyboard controller, which was connected in turn to the reset input of the processor 00:14:53 ais523: the keyboard controller did that. the a20 line is a hack to make the system actually wrap around memory above 1MB, to be 8086 compatible. 00:15:04 -!- iamcal has joined. 00:15:05 right, it's not for rebooting 00:15:16 ais523, I remember looking in an old computer book, that said that the newly released Pentium series was mostly for high end workstations and would never have a mass market appeal 00:15:19 int-e: I suddenly realised I was muddling two things together 00:15:20 -!- AwfulProgrammer_ has joined. 00:15:36 Or it might have been a magazine, not 100% sure 00:16:01 there was a thing where Windows would trigger a triple fault to reset the CPU because it was the fastest way to get back to real mode 00:16:13 kmc: right :) 00:16:18 kmc: because it less insane than asking the keyboard controller, also a lot faster 00:16:20 you can reset the CPU without clearing memory or other platform state 00:16:43 Linux still uses triple faults as a last-ditch attempt to reboot 00:16:46 nice 00:16:50 which it causes via setting the interrupt vector size to 0 00:16:58 nice 00:17:00 it only does that if the CPU's still running after all other attempts have failed 00:17:03 -!- FreeFull_ has quit (Ping timeout: 240 seconds). 00:17:07 related: https://twitter.com/horse_unix/status/407426257010163712 00:17:16 it's like that awkward bit of a program that comes just after you tried to run exec 00:17:20 fizzie: http://kevan.org/rubicon/ 00:17:27 ais523, heh 00:17:31 kmc: still waiting for zzo38_ebooks :'( 00:17:31 A20 line enable/disable did go through the keyboard controller too, though. 00:17:46 fizzie: right, maybe that's what confused me 00:18:00 also, one of the platforms I'm used to is PIC microcontrollers 00:18:07 ais523, which series? 00:18:09 and people do things like connecting GPIO pins to the reset line all the time on that platform 00:18:09 zzo38: is that backwards sokoban a real thing? google turns up people playing sokoban in reverse (pulling boxes), so it seems hard to find. 00:18:16 ais523: heh, yeah 00:18:24 Vorpal: I learned on the 16F series, but I used others too 00:18:24 myname: I don't know why I didn't think of Rubicon. 00:18:26 int-e: I don't know. 00:18:30 ais523, I coded a bit for PIC12F. It was terribly limited 00:18:32 "Holy frick, I woke up again! Ha ha looks like those fuckers owe me five bucks" 00:18:38 yeah, 12F is mindbogglingly limited 00:18:47 but still fun 00:18:52 fizzie: i would really appreciate an android port of it 00:18:57 ais523, If I have to do that level of embedded programming I prefer a decent AVR instead 00:19:05 I liked the hack where you use a microcontroller to run the boost converter for its own power supply 00:19:11 ais523: Oh, I should be asking you that question. 00:19:16 But really I avoid that low level coding these days. ARM with some GPIO yay 00:19:17 sometimes you have eight pins on the controller, and you can gain control over six of them somehow 00:19:19 you have to press a button rapidly to get it to boot 00:19:22 like starting a lawnmower 00:19:32 int-e: yeah, download Enigma and search for "Nabokos" 00:19:36 ais523, I coded for one with 8 yes, two were for power, leaving 6 indeed 00:19:56 int-e: it is very difficult, though 00:20:11 there's an easy mode that's a little easier 00:20:25 interestingly, the easy mode has two fundamentally distinct solutions, but I've entirely forgotten one of them 00:20:26 ais523, which one is "Nabokos"? 00:20:37 Vorpal: there's a search button on the level pack screen 00:20:41 ais523, I don't even have enigma installed atm 00:20:42 you can search in there 00:20:51 or just search for "Alex Smith" for all of mine 00:21:02 ais523, and I'm on an android device with an external bluetooth keyboard 00:21:15 Vorpal: it's the reverse Sokoban level 00:21:23 where it makes you give it a Sokoban, then it solves it 00:21:25 Hm, don't think I played that 00:21:31 and you win the level if it's sufficiently difficult 00:21:35 Heh 00:21:40 That sounds painful 00:21:47 might be fun. 00:21:48 Not the kind of level I would enjoy 00:22:25 it's possibly the second hardest of mine 00:22:40 (the hardest is "Choices, choices ...", complete with spaces before sentence-ending punctuation marks) 00:22:50 why the spaces? 00:22:58 Is there a reason I'm missing out on 00:23:02 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds). 00:23:23 ais523, also what is the choices one about 00:23:35 Vorpal: the spaces have become a #esoteric/Enigma in-joke 00:23:41 enigma has different floors ! 00:23:51 (note: that line never actually appeared in the original 00:23:52 ) 00:24:04 because whenever you end a sentence with any punctuation mark other than a full stop 00:24:10 some enterprising developer will go and add a space before it 00:24:14 Heh 00:24:27 I don't know why, but it's become quite the joke at this point 00:24:39 Ah, so you don't get the point of it either 00:24:40 Oh well 00:24:47 anyway, there are many levels in Enigma that contain loads and loads of different puzzles and are really long 00:24:56 I know 00:25:00 there is three points to it by my count. 00:25:01 and that tend to get really high ratings for no obvious reason, and are often #100 in a level pack 00:25:10 ais523, I found the quality of the levels varied considerably 00:25:11 The axiom schema of sokocan is when all cells (ignoring walls) are either a player, empty, or box-on-target. 00:25:27 I decided that even though I hate that style of level, I'd try to make one, and try to make it good 00:25:46 e.g. the puzzles that you can fail via dexterity mistakes are front-loaded, and there's an easy mode that lets you do them out of order 00:25:51 and there's a framing puzzle around them all 00:25:59 -!- Sgeo has joined. 00:26:07 in that each of the puzzles has two solutions, and only one of them will allow you to complete the level as a whole 00:26:11 but the level also has perfect information 00:26:19 at any time, you can switch to the white ball and use it to move the camera around 00:26:27 Ah 00:26:38 That sounds quite annoying 00:26:46 and if anything isn't obvious by looking at it, I left a document explaining 00:27:20 -!- FreeFull has joined. 00:27:50 anyway, I still don't like that style of level, I prefer the one-screeners 00:28:07 but it's my favourite of that style, because I designed it to appeal to me 00:28:20 it also has a bunch of features that are recognisably ais523, most of which would be spoilers 00:31:02 Eh okay 00:31:08 I haven't played enigma in years 00:31:18 Probably 2-3 years? 00:31:26 Anyway, good night 00:32:07 night 00:35:50 -!- iamcal has quit (Ping timeout: 245 seconds). 00:36:30 -!- AwfulProgrammer_ has quit (Ping timeout: 246 seconds). 00:36:49 -!- CADD has quit (Ping timeout: 240 seconds). 00:37:01 hmm. what's the point of batteries? 00:37:39 -!- CADD has joined. 00:39:04 -!- Bike has joined. 00:39:17 int-e: a nice convenient method of storing electrical energy? 00:39:40 -!- iamcal has joined. 00:39:51 (sorry it took me a while to answer, I needed to make sure I picked the right physical quantity, I was about to say "power" but didn't want to be inaccurate) 00:40:55 An awful question, I know. Why do I get two batteries in the nabokoS level? 00:41:10 int-e: you get two batteries in every Enigma level 00:41:18 unless they're specifically removed to prevent shortcuts 00:41:23 this is because sometimes you're meant to use them in creative ways 00:41:44 and if they were included only in levels where they were actually useful, it'd spoil the secret of those levels 00:42:03 anyway, it's an Enigma level design rule to give two batteries without a really good reason not to 00:42:16 even though like half the levels have a flag set so that they don't actually do anything 00:42:25 (I requested that they be greyed out in that case, but nobody's implemented it yet) 00:42:37 btw, in some of the levels where they don't actually do anything, they're still useful 00:42:46 Enigma has a lot of corner cases like that 00:44:17 -!- FreeFull has quit (Read error: Operation timed out). 00:47:09 int-e: incidentally, one completely pointless but amusing thing you can do with the batteries in Nabokos is to give them to the white marble 00:52:26 How is it useful if it doesn't do anything? 00:54:25 zzo38: sometimes you can exploit the fact that it doesn't do anything 00:54:32 via using to occupy space that would otherwise be doing something 00:54:54 one item in Enigma, the cup of coffee, explicitly never does anything, but it is nonetheless very useful for that property sometimes 00:55:17 O, so it occupies space. 00:56:22 yeah, all items do 00:56:37 So it still does *that* thing. 00:56:38 but it doesn't have any use beyond being an item 00:56:49 like, it doesn't have any properties except those properties that are common to all items 00:57:11 Yes, that could be useful. 00:57:35 Enigma physics can get very crazy sometimes 00:57:40 each level has a "Knowledge" rating 00:57:57 if it's 5 (no more, no less), that means that you need to exploit some corner case of the engine in order to complete the level 00:58:02 (6 means it doesn't follow the normal game physics) 00:58:13 (like the brainfuck level, or the Tetris level) 01:07:44 -!- ^v has joined. 01:09:04 sometimes I try to design interesting levels with low knowledge ratings, it's hard 01:09:13 the joy of that game for me is trying to fit things into the game engine 01:09:16 sort-of like esoprogramming 01:11:59 I think I have played it but I prefer the kind of puzzle game like Hero Hearts with all kind of new pieces added; I have figured out everything about how the game engine works, but there are some limitations and some problems, and I could some time make up a clone of it which is Free software. 01:13:52 -!- FreeFull has joined. 01:14:24 https://bitbucket.org/GregorR/nibackup // Today's lesson: If at first you don't succeed, roll, roll your own. 01:15:39 I did make a level out of nothing but solid walls, destroyable walls, abyss, and dynamite once 01:15:43 that was interesting 01:15:51 especially because there's a lot you can do with it 01:16:11 but it was broken because someone found a better solution than the intended one, which throws off the rest of the level 01:19:07 and it's not in the release version, probably partly for that reason 01:21:17 * pikhq has fallen in love with this monitor 01:22:07 aww 01:22:08 what kind? 01:22:16 Dell U2713H. 01:23:07 dell makes a damn fine monitor 01:23:13 27", 2560x1440, has quite good color fidelity. 01:23:30 Also impressive, darned thing comes from the factory with a proper calibration done. 01:24:00 Just had to flip the thing over to sRGB, and voila. 01:24:06 oh neat, I know they did that for the older U3011 01:24:16 -!- Bike has quit (Ping timeout: 240 seconds). 01:24:21 * kmc owned one of those 01:24:47 (well, it actually has larger gamut than that, but I'm not going to try doing Adobe RGB out on X11) 01:25:13 sRGB gamut is pretty small :/ 01:25:33 -!- Bike has joined. 01:25:40 Yes, but it's a royal pain getting better output from your software. 01:26:04 I'd rather display sRGB right than display sRGB samples as Adobe RGB most of the time. 01:30:41 -!- Bike has quit (Ping timeout: 240 seconds). 01:31:49 -!- Bike has joined. 01:35:46 -!- oerjan has quit (Quit: ghint). 01:48:04 -!- esowiki has joined. 01:48:09 -!- esowiki has joined. 01:48:09 -!- esowiki has joined. 01:48:15 -!- glogbot has joined. 01:48:21 -!- SirCmpwn has quit (Ping timeout: 272 seconds). 01:48:54 -!- shachaf has quit (Ping timeout: 246 seconds). 01:49:51 -!- Frooxius has quit (Quit: *bubbles away*). 01:50:33 -!- Frooxius has joined. 01:52:50 -!- FreeFull has quit. 01:53:29 -!- Gregor has quit (Ping timeout: 252 seconds). 01:53:54 -!- SirCmpwn has joined. 01:54:23 -!- tertu has joined. 01:54:34 -!- Frooxius has quit (Read error: Connection reset by peer). 01:55:04 -!- Frooxius has joined. 01:55:27 -!- Gregor has joined. 01:57:23 ooh, Gregor got libdl.so after all 01:57:40 Yeah, I had libdl.so from the beginning. 01:58:01 Just not libc.so 01:59:25 :'( 02:00:38 right 02:01:04 to be fair, I'm not convinced libc.so was worth the amount it eventually went for 02:02:07 libc.so is worth ALL the money. 02:02:16 Also, the guy who bought it won't respond to my emails :'( 02:02:51 for a moment I wondered who it was 02:03:10 and then I realised that "webmaster@libc.so" works, if there's a web server there and they're following the standard 02:03:47 hmm, although it seems that the most common address for me to receive spams at my server is support@ 02:03:51 -!- conehead has joined. 02:03:53 -!- shachaf has joined. 02:04:11 oh, there's also the one email from sudo 02:04:22 .so has a working WHOIS service. 02:04:28 the "this incident will be reported" thing is even more surreal when you subsequently get the report 02:04:46 It actually IS reported? 02:05:00 -!- Sorella has quit (Quit: It is tiem!). 02:05:01 Maybe I should check root's spool... 02:05:24 I think I set nethack4.org up so that I get root's email 02:05:28 but yeah, I was shocked 02:06:01 I didn't really expect an email to actually arrive 02:08:34 It is reported but I think there is a command-line switch to tell sudo not to report it 02:16:54 oh, that reminds me 02:17:10 I had a vaguely silly problem today, with an even sillier solution 02:17:36 the problem: I have installed a setgid executable, and suspect it has a permissions problem (my suspicion eventually turned out correct) 02:17:57 I want to debug it, but I can't debug it as user:group me because I don't have the perms, and I can't debug it as root because then it works 02:18:10 thus, I need to keep the same user, but change my group to one that I'm not a member of 02:18:24 anyone realise why the solution is silly yet? 02:21:03 -!- LinearInterpol has quit (Read error: Connection timed out). 02:21:32 OK, so the problem is, as ais523, I don't have the perms to change my group to a group I'm not in 02:21:51 -!- LinearInterpol has joined. 02:21:55 as root, I can change my group to whatever I want, but most permissions-dropping commands (such as su) also reset my group as well 02:22:08 thus, I need a command than can set my user and group simultaneously 02:22:13 and the only one I had handy was sudo 02:22:31 but, if I attempt to use sudo to change to a user other than root, it complains that I'm not allowed to do that (because it's only configured to let me become root) 02:22:40 conclusion: run sudo /using sudo/ 02:23:04 this is the first time in my life I've had a legitimate reason to start a command "sudo sudo", although ofc you can stack it effectively indefinitely if you feel like it 02:23:22 -!- ^v has quit (Remote host closed the connection). 02:24:01 although I'd disabled the sudo reports on my local computer, so instead of "THIS INCIDENT WILL BE REPORTED" it just said "Sorry" 02:25:51 -!- carado has quit (Ping timeout: 240 seconds). 02:28:49 -!- LinearInterpol has quit (Read error: Connection reset by peer). 02:29:38 -!- Bike has quit (Ping timeout: 264 seconds). 02:30:57 -!- Bike has joined. 02:33:13 -!- LinearInterpol has joined. 02:37:16 -!- carado has joined. 02:37:50 -!- ter2 has joined. 02:40:42 -!- tertu has quit (Ping timeout: 246 seconds). 02:43:51 -!- copumpkin has joined. 02:54:33 -!- copumpkin has quit (Ping timeout: 240 seconds). 02:56:47 What's a Trusted Platform Model 03:02:27 -!- copumpkin has joined. 03:03:58 model? not module? hmm. 03:04:37 oops i meant module. 03:06:33 -!- LinearInterpol has quit (Ping timeout: 240 seconds). 03:12:34 it's a piece of hardware that does cryptography, stores keys, and may verify a boot sequence. "trusted" means that while it is running on your insecure PC, entities like Microsoft or Hollywood can still trust it. Wikipedia knows a bit more. 03:13:50 Well, whoever programmed it can trust it, I suppose. If you don't have the latest version of Windows on your computer, it might not be programmed at all, and do nothing. 03:14:12 If you do, then it is belonging to Microsoft and Hollywood, and so on. 03:14:18 huh. weird. i have also found out from my PC construction odyssey that there is a possiblity of attaching a chassis opening detection wire. 03:15:14 Yes, some computers have that, and will log it in the BIOS in such a case. 03:17:26 cf. https://en.wikipedia.org/wiki/Trusted_System 03:18:08 -!- yorick has quit (Remote host closed the connection). 03:22:56 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 03:25:02 Chassis intrusion sensors are standard for servers. 03:30:24 oh dear, people on c3 doesn't know befunge 03:32:08 -!- Froox has joined. 03:33:00 -!- Frooxius has quit (Read error: Connection reset by peer). 03:37:17 -!- copumpkin has joined. 03:41:42 -!- Sprocklem has joined. 03:47:55 -!- nooodl has quit (Ping timeout: 240 seconds). 04:00:42 Linux also supports TPMs. 04:01:09 It is at least *possible* to run a system wherein you yourself are doing the verification. 04:02:22 And there is TPM emulator, too. 04:03:01 -!- ^v has joined. 04:22:56 -!- LinearInterpol has joined. 04:24:41 -!- zzo38 has quit (Ping timeout: 272 seconds). 04:30:18 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 04:38:02 -!- LinearInterpol has quit (Read error: Connection reset by peer). 04:38:26 -!- LinearInterpol has joined. 04:39:54 -!- mauke has quit (Disconnected by services). 04:40:04 -!- mauke has joined. 04:41:31 -!- preflex has quit (Ping timeout: 272 seconds). 04:41:47 -!- preflex_ has joined. 04:41:51 -!- preflex_ has changed nick to preflex. 05:05:02 -!- nisstyre has quit (Ping timeout: 264 seconds). 05:06:14 -!- LinearInterpol has quit (Ping timeout: 264 seconds). 05:17:42 -!- zzo38 has joined. 05:17:54 My internet connection stopped working for some reason, but it works now. 05:22:41 -!- Sgeo_ has joined. 05:23:44 -!- Sgeo_ has quit (Read error: Connection reset by peer). 05:24:51 -!- Sgeo_ has joined. 05:24:58 -!- Sgeo has quit (Ping timeout: 240 seconds). 05:24:59 -!- douglass_ has quit (Ping timeout: 246 seconds). 05:25:00 -!- preflex has quit (Read error: Connection reset by peer). 05:25:37 -!- conehead has quit (Quit: Computer has gone to sleep.). 05:26:27 -!- preflex has joined. 05:30:19 I don't know if it's safe to take a cab in a blizzard 05:31:12 zzo38: do you know the reason? 05:32:06 int-e: the bits most useful for orwellian hollywood nonsense are not as widely implemented 05:32:10 namely remote attestation 05:35:18 -!- douglass_ has joined. 05:40:15 kmc: No, I don't know the reason, sorry. 05:40:22 oh well 05:40:58 -!- douglass_ has quit (Ping timeout: 240 seconds). 05:46:59 ais523: postmaster@example.com is *the* standard, if the domain has a SMTP service -- and if it doesn't, you obviously can't send email at all -- this webmaster@ is just some newfangled "HTTP" nonsense. 05:47:19 fizzie: yeah, I was thinking "or you could just contact the email admin if they have email" 05:47:26 and somehow didn't realise you couldn't send an email if they didn't 05:48:06 (PSOTMASTER, HOSTMASTER, USENET, NEWS (synonym for USENET), WEBMASTER, WWW (synonym for WEBMASTER), UUCP and FTP are the mailbox names RFC2142 defines.) 05:49:23 Not exactly PSOTMASTER, obviously. 05:50:20 It also defines info@, marketing@, sales@ and support@ for "business-related mailbox names", and abuse@, noc@ and security@ for "network operations mailbox names". 05:50:32 I think zem.fi gets most spam at the "webmaster" address. 05:50:46 nethack4.org gets pretty much all its spam at support@ 05:51:04 Possibly it the webmaster address was in some autogenerated Apache page and was crawled from there. 05:51:39 I have been asked on here about Sirlin's Chess 2 before. You can read a lot of comments (including my own) on: http://www.chessvariants.org/index/listcomments.php?itemid=Chess2 05:51:44 I also get some amount of spam for "rfk86", because that was on the page. 05:51:54 (I don't think I've ever gotten a legitimate email to that address.) 05:55:01 wishmaster@example.com 05:55:18 fishmaster@example.com 05:55:32 fizzie: is that an x86 version of robotfindskitten? 05:55:45 ais523: No, it's a TI-86 version. 05:55:57 right 05:57:56 ("Hamster / a dentist / hard porn / Steven Seagull / warrior / this rifle / in me / the fishmaster," go the lyrics of Fishmaster.) 05:59:50 fizzie: are there enough of them to feed them into fungot? 05:59:50 ais523: srbt yow! i'm unemployed! 06:02:05 Not really. (There aren't that many lyrics in Wishmaster, either.) 06:02:07 If you want fungot to make less sense, you should use the original lyrics 06:02:07 Jafet: because it's cool, isn't it? 06:02:17 Though it would be possible to make a song lyrics style, I guess. 06:02:43 -!- douglass1 has joined. 06:02:44 Despite the various chess variants (even Chess 2), even ordinary FIDE chess is a fine playable game. But so can others be! 06:03:11 I actually have somewhere a language model for song lyrics I got from Tampere University of Technology folks. Plus something I trained on a smallish-but-available database. 06:03:43 Chess: still playable 06:03:53 ^style lavigne 06:03:53 Not found. 06:03:54 `addquote Despite the various chess variants (even Chess 2), even ordinary FIDE chess is a fine playable game. But so can others be! 06:03:58 1155) Despite the various chess variants (even Chess 2), even ordinary FIDE chess is a fine playable game. But so can others be! 06:04:23 (Song lyric databases generally don't provide download options, presumably for copyright reasons. From what I recall, LyricWiki doesn't either. (Does any Wikia wiki, really?)) 06:04:36 wget 06:04:40 Chess variants are still very interesting though, so you can play those games too, please. 06:05:09 Wikia being evil doesn't help 06:05:24 Jafet: They're also all so horrible website-wise, I don't really want to crawl them. (Though I guess e.g. the mldb.org interface is not all that bad.) 06:06:30 Some music players implement this lyrics-grabbing protocol 06:07:17 However, my TeX chess program doesn't currently implement some of the features needed for Chess 2, but hopefully that can be fixed. 06:07:41 Well, by that I mean rhythmbox has this plugin that grabs lyrics from some unspecified online service 06:07:50 I don't think MusicBrainz does lyrics, sadly. 06:08:59 -!- douglass1 has quit (Ping timeout: 240 seconds). 06:10:16 LyricWiki has a SOAP/REST API, but "due to licensing restrictions, the API can only directly return a small portion of the lyrics directly - which is useful for determining if you have a correct match. All responses also contain a URL to a corresponding page with the full lyrics." 06:10:58 (It used to return the full lyrics, but they had to change that.) 06:11:10 "We can't get a license to distribute lyrics for free via an API, however we do have a license to display lyrics on a web-page as long as the web-page has javascript enabled so that we can track which songs are being viewed (for distributing royalties) and have an ad on them so that a percentage of the money can be paid as licensing fees." 06:12:28 "Have you ever wanted to run a lyric website or a lyrics app for a mobile device but wondered where you could get good quality lyric data from? Congratulations you have found one of the largest databases of lyrics available on the web! This database is in MySQL format and contains half a million songs that you can use on your own lyric site." For only $24.99! 06:12:40 Strange stuff. 06:13:13 "This is a brand new lyric database collated from a number of sources." Somehow I am not really sure all those sources make their stuff available for free for commercial use. 06:14:08 (What is a ᵀᴇˣ chess program?) 06:16:39 wow! unicode ᵀᴇˣ 06:16:52 Jafet++ 06:17:03 I have some CSS to do it but I hadn't seen it in "plain text" before 06:18:04 speaking of MySQL, https://twitter.com/alex_gaynor/status/418892674309967872 06:33:48 Can you build MySQL on musl? 06:33:50 (Just wondering.) 06:34:39 MuSQL 06:35:55 Something called "µSQL" probably exists. 06:36:09 Nigh-SQL 06:43:05 TeX chess program is a program to read algebraic chess notation and generate diagrams from them, as well as to format the moves, and to play many chess variants, too. 06:47:56 I don't know what SQL programs you prefer but I use SQLite 06:53:51 kmc: i'm on my phone. what are the unicode chars in front of chess above? 06:54:27 "tex" but with the heightshit 06:55:31 zzo38: oh you are adding Chess 2 to TeX chess? 06:56:04 are there any other chess variants with the bidding mechanic? 07:01:11 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 07:02:24 -!- apott has joined. 07:02:38 Hello. 07:02:43 -!- apott has quit (Client Quit). 07:02:43 hi 07:02:52 I said hi before they left this time! 07:03:00 not on my screen! 07:05:08 I thought that might be the problem :-( 07:05:22 good effort though 07:07:27 https://dl.dropboxusercontent.com/u/19940612/Jackals2.jpg 07:07:30 All the jackals 07:07:38 I should take more jackal pix 07:08:03 The holidays went away too quickly 07:08:22 Between the family christmas and new year with friends, I barely had any time to do shit 07:11:03 -!- ter2 has quit (Read error: Connection reset by peer). 07:11:14 shachaf: http://xkcd.com/1312/ 07:11:29 -!- ter2 has joined. 07:11:44 `unidecode ᵀᴇˣ -- quintopia 07:11:45 ​[U+1D40 MODIFIER LETTER CAPITAL T] [U+1D07 LATIN LETTER SMALL CAPITAL E] [U+02E3 MODIFIER LETTER SMALL X] [U+0020 SPACE] [U+002D HYPHEN-MINUS] [U+002D HYPHEN-MINUS] [U+0020 SPACE] [U+0071 LATIN SMALL LETTER Q] [U+0075 LATIN SMALL LETTER U] [U+0069 LATIN SMALL LETTER I] [U+006E LATIN SMALL LETTER N] [U+0074 LATIN SMALL LETTER T] [U+006F LATIN SMA 07:11:51 -!- ter2 has quit (Read error: Connection reset by peer). 07:12:03 lol 07:12:36 "aatin smtal letter q" 07:13:11 quintopia: I don't know, but there are others involving hidden information in various ways. 07:13:45 zzo38: do you play regular normal deck card games? 07:14:41 quintopia: Yes, I do play that too. 07:14:53 zzo38: do you like "bullshit" 07:15:01 I know several card games using the standard 52-card deck or some subset. 07:15:32 Any good at Canasta? 07:15:40 Is that the game also known as "I Doubt It"? I do know how to play, and a few variants. I don't play often though. 07:15:59 ... 07:16:00 I know how to play Canasta too, but I don't play much; I don't think I am particularly good at it. 07:16:00 Woops 07:16:04 Wrong window 07:18:43 zzo38: i had an idea for a variant, but maybe it exists. the idea would be to deal some of the cards to no player face down, and let people optionally draw and discard at turn start, also optionally discard and draw 1/4 of the cards they pick up as penalties. 07:19:03 That is an idea, at least. 07:19:04 plus there's two decks with 4 wild jokers 07:19:15 so it's hard to keep track of who could have what 07:19:16 Slereah: why does your flat have a Big Red Button next to the door 07:19:22 @localtime Slereah 07:19:23 Local time for Slereah is Fri Jan 03 08:19:17 2014 07:19:43 I get that question a lot 07:20:09 Sirlin also invented the game Pandante (not yet for sale, although you can download the rules and perhaps make up your own), which is like poker but involving lying; you can accuse another player of lying, similar to how you can in I Doubt It. 07:20:15 * kmc tries to identify the country from the Europlug grounding variant in use 07:20:39 zzo38: poker involves a lot of lying too, isn't it? 07:20:51 kmc: it's bluffing, not lying 07:21:01 because nothing you say that has a game effect has a truth value 07:21:11 bluffing's when you bet a large amount despite having a bad hand 07:21:19 in the hope that other people will think you have a good hand and not take the bet 07:21:23 you can also just say you have a good hand 07:21:26 but i guess people don't 07:21:30 because it would be silly 07:21:59 "is betting a speech act" 07:22:11 perhaps after Citizens United 07:22:44 Yes, it is bluffing, not lying; it is different in that way. 07:23:14 In Pandante, if you claim to have a flush, and then nobody accuses you of lying, then it counts as a flush regardless of what cards you actually hold. 07:23:43 oh, cool 07:24:20 Slereah: do you have an answer to that question a lot, too? 07:25:08 also that is impressively many jackals 07:25:19 do you have a copy of The Day of the Jackal too 07:25:35 where does that book keep coming from 07:25:52 "You need a Day of the Jackal-type motherfucker, basically, to do some shit like that." 07:28:04 :| 07:28:06 where's thath quote from 07:29:23 The Wire 07:29:35 nice 07:30:22 niba rkcynvavat jul fyvz puneyrf vfa'g hc gb gur gnfx bs nffnffvangvat fgngr frangbe pynl qnivf 07:30:31 (spoilers) 07:31:04 :o 07:35:30 http://www.theverge.com/2014/1/2/5266258/kanye-west-themed-bitcoin-clone-said-to-launch-this-month-coinye 07:36:35 why are people linking that story 07:36:40 it isn't even interesting 07:36:44 it's absurd 07:41:55 http://coinmarketcap.com/ -__- 07:42:04 Sexcoin, Deutsche eMark, FedoraCoin, HoboNickels 07:42:40 can we be done with the internet now 07:43:09 i wonder how it feels to develop a cryptocurrency which is subsequently behind dogecoin 07:43:20 such shame, very failure 07:44:13 oh jesus "asiccoin" uses that shitty anarchy logo 07:46:28 Welcome to the international hub for esoteric currency design and deployment! 07:46:57 hey, that could actually be fun. what makes a currency esoteric? not in the "nobody uses it" sense, of course. 07:47:13 weird proof of work function based on an esolang? 07:47:15 changing values rapidly is too pedestrian... 07:47:32 also bitcoin already contains a mini language for describing transactions 07:47:36 could just make that more eso 07:48:06 actually, I had a bitcoin-related eso idea 07:48:17 which is to encode a non-bitcoin currency into the bitcoin blockchain 07:48:58 like, rule that only transactions less than 1mBTC count, and only if they have an even floating-point exponent (so you can easily split a transaction in two to toggle whether it counts) 07:57:07 The rule in Sirlin's Chess 2 where a defender bidding against an attacker with zero stones must bid one seems useless to me. He wouldn't ever *want* to bid any other amount. Ties go to the attacker, having stones isn't a disadvantage, turns aren't lost due to dueling, if 0-0 the attacker can make the defender lose a stone, and nothing changes! 08:06:10 zzo38: it isn't really a rule, just a pointing out of a consequence 08:06:50 it makes it easier to implement in software to have it explicitly stated like that 08:06:53 in tournament backgammon you can't use the doubling cube at 5-6 08:07:03 because otherwise the player on 5 always would 08:08:49 quintopia: Yes, it can be done automatically in a computer program. 08:09:20 zzo38: and is, in fact 08:11:29 ais523: You are correct about that, and I think that is called Crawford rule. Such rule can be used in other games too if you are including a doubling cube rule (I thought of using it in Pokemon, even). 08:12:29 -!- ais523 has quit. 08:30:31 Another variant of doubling cube, which I do not see mentioned in the article about backgammon (probably because it doesn't apply to backgammon, in which ties and draws aren't possible), would be in case of a tie or draw, the stakes are doubled (rather than reset), and then the cube is centered again. Such a rule can be used with or without the offering doubling cube. 08:41:13 I think the first time someone shown me how to play backgammon game, it was Turkish backgammon, although she didn't call it that, and she isn't Turkish anyways. 08:42:14 -!- Sprocklem has quit (Ping timeout: 264 seconds). 08:51:43 -!- Phantom__Hoover has joined. 08:53:49 -!- tromp_ has quit (Read error: Connection reset by peer). 08:56:24 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds). 09:10:10 -!- impomatic has left. 09:22:44 -!- Phantom__Hoover has joined. 09:39:14 -!- carado has quit (Ping timeout: 264 seconds). 09:46:24 -!- copumpkin has joined. 10:35:18 -!- copumpkin has quit (Ping timeout: 246 seconds). 10:41:51 -!- copumpkin has joined. 10:43:23 -!- oklopol has quit (Ping timeout: 265 seconds). 10:47:33 http://xkcd.com/1312/ 10:47:37 yeah, right. 10:55:07 -!- copumpkin has quit (Ping timeout: 240 seconds). 11:05:14 -!- copumpkin has joined. 11:05:58 -!- MindlessDrone has joined. 11:11:49 -!- oklopol has joined. 11:13:36 -!- Sorella has joined. 11:26:36 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 11:49:15 -!- tromp_ has joined. 12:17:44 -!- oerjan has joined. 12:20:53 ``Why knock Haskell for being lazy? That was uncalled for! '' 12:20:54 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `Why: not found 12:21:02 oh, right 12:28:05 http://me.veekun.com/blog/2013/01/09/cvs-and-file-extensions/ 12:30:38 -!- Sorella has quit (Quit: It is tiem!). 12:31:57 -!- Sorella has joined. 12:32:18 -!- yorick has joined. 12:45:03 Huh; first time I've seen a freenode channel on the wall in an art museum. https://dl.dropboxusercontent.com/u/113389132/Misc/20140103-irc1.jpg https://dl.dropboxusercontent.com/u/113389132/Misc/20140103-irc2.jpg 12:47:19 I saw something like that at the Science Museum in London 12:49:09 I've been in some sort of "science museum" in London once, wonder if it was the same place. 12:49:15 That was back in 2001 or so, though. 12:49:54 There might've been IRC-based chats elsewhere, but I don't recall seeing anything in freenode. 12:50:41 nortti: darn i assumed that was CVS 12:50:43 There's the Natural History museum, which is the big one 12:50:54 And then there's the Science Museum, which is smaller and right next door 12:57:33 I think this was in the general neighbourhood of Hyde Park. 12:57:58 I guess it's that Science Museum / Natural History Museum complex, then. 12:58:14 I recall it wasn't very big. 12:59:17 May have been the Science Museum 12:59:26 Natural History museum is muuuuuuuuch bigger 12:59:44 And the British museum (history and anthropology, iirc) is MUUUUUUUUCH bigger 12:59:54 We went there, too. 12:59:57 (It was big.) 13:00:09 Also it's kind of a de-facto standard stop, I guess. 13:00:24 In the science museum you went to, was there a blue whale attached to the ceiling 13:02:03 I can't remember, and I can't locate any photos either. (Maybe it was a pre-ubiquitous-digital-cameras thing.) 13:03:01 I'm sure the exhibitions have changed somewhat in the last decade or so. 13:03:14 fizzie: where exactly is the ##2048 displayed? 13:03:33 nortti: It's in Kiasma, there's an exhibition about Erkki Kurenniemi. 13:03:41 ah 13:04:24 I haven't seen anything especially interesting on-channel, just that bot stating out which track is playing on the radio. 13:04:53 The radio being the one at http://kurenniemi.activearchives.org/dataradio/ 13:05:05 I guess the chat sidebar there is what's connected to the channel. 13:05:29 -!- FreeFull has joined. 13:06:33 Built on Kiwi IRC, I see. 13:10:28 -!- FreeFull has quit (Read error: Operation timed out). 13:16:23 Also from the exhibition: there was a room with a dozen or so monitors displaying movies; each was driven by a Raspberry Pi: https://dl.dropboxusercontent.com/u/113389132/Misc/20140103-pi1.jpg https://dl.dropboxusercontent.com/u/113389132/Misc/20140103-pi2.jpg 13:16:31 Turns out they're not useless after all! 13:23:35 Finally, there was a robotic head-on-wheels that had a speech synthesizer that wandered around and randomly said "rauhaa, rauhaa, joulu on jo ovella" and "jumalauta, mulla on outo olo", plus "voi ihmisen pieru" on bumping into anything. (If you can't tell, it's a modern art museum.) 13:25:12 `unidecode ᵀᴇˣ 13:25:14 ​[U+1D40 MODIFIER LETTER CAPITAL T] [U+1D07 LATIN LETTER SMALL CAPITAL E] [U+02E3 MODIFIER LETTER SMALL X] 13:27:10 I'm guessing that should really be a MODIFIER LETTER CAPITAL X, except it doesn't exist. 13:27:37 i was guessing so too 13:27:41 Or perhaps even more optimally just regular T and X, and some kind of dropped E. 13:51:12 http://rationalwiki.org/w/images/d/de/ChickCthulhu.gif 13:51:29 `addquote i wonder how it feels to develop a cryptocurrency which is subsequently behind dogecoin such shame, very failure 13:51:34 1156) i wonder how it feels to develop a cryptocurrency which is subsequently behind dogecoin such shame, very failure 13:52:38 LᴬTᴇX 13:55:17 The baseline of the small capital E is kind of wrong. 13:56:22 I get to work from home today 13:56:34 I get to not work from home today 13:58:50 -!- Sgeo_ has quit (Read error: Connection reset by peer). 13:58:58 I get to not work today. 13:59:05 (More permutations?) 13:59:18 Perhaps someone gets home today. 13:59:23 -!- boily has joined. 13:59:36 -!- metasepia has joined. 13:59:46 I get not home on Sunday 14:00:03 good piñata tractor beam morning! 14:00:18 Taneb: I get partially home on Sunday. 14:00:37 Man, I'm looking forward to Sunday 14:01:03 York was the first place I've lived that wasn't Hexham this side of 2000 14:01:10 * oerjan is starting to wonder where boily's mornings are coming from, anyway. 14:01:53 maybe from the same place as nortti's link. 14:05:18 `danddreclist 48 14:05:19 danddreclist 48: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 14:05:49 oerjan: we were playing Ghost Stories yesterday night and discussing some strategies. 14:06:41 zzo38: ! I can't find file `dungeonsrecording'. 14:06:55 boily: Download it from the same directory. 14:07:01 nortti: you have nice links. 14:08:12 A precompiled DVI is also available, in case you want to use that (no unusual fonts are needed). 14:08:43 good points: you specify the number of eyes. 14:08:48 bad points: no unusual fonts. 14:09:08 That's because I have had no use for any unusual fonts (yet). 14:09:37 In my first D&D session, my character ended up with a magical tattoo on his chest 14:09:46 Taneb: What kind of magical tattoo? 14:09:59 zzo38, it's an eye, and I can't tell you more than that yet 14:10:03 Because I don't know more than that 14:10:06 Ah, OK 14:10:22 But there's a nasty crow lady after me because of it 14:13:03 -!- AnotherTest has joined. 14:24:20 oerjan: I doubt it, because that is from my todo list 14:24:26 *was 14:33:18 -!- LinearInterpol has joined. 14:43:23 -!- Phantom_Hoover has joined. 14:45:34 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds). 14:47:05 -!- nooodl has joined. 14:49:40 http://me.veekun.com/blog/2013/03/03/the-controller-pattern-is-awful-and-other-oo-heresy/ 15:00:03 -!- tertu has joined. 15:00:38 I say, all patterns are evil. 15:00:54 all language is patterns 15:00:55 -!- tertu has quit (Read error: Connection reset by peer). 15:01:18 -!- tertu has joined. 15:01:40 clearly both boily and mauke are correct. 15:07:30 -!- carado has joined. 15:15:50 -!- conehead has joined. 15:16:41 -!- LinearInterpol has quit (Read error: Connection timed out). 15:17:45 -!- LinearInterpol has joined. 15:25:58 -!- glogbackup has quit (Read error: Connection reset by peer). 15:54:26 http://science.slashdot.org/story/14/01/02/2247214/dogs-defecate-in-alignment-with-earths-magnetic-field 15:55:26 -!- Guest65919 has changed nick to _46bit_. 15:56:04 -!- oerjan has quit (Quit: i bet that's a shitty article). 15:56:19 @tell oerjan *mapole smack* 15:56:19 Consider it noted. 16:03:14 -!- glogbackup has quit (Ping timeout: 252 seconds). 16:07:44 -!- ter2 has joined. 16:07:47 -!- tertu has quit (Ping timeout: 272 seconds). 16:12:32 http://serverfault.com/questions/293217/our-security-auditor-is-an-idiot-how-do-i-give-him-the-information-he-wants this is comedy gold 16:18:43 uhm. plaintext passwords, private SSH keys, everything in the hands of a bozo? 16:22:46 doesn't look any better 16:33:35 I'm not sure which scares me more ... the idea of handing all that information to somebody calling themselves security auditor, or the apparently genuine interest in complying with such a request. 16:35:47 ^ 16:36:55 ↑ 16:37:23 damnit boily, topping me. 16:37:30 ☝ 16:38:28 -!- pikhq has quit (Ping timeout: 246 seconds). 16:39:05 LinearInterpol: try CtrlR-Shift-U. 16:39:29 lol. 16:40:23 ⇑⤊⟰ 16:40:28 -!- pikhq has joined. 16:40:57 ⌃ 16:41:49 ⇈⇡⇧⬆↑ 16:42:07 mauke is a Master Archer, with all kinds of tricky arrows. 16:42:11 `? mauke 16:42:13 mauke? ¯\(°​_o)/¯ 16:42:16 http://mauke.hopto.org/stuff/javascript/unicode.html?q=up 16:42:37 `learn mauke is a Master Archer. Caution! He can shoot your PRIVMSG with creative arrows! 16:42:41 I knew that. 16:51:24 Is there an option for ghc to just produce strict code? 16:57:56 -!- conehead has quit (Quit: Computer has gone to sleep.). 17:02:23 -!- yorick has quit (Remote host closed the connection). 17:08:20 🔶 17:20:52 -!- LinearInterpol has changed nick to [li]|AoS. 17:31:37 -!- FreeFull has joined. 17:39:20 #define shortjmp return 17:39:34 huh. 17:41:02 huh? 17:41:09 nabokoS was nasty ... of course the required number of pushes is optimal and the "hard" version has a unique solution up to symmetry. 17:41:19 I wouldn't call 'return' a jump. 17:41:48 then what is longjmp? 17:41:51 though I guess "longjump" isn't much of a jump either. 17:42:03 also, it's obviously a jmp, not a jump 17:42:16 "no u" 17:42:30 int-e: you speak like fungot. 17:42:30 boily: you don't know a lot of it can be ( make-circle-str 250 ' blue) 17:42:33 no "u". I'm not using it very often. 17:43:10 The fun got me. 17:43:15 int-e is the new incarnation of fungot! zzo38 is an impostor! 17:43:16 boily: such as fnord' rather than fnord data, maybe specify it in a minute i'll see whether i need inheritance or not in css) " give me the message now. 17:43:29 * boily thwacks int-e because of the bad pun. 17:44:13 boily: "nabokoS" is ais523's enigma level that asks you to build a sokoban level. 17:44:43 * boily is conflagratedly puzzled... 17:46:48 And I call it "nasty" because I had to write a computer program in order to solve it. 17:47:22 can I get a link to the enigmais523? 17:47:57 http://www.nongnu.org/enigma/ 17:49:12 `? ais523 17:49:14 Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good. 17:49:24 There is one level in there called "Nabokos", which was created by ais523. 17:56:14 kmc: ? 17:59:59 wait, ais523 made nabokos? 18:01:14 i like enigma quite a bit and especially that one 18:14:38 -!- [li]|AoS has changed nick to LinearInterpol. 18:31:06 hichaf 18:31:38 shachaf: i sent you the xkcd link in the same spirit as you pasting me terrible things from #haskell 18:31:52 -!- ^v has joined. 18:32:17 enigma huh. 18:32:28 -!- ter2 has quit (Ping timeout: 272 seconds). 18:32:29 I have never played Enigma. 18:33:53 think I'll give it a shot. 18:37:05 kmc: ah 18:37:53 -!- glogbackup has quit (Ping timeout: 272 seconds). 18:39:18 -!- tertu has joined. 18:43:35 -!- tertu has quit (Read error: Connection reset by peer). 18:43:52 -!- tertu has joined. 18:44:16 meh, but Enigma is a lousy interface for Sokoban levels. 18:46:20 -!- tertu has quit (Read error: Connection reset by peer). 18:54:43 -!- impomatic has quit (Ping timeout: 260 seconds). 18:58:27 kmc: did you see http://www.pvk.ca/Blog/2012/07/30/binary-search-is-a-pathological-case-for-caches/ 19:00:01 -!- FreeFull has quit (Read error: Connection reset by peer). 19:02:15 «#define BARRIER do { __asm__ volatile("" ::: "memory"); } while (0)» ah yes 19:03:52 gcc has builtins for that 19:03:54 "I’ve seen horrible implementations of tr1::hash for unsigned values in (it’s the identity function on my mac)" heh 19:05:20 shachaf: no 19:07:01 at least it's collision free 19:16:01 -!- douglass_ has joined. 19:18:17 http://games.moria.org.uk/kye/ 19:20:56 LinearInterpol: i played the heck out of that as a kid 19:21:04 same. 19:21:46 Hey, that looks pretty familiar. 19:22:55 -!- FreeFull has joined. 19:36:29 -!- olsner has joined. 19:37:11 http://www.youtube.com/watch?v=x5xV6R4hn0c 19:37:22 i'm so confused right now what is happening to my brain. 19:40:15 this thing uglifies in my eyeballs. 19:44:23 hmm, burritos... is it about monads? 19:46:29 it's a traversal. (Burrito m, Taquito t) => forall a. m t a -> t m a. 19:48:57 apparently, there is such a thing as taco de ojo → http://www.burritoeater.com/tacodeojo.html 19:50:19 eye taco? 19:51:26 -!- carado has quit (Ping timeout: 240 seconds). 19:52:02 olsner: eye taco. even I am weirdede. 19:52:18 s.e\..\.. 19:53:42 -!- luce90 has joined. 19:54:58 `relcome luce90 19:55:01 ​luce90: 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.) 19:55:15 -!- luce90 has left. 19:55:37 another visitor scared away. *sigh* 19:55:46 also, anybody here who speaks Italian? 19:56:04 I'm afraid not me. 19:56:19 I only know "ciao a tutti" and "!list" 19:56:45 mauke++ 19:56:59 @karma mauke 19:56:59 mauke has a karma of 35 19:57:02 wooooooah... 19:57:07 preflex: karma 19:57:07 mauke: 1116 19:57:30 preflex: karma 19:57:30 boily has no karma 20:00:03 * boily mapoles preflex 20:00:07 preflex: kmc 20:00:10 preflex: karma 20:00:10 boily has no karma 20:00:17 kmc: sorry for autotabbing you. 20:00:38 -!- nisstyre has joined. 20:00:47 preflex: karma chameleon 20:00:47 chameleon: 6 20:03:09 @karma 20:03:09 You have a karma of 13 20:03:40 http://lists.cairographics.org/archives/cairo/2013-December/024858.html 20:09:40 nice, I've always wanted C++ to be even bigger 20:10:02 someday, C++ will be big enough to encompass Haskell! 20:17:44 -!- Bike has quit (Ping timeout: 240 seconds). 20:20:44 A 2D drawing library? 20:20:48 You have to be joking. 20:48:29 what 20:48:33 @karma 20:48:33 You have a karma of 0 20:48:36 yay 20:54:36 @karma 20:54:37 You have a karma of 1 20:55:17 @karmageddon 20:55:17 Unknown command, try @list 20:55:21 @karma geddon 20:55:21 geddon has a karma of 0 20:55:59 @karma ggedon 20:56:00 ggedon has a karma of 0 20:56:05 @karma list 20:56:05 list has a karma of 0 20:56:10 @karma 20:56:10 You have a karma of 0 20:56:13 fuck you. 20:56:17 LinearInterpol++ 20:56:18 LinearInterpol++ 20:56:20 LinearInterpol++ 20:56:22 LinearInterpol++ 20:56:24 LinearInterpol++ 20:56:25 @karma 20:56:26 You have a karma of 5 20:56:26 there, that should do it. 20:56:31 haha, thanks boily :D 20:56:47 (karma chameleon)++ 20:56:52 preflex: karma karma chameleon 20:56:52 karma chameleon: 2 20:56:58 boily++ boily++ boily++ boily++ boily++ boily++ boily++ 20:57:02 @karma boily 20:57:02 boily has a karma of 8 20:57:19 @karma 1337 20:57:20 1337 has a karma of 0 20:57:33 @karma boily 20:57:33 boily has a karma of 44 20:57:36 KD 20:57:41 @karma boily 20:57:42 boily has a karma of 80 20:58:04 Huh, the first Carmageddon game looks a lot clunkier than what I remembered. 20:58:34 preflex: karma boily 20:58:34 boily: 7 20:59:17 ha 20:59:29 now i have lower karma than all of you! 20:59:54 preflex: karma quintopia 20:59:54 quintopia has no karma 21:00:00 quintopia++ 21:00:04 quintopia++++ 21:00:10 preflex: karma quintopia++ 21:00:10 quintopia++: 1 21:00:10 preflex: karma quintopia 21:00:11 quintopia: 2 21:00:20 ¬_¬'... 21:00:39 noooooo 21:00:41 preflex: karma boily 21:00:41 boily: 7 21:00:42 preflex: karma 21:00:42 kmc: 98 21:00:49 \o/ 21:00:55 boily++ 21:00:57 boily++ 21:00:58 boily++ 21:01:05 i'll never catch you! 21:01:14 LinearInterpol++ 21:01:15 LinearInterpol++ 21:01:16 LinearInterpol++ 21:01:40 * quintopia hides from the impending karma war of doom 21:02:34 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:36 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:38 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:40 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:42 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:44 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:46 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:48 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:49 noooooooooooooooooo 21:02:50 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:52 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:53 boily-- 21:02:54 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:56 quintopia++ LinearInterpol++ kmc++ mauke++ quintopia++ 21:02:58 (yes, I know, something something flood something...) 21:03:00 mauke** 21:03:07 boily++ boily++ boily++ 21:03:09 boilyಠ_ಠ 21:03:09 boily++ boily++ boily++ 21:03:09 ¯|¯⌠ 21:03:09 /< | 21:03:10 boily++ boily++ boily++ 21:03:10 LinearInterpol÷÷ 21:03:11 boily++ boily++ boily++ 21:03:12 boily++ boily++ boily++ 21:03:14 boily++ boily++ boily++ 21:03:17 boily++ boily++ boily++ 21:03:19 boily++ boily++ boily++ 21:03:22 boily++ boily++ boily++ 21:03:26 ... 21:03:36 FireFly// 21:03:42 okay flood over 21:03:52 full-width solidus? 21:04:09 why not? 21:04:11 `unidecode / 21:04:12 ​[U+FF0F FULLWIDTH SOLIDUS] 21:04:16 I dunno 21:04:26 `unicode HEAVY BLACK HEART 21:04:28 ​❤ 21:04:33 `unicode ORANGE BOOK 21:04:35 Unknown character. 21:04:36 `unicode HEAVY BLACK METAL 21:04:38 Unknown character. 21:04:49 `unicode KANGXI RADICAL FIGHT 21:04:50 ​⾾ 21:04:54 `unicode RED APPLE 21:04:56 Unknown character. 21:05:02 Huh. 21:05:14 ORANGE BOOK is a real legit unicode char. 21:05:17 http://mauke.hopto.org/stuff/javascript/unicode.html?q=red+apple 21:06:07 «bin torieux.» red apple too is a Real Unicode Far Away in the SMP Character. 21:06:20 what about red lobster 21:06:22 There's also a GREEN APPLE 21:06:58 The reference pictures on file-formats.info show them in different greyscale shades 21:09:59 :D 21:10:02 @karma 21:10:02 You have a karma of 20 21:10:16 preflex: karma 21:10:17 LinearInterpol: 20 21:10:19 `unicode CLOCKWISE RIGHTWARDS AND LEFTWARDS OPEN CIRCLE ARROWS WITH CIRCLED ONE OVERLAY 21:10:20 Unknown character. 21:10:23 @karma boily 21:10:23 boily has a karma of 109 21:15:50 `unicode GLYPH FOR ISOLATE ARABIC HAMZAH UNDER LIGATURE LAM ALEF 21:15:52 Unknown character. 21:16:27 There's both an old Unicode database and an inability to handle non-BMP characters in the Python of HackEgo. 21:17:33 Oh, apparently that is an old name 21:17:42 `unicode ARABIC LIGATURE LAM WITH ALEF WITH HAMZA BELOW ISOLATED FORM 21:17:44 ​ﻹ 21:22:28 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 21:34:31 Strange Enigma thing: when playing, xscreensaver does not think there is any mouse movement, and therefore activates after the usual delay. 21:35:06 kmc: <#haskell on that comic> If you can't laugh at it, you need to reevaluate the place that technological choices have in your life. 21:37:35 i can't laugh at it because it's not funny 21:37:42 -!- carado has joined. 21:37:46 which comic? 21:38:09 olsner: today's xkcd. 21:38:21 <`^_^v> neither is any other xkcd 21:38:28 <`^_^v> this one just has more butthurt haskellers 21:38:53 it's a p. irritating attitude imo 21:39:14 if i yell "haskell sucks!" and you don't laugh at my funny joke then you are too emotionally attached to haskell 21:39:24 clearly 21:39:44 <`^_^v> not exactly, but if you take offense to it you are too emotionally attached to haskell 21:40:01 I don't laugh at that joke. Haskell programmers don't laugh, as emotion is a side-effect. 21:40:29 `^_^v: accusing people of 'taking offense' when they're expressing some other emotion is common and obnoxious 21:40:30 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v:: not found 21:40:58 <`^_^v> who did i accuse? 21:41:09 `^_^v: me 21:41:10 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v:: not found 21:41:17 <`^_^v> stop executing me bro 21:41:28 get a nick that doesn't suck 21:41:28 `^_^v: I didn't accuse you of accusing anyone! 21:41:45 -!- ChanServ has set channel mode: +o elliott. 21:41:55 -!- elliott has kicked `^_^v my patience for you has expired. 21:41:58 -!- elliott has set channel mode: -o elliott. 21:41:58 nice 21:42:12 I am offended at people suggesting I take offense at people suggesting I accuse offensers who offense people by taking offense at suggesting offenses are what offense people taking offense at. 21:42:32 boily: that's offensive! 21:42:39 sigh 21:43:24 Anyone know where I can buy typewriter ribbon? 21:43:45 office supply store 21:43:48 seriously 21:43:50 it's a pretty weird xkcd given that iirc xkcd.com has used haskell internally several times 21:44:08 but I'm glad I'm not in #haskell right now! 21:44:11 it's a really old and tired joke 21:44:17 I think it's pandering to its audience 21:44:26 also based on a false strawman claim about haskell 21:44:40 I'm pretty sure xkcd is just catering to the lowest common denominator half the time at this point 21:44:42 elliott: as a friend I'm also glad you aren't in #haskell 21:44:47 all the cheap gag strips feel like that now 21:44:59 which, whatever, it helps the guy sell shirts and he does cool stuff on the side 21:45:04 I am in #haskell but like Phantom_Hoover knows I blot out things that annoy me 21:45:13 hm why am i in #haskell 21:45:24 I would wager good money that this strip sat in some rejects pile for a long time and he just couldn't come up with anything better today so was like fuck it. 21:45:32 I doubt that 21:45:36 xkcd is heavily queued, IIRC 21:46:43 I've mostly stopped complaining about xkcd because I think its reputation has fallen enough that it's not so bizarrely overrated anymore 21:47:42 we should talk about typewriter ribbon or something instead of xkcd. 21:48:14 ribbons are good. my girlfriend has some nice ones. 21:48:33 I wonder if the on-campus store at York stocks them 21:51:32 shachaf: you should leave #haskell 21:51:55 Some dot matrix printer ribbons are getting hard to find. 21:52:43 -!- ^v has quit (Remote host closed the connection). 21:53:14 -!- FreeFull has quit (Ping timeout: 272 seconds). 21:53:33 dot matrix printers are still common though 21:53:35 fizzie: dot-matrix printers use ribbons? 21:53:39 but maybe particular ones aren't 21:53:51 also maybe I mean "dot matrix printers were still common in 2003"... time makes fools of us all 21:53:54 boily: Some do, at least. 21:54:25 boily: http://www.amazon.com/Epson-ERC-30-34-38-Pack/dp/B00280C35A stuff like that. 21:54:35 Or http://www.amazon.com/Epson-Premium-Compatible-Black-Pack/dp/B002DN6YA2/ref=sr_1_3?s=pc&ie=UTF8&qid=1388786039&sr=1-3 in two colors! 21:55:03 And yes, it's the non-popular models that are harder. 21:56:21 I had (maybe it's still in the basement) a Hyundai (I think) brand dot matrix printer that wasn't ribbon-compatible with anything major, and even 5-10 years ago when I was looking, a big office supply company managed to locate just three cartridges in some musty old warehouse. 21:57:29 Actually I think it was a lot like this http://www.ebay.co.uk/itm/Wide-Carriage-Dot-Matrix-printer-Hyundai-HDP-920-/251274316551 one, but perhaps not quite that one model. 21:57:52 "Hyundai HDP920 Compatible High Density Re-Inking Nylon Cassette Printer Ribbon" "This Item has now been Discontinued and is no Longer Available to Order" 21:59:11 http://ru.pc-history.com/wp-content/uploads/prn_hyundahdp-920.JPG yes that is amazingly close to what it looked/looks like. 21:59:20 sometimes, one happens to have an old incompatypewriter lying around. something that hasn't happened to me yet, but I fear will be bestowed upon me by an unknown stranger in a trenchcoat on Ste-Catherine. 21:59:44 I wonder where my typewriter is, also. 22:00:00 I wrote things with it when at the summer cottage. 22:00:08 (There wasn't all that much to do.) 22:00:25 It did do multiple colors, though. 22:00:33 I bought a typewriter from a charity shop the other day, completely impulsively 22:01:35 -!- boily has quit (Quit: CHICKEN RIBBON). 22:01:38 -!- metasepia has quit (Remote host closed the connection). 22:01:47 http://prodano.by/media/images/post/315/3153457_0.jpg apparently it works fine in Windows 7 x64 SP1. If that's what the bit in Russian means. 22:01:47 how hard is it to make your own ink ribbon out of like ribbon and ink? 22:04:59 fizzie: "PRINTING FROM WINDOWS 7 x64 SP1" 22:05:09 LOGICAL 22:05:26 (What's the hammer-and-sickle for?) 22:05:34 punctuation 22:05:38 I see. 22:05:47 (Perhaps it's a Party-approved printer.) 22:06:00 ending sentences is pretty ink-expensive in russian 22:06:57 Actually, it seems that HDP-920 is the A3 model. Mine was just A4; maybe it's the HDP-910 instead. 22:07:13 -!- Sgeo has joined. 22:13:24 -!- conehead has joined. 22:13:55 -!- yorick has joined. 22:16:31 shachaf: is there a concise term for an idea which isn't that stupid but is very popular with clueless beginners who will do it wrong and so everyone hates this idea? 22:17:22 not that i know of 22:17:26 what are some examples other than otp 22:17:44 probably a lot of things on the haskell faq 22:17:51 like dynamic typing 22:18:25 ah, makes sense 22:18:26 -!- MindlessDrone has quit (Quit: MindlessDrone). 22:18:27 -!- oerjan has joined. 22:18:53 @messages-lewd 22:18:54 boily said 6h 22m 34s ago: *mapole smack* 22:21:25 kmc: "PHP" 22:21:41 ("j/k lol") 22:22:20 haha 22:22:23 fizzie: I think Perl fits better than PHP 22:31:56 kmc: I once considered OO and static typing to be examples... sucky languages get them wrong and so they get derided 22:32:25 Although I'm not sure what some 'right' ways to do OO are, there are probably better approaches than the mainstream 22:34:26 yeah 22:34:43 definitely "wanting to do OO-ish things in Haskell" is an example 22:34:54 beginners want it and are usually wrong, but there are some valid cases 22:37:56 -!- AnotherTest has quit (Ping timeout: 246 seconds). 22:42:53 And here's me posting about it a while ago even though the post doesn't actually add anything to this discussion: http://sgeo.tumblr.com/post/45037477692/i-suspect-that-much-of-the-time-when-people-say 22:44:08 "A generic error has occurred." Well, that's helpful. 22:46:04 Would 'unknown' be better? 22:46:53 It's certainly better than pretending that the operation was successful 22:47:06 kmc, I'm heading towards an OO-ish API for this game library I'm writing in Haskell 22:47:23 Very -ish 22:48:28 I think Tcl is a language quite likely to explore interesting corners of OO design space 22:48:38 What game library is that? And what kind of OO-ish API? 22:48:41 There's XOTcl, which I don't know much about admittedly 22:48:54 Although they seem to limit themselves to single-dispatch 22:48:59 -!- Sprocklem has joined. 22:49:01 Sgeo: Tcl is awesome. 22:49:20 Smalltalk, ironically, seems less likey. Its OO is built into its core, I imagine a bit tricky to just change 22:49:27 LinearInterpol: are you pikhq? 22:49:33 nope. 22:49:47 huh. 22:50:17 I'm kind of done with Tcl after using a script I wrote that leaked around 12GB of memory 22:50:32 I wrote an object-oriented language once. 22:50:45 My IRC bot is also apparently a memory leaker, but I'm not sure what's causing that. That bot is also in Tcl. 22:50:48 LinearInterpol, you're behind Gregor, then 22:50:52 I think I'm bad at manual memory management 22:51:32 Taneb: was his language forth-like? :P 22:51:44 Glass was 22:51:48 ORK was less so 22:52:31 mine was callllled Emerald. it was p. stupid. 22:53:04 it doesn't help that people mean one of like 12 different things by "OOP" 22:53:08 Strings were disgusting to deal with. 22:53:20 kmc: mine was prototypical. 22:53:39 kmc, is "OOP" better or worse defined than "FP" 22:53:48 the lie that OOP was the origin of abstract data types is pervasive in CS education 22:53:57 How many dimemsions are there of somewhat well known terminology to describe OO systems? 22:54:08 single/multiple dispatch, prototypal/class based, etc/ 22:54:08 ? 22:54:20 Sgeo: as many dimensions as there are implementations of different ideas. 22:54:30 LinearInterpol: how many of those ideas have names though 22:54:38 tooooooooooooo many to fucking count. 22:55:12 hell, even the definition of object isn't consistent in most places. 22:55:18 in C it's taken to be data + identifier. 22:55:24 So that random joe schmoe could describe system X as "multiple-dispatch prototypal blah blah blah" and ultimately unique to X but... understandable 22:55:43 Hmm, what would multiple-dispatch prototypal look like? 22:55:46 it's so inconsistent it boggles my fucking mind. 22:55:56 And am I spelling prototypal correctly? 22:56:26 yep. 22:57:00 Sgeo: multiple-dispatch prototypal language? try emerald. 22:57:07 rather, my emerald. 22:57:22 I hacked that together so badly.. jesus. 22:57:43 Link? 22:57:57 almost afraid to give you the link but, sure. 22:58:30 https://bitbucket.org/LinearInterpol/emerald 22:59:01 like 99% of the environment isn't even defined in Python. 22:59:07 strings aren't. 22:59:13 math isn't. 22:59:31 oops, not in Python, *in the central interpreter. 22:59:34 I like stack-based except when I don't 22:59:47 Sgeo, how about queue-based? 22:59:50 this is when stack based becomes horrid. 22:59:59 look at Emerald.py 23:00:00 and weep. 23:00:04 queue-based? 23:00:35 -!- Bike has joined. 23:00:48 Sgeo, there aren't that many queue-based languages 23:01:39 I had a symbol to start and stop the interpreter. 23:01:41 : 23:01:51 which is scary enough but it does.. allow odd things to happen. 23:06:16 in "Old" you can see I was working on a C port but in the back of my head I slowly said "nooooooooooo" 23:06:39 -!- FreeFull has joined. 23:16:21 IOCCC 2013 results are in: http://ioccc.org/years.html#2013 23:16:36 oh joy. 23:17:05 -!- kmc has set topic: SURLYSPAWN is part of the ANGRYNEIGHBOR family of radar retro-reflectors. | 22nd IOCCC results: http://ioccc.org/years.html#2013 | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 23:19:31 "This one-line C program accepts as a first command-line argument the last name of any of the last 31 US Presidents (from Franklin Pierce onwards), in lower case, and prints out their political affiliation." 23:20:58 main(int riguing,char**acters){puts(1[acters-~!(*(int*)1[acters]%4796%275%riguing)]);} 23:22:00 what. 23:27:51 I can almost see how that works 23:28:49 i'm just glad i can get s far as understaning that 1[bullshit] is the same as bullshit[1]. 23:29:01 Well, depending on how much I have misremembered the C spec, riging would always be 2 or 3 23:29:07 Probably 2 23:29:18 I think 4 23:29:29 I'll trust olsner 23:29:31 2 23:29:35 god, why did we make a competiton for the most eye-bleedingly horrid C program. 23:29:36 wait isn't it jsut argc 23:29:41 Yeah 23:29:43 um because it rules?? 23:29:43 mhm. 23:29:54 Bike: but most of us deal with it daily. :( 23:30:12 I, on the other hand, can't understand how it took me this long to understand where "riguing" and "acters" came from. 23:30:16 Also, according to the hint.html it works with a different argc 23:30:18 So, it's taking the first argument, casting it from a string to a pointer of ints 23:30:18 fizzie: lol. 23:30:48 lovely. 23:30:50 Or... it's casting 1 to a pointer to ints? 23:31:07 It sounds like it's based on the first 4 characters 23:31:23 Bike: link to the entry? 23:31:29 It is. 23:31:35 oh, it takes 3 arguments 23:31:38 that makes more sense 23:31:49 I was wondering what it was doing with argv[2]/argv[3] 23:32:13 I guess ~!(*(int*)1[acters]%4796%275%riguing) must end up either -1 or -2? 23:32:31 Yes, again. 23:32:33 "This entry takes a BMP image file of hand-drawn (mouse-drawn?) text, specified as the first command-line parameter, and converts it to an ASCII text document. " very nice. 23:32:40 LinearInterpol: http://ioccc.org/2013/cable1/hint.html 23:32:43 god, why did we make a competiton for the most eye-bleedingly horrid C program. <-- you're asking this in a channel that has at least two previous winners... 23:32:45 if you assume 2's complement, -b is ~b+1 23:32:55 oerjan, I know Gregor, but who else? 23:32:59 It's kind of cheaty how it needs the outputs as arguments. 23:33:04 Taneb: tromp_ 23:33:12 When did he win/what for? 23:33:14 thus -~x is ~~x+1 is x+1 23:33:24 Jesus. 23:33:31 oerjan: shoot me. :P 23:33:50 I've thought about entering but keep realising I know nought about C 23:34:02 * oerjan hits LinearInterpol with the saucepan as the closest available approximation ===\__/ 23:34:06 "Newcomers to C find it hard to learn all those different ways to control flow: for, while, if, do, goto, continue, break and heaven knows what else! So, in this program we only use for, so absolute beginners can get into the code straight away." thank goodness. 23:34:39 real programmers use goto. 23:34:40 obv. 23:34:47 "main is the most useful function in all of C - so it is a mystery to the author why most programs use it only once. Here we use it over and over for maximum benefit." 23:35:51 http://ioccc.org/2013/cable2/cable2.c it's... it's so beautiful. 23:36:10 erl -e 'map{map{print int(rand()*8);}(0..16);print chr(10);}(0..30);' | tr '[0-4]' ' '| ./birken 23:36:22 this is exactly the kind of bullshit people need to stop writing in perl 23:36:24 and includes #define $ for("IOCCC" #include... 23:36:46 god it's beautiful. 23:37:31 -!- conehead has quit (Quit: Computer has gone to sleep.). 23:37:37 "This entry weighs in at a magical 4043 bytes (8086 nibbles, 28,301 bits). It manages to implement most of the hardware in a 1980’s era IBM-PC using a few hundred fewer bits than the total number of transistors used to implement the original 8086 CPU." 23:37:39 for (0..30) { for (0..16) { print int rand 8; } print "\n"; } 23:38:17 Taneb: tromp_ won in the 2012 contest, and i'd say for implementing an esolang. 23:38:19 "If you like living on the edge you can try building the emulator on a big endian machine, and you will get an emulation of a big endian 8086," hsh 23:38:29 nice 23:38:41 oerjan, yeah, I see 23:38:51 I was working on something vaguely similar that overused gmp 23:38:54 But it has bugs 23:39:26 jebus. 23:39:44 –64[T=1[O=32[L=(X=*Y&7)&1,o=X/2&1,l]=0,t=(c=y)&7,a=c/8&7,Y]>>6,g=~-T?y:(n)y,d=BX=y,l] 23:40:36 is there an ioccc entry that compresses c source by making it incomprehensible 23:40:46 ~-T is an amusing way to test for 1 23:41:04 Bike: well there's a C compiler 23:41:12 http://bellard.org/otcc/ 23:41:24 Fabrice Motherfucking Bellard 23:42:20 That Fucker 23:43:33 int *Q,u,i,c,k,B,r=0,w,n,F=0,x,J,u,m,p,s=0,v,e,r,L,a,z,y,D,o,g; 23:43:54 I like the completely useless =0 in there 23:44:51 It improves the readability of the code. 23:45:02 Brwn and Jmpsver aren't nice words without the 0s 23:45:12 is this supposed to do something? 23:46:24 Well, first of all it's supposed to impress the IOCCC judges. 23:47:26 shachaf: http://twitpic.com/dr4b32 23:50:08 myname: the quickbrownfox one is an OCR program. 23:51:18 oh hey, there's a Lazy K implementation. 23:51:24 "We liked this entry because it can serve as a standalone program as well as an include file" 23:53:20 -!- Sprocklem has quit (Ping timeout: 260 seconds). 23:53:40 "Huge memory may be required to compile the program (about 300 MB on my machine)" uh 23:53:57 -!- conehead has joined. 23:54:14 -!- pikhq has quit (Ping timeout: 264 seconds). 23:59:17 "Shaders are written in an interpreted language that supports basic arithmetic, a few math functions, variables and procedural call in the CPS (Continuation Passing Style)." 23:59:22 just gonna keep quoting crap