00:02:05 -!- Sgeo has joined. 00:12:33 -!- tswett has quit (Quit: Page closed). 00:19:01 -!- nooodl has quit (Ping timeout: 272 seconds). 00:23:37 -!- Phantom_Hoover has joined. 00:35:30 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 00:35:36 -!- augur has joined. 00:45:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:46:51 -!- conehead has quit (Quit: Computer has gone to sleep.). 00:47:44 -!- Phantom_Hoover has joined. 00:50:36 -!- Daniitha16_Diamo has joined. 00:56:48 -!- Daniitha16_Diamo has quit (Ping timeout: 245 seconds). 01:01:29 -!- ^v has joined. 01:13:43 -!- conehead has joined. 01:26:31 -!- yorick has quit (Remote host closed the connection). 01:28:37 -!- mekeor has quit (Ping timeout: 248 seconds). 02:00:37 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 02:15:03 -!- Phantom_Hoover has joined. 02:23:48 -!- lancekates has joined. 02:25:39 hello 02:26:23 `relcome lancekates 02:26:24 ​lancekates: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 02:26:55 I know this isn't quite the right place for it, but can I ask an ISO question? 02:27:02 (I figured programmers would know) 02:27:05 go for it 02:28:00 say I have ISOs for 6 CDroms. they all, together, install the same program. Broken apart, all of the info in the ISOs can fit on 1 dvd. If I install all the stuff onto one dvd, can I install off that dvd? or am I somehow required to waste another 5 discs? 02:28:26 that depends on how the program's installer is written 02:28:39 whether it expects the files in an exact location on the disk filesystem, or will search around for them 02:28:47 and in the former case, you could maybe still do it if the filenames are all different 02:29:15 out of curiosity, how did you find #esoteric? 02:29:22 The filenames are all different. on disc 1 they are all xx1.blah.blah. all of disc 2 are xx2.blah.blah 02:29:52 I randomly picked an IRC server and, being a freemason, thought this might be good for a chat (thinking about the OTHER esoteric ;) ) 02:29:59 haha 02:30:04 cool, then just try dumping them all into a single ISO 9660 filesystem on a DVD and hope for the best 02:30:17 once I read that y'all are programmers, I thought you might have tips. 02:30:19 like that one. :D 02:30:24 Would this happen to be Baldur's Gate? 02:30:51 nope. wow, haven't heard of THAT game in years! 02:31:18 lancekates: another option would be to burn the isos themselves to the DVD, and use some "virtual CD drive" program to mount them one by one 02:31:24 Yeah, but 6 CDs. What else could it be, The Sims? :) 02:31:28 back in the day, I had an app that could make ISOs, so I backed up all of my pictures and documents. 02:31:36 or skip the first part if they're already on the machine you want to install on =) 02:31:46 but, since we've moved from CDs to DVDs, I thought I might try to reduce the collection. 02:32:22 but this was back in the day, back when windows 98 was hot and new. 02:32:27 wow i read "ISO" as meaning t he standards commitee, wtf 02:32:42 Bike: well it is, indirectly. ISO 9660 02:32:46 heh... all I know about that is iso9000 = paperwork. 02:32:53 so, if I could pry, what is esoteric? 02:32:55 i don't need your sass 02:33:01 wait, is that why it's "iso" 02:33:10 lancekates: the welcome message is informative, believe it or not 02:33:22 i was going to ask "what ISO? 9899? 14822? 9660? 10646? 3103?" 02:33:32 pikhq: I think Riven came on 5 or 6 CDs, but you would swap them as you play, not install them 02:33:45 i thought they were going to ask about the standardization process itself 02:33:57 myst had a shitload of disks too. "also, final fantasy seven" 02:34:24 one of my earliest computer memories is watching a friend's computer fascinated. the drive letters went up to /I/, man 02:34:24 right, programming language, but what kind of programming? CAD/CAM, gaming, office solutions, etc 02:34:45 useless weird programming languages that we make and use for fun 02:34:46 I still have FFVII somewhere around here, but no playstation upon which to play it. 02:34:56 For more information, check out our wiki: 02:35:37 I'll take a look. I haven't been hardcore into computers (other than using them) since college when I did some tech work, repair and sales. Now I just use them to work, study and do stuff for lodge. 02:35:38 lancekates: Brainfuck is probably the most well-known esoteric language, although it's pretty boring compared to a lot of them 02:35:51 huh, ok. 02:36:15 well folks, I appreciate the help. I'll check out the wiki and once my plate is a little less full, I may look into learning something new. Have a good night, all. 02:36:21 later 02:36:25 -!- lancekates has left ("Leaving"). 02:37:24 -!- J_S has joined. 02:37:35 Hello! 02:37:59 `relcome J_S 02:38:00 ​J_S: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 02:38:14 What's going on today 02:40:21 not a lot for me 02:41:25 Same here, just enjoying a quiet evening with some loud music 02:54:05 -!- copumpkin has joined. 03:02:07 -!- augur has quit (Ping timeout: 260 seconds). 03:26:45 -!- aergus has quit (Ping timeout: 272 seconds). 03:38:22 -!- Phantom_Hoover has quit (Quit: Leaving). 03:40:40 -!- J_S has quit (Quit: ChatZilla 0.9.90.1 [Firefox 26.0/20131205075310]). 04:32:15 -!- ^v has quit (Remote host closed the connection). 04:35:43 -!- ^v has joined. 04:43:09 -!- Sorella has quit (Read error: Connection reset by peer). 04:53:50 -!- augur has joined. 05:01:19 -!- ^v has quit (Remote host closed the connection). 05:13:46 "Assuming pizza | Use DiGiorno pizza instead" 05:13:57 Wolfram Alpha doesn't think DiGiorno pizza is pizza 05:14:49 I don't think that is what the message means. 05:35:11 does W|A do product placement now 05:37:39 "If only there was a deck that could both cast it and want to." 05:37:47 (about Destructive Flow) 05:38:26 is there a graph formalism that (at least roughly) corresponds to (at least some useful subset of) organic chemistry 05:39:30 http://en.wikipedia.org/wiki/File:PentacycloanammoxicAcid.png i'm pretty well doomed, but still 05:57:29 i feel like trying to come up with sensible names for every possible this-kind-of-graph is probably doomed 05:58:35 maybe could be a case study in information linguistics though 06:35:46 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 07:05:51 (About Reset) 07:05:51 "Not at all out of colour - being really good is a blue ability." 07:06:20 blue is the scow of colors 07:07:06 A flat-bottomed boat with a blunt bow? 07:08:13 scow as in garbage scow 07:12:36 http://it.toolbox.com/blogs/securitymonkey/the-worlds-worst-penetration-test-report-by-scumbagpentester-58747 07:15:46 -!- frogsetsboy has joined. 07:15:54 hi quintopia 07:16:01 Hmm, Duel of the Planeswalkers has an online play mode 07:16:16 "They mention another customer's name by accident." haha 07:24:18 -!- FreeFull has quit. 07:47:01 -!- SeeNoEvil has joined. 07:54:11 -!- SeeNoEvil has left. 08:20:42 -!- aergus has joined. 08:22:39 -!- Tritonio has joined. 08:28:00 Does a card being literally almost useless in non-Commander affect its value much? 08:28:15 Looks like Command Tower goes for around $1.50 08:29:16 Wonder if there is some sort of use for a do nothing land 08:30:48 -!- MindlessDrone has joined. 08:42:45 -!- aergus has quit (Ping timeout: 248 seconds). 08:43:45 -!- Tritonio has quit (Quit: Tritonio). 08:52:07 "MySQL configured to allow connections from 127.0.0.1. Recommend configuration change to not allow remote connections." this rules 09:06:35 -!- oerjan has joined. 09:07:06 http://www.nature.com/nature/journal/v505/n7485/full/nature12954.html aw yeah 09:09:17 bike: And here’s a very informative picture: http://yle.fi/uutiset/suomalaistutkija_loysi_kauan_etsityn_yksinapaisen_magneetin/7059297 09:11:05 phys.org used the same picture :3 09:11:11 science thing especially shiny today, study finds 09:13:47 ugh, deja vu 09:21:03 * oerjan sees the term bose-einstein condensate and is skeptical. 09:21:30 why? 09:22:42 because the last times i saw articles about magnetic monopoles "found", they were not fundamental particles but derived phenomena in a material. 09:22:54 weren't magnetic monopoles the particles that the LHC would allegedly use to destroy the earth? 09:23:05 olsner: no those were black holes. 09:23:18 well, some of them at least 09:23:53 i'm sure i'll find someone on reddit later who explains why this is the same kind of non-fundamental stuff. 09:24:02 what makes a particle fundamental 09:24:07 ok elementary 09:24:19 Bike: not composed of smaller ones? 09:24:41 i hear everything's made of strings, man 09:25:40 the previous times the monopoles _were_ sort of string-made. 09:25:56 like, they were really the poles of magnetic strings in the material. 09:26:06 so not "mono" for real. 09:26:33 starting to think "real" has lost meaning at this level 09:27:39 wikipedia mentioned "flux tubes" as one kind of false monopole (which was really a dipole with independently moving poles, or something) 09:28:55 well the thing is, the behavior of materials is described by quantum field theory in the same way as fundamental physics qft, but they're _emergent_ qft's and have different, emergent particles. 09:30:33 so you can get things like look like magnetic monopoles in the emergent theory but are composed of smaller particles in the basic theory. 09:30:52 so like... what kind of microscope do i need to see it to check 09:31:16 i dunno. 09:31:23 "Tilannetta voisi verrata kadonneiden autonavainten etsimiseen. Nyt on todistettu, että avaimet voivat olla olemassa. Tämä lisännee motivaatiota etsimiseen." 09:31:59 like, one of those big electric ones? 09:33:26 Bike: electron microscopes are nice. i recall that john sidles guy i've seen commenting in some blogs works on some kind of quantum spin microscope, i'd suggest those. 09:33:48 (he just got banned from scott aaronson's blog again.) 09:34:28 i saw a presentation on super (light) microscopes some weeks ago, it was weirdly retro 09:34:32 and yes they're actually called "super" 09:35:08 seeing light microscopy of like, proteins, is p. weird imo 09:35:40 (btw he's weird but i don't think there is anything wrong with his actual work.) 09:35:50 i assume weird is why banned 09:36:24 well he got aaronson angry by ignoring the subject when called on being wrong. 09:37:18 he has this exuberant super-positive vibe always, but i think that extends to never admitting anything negative. 09:42:20 so is the "real" monopole supposed to be some new kind of elementary particle? 09:43:22 this jsut reminds me that i had to drop my electrostatics class -_- 09:44:41 olsner: yeah 09:52:12 * oklopol doesn't understand a thing 09:52:25 oerjan is talking about these particles and stuff like they mean something 09:52:29 wut 09:53:44 oklopol: 's ok i only understand half a thing 09:58:44 you used to say "vague" a lot more btw 09:59:01 i vaguely recall i did 09:59:04 where is this newfound confidence coming from 10:00:11 oklopol: i don't have precise recalls any more, so the vague became redundant hth 10:00:18 ah 10:56:18 [[ a BLACK & EMPTY screen is a sign that your ''cache'' or "memory'' are overwhelmed and can't take any more -- or you may have conflicting ''cookies''. ]] 10:56:24 (I'm trying to figure out why this Chrome has gotten the symptom that some pages show up entirely black (but the contents are there, links can be clicked and text copy-pasted) and also on first visit of such a page, one of the myriad Chrome processes goes into a "use 100% CPU and all memory" mode; killing the process has no observable effects.) 10:57:00 "While you are at it, switch-off both your modem and your router for about 30 seconds; then turn them back on again." 10:57:03 Oh, Yahoo Answers. 12:04:40 -!- ais523 has joined. 12:34:22 -!- Tritonio has joined. 12:42:36 -!- Sorella has joined. 12:42:58 https://soundcloud.com/fredscott-1/this-is-a-trent-reznor-song 12:55:59 for some reason, my mind's thinking of a sound cloud as an auditory version of a tag cloud 12:56:04 which is weird, because that isn't even a concept that makes sense 12:58:09 sounds like an art piece 12:59:58 -!- oerjan has quit (Quit: leaving). 13:01:27 http://upload.wikimedia.org/wikipedia/commons/9/92/CaproniCa.60.jpg http://upload.wikimedia.org/wikipedia/commons/thumb/b/b3/Ca.60_under_costruction.jpg/1024px-Ca.60_under_costruction.jpg such a fancy plane 13:02:12 ("The prototype only made one short flight on 4 March 1921 over Lake Maggiore in Italy. The aircraft attained an altitude of only 18 m (60 ft), then dived and crashed, breaking up on impact. -- Caproni had the wrecked airplane towed to shore, and announced that he would rebuild it, but that night it burned to ashes." 13:04:16 I remember a show on TV where they gave three teams of mechanical engineers some propellors, lots of wood, and a scrapheap from which to scavenge components, also World War I-era tools 13:04:21 and asked them to build aeroplanes 13:04:45 they all managed to build working aeroplanes in just two days, although only one of the teams was crazy enough to attempt to fly it more than a few metres off the ground 13:27:05 -!- Tritonio has quit (Quit: Tritonio). 13:28:20 -!- trn has quit (Ping timeout: 245 seconds). 13:28:36 ais523: junkyard wars, extreme version? 13:28:59 quintopia: yeah, it was a special episode of Scrapheap Challenge, the UK series that Junkyard Wars is based on 13:30:55 -!- boily has joined. 13:31:56 -!- metasepia has joined. 13:36:28 good unsynchronized morning! 13:37:02 good afternoon 13:39:38 morning! think i'll work today? 13:42:42 did you have any recent snowfalls? meteorite falls? alien falls? zombie falls? 13:45:33 boily: there were some very minor snowfalls here, the snow didn't settle 13:45:45 I didn't observe any meteorites, aliens, or zombies falling 13:47:17 -!- ^v has joined. 13:47:52 boily: just that one snowfall on monday! 13:48:07 oh. nothing to worry about, then. 13:48:11 boily: but it shut down the city for two days so far 13:48:43 ! 13:50:34 not so much the snow, but the ice on the roads and the wrecks 13:53:25 the wrecks would be a problem even without ice on them, wouldn't they? 13:54:03 (some day, it seems possible that my tendency to see the unintended parsing of a sentence will lead to problems) 13:56:17 most likely 13:58:11 * boily ambiguously mapoles ais523 (but only lightly, as no particular offence was made) 13:58:29 ~duck mapole 13:58:29 --- No relevant information 13:58:47 try wisdom 13:59:55 `? mapole 13:59:56 A mapole is a thwackamacallit built from maple according to Canadian standards. 14:00:00 right 14:02:34 -!- Sgeo has quit (Read error: Connection reset by peer). 14:08:05 aaaaaurgh! when will the next Haskell Weekly News be? 14:09:30 tomorrow 14:09:35 i should eat breakfast 14:10:17 boily: bring me breakfast in bed? 14:10:42 quintopia: can I ais523ly misinterpret that? :D 14:10:57 what do you usually get for breakfast? 14:11:03 boily: only if you can carry a bed :D 14:11:20 quintopia: I was thinking more along the lines of a motorized bed. 14:11:23 boily: i usually eat cereal but i'm thinking of making eggs today 14:11:58 eggs in the morning are good. two eggs, bacon, «patates rissolées», two toasts, a large glass of OJ and a cup of coffee. 14:12:26 but then, my usual fare is the same as yours. a bowl of cereals with yogurt and a glass of juice. 14:12:53 that all sounds excellent 14:13:16 i'm not sure what rissolees means, but i'm going to pretend it says hash browns 14:13:31 http://lacuisinedestelle.unblog.fr/files/2009/06/dsc02809.jpg 14:14:15 mcdonald's hash browns are my hangover cure. 14:15:49 oh that. yeah i've totally had that for breakfast 14:15:54 just never made it myself 14:16:03 you know cuz cutting onions in the morning 14:16:04 eugh 14:16:34 also mcdonald's "hash browns" are not hash browns 14:16:48 hash browns are fried on a griddle, not in a deep fryer 14:19:36 cutting onions in the morning is dangerous. there are more chances of me cutting a finger off than the onion itself. 14:21:02 have you every experienced the joy of waffle house 14:21:29 -!- ais523 has quit (Remote host closed the connection). 14:22:24 quintopia: no, not yet. 14:22:29 -!- ais523 has joined. 14:23:56 boily: if you ever come down this way... 14:25:12 * boily exclaims: “WAFFLES!” 14:27:38 -!- jconn has quit (Ping timeout: 245 seconds). 14:49:07 -!- Sellyme has quit (Excess Flood). 14:50:24 -!- Sellyme has joined. 14:52:59 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 14:55:38 -!- conehead has joined. 15:05:28 https://www.kickstarter.com/projects/973736766/cybermatrix-100 15:05:37 I am currently very angry with how my work is (or isn't) going 15:06:00 anyone have a copy of the proof that equivalence is decidable in typed lambda calculus handy? 15:07:06 err, simply typed 15:15:56 ah, found it via Wikipedia 15:17:08 -!- aergus has joined. 15:17:50 -!- AnotherTest has joined. 15:18:05 I should have learned a long time ago to psychologically prepare myself each time a link is presented in this chännel. 15:18:14 ion: this is vile. 15:23:09 -!- yorick has joined. 15:24:20 fungot could learn from the guy. "i only have diagrams. however, the processor it'll run on is a proprietary hardware containing 4 quantum engines about the size of a shooter marble." 15:24:20 int-e: meh... it's not like you will starve because they ate your lunch, riastradh. :) i'm going to have to compete with common lisp 15:24:48 (is "quantum" a brand name that one should know?) 15:29:11 boily: you could do what I do, and avoid clicking links on IRC except in really extreme circumstances 15:38:51 fungot: what is the quantic of a quantum? 15:38:51 boily: ( there are other implementations out there. one was a real wtf piece of string 15:39:04 fungot: string theory is indeed very wtfing. 15:39:04 boily: accomplish the same multiple tasks as reading from the second lisp interpreter i ever wrote a compiler for it 15:39:26 ais523: I can't resist the tempting allure of beautiful links. 15:39:48 so the answer is yes 15:39:51 i do work today 15:40:00 boily: for a while I actually configured my client to edit them out 15:40:02 impromptu vacation over 15:40:43 nowadays, I went for the less extreme option of just removing the coloration 15:40:57 there is link colouration? 15:41:11 ais523: what are you working on? 15:41:22 quintopia: a PhD 15:41:27 ais523: obvi 15:41:34 ais523: what's your thesis 15:41:47 it's generally about type systems for hardware compilation 15:41:57 however, none of the type systems actually seem to work :-( 15:42:10 oh okay 15:42:23 that's why i quit my phd 15:42:40 also the fact that i was in bad mental and emotional state that leads to nonproductivity 15:45:05 # spent 1.47s within main::recursive_id which was called 100001 times, avg 15µs/call: 15:45:07 # 100000 times (1.47s+-1.47s) by main::recursive_id at line 4, avg 0s/call 15:45:08 # once (24µs+1.47s) by main::RUNTIME at line 7 15:47:36 I guess this problem affects absolutely everything that wants to combine recursion and resource bounds 15:48:31 does that read 'this process took 1.47s plus or minus 1.47s'? 15:49:34 quintopia: no, the recursive calls took 1.47 seconds directly, 0 seconds if you also include indirectly called functions 15:49:52 thus the profilier interprets it as 1.47 seconds for the recursive calls and -1.47 seconds for its children 15:50:33 it's the only way to make the numbers add up 15:51:24 that makes zero sense :D 15:51:49 yeah, and my research doesn't like it either 15:52:57 if I do something as simple as \f.f(f(0)) (of type (int->int)->int), in a call by name system, it's easy to prove that the amount of time the function spends calling its argument is more than the amount of time it spends running in total 15:54:10 right, of course. everyone knows that parts of processes take more time than the whole process together 15:54:19 it's because two copies of the argument run concurently 15:55:01 -!- conehead has quit (Remote host closed the connection). 15:55:03 concurrency is weird, but i'm not sure that's a sensible way to model it 15:55:16 -!- conehead has joined. 15:56:45 I'm not sure what /is/ a sensible way to model it, though 15:59:29 me neither. i take it sums and averages behave badly 16:00:19 quintopia: https://en.wikipedia.org/wiki/Pi-calculus ? 16:01:30 boily: actually using process calculi is a common method of working round these problems 16:08:16 -!- qlkzy has quit (Quit: ZNC - http://znc.sourceforge.net). 16:08:40 -!- qlkzy has joined. 16:32:19 -!- jconn has joined. 16:53:16 -!- Slereahphone has joined. 16:53:25 Hey hey 16:53:43 I require some MIPS assistance! 16:54:05 We are currently doing some exception handler thing 16:54:48 And the function does not work so well (it's a task manager) 16:55:07 So I said "Fuck it!" 16:55:08 mipsistance 16:55:10 I'm confused already :-( 16:55:16 "I will deal with it later" 16:55:20 like, does this program have anything to do with MIPS in particular? 16:55:26 apart from running on it? 16:55:38 It is written in mips yes 16:55:55 So I cheated 16:56:03 I thought MIPS was a processor, not a language 16:56:12 (also a fictional rabbit, but that's unlikely to be the meaning you mean) 16:56:21 mips assembly 16:56:35 Running on a virtual machine 16:57:11 ah right 16:57:36 So as I said, fuck it 16:57:53 the task manager I would deal with later 16:58:21 So I just did a load address to the next task on some register 16:58:25 Put it in EPC 16:58:25 it's later isn't it 16:58:38 And did an eret 16:58:50 But 16:58:50 It did not work! 16:59:26 so...there are people here who grok MIPS? 16:59:45 At first I thought the problem came from the timer that triggered the interrupt, so I reset it to 0 16:59:51 But still no luck 17:00:13 Mips is taught to most computer people 17:00:42 i don't think that's true 17:00:53 yep, I know multiple asms but not MIPS 17:01:22 The initials stand for "MIPS Is Popular in School" 17:01:56 At least that's what the #esoteric people told me last time! 17:02:39 really, I'm not sure what asm architecture you're meant to start with 17:02:46 at university they taught us PIC16F asm 17:03:14 which is kind-of weird because it has one register (two if you count the stack pointer, but that's three bits long) and less than a kilobyte of memory 17:03:22 and the instruction counter is memory-mapped rather than being a register 17:03:32 (or if you look at it a different way, the /entirety of memory/ is registers) 17:03:54 At least that's fast! 17:04:05 If they physically are registers 17:04:13 actually like a quarter the memory addresses are memory-mapped to something, but according to the docs it's perfectly OK to use them to store values if they're not going to get spontaneously overwritten 17:04:37 and I think all instructions run in exactly two cycles, apart from jumps that take 4 17:05:00 I do like a processor that does not give a fuck 17:05:46 I'll try to get a mips debugger tonight, see what's up 17:06:10 We had a rather poor mips course 17:06:24 We did not actually program any function on a computer 17:06:29 All paper 17:06:53 And then we had to write an entire program ourselves 17:17:15 -!- aergus has quit (Ping timeout: 252 seconds). 17:18:06 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 17:36:18 -!- nooodl has joined. 17:36:19 -!- nooodl_ has joined. 17:36:31 -!- nooodl has quit (Read error: Connection reset by peer). 17:36:41 -!- nooodl_ has changed nick to nooodl. 17:43:57 -!- Slereahphone has joined. 17:43:57 -!- Slereahphone has quit (Client Quit). 17:52:54 -!- nooodl has quit (Quit: Ik ga weg). 18:12:33 -!- Tritonio has joined. 18:12:37 at Georgia Tech, the relevant class has us build a microprocessor in some logic hardware design program, and write the FSM for it, then create an assembly language and assembler for it, then write assembly programs targeted to it 18:12:45 we never learned any "real" assembly languages 18:13:37 -!- FreeFull has joined. 18:13:54 sounds more real to me than writing mips code and having it run on the spim emulator :) 18:14:19 `? mips 18:14:20 MIPS Is Popular in Schools. 18:14:36 `? spim 18:14:37 spim? ¯\(°​_o)/¯ 18:15:51 `` ls wisdom 18:15:52 ​` \ `? \ \ _̰̆̓_̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̋_̴̝̔̉̅ͨ͞ \ ? \ ?? \ @ \ \ \ ⌨ \ ⊥ \ ☃ \ 🐐 \ ̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚҉̕͜͠͠ 18:16:19 `` echo 'SPIM Pretends It's MIPS' > wisdom/spim 18:16:20 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 18:16:30 `` echo "SPIM Pretends It's MIPS" > wisdom/spim 18:16:31 No output. 18:18:00 `? spim 18:18:01 SPIM Pretends It's MIPS 18:18:45 you wouldn't have errored it the first time if you'd used `learn :P 18:19:10 oh is `` an alias for `run? neat 18:19:30 `cat bin/` 18:19:30 exec bash -c "$1" 18:19:45 I'm still not sure whether that's intentional or not. 18:20:17 how so? 18:20:33 Well, `run is built into the bot. `` executes bin/` 18:21:26 `cat bin/learn 18:21:27 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ info=$(echo "$1" | sed 's/[^ ]* //') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." 18:23:16 back from lunch, and there are new wisdom entries. 18:23:50 huh, `learn looks strange. 18:24:23 and darn, is there a new URL for http://codu.org/projects/hackbot/fshg/ ? Gregor? 18:25:44 Ah. $1 is the whole string, an then it makes sense. Though it's kind of funny that it bothers to calculate $info and then uses $1 for the contents anyway :) 18:25:50 s/an/and/ 18:30:31 an ethen is an ettin that happens after. 18:31:53 what didst thou et? 18:32:55 a vietnamese soup with chicken gizzard, heart, liver and white meat. 18:33:29 `ls 18:33:30 98076 \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ Test.o \ this \ UNPA \ wisdom \ wisdom.pdf 18:33:34 that wisdom ls look a lot like mojibake, but I don't understand the encodings 18:33:38 (we were 10 colleagues who went to a nice restaurant to celebrate Tết) 18:33:41 `paste canary 18:33:41 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/canary 18:33:44 unless it's mojibake for a particularly weird character set 18:33:50 it probably is, actually 18:33:52 `cat canary 18:33:52 chirp 18:33:58 FireFly: you really don't need to pastebin that :-) 18:34:10 ais523: the mojibake is intentional. I had a fun time transcribing it into \LaTeX{}. 18:34:15 boily: ah right 18:34:21 Well, I was thinking of ways to figure out and darn, is there a new URL for http://codu.org/projects/hackbot/fshg/ ? Gregor? 18:34:32 I forgot half the entries in wisdom were for the purpose of trolling you 18:34:34 boily: and every one has Tếttin the same thing? 18:34:38 on the off chance that the URL wouldn't be hardcoded 18:34:41 (the one it outputs) 18:35:16 quintopia: oh no. a few had regular phở, others lunch combos, and the rest bún thịt nương. 18:35:19 ais523: wisdom is for fun 18:36:04 indeed, when i tried to use it to be serious, it got deleted. lesson learned. 18:36:07 this channel is entirely too light-hearted for me :-( 18:36:31 `complaints 18:36:32 0 complaints 18:36:41 `:-D 18:36:42 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: :-D: not found 18:37:01 `run :-D 18:37:02 bash: :-D: command not found 18:37:07 ls :-D 18:37:12 `ls :-D 18:37:13 ​:-D 18:37:29 `cat :-D 18:37:29 No output. 18:37:42 `cat :-D/:-D 18:37:43 cat: :-D/:-D: Not a directory 18:37:52 oh well 18:38:00 looks like an empty dir 18:38:17 `stat :-D 18:38:18 ​ File: `:-D' \ Size: 1 Blocks: 8 IO Block: 1024 regular file \ Device: 12h/18dInode: 664672 Links: 1 \ Access: (0644/-rw-r--r--) Uid: ( 5000/ UNKNOWN) Gid: ( 5000/ UNKNOWN) \ Access: 2014-01-30 18:37:27.000000000 +0000 \ Modify: 2013-11-13 20:20:49.000000000 +0000 \ Change: 2014-01-29 12:39:20.000000000 +0000 \ B 18:38:31 `od :-D 18:38:32 0000000 000012 \ 0000001 18:38:45 Just a newline :) 18:39:04 `` echo ☺ > :-D 18:39:06 No output. 18:39:11 so someone did `touch :-D 18:39:31 `echo :-D 18:39:31 ​:-D 18:39:41 `cat :-D 18:39:41 ​☺ 18:39:42 touch doesn't insert a newline 18:39:43 quintopia: echo > :-D would be my guess. 'touch' creates empty files. 18:39:59 (if the file does not exist. obviously.) 18:40:00 -!- AnotherTest has quit (Ping timeout: 245 seconds). 18:40:08 having a smileyface available seems actually useful 18:40:24 :> :-D 18:40:35 is a more amusing way to get an empty file named ":-D" 18:40:50 `` echo -e '#!/bin/sh\nod -Ax -tx1z -v $@' >bin/hd 18:40:52 No output. 18:40:56 `` chmod 0755 bin/hd 18:40:58 No output. 18:41:03 `hd :-D 18:41:04 000000 e2 98 ba 0a >....< \ 000004 18:41:10 aaaah, much better. 18:41:22 hexdump? 18:41:25 oh. "hex dump", not "head". 18:41:51 quintopia: I have it as an alias in my .bashrc. it's more interesting to have it as hex than octal. 18:41:58 s/than/rather than/ 18:42:12 than was fine 18:42:26 i was thinking of going to the boardgame night tomorrow night 18:42:29 i'm working instead 18:42:32 stupid snow 18:43:28 boily: maybe leave off the 'z' though? 18:44:51 quintopia: oh, boardgame nights are goot nights :D 18:45:19 (I spent a large portion of last Saturday playing eclipse with my bro and his girlfriend.) 18:45:34 s/oot/ood/ 18:46:15 i don't like board games that much but i enjoy boardgame nights cause it seems to be the standard sort of social event among people i like and people who are like me 18:47:23 Well, I was thinking of ways to figure out and darn, is there a new URL for http://codu.org/projects/hackbot/fshg/ ? Gregor? // Whoops :) 18:47:29 Throw it on the pile of things to fix ^^´ 18:47:36 int-e: what does “z” do? 18:48:22 boily: add printable characters at the end 18:48:53 kmc: I like the abstract strategy classics, and games with large hexagons. 18:49:39 most games just make me feel stupid :/ 18:49:39 boily: (that's the >....< part above. It's useful on a shell, but looks confusing on IRC, imho. 18:49:45 ) 18:50:18 int-e: good point. and thanks for unfungotting your parenthesises. 18:50:18 boily: but for s-expression editing and alignment ( not indentation!) 18:50:19 boily: yay hex boards. but risk is good too. or square tile games like carcassonne 18:50:42 quintopia: indeed. carcassonne is an hex game that has identity troubles, imho. 18:51:06 quintopia: you should try eclipse some day. that thing is addictive. 18:51:13 boily: or card games like hanabi or tichu :D 18:54:02 woot just picked up a level 481 weapon in IdleRPG :D 18:56:55 ais523: it's just hit me how long I've been out of touch with Magic: the Gathering really: 18:57:21 the last set I've bought cards from is Scars, which is now three years ago 18:57:39 boily: microbricks board games! http://microbricks.blogspot.com/2009/02/its-all-fun-and-games-until-someone.html 18:58:52 b_jonas: Scars is /recent/ for me 18:59:03 the last set I've bought cards from is Lorwyn 18:59:17 ais523: well, as I've been out of touch, Scars is also recent for me 18:59:36 but it's still three years ago 19:00:44 I guess I'm of the opinion that Magic would be a better game if they just kept tweaking in an attempt to make the best format they could, rather than trying to reinventing the game every three months 19:01:01 but then how would they sell new cards 19:01:21 that's the problem :-( 19:01:34 they don't sell new cards to me anyway, though 19:01:49 ais523: I don't think just tweaking would lead to a good game, 19:03:11 well starting from scratch is likely to be even worse 19:03:14 M:tG is appealing because there's such a large choice of cards, so new cards _are_ good for it, 19:03:43 b_jonas: I've been told by the HR rep. at my new job to brin my decks :D 19:03:44 and it's not really reinvented that fast if you're only a casual player and don't try to go for Standard. 19:04:12 I'm not saying the current system is perfect, but it's not that bad really. 19:04:19 s/brin/bring/ 19:04:31 boily: really? what kind of job is that? 19:04:31 oh dear i should start getting dressed 19:04:49 quintopia: holy fungot that looks awesome. 19:04:49 boily: i predict my question will be forgotten in a few 19:04:55 boily: did they want to see your decks before or after they decide to hire you? 19:05:00 quintopia: (re. the microbricks. not you being nude.) 19:05:06 -!- SeeNoEvil has joined. 19:05:17 boily: i'm not nude. but i will be in a moment. and then i will look awesome. 19:05:25 fungot: don't worry, I already forgot what it was to be forgotten. 19:05:30 hot nude fungots in your area 19:05:31 kmc: http://mathworld.wolfram.com/ tuppersself-referentialformula.html is a cheat, though, that one 19:05:38 boily: also, from now on, quadrilaterals will be called "tetrapleurs" 19:05:45 b_jonas: ha ha ha :D after. I signed the contract yesterday night. 19:06:08 `learn tetrapleur is the new name of quadrilaterals. 19:06:10 I knew that. 19:06:15 boily: get me a job 19:06:49 b_jonas: I'll be doing CAD for dentists. 19:06:58 boily: I did mention M:tG in my cv (because, you know, I don't really have any better hobbies I can show off), but I don't think it mattered much 19:07:03 quintopia: http://www.workopolis.com/FR/recherche-emploi/emplois?s_kwcid=TC|7918|workopolis||S|e|19220852949&lg=fr&gclid=CJz5mZfMprwCFa5DMgodRgsAsA 19:07:16 listing hobbies in CVs is weird 19:07:22 I know it's a thing but it's still weird 19:07:33 kmc: why is it wierd? 19:07:35 kmc: I do list the fact I have a certificate in Japanese, and classical piano. 19:07:55 boily: those are marketable skills 19:08:12 `echo "Don't you mean \"tetrapleur\"?" > wisdom/quadrilateral 19:08:17 ​"Don't you mean \"tetrapleur\"?" > wisdom/quadrilateral 19:08:18 because it's usually not relevant to the jobs you're applying for 19:08:24 oops 19:08:36 \me is bad at life 19:09:02 ``echo "Don't you mean \"tetrapleur\"?" > wisdom/quadrilateral 19:09:03 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `echo: not found 19:09:06 and because selecting employees for "culture fit" or whatever is a great way for unintentional bias to sneak in 19:09:09 need a space after the `` 19:09:17 `` echo "Don't you mean \"tetrapleur\"?" > wisdom/quadrilateral 19:09:20 No output. 19:09:29 kmc: and if you're being cynical, a great way for intentional bias to sneak in without being detected 19:09:32 ais523: right. should have known. 19:09:34 yeah 19:09:37 the college admissions essay was invented in the 20s to keep Jews out of Harvard 19:11:02 kmc: but consider that I'm young and didn't have much work experience when applying, but I do have to write something in the cv so that was two lines of padding 19:11:12 boily: your next language idea: brainfungot 19:11:12 quintopia: ah. sorry, i thought i'd use scheme again. 19:11:18 b_jonas: yeah, I'm not faulting you for it or anything, I just think it's a weird practice overall 19:11:25 (apparently it shall be a scheme derivative) 19:11:43 I just had a silly idea 19:11:54 Lisp derivative that's neither imperative nor functional 19:12:03 actually that's probably just Prolog 19:12:10 looks like it 19:12:12 The Reasoned Schemer is a fun book 19:12:22 quintopia: I need something that starts with “y” for my next language. I created “betterave”, “aubergine” and then “zucchini”, so the next one'll be a vegetable with “y”. 19:12:30 ais523: how about a concatenative lisp? 19:12:35 quintopia: will programs with balanced parentheses be rejected as syntactically incorrect? 19:12:44 most concatenative languages are imperative and/or functional, aren't they? 19:12:48 Prolog is a much better homoiconic language than Lisp is, because it's almost entirely homoiconic (only exception I know of is :-) without being ugly 19:12:50 quintopia: isn't that sort of a contradiction? 19:12:50 these paradigms aren't really mutually exclusive 19:13:02 but I think you can argue that logic programming is fundamentally non-imperative 19:13:11 also, wow, that's the first time I've ever tried to write a ":-" at the end of a paren group and created a smiley by mistake as a result 19:13:39 kmc: what about cut? 19:13:43 ais523: in prolog, ':-' is just an ordinary infix operator too syntax-wise 19:13:44 what's a functional logic language? maybe one where unification variables can take on function (or predicate) values 19:13:52 I find it very hard to describe what cut does in non-imperative terms 19:13:53 ais523: what is "homoiconic" and is $ homoiconic? 19:13:56 ais523: hm, that's true 19:14:14 * kmc should learn how Twelf works one of these days 19:14:18 quintopia: homoiconic languages are languages where there's no distinction between parse trees of the source, and data manipulated by the language 19:14:28 Lisp is the most famous example 19:14:38 I don't like langugaes being homoiconic though 19:14:44 oh right 19:15:05 I tolerate them because they exist for historical reasons, but I don't like them 19:15:09 so what would you call eodermdrome 19:15:29 is fungot eodermdrome? 19:15:29 b_jonas: anyway i was happily using a fnord is a good thing. 19:15:52 oh Mercury is described as a functional logic language 19:15:53 eodermdrome is a language where code is blurred with data in a different way 19:16:07 what's "eodermdrone" really? 19:16:08 it's very hard to manipulate graphs in eodermdrome 19:16:12 b_jonas: http://esolangs.org/wiki/Eodermdrome 19:16:18 also Rust is the third Google hit for "mercury programming language" o_O 19:16:35 I have a macro in my IRC client for linking to esolangs 19:16:41 it comes up a lot, when the channel's actually ontopic 19:16:48 ais523: and what is cpressey's crazy metacircular interpreter thingamabob i can't remember the name of 19:17:39 boily: yams. or yucca. 19:17:55 I dunno, but if it's a) by cpressey and b) not specifically designed to have a particular classification, it's probably unclassifiable 19:18:20 cpressey and I have a similar tastes for beauty in esolangs 19:18:20 is there a distinction between a metacircular interpreter and a merely self-hosting one? i've heard of such a distinction but wondering what this channel thinks 19:18:44 kmc: there is in Feather, I think 19:19:00 ~duck yucca 19:19:00 yucca definition: any of a genus ('''Yucca''') of sometimes arborescent plants of the agave family that occur in warm regions chiefly of western North America and have long sword-shaped often stiff fibrous-margined leaves on a usually woody base and bear a large panicle of white blossoms. 19:19:08 quintopia: yucca it is. 19:19:17 ais523: incidentally, I think prolog is homoiconic in a much more serious way than scheme. 19:19:26 coppro: elliott: Sgeo: you're all in the 4 days notice for deregistration from Agora 19:19:44 b_jonas: yeah, the arithmetic is a good example of that 19:20:37 ais523: not just arithmetic 19:20:41 boily: and then courge musqeé because it makes the best pies! 19:20:50 b_jonas: that's why I said "example" 19:21:01 yeah 19:21:20 -!- SeeNoEvil has left. 19:21:27 boily: yes, even better than pie of citrouille 19:21:49 “pie of citrouille”. c'est parce que tsé, ça se dit pas genre vraiment très de même, là là. 19:22:09 s/qeé/quée/ 19:22:34 I guess one requirement for a homoiconic language is that it has an eval 19:22:45 hmm… would you consider Underload homoiconic? 19:23:26 ais523: what's the distinction in Feather? 19:23:33 kmc: I'm not entirely sure 19:24:03 Feather is one of those esolang ideas that probably actually works but I have no idea how 19:24:17 * kmc reads 19:24:26 it's also something of a meme in this channel 19:24:29 because I refuse to work on it 19:24:30 ais523: is postscript homoiconic? 19:24:45 b_jonas: I don't really know postscript, although given that it's concatenative, it has a chance 19:24:54 boily: i'm allowed to mix languages. and walk with squashes on my legs 19:25:15 the distinction i've heard is that a metacircular interpreter is a self-hosting interpreter which represents (some of) the object language's constructs using exactly the same way in the meta-language 19:25:35 quintopia: eh? 19:25:52 you can write a Scheme interpreter in Scheme but if your representation for a cons pair is not a cons pair, then it's not metacircular 19:26:02 boily: and then daikon. the only vegetable that starts with d 19:26:30 except even the famous metacircular evaluator in SICP doesn't represent everything this way 19:26:44 cause you want to be explicit about closures and environments 19:26:44 quintopia: the 大根 will be glorious. I mean, so far through the alphabet, I'll have some experience designing languages. 19:27:12 the xigua? 19:27:26 you've gotta go back and forth 19:27:36 *groan* 19:27:47 so the last one will be n 19:27:49 -!- oklopol has quit (Quit: Leaving). 19:28:01 what starts with n 19:28:35 -!- oklopol has joined. 19:28:58 la navet! 19:29:11 quintopia: xigua? as in 西瓜? 19:29:15 sure 19:29:22 quintopia: «navet» is masculin, so «le navet». 19:29:29 sorry 19:29:38 西瓜 is watermelon. 19:29:46 by the time you have that many languages you'll be misgendering things just for fun 19:29:52 boily: chinese watermelon! 19:29:55 xigua 19:30:08 the best possible dessert 19:30:28 I disagree! oranges are better! nah! 19:30:45 yes i disagree too. i like sherbets 19:32:20 boily: what kind of orange? navel? mandarin? clementine? 19:33:21 navel. 19:34:17 then maybe you should do navel orange for your last language. assuming you're willing to branch out into fruits 19:35:12 ais523: wow, this eodermdrone looks like it's not very convenient to write programs in 19:35:16 and i will make a derivative called navy blues 19:35:20 b_jonas: that's typical of esolangs 19:35:26 yeah 19:35:32 though some of them fail 19:35:46 quintopia: to branch off into fruits. I see what you did there... 19:36:25 boily: yes. i did some branch prediction. 19:37:03 * boily mapoles quintopia with a mapole branch 19:37:32 b_jonas: my goal in esolang designs is basically to discover new models of computation 19:37:51 b_jonas: all turing-complete esolangs are trivial to program in once you've built a compiler from some more common language. 19:37:57 sure, most of the time most of them are useless, but at least it's expanding the horizons of possibility 19:38:20 quintopia: if it's O(2^(2^n)) it's a pain to debug, though 19:38:35 quintopia: sure 19:38:54 ais523: what? don't esolangers have a ton of free time on their hands? 19:39:25 quintopia: yeah but it's hard to grasp just how stupidly slow that computational class is 19:39:37 ais523: anyway, all you have to do is write a proof that your compiler works. who cares if the programs it generates ever get run. 19:39:59 quintopia: I'm just annoyed because every time I do that, the compiler turns out not to work 19:41:18 ais523: be more perfect. 19:44:09 ais523: hmm, actually 19:44:34 ais523: does eodermdrone allow non-ascii letters? 19:44:44 b_jonas: I left that unspecified 19:44:52 it's more of a challenge if you try to avoi them 19:44:59 if the number of letters wouldn't be limited to 26, it might not be as difficult to program as I first thought 19:45:34 let me thinnk 19:47:22 yes, I think you could simulate a sane pointer machine in eodermdrone not in a not too difficult way, though you might need more than 26 letters 19:49:49 there's a BCT interp in less than 26 on the article 19:50:17 ais523: yes, but BCT itself isn't easy to program in, 19:50:46 whereas a pointer machine is, in the sense that you can compile or interpret a program from a sane language in O(n log n) time, 19:51:21 I mean the runtime of the pointer machine would be O(n log n) if n is the runtime of the original program, 19:52:09 and the pointer machine is sort of efficiently simulated by eodermdrone in that it needs only a constant number of replacements for each statement in the pointer machine. 19:52:39 whereas if you compile something to BCT that I think can cause a quadratic slowdown 19:53:04 I don't really understand BCT, mind you 19:53:16 the description on esolang wiki isn't too clear 19:53:34 b_jonas: you could try reading http://esolangs.org/wiki/DownRight 19:53:53 which is TC for much the same reason 19:55:50 and if it's just that you don't understand the explanation, there's another explanation in the example program on http://esolangs.org/wiki/StackFlow (although StackFlow is unrelated, apart from having a BCT interp) 19:56:18 the problem is that I don't understand the DEFINITION of BCT 19:56:40 let me check if there's a small interpreter in a sane language for it 19:56:44 b_jonas: do you understand cyclic tag? 19:56:49 no 19:56:53 as in, is the problem with BCT the syntax or cyclic tag the langauge 19:57:07 the StackFlow program has another explanation of the definition, but I can try to do it in-channel if you like 19:57:08 the problem is the CT language 19:57:21 basically, you have a program, and one queue 19:57:29 the queue contains "run" and "skip" 19:57:43 repeatedly, you pop the queue, if you pop a "skip" you move to the next comman in the program 19:57:45 damn, the wiki doesn't point to any non-obfuscated interpreter 19:58:05 and if you pop a "run" you enqueue all the elements of the current command, and then after that move to the next command in the program 19:58:06 tha'ts it 19:58:08 *that's 19:58:26 what does "current command" mean? 19:58:58 it's an IP 19:59:01 it starts at the first command 19:59:09 and goes back to the start if it moves off the end 19:59:32 ok, but then what does all elements of the current command mean? isn't the current command a single bit in the program? 19:59:40 no 19:59:43 it's an entire string 19:59:54 what type is the program then? 19:59:58 in the BCT encoding, the string is (IIRC) made out of 10 and 11, separated with 0 20:00:13 the program is "cyclic list of lists of queue elements" 20:00:35 oh 20:00:44 I still don't understand but it's sort of clearer now 20:00:56 what I'd like to see is a non-optimized non-obfuscated implementation really 20:01:57 I made a Perl cyclic tag interp for the Wolfram Turing machine thing, but it's actually really hacky 20:32:32 -!- tromp has quit (Remote host closed the connection). 20:33:48 -!- oerjan has joined. 20:38:21 hellởrjan 21:03:33 bøhily 21:22:01 hoifly 21:22:31 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:22:58 oerjan: was that a hello-FireFly-boily combo twh? 21:23:25 yes 21:27:52 ~metar ENVA 21:27:52 ENVA 302120Z 07006KT 040V100 CAVOK M02/M10 Q1022 RMK WIND 670FT 14007G17KT 21:28:16 they say our ridiculously dry weather may last till mid february 21:28:39 ~metar CYUL 21:28:39 CYUL 302100Z 14010KT 15SM FEW140 BKN210 M05/M12 A3013 RMK AC2CI5 SLP206 21:29:11 we're having a record dry January. there's less than a third of our regular snow. 21:32:51 so are we. 21:34:06 with accompanying wildfires. 21:34:51 January wildfires? you sure you're in the right hemisphere? 21:35:41 -!- ais523 has quit. 21:35:58 yes, it's ridiculous. they've temporarily outlawed outdoor fires now. 21:36:30 it's so dry the heath is burning at below freezing degrees 21:37:15 the first wildfire burnt 55 houses on a small peninsula 21:37:47 (not just in one place, either, it spread to 3 different villages.) 21:37:55 -!- SingingBoyo has joined. 21:38:29 the second wildfire is on a bigger island, they've managed to keep it away from settlements so far. 21:39:58 ~metar ESSA 21:39:58 ESSA 302120Z 13013KT 9999 BKN016 M03/M06 Q1028 R01L/410153 R08/410150 R01R/410159 TEMPO BKN013 21:39:59 miraculously no one has died yet. 21:40:19 FireFly is living in a moist Sweden. 21:40:29 oerjan: that's good. 21:40:41 I'm trying to figure out which of the numbers is moistness 21:41:12 moisture* is probably the correct word 21:42:02 oh wait there were 3 wildfires, also that one in lærdal a couple weeks ago. which got some international coverage. 21:42:05 boily: it's actually finally snowy sweden (mostly, anyway) 21:42:46 FireFly: the /M06 dewpoint thing 21:42:51 wildfires in norway? at this time that is actually ridiculous :S 21:42:57 olsner: yep 21:43:02 oerjan: aha 21:45:26 they say it's because of the huge high-pressure area in western russia 21:46:05 it keeps all the moist low-pressure areas from entering 21:47:33 ~metar EFHK 21:47:33 EFHK 302120Z 13009KT 9999 FEW014 M12/M16 Q1040 NOSIG 21:48:12 well the dewpoint tells how dry the air is, iiuc 21:48:25 newspapers were warning for the RUSSIAN COLD here earlier, maybe you got the RUSSIAN DROUGHT instead 21:48:41 The Norwegian fires have been making the headlines in Finnish papers. 21:50:11 apparently nothing about it in sweden ... it's more interesting that someone made a web site for searching public court documents 21:50:38 that and 600 cases of norovirus 21:55:30 The Swedish website made the news here, too. 21:55:43 Something about how it'd be unambiguously illegal in Finland and whatnot. 21:55:59 At least according to a Noted Expert in Something or Other. 21:56:29 doctor of somethingology 21:56:51 I think anything based on public documents (which the site *claimed* to be) would at least have to be ambiguously illegal 21:57:13 but maybe only The Government has the right to spread public documents 22:02:54 -!- zzo38 has quit (Remote host closed the connection). 22:07:06 here in norway there was just some noise with someone complaining about mobile banking apps having too much access to the phone 22:10:49 from the answer my bank gave, it seems android apps have the misfeature that they have to ask for all capabilities at installation, even those needed only for optional features. 22:12:17 yeah, all apps ask for all permissions and usually get them 22:12:57 while iphone only asked for a permission once it needed to use it 22:15:06 olsner: um the bank app definitely didn't ask for all permissions, just what it might need - it was just more than you'd expect. also that android didn't support getting the contact list without automatically getting the list of messages. 22:15:46 (in older versions, anyway) 22:15:49 well, "all" 22:32:50 `cat bin/learn 22:32:50 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ info=$(echo "$1" | sed 's/[^ ]* //') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." 22:33:14 `run sed -i 3d bin/learn 22:33:15 No output. 22:33:18 `cat bin/learn 22:33:19 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." 22:34:33 the info was both unused and out of date, anyway. 22:35:52 and darn, is there a new URL for http://codu.org/projects/hackbot/fshg/ ? Gregor? <-- AAAARGH 22:36:10 Gregor: I think people are AAAAARGHing at you. 22:36:30 `help 22:36:30 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 22:36:52 * FireFly mAAARGHpoles boily 22:39:15 @tell Gregor it's one thing to remove HackEgo's access to the logs, a completely different thing to remove our ability to browse the repository for vandalism 22:39:15 Consider it noted. 22:41:10 boily: clearly the end times are near 22:42:06 *nigh 22:42:31 huh near and next are originally inflexions of nigh 22:45:16 `paste bin/learn 22:45:17 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/learn 22:45:37 the old version :( 22:45:47 yep. 'tis sad. 22:46:00 @tell Gregor also breaks `paste 22:46:00 Consider it noted. 22:46:18 @tell Gregor AAAAAAAAAAAAAAAAAAARGH (for good measure) 22:46:19 Consider it noted. 22:46:56 -!- namaskar__ has quit (Read error: Connection reset by peer). 22:47:58 Today I caught myself wondering if matrix transposition was a contravariant endofunctor on the category formed by matrix multiplication 22:48:14 When I realised I don't actually have much idea what that would entail 22:49:00 -!- Tritonio1 has joined. 22:49:25 and then you woke up relieved that you didn't actually wonder about that in reality? 22:49:26 Taneb: hm yes, i think it is. 22:51:40 -!- Tritonio has quit (Ping timeout: 245 seconds). 22:52:38 Taneb is evolving into an Abstract Mathematician! 22:52:46 oerjan, is knowing that particularly useful? 22:52:51 oerjan: I didn't "remove" anything, I'm just moving it to a new server and it's taking some work. Don't panic X-D 22:53:21 Gregor: can i at least flail? 22:53:39 So long as you're dignified about it. 22:53:57 OKAY 22:54:05 boily: isn't a mapole pretty similar to a flail? 22:54:06 9 doctors out off 10 recommend a daily dose of flailing. 22:54:27 olsner: it's more rigit, and goes into the polearms category. you're thinking of halberds. 22:54:33 s/git/gid/ 22:54:44 Taneb: iirc it generalizes to adjoints of linear transformations 22:54:52 Does restricting the matrices to have a non-zero determinant form a subcategory of that category? 22:55:22 Taneb: well then you only get square ones 22:55:46 in fact that's precisely the isomorphisms, i think 22:55:51 Hmm 22:55:53 boily: ok 22:56:15 boily: a flail is pretty much not a polearm though 22:57:33 Taneb: there are some elementary proofs in hilbert space theory that are basically just mucking around with adjoints/transposes 22:57:58 Okay 22:58:03 because hilbert spaces are self-dual for this purpose 22:59:08 olsner: the mapole is a polearm, the flail is a “maces & flails”. 22:59:46 boily: if you say so 23:01:24 Taneb: the bras and kets in quantum mechanics are basically dual in this sense - when you move an operator from one to the other, you must take the adjoint of it. 23:01:50 * oerjan is thinking vaguely here 23:02:54 (adjoint = transpose + conjugate every element, on the matrix level. that makes it work better with complex vector spaces.) 23:06:35 `cat bin/hd 23:06:35 ​#!/bin/sh \ od -Ax -tx1z -v $@ 23:07:23 `run sed -i 's/[^ ]*$/"$@"/' bin/hd 23:07:25 No output. 23:07:28 `cat bin/hd 23:07:28 ​"$@" \ od -Ax -tx1z -v "$@" 23:07:33 oops 23:07:36 `revert 23:07:38 Done. 23:07:45 `run sed -i '2s/[^ ]*$/"$@"/' bin/hd 23:07:47 No output. 23:07:48 `cat bin/hd 23:07:49 ​#!/bin/sh \ od -Ax -tx1z -v "$@" 23:08:20 -!- namaskar has joined. 23:36:12 -!- oerjan has quit (Quit: Nite). 23:36:17 -!- tromp has joined. 23:39:10 apparently there's a privilege escalation hole in Linux X32 ABI 23:40:02 Oh? 23:40:18 That sounds interesting, do you have a link about it? 23:40:21 -!- tromp has quit (Ping timeout: 248 seconds). 23:41:12 https://twitter.com/djrbliss/status/429032775165820928 has all the information i've found 23:41:20 spender says it's an arbitrary kernel memory write 23:41:35 he also admits grsec is useless to stop it 23:41:44 which is out of character for him 23:44:31 is timespec differently sized in x32 and 64-bit? 23:45:02 the fix would probably be more informative as to what the problem is 23:45:16 yeah, I haven't found that yet but haven't really looked 23:45:23 (but the introduction is where it should've been caught) 23:45:57 my guess from the presence of COMPAT_USE_64BIT_TIME is that it's differently sized in i386 compat mode vs. x32 23:46:04 this is in net/compat.c after all 23:46:30 dunno though 23:47:15 I don't know much about how x32 is implemented 23:48:04 time to go home! 23:48:05 -!- boily has quit (Quit: Poulet!). 23:48:35 -!- metasepia has quit (Remote host closed the connection). 23:49:09 -!- Phantom_Hoover has joined. 23:53:59 dunno much about x32 either, but I'm guessing they've tried to reuse stuff from 64 or 32-bit as much as possible, and either can be just as wrong in subtle ways 23:59:53 -!- Jafet has joined.