00:05:14 It makes me feel funny that AngularJS is some sort of pseudo-HTML 00:06:23 looks a lot like any of a bajillion other HTML template languages 00:06:28 Also, it looks like it wouldn't play nice with server-side things that attempt to insert plaintext and do escaping for you... hmm.... looks like XSS possibilties if you attempt to output AngularJS code from serverside 00:06:30 some kind of......... markup language 00:06:52 kmc, it's clientside though 00:06:59 Sgeo: so? 00:07:12 a) there are plenty of 00:07:18 client side template systems 00:07:19 * Sgeo tends to think of HTML templating as a server-side thing 00:07:33 b) in 2013 you need to get comfortable with the idea that the client is a VM running a program 00:09:14 the traditional client/server webapp architecture kinda sucks anyway 00:09:29 much nicer to implement an API on the server, which can be used by many clients 00:09:41 and one of those clients happens to be a totally static blob of HTML/JS/CSS that you can serve up 00:10:34 Doesn't work too well with people using NoScript though 00:10:43 yeah 00:11:46 it's hard to write programs for someone who has disabled the ability of their computer to run programs 00:11:57 anyway you can provide both 00:12:13 the server-side backend of the NoScript app can be an API client like everything else 00:13:37 the NoScript client and the rich web client will necessarily be pretty different 00:13:44 because the latter can do a lot of things client-side and instantaneously 00:13:49 that the former requires a server round trip for 00:14:03 you end up implementing the functionality twice anyway, so might as well separate it nicely 00:15:46 the need to write code for both "backends" there is just an artefact of how low-level the web is imo 00:15:52 yeah 00:16:00 and also an Android backend in Java and an iPhone backend in ObjC 00:16:01 sucks 00:16:35 er frontend whatever 00:16:42 like there is no reason you couldn't have one codebase that adapts to how fast replies are expected to be 00:16:51 elliott: if your backend is JS-like then you can at least share some code 00:16:54 -!- carado has quit (Ping timeout: 264 seconds). 00:16:56 elliott: yeah, that's kinda like how Meteor works 00:17:22 everything looks like the web client code is directly accessing a database 00:17:31 the client transparently caches part of that database 00:17:44 in particular you want JS code generation for this 00:17:49 but that's good because it means you get to not write JS 00:17:53 if you want to force something to run server side, it's still the same language and same APIs 00:18:01 also authentication works somehow but I don't know how 00:18:16 also if something changes in the database, it automatically gets pushed out to those client caches & updates the DOM 00:18:35 the last part is also something Quora's LiveNode does 00:18:42 they have server side templating I think 00:18:52 but whenever they render some HTML, they remember which SQL queries went into determining it 00:18:58 and if those things change they push new HTML out to you 00:19:01 another thing is that since page history APIs exist now, if a browser supports JS then there is basically no reason to ever do a full page load when you can avoid downloading all the surrounding site design crap and just insert the new page in place 00:19:09 I had these thoughts when considering rewriting the esowiki's software 00:19:14 which of course I bikeshedded to oblivion 00:20:04 yo 00:20:18 hi 00:20:53 elliott: Friend of mine is actually working on doing this for his company's website. 00:21:35 are you designing elliottwiki 00:21:38 Because, for various reasons, he's been working pretty hard on making the thing load as quickly and smoothly as possible. 00:21:43 the nice thing is that it should be easy to just send down a diff of the DOM or such rather than actually coding this update logic by hand 00:21:56 but again you need a higher-level thing than what all web programming is done in to do this automatically 00:22:01 Oh, sorry, he's actually already done this. 00:25:48 Phantom_Hoover: well it was actually going to try and be as much like mediawiki as possible 00:25:53 just because i hate maintaining a mediawiki install that much 00:26:07 medielliot 00:26:36 it's literally like a major version behind 00:26:41 because my "upgrade workflow" broke 00:26:42 and i'm so lazy 00:27:02 so we can't write a wiki cyclic tag interpreter in embedded lua is what you're saying 00:27:52 that;'s an extension Bike 00:27:55 even if i upgraded it 00:27:57 it wuold never beyours 00:28:10 wow guys do you remember beinga ble to type 00:28:25 aww 00:28:25 no 00:28:56 Bike: don't you remember being 12 and always using totally correct punctuation and shit 00:29:00 it used to be so easy! 00:29:04 positively monoidal 00:29:14 i don't think i had a computer when i was twelve 00:29:28 you poor person 00:29:47 or if i did i was using it for Putt Putt or some shit 00:29:56 putt putt at 12??? 00:30:06 i'm "slow" 00:30:08 ok for real, 00:30:11 also i don't remember the normal ages for games 00:30:12 spy fox was the fucking greatest 00:30:18 and you all know it 00:30:19 yes he was 00:30:57 i'm glad we have consensus 00:32:01 -!- zzo38 has joined. 00:38:36 the nice thing is that it should be easy to just send down a diff of the DOM or such rather than actually coding this update logic by hand <== well, i wouldn't send the DOM transformations but just update the ViewModel of a page.. as it's recommended by the MVVM design pattern. And for the transformations of the DOM you could _observe_ the client.side ViewModel! there are several JS libs providing observable 00:38:36 bindings sparing you a lot of eventhandling and backgroundworking.. like knockout.js 00:38:36 http://knockoutjs.com/ 00:42:25 so you implement the domainn tier server side and provide a light webservice interface, which handles the communication between the ViewModel (client) and the BusinessModel (server).. i prefer JSON and REST rather than the haevier XML/SOAP stories 00:43:15 i'm sorry but this is _definitely_ too enterprisey to be on topic in this channel. 00:43:41 okay :> 00:43:42 enterprise lambda calculus 00:45:03 i had to argue with someone who wanted to use "REST" to mean basically "not SOAP" 00:45:20 nice. 00:45:21 for an API which, though lightweight and JSON-based, was not remotely RESTful 00:49:52 well, ok.. i guess you could argue on that (not splitting hairs on the definition of REST architecture) and reach consesus and understanding in single meeting 00:50:12 one must try hard to fail on that 00:52:48 i mean.. if you read the wiki article, and unterstand the few restrictions and ideas you're ready to go.. you probably will do, if you already have some experience on the SOA issue 00:52:54 kmc: Oh, wow. 00:53:02 and begin to love the less is more idea 00:53:23 * ion starts using “Haskell” to mean basically “not PHP”. 00:53:51 haskell pipertext processor 00:54:25 pipertext 00:54:49 pipertext. 00:54:54 pipertext. 00:55:06 http://www.indiana.edu/~librcsd/etext/piper/text.html good poem, i recited it once 00:57:53 imo, more like reshited. 00:58:00 only works with british pronunciation 00:58:19 -!- aloril has quit (Ping timeout: 256 seconds). 00:59:26 -!- Bike_ has joined. 00:59:58 hm random page gave me http://esolangs.org/wiki/Talk_talk:Turing_tarpit is that supposed to happen? 01:00:21 -!- Bike has quit (Ping timeout: 256 seconds). 01:00:49 perhaps it actually counts that as in Main: 01:01:03 yes, it is 01:01:12 see also http://esolangs.org/wiki/Talk:Talk_talk:Turing_tarpit 01:01:49 ic 01:01:59 I forget the context 01:06:48 -!- hagb4rd has changed nick to hagb4rd|brb. 01:08:25 oerjan: yes this will definitely be a language someday 01:08:55 -!- kallisti_ has quit (Ping timeout: 264 seconds). 01:12:14 -!- Bike_ has changed nick to Bike. 01:12:18 -!- aloril has joined. 01:14:15 (((((()))(()()))((()())((()))))((((()))(()))((())((()))))((((())))(((()()))))(((()())((()())))(((()()))(())))((((())((()())))((()()))))(((((()())))((()()))))((((()))))(()())(())(())(()())) 01:15:29 hi 01:15:51 01:15:54 wow freefull you know ursala too?? 01:16:20 Is there some library in C to run Verilog programs and can be used with other programs? 01:16:45 * Sgeo wants a simple Scheme-like language on which it's convenient to build esolangs off of 01:16:54 "Scheme like except has this function" for instance 01:17:12 have you tried banana scheme 01:17:19 alt. analogy to awful brainfuck derivatives 01:17:26 alt. is this about trustfuck(trustscheme?) 01:17:28 alt. =/ 01:17:44 yes it's about trustfuck 01:18:25 http://esolangs.org/wiki/Memfractal 01:18:28 i forget, did you rename it to braintrust so you could put it on your resume? how did that go 01:18:53 so just uh, write a scheme, i guess? it's pretty easy if you don't ccare about stupid things like numbers 01:18:56 I think + is a bit underdefined 01:18:58 I renamed it to Braintrust, it's not on resume, but during interview I mentioned that I had projects not listed on resume, he asked for one, and I mentioned Braintrust 01:19:34 and how did that go 01:20:21 I was hired, so I assume that went well 01:22:58 I agree with FreeFull 01:23:07 How do you access the copy? Entering the +? 01:23:12 Where do you end up? 01:23:16 zzo38, ping 01:23:49 I'm not even sure what the arrows mean/do 01:25:37 I think a new Trust language should just have an easy way to make a quine 01:25:56 ah i recall memfractal. i believe it works in the obvious way hth. 01:26:32 as in, should be obvious if you know what a fractal is. 01:26:52 Sgeo: Maybe I didn't make it clear. The ^v<> are entry/exit points. 01:27:31 ..Oh, I think I see 01:27:40 When you enter a copy, you come out the side you just entered 01:27:50 also, i must stop assuming people share my idea of what things are obvious. 01:27:50 So hit + from the right you enter the new copy from the < 01:28:02 But where does the top level one come from/ 01:28:19 -!- monqy has quit (Quit: hello). 01:28:56 that does indeed seem unspecified 01:29:04 It is not indicated where the top level one come from; maybe it should be 01:29:06 by analogy with befunge, i'd assume > 01:31:53 So, to use + as a memory cell, you make coming from (say) right the memory test, coming from top is 1 coming from bottom is 0 01:32:02 And coming from left is regular program usage 01:32:13 This allows for a bounded amount of memory 01:32:48 I don't see a way to build any sort of addressing scheme, at least not immediately.... hm 01:32:59 I see something, but not sure how many sides it requires 01:33:13 Hmm 01:35:12 Needs to be a prefix-free code. 01:35:19 0 means just use local memory 01:35:26 erm, as in, return immediately. 01:36:27 After that, a cell can get multiple bits by returning and storing the address so far, then the client asks for more 01:38:52 We can send a + a 0, 1, or 2. (3 is assumed to be the start of the program) 01:40:18 oh hm i think maybe there _shouldn't_ be a particular direction of entering a program. instead the program input is a sequence of ^v<> 's that are used for entering, and the output is simultaneously the sequence of exits. 01:40:42 s/simultaneously/similarly/ 01:40:56 A sequence? 01:41:25 Wouldn't each piece of output be independent of each other 01:41:32 Every thing in the input is a separate execution 01:41:40 Although that does make it convenient to test things, I guess 01:41:43 no, because you remember the bits of the subprograms 01:41:51 Oh, right 01:42:47 alternatively you could encode input as the initial pattern of bits set somehow 01:44:29 Ok, so address 0 is "What is your bit" 01:46:39 btw memfractal looks like it can be compiled, there are only a few possible control paths 01:47:11 What's the difference between a compiler and an interpreter glued to some input? 01:47:49 Because my implementation for my 'compiled' language is really an interpreter glued to some input 01:47:54 by "compiled" i mean that you don't have to work directly on the 2-dimensional program. 01:48:14 since it doesn't actually change 01:50:26 I'm trying to think how you could compile a Boolfuck-like thing to Memfractal 01:50:33 -!- md_5 has quit (Ping timeout: 245 seconds). 01:50:48 Obvious is where the memory for the tape comes from. Not obvious is where each instruction gets encoded 01:51:01 it seems tricky to get room for the [] flow control 01:51:54 on the one hand you can have as many + as you want, on the other they all must work identically 01:52:16 You can give input to a + 01:52:25 So maybe the input encodes whether to... do... something 01:54:35 hm... 01:55:44 you can also hopefully have some of the +'s be used only for added local state for the surrounding one 01:56:46 oh, also memfractal is reversible, this tends to awkwardize things. 01:57:53 (i don't think we ever found out how to use backflip in a convenient way, ais523's derivatives notwithstanding) 01:58:55 backflip? 01:58:59 I should look at that 02:01:16 backflip is really elegant, yet incomprehensible 02:01:55 BF isn't TC 02:02:12 I love ambiguous acronyms. 02:03:14 indeed not. but it still might have an intuitive way of doing computation which we haven't found yet, and which could be TC if you say allowed infinite setup 02:05:33 I don't understand why it doesn't have infinite loops 02:06:03 Oh, guess can't put an always-reflecting mirror at the entrance, and... it will always end up at the entrance if not halted elsewhere? 02:08:55 it's a general property of any reversible finite state system that it cannot go into an infinite loop unless it started in it 02:08:57 Maybe we should look for a storage device in Memfractal 02:09:18 Similar to ABCDXYZ 02:10:02 maybe. i felt that the control flow was the real problem in backflip. 02:10:07 Hmm, no, any device would have to comprise most of the program 02:10:27 Most you could do was say "Ok, here's the section of the program where you can do your own unique stuff" 02:16:21 -!- p3t3r has joined. 02:17:06 one property of memfractal that doesn't have an analogue in backflip is that if you leave a block by the same exit that you entered, you have to retrace your steps backwards until you hit that block again 02:17:28 -!- p3t3r has left. 02:17:47 oh hm 02:19:22 yes 02:20:18 hi p3t3r. by p3t3r. 02:20:33 -!- kallisti has joined. 02:23:38 this means that for useful computation, you _never_ want to leave a block by the same exit the first time 02:23:56 fwiw 02:26:43 -!- oerjan has quit (Quit: Good night). 02:45:42 -!- Bike has quit (Ping timeout: 258 seconds). 02:54:37 -!- Bike has joined. 02:59:01 Reversible computing both interests and confuses me 03:07:05 -!- md_5 has joined. 03:07:52 -!- hagb4rd|brb has quit (Ping timeout: 260 seconds). 03:07:57 * Sgeo wonders if Phantom_Hoover would like The Melancholy of Suzumiya Haruhi 03:08:39 is that the one in the school 03:08:48 Yes 03:08:49 i'm very suspicious of the japanese around schools 03:09:01 Although "the one in the school" seems like it's probably ambiguous 03:09:05 But it is in a school 03:09:09 Except when it isn't, I guess 03:09:32 Being set in a school is so common for anime it's practically cliche. 03:09:42 definitely not practically 03:09:58 *use-mention distinction 03:14:49 -!- Phantom_Hoover has quit (Remote host closed the connection). 03:33:37 * Sgeo wonders if PMMM is on crunchyroll 03:36:51 http://www.nyaa.eu/?page=torrentinfo&tid=386505 03:38:36 #esoteric's secret quest to cram as much logged illegality into 24 hours as possible 03:39:16 -!- hagb4rd has joined. 03:48:35 kinda want to take salvia while watching pirated medukas now 03:49:08 wouldn't it help to pick an actually illegal drug 03:49:11 or is salvia illegal where you are 03:52:03 you know i'm not sure 03:52:06 -!- Arc_Koen has quit (Quit: Arc_Koen). 03:52:20 maybe i could just get some child porn and burn it and get high off the ashes mixed with salvia? 03:52:23 to be safe 03:54:43 you could try killing someone also 03:55:10 better safe than sorry 03:55:14 I couldn't even smoke marijuana illegally. 03:57:16 why's that 03:57:21 Colorado. 03:57:22 -!- zzo38 has left. 03:57:31 poor bastard 03:57:51 Guess I'll have to settle for blackjack and hookers. 04:01:47 why did i think you were in finland 04:01:51 well 04:01:52 i know why 04:02:09 is it legal to buy and sell as well? 04:02:57 if it's like washington there's a whole licensed dispensary system 04:03:17 not sure how that works since it's still federally illegal, but whatever 04:04:07 guys i think we scared zzo away 04:04:13 kmc: It's not *yet* legal to buy and sell, but that's a matter of the regulations pending. 04:04:45 CO has had medical marijuana for a while.... maybe those same dispensaries will start selling to the general public? 04:04:57 Basically, the state has a few months to decide precisely how to regulate recreational marijuana. 04:05:03 and yeah it's federally illegal, and in CA as well, and the various other states with MMJ 04:05:25 sometimes the feds get in a mood to go busting dispensaries and sometimes they stay away 04:05:30 michael michael jackson 04:05:32 like what does that mean though, the DEA just.. oh, well, okay 04:05:35 medical michael jackson 04:05:36 good legal system we have 04:06:03 Bike: the great thing about a country where everything is illegal is that the actual power of the law is vested not in legislatures or judges but in enforcement agencies and prosecutors 04:06:23 so it's all about, did you piss someone off, do they want to make an example of you 04:06:41 yeah, i know 04:06:48 it's still weird to think about 04:07:06 i can't remember the most recent official word from obama regarding medical marijuana as an enforcement priority 04:07:20 i think they decided to lay off but not sure 04:07:40 with legalization in WA and CO, they might crack down to prove a point there 04:07:42 obama more like... maybebama 04:07:47 power is sort of, use it or lose it 04:08:07 what would even be the point? insofar as the drug war even has a point it's screaming about cartels, which is hardly relevant to growing your own 04:08:11 am i just not cynical enough 04:08:25 yep 04:08:43 shit 04:09:05 the drug war exists to perpetuate the organizations which prosecute it 04:09:12 militarized police, the DEA, the prison system 04:09:19 and the cartels 04:09:36 well, that just makes me wonder why it started 04:09:40 can i just blame reagan 04:09:53 partially but marijuana was banned long before him 04:10:00 it started as a moral panic against the mexicans and the negro jazz musicians 04:10:02 those damn jazzists 04:10:06 the drug war actually only exists to keep people distracted from chemtrails 04:10:14 (im not being serious please dont use this against me in the future) 04:10:21 that's why it's called "marijuana" in the USA and "cannabis" everywhere else 04:10:22 420 blaze the towers? 04:10:26 marihuana 04:10:31 kmc: oh damn, for real 04:10:45 marijuafunkyana 04:10:51 the secret messag....... 04:10:52 in fact I'm told that when the drug was banned, very few people understood that this devil weed "marijuana" was the same ordinary hemp crop that every farmer had growing in their fields 04:11:18 hemp more like.... help 04:11:36 you know what's weird about hemp? they make milk out of it. that's weird 04:11:58 do they call it hilk or helk 04:12:15 helk, it's a new age thing 04:12:22 hilk, more like silk 04:12:36 I ain't a hilk! / I'm a gnu. 04:12:49 er. 04:12:51 s/./E/ 04:12:54 I hain't a hilk! / I'm a gnu. 04:12:57 No. 04:13:01 I hain't a helk! / I'm a gnu. 04:14:39 -!- sivoais has quit (Ping timeout: 240 seconds). 04:15:34 -!- sivoais has joined. 04:16:33 I’d like to interject for just a moment. 04:19:48 * Bike waits 04:25:10 Bike: you can make anything out of hemp and sell it to hippies and wannabe hippie-yuppies 04:25:37 yeah, but i wouldn't know about it if it didn't show up at the food bank of all places. 04:31:58 heh 04:32:01 that is odd 04:32:22 unfortunately # wannabe hippie-yuppies >> # hippies these days :( 04:32:30 people donate the weirdest shit, though. 04:33:00 sure, i have a tub of frozen steak. no you can't ask me why or why it's in a tub. no i don't need a receipt you don't need my name. bye! 04:33:10 ... 04:34:44 its actually salvia 04:35:07 did you process donations at a food bank? 04:35:20 the foodbank is being clandestinely used by the salvia cartles, who freeze it into meat 04:35:24 yeah, we get donations all the time. 04:35:58 obviously people's donations are a pretty minor part of what we give out though. Plus it's usually bizarre or way out of date. 04:36:21 Is it reasonable to reject a gaming computer CPU if it doesn't have VT-x because I want virtualization just as a toy? 04:36:31 virtualization is fucking useful 04:36:44 which processors don't have it? aren't they really low-end anyway? 04:36:47 But I don't have a use for it other than messing around 04:36:51 The super high end unlocked ones don't have it either, I think 04:36:53 market segmentation thing 04:36:56 ohh 04:36:56 No, but it's reasonable to reject a gaming computer CPU for not having VT-x because *seriously what fucking chip are you buying, a Dorito?* 04:37:10 Ok, so they mostly all have it, ok 04:37:15 you could back up your whole hard drive on a floppy diskette / you're the biggest joke on the internet 04:37:22 http://www.neowin.net/images/uploaded/haswell_cpu_lineup.jpg like I saw this the other day 04:37:28 * pikhq nods sagely at kmc 04:37:30 My computer from 2001 didn't have VT-x I think 04:37:31 the "K" CPUs are missing "VT-d" 04:37:40 I used it until maybe 2007 or so 04:37:42 You have your own newsgroup / alt.total.luser 04:37:50 VT-d is different though 04:37:56 What's VT-d? 04:38:08 i think it's the IOMMU virtualization thing 04:38:10 I am vaguely thinking of putting XenClient on the machine and putting OSes on top of that 04:38:15 they're different? @_@ oh geez 04:38:15 lets you route a physical ethernet card to a VM, for example 04:38:46 I'm pretty sure you can do that without it, it's just more CPU-intensive. 04:38:50 Windows for games and Linux for everything else, without rebooting to switch between them 04:38:51 Might also need Xen. 04:38:56 yeah, and/or less secure 04:38:57 is vt-x in cpuinfo somewhere, i want to see how hard i lack it 04:39:02 it's called vmx i think 04:39:20 Bike: Is your computer 4 years old or newer? 04:39:31 AMD's is called svm 04:39:35 If so, is your computer using an Atom CPU? 04:39:37 probably not, but it's also an Atom 04:39:56 i suspect one of the processors is in fact a dorito. 04:40:00 one of the cores* 04:40:06 that must be the uncore 04:40:10 <.< >.> 04:40:20 Yeah, the Atom doesn't have it I don't think. 04:40:21 haunted 'ghost cores' 04:40:35 brutally killed with a laser at the factory, they haunt your data forevermore 04:41:22 intel cpus are powered by the ghosts of murdered silicon -- buy amd! 04:42:12 now i want a horror film called "Fear Uncertainty and Doubt" 04:42:14 -!- kallisti has quit (Ping timeout: 258 seconds). 04:42:26 Fear Uncertainity and Doubt in Las Vegas 04:42:45 subtitled The Microsoft Story 04:42:49 Ooh there's such a thing as All-In-One computers 04:42:50 about Ballmer's adventures while very high 04:42:56 Maybe there's enough room here for one of those 04:43:43 Sgeo: Yeah, um, computers have gotten kinda crazy lately. 04:43:47 Sgeo: that's with monitor built in? 04:43:52 kmc, I think so 04:44:05 Why does /r/buildapc seem to have a Microcenter fetish? 04:44:14 i'm suspicious of those 04:44:29 You can actually get really tiny and cheap x86 systems these days. 04:44:35 Yay, $50 Atom boards. 04:44:45 you can get a 'nettop' or 'booksize' computer and a separate monitor and it'll take up the same space, plus you can upgrade one or the other 04:44:48 maybe the specs are worse though 04:45:02 Might not matter though. 04:45:17 do the all-in-one machines actually have good monitors 04:45:22 Doubtful. 04:45:35 meh i'm spoiled monitor-wise though 04:45:38 probably fine 04:46:05 * Sgeo wonders if 3d monitors are worth it 04:46:33 jesus that's a thing now? i mean of course it is, but still 04:47:09 In a word, no. 04:47:14 In more words, no no no no no. 04:47:37 red-cyan glasses suck, cross-eyed sucks 04:47:56 Also maybe the monitor will make 3d games that wouldn't particularly support that kind of thing support it? 04:48:22 My normal glasses are like 3d glasses for reality... 04:49:15 haha Sgeo 04:49:44 that's the most stonertastic thing that's been said here in a while 04:51:50 They are! They're not necessary for me to see what's going on, they just make things look nicer and pop out 04:56:06 -!- Mathnerd314 has quit (Read error: Connection reset by peer). 05:03:18 that's how it is for me sort of 05:03:25 also needed for reading far away things 05:05:01 I need mine for not being blind 05:05:47 Stuff's kinda fuzzy but I can *see* without glasses. 05:05:57 But I can't read my monitor without them. 05:07:13 -!- zzo38 has joined. 05:07:29 Is it possible to design a computer with CF cards? 05:07:41 Somebody said it isn't. 05:08:03 Why wouldn't it be possible? 05:08:27 it's quite easy -- CF and PATA are compatible electrically 05:08:30 all you need is a pin adapter 05:08:40 kmc: Yes, it is what I thought. 05:08:47 although some CF cards can't do DMA and are slow 05:08:58 that was the ill fate of my attempt to have an SSD laptop in 2006 this way 05:09:17 What is SSD laptop? 05:09:25 a laptop with an SSD instead of a hard drive 05:09:26 You can go crazier still. 05:09:48 PATA is also electrically compatible with ISA. 05:09:50 What is "SSD", though? 05:10:54 When I am designing the computer, I intend to have both CompactFlash and hard drives, as well as optical drive. 05:11:06 Solid state drive. 05:11:08 "solid state drive" 05:11:13 pikhq: OK, thanks 05:11:39 typically, a SATA storage device using flash memory, which has the same form factor as a laptop hard drive and is fast enough to be one's primary / boot disk 05:11:44 indeed much much faster than spinny disks 05:12:42 My right eye has good vision but my left eye gets fuzzy at distance even short distances 05:12:47 so, say, an SD card would not get called an SSD, even though you could run your whole system off of it, and it might be fast 05:12:51 Mine are equally bad. 05:12:58 pikhq: huh, I didn't know it's ISA compatible, weird / cool 05:13:28 i have perfect vision 05:13:38 and i've been staring at computer screens since i was 3 05:13:38 hm so how hard is it to talk to a PATA hard drive from an Arduino or whatever? probably actually fairly easy 05:13:39 so y'all weird 05:13:44 I need glasses for far away 05:13:46 Yeah. The history of the bus is literally just that Western Digital moved the controller board to the bottom of the hard drive. 05:13:52 indeed elliott, let us mock the inferior race 05:13:55 ha HA 05:13:58 yeah this has been done 05:14:01 Yes, we'all weird, including you 05:14:18 you all saw http://dmitry.gr/index.php?r=05.Projects&proj=07.%20Linux%20on%208bit right 05:14:47 Linux running [*] on an ATmega1284 05:15:04 what an exciting footnote that must be. 05:15:07 But I make the design much simpler so that it does not have to load so much from the hard disk to boot, using BIOS to boot, mostly, rather than hard disk. 05:15:08 Bike: the race of bad eye people 05:15:11 yes 05:15:25 And even then you don't need as many files as Windows or Linux, so it is faster due to that, too. 05:15:30 i'm pretty sure eugenicists have wanted them all to die at some point and that's basically what makes you a "race" so! 05:15:36 i guess my eyesight will probably go bad sometime 05:15:54 better get our superiority in now 05:16:09 Bike: Is that why they call it the "human race"? 05:16:11 Bike: do bicycles even have glasses 05:16:30 elliott: uh yes how do you think we pick up hipsters 05:16:41 zzo38: eugenicists tend to be somewhat misanthropic, yes. 05:16:57 Bike: why would you want to!! 05:17:21 where do you think bikes get our sustenance? just pedaling? i need meat. 05:18:40 Well, my opinion is that human dignity is not the most important things in the universe; how does that make me? 05:19:37 That's not enough information to determine if you're misanthropic. 05:19:45 I didn't think so. 05:19:58 Maybe you don't think human dignity is that important but you still think humans are pretty cool. Maybe you'd still have a beer with us sometime or shoot the shit. 05:20:37 Actually I don't drink alcohol, and I don't know what "shoot the shit" is. 05:20:48 hi zzo38 05:20:51 welcome back 05:20:53 But I kind of understand you, a little bit. 05:21:02 Shoot the shit, you know. Chill. Hang. 05:21:11 Mosey. 05:21:13 Do you like moseying? 05:21:36 Sometimes. 05:21:40 http://www.penny-arcade.com/comic/2010/05/24 05:21:49 We cool, zzo38. We cool. 05:23:35 @wn moseying 05:23:36 No match for "moseying". 05:23:38 @wn mosey 05:23:39 *** "mosey" wn "WordNet (r) 3.0 (2006)" 05:23:39 mosey 05:23:39 v 1: walk leisurely [syn: {amble}, {mosey}] 05:23:51 is leisurely an adj. or an adv. 05:23:52 help 05:23:56 Well, I found it in Wiktionary, the same things 05:24:07 @wn leisurely 05:24:07 *** "leisurely" wn "WordNet (r) 3.0 (2006)" 05:24:07 leisurely 05:24:07 adv 1: in an unhurried way or at one's convenience; "read the 05:24:07 manual at your leisure"; "he traveled leisurely" [syn: 05:24:07 {at leisure}, {leisurely}] 05:24:09 [3 @more lines] 05:24:11 @more 05:24:11 adj 1: not hurried or forced; "an easy walk around the block"; 05:24:13 "at a leisurely (or easygoing) pace" [syn: {easy}, 05:24:15 {easygoing}, {leisurely}] 05:24:16 oh shit!!! 05:24:18 gasp 05:24:27 related: http://media.tumblr.com/ca94f121e29dfdf9d2a4ea79ee369ffd/tumblr_inline_mjxbylJCb91qz4rgp.png 05:24:42 Bike: are you in vancouver or something 05:24:50 @wn literally 05:24:50 *** "literally" wn "WordNet (r) 3.0 (2006)" 05:24:50 literally 05:24:50 adv 1: in a literal sense; "literally translated"; "he said so 05:24:50 literally" [ant: {figuratively}] 05:24:50 2: (intensifier before a figurative expression) without 05:24:52 exaggeration; "our eyes were literally pinned to TV during 05:24:54 the Gulf War" 05:24:56 I live in the woods north of Vancouver. 05:25:09 There are bears. 05:25:17 yay autoantonyms 05:25:21 i thought you were a student at uw 05:25:28 not yet. 05:25:45 Does "autoantonym" also mean "a word which isn't an antonym of itself"? 05:25:50 Yet? 05:25:59 ...oh, well done 05:26:27 Bike: did you read "breakfast of champions"" 05:26:33 yes 05:26:42 @ask monqy for forgiveness 05:26:42 Consider it noted. 05:27:00 uh? 05:28:04 shachaf: ur quotes mismatched 05:28:25 kmc: its "alrigt"" i already asked monqy for forgiveness 05:28:42 is that how this game is played 05:28:42 oh god i talked while his quote was open 05:28:48 now i'm going to be quoted forever :( 05:29:19 yes 05:29:23 -- permanent record 05:29:32 :( :( :( 05:31:18 double secret probation 05:31:35 kmc: did you read it 05:32:08 today i bought a bunch of vonnebukks 05:33:17 in fac t i bought too many?? 05:33:24 maybe ill never read them all 05:33:32 i read it 05:37:00 did you buy timequake i bet you did 05:37:33 i bought the books that the used bookstore in town had 05:37:37 timequake was one of them 05:37:42 calle dit 05:37:44 is it good 05:37:59 dunno 05:39:38 did you read it 05:39:49 nope 05:40:17 i don't get it Bike. explain. 05:40:23 Suppose you're severely ill. There's a medical procedure that has a very small chance of saving your life. You are a registered organ donor. If you attempt the procedure and die anyway, your organs will not be usable for organ donation. What do you do? 05:42:38 are you dying Sgeo 05:42:50 No 05:43:11 But there is an actual situation this could be considered analogous to 05:43:25 do you have good reason to believe that someone's response would be indicative of their behavior 05:43:29 Scratch that. Yes, I am dying, just like everyone else who currently exists. 05:43:45 i have a meta-question: how many third world children are going to die of preventable disease while we discuss this moral hypothetical 05:44:23 kmc you colonialist! gosh. 05:44:41 yeah it's just my cultural imperialist viewpoint that children shouldn't die by shitting themselves inside out 05:44:50 yes. exactly. 05:47:26 fuck, I have 98.4% of Time Trumpet downloaded and it's been stuck there for 2 days 05:48:04 the last 1.6% of the time trumpet is inaccessible to mere mortals. 05:48:06 you have to find it for yourself 05:48:25 It was intended to be analogous to cryonics 05:48:34 oh for god's sake dude. 05:48:37 take it to #lesswrong 05:48:56 "oopse did i just inform Sgeo of that channel" 05:49:12 that actually exists doesn't it oh no 05:52:30 I think people should die if they want to do so (but think of it first; there is no going back) 05:52:40 what if you're jesus 05:52:53 He probably thought about it a lot. 05:52:59 shachaf: Irrelevant. 05:53:13 why 05:54:29 zzo38, what of a person who currently wants to die but if they take a pill every day they stop wanting to die? 05:54:29 That question is irrelevant. 05:54:49 zzo38: WHAT IF YOU'RE IRRELEVANT............>>>>>!!!!!!!!! 05:55:05 Sgeo: It depends on that person, I guess. 05:55:54 Uh. Is there a source that is NOT Wikipedia or Wikipedia derived for finding out when a song was released 05:56:08 no 05:56:10 good luck finding anything at all not wikipedia derived, nowadays 05:56:24 before 2001 people literally had no idea when songs were released 05:56:26 also you know what also involves taking a pill and death? That short story by Smullyan about epiphenomenalism. Way better. 05:56:51 Because this Wikipedia page about this song that I thought I heard in 1998 claims it was released in 2000 05:56:51 Bike: An Unfortunate Dualist? 05:57:01 @google an unfortunate dualist 05:57:03 http://themindi.blogspot.com/2007/02/chapter-23-unfortunate-dualist.html 05:57:06 yes, that one. 05:57:11 The Mindi 05:57:16 what is it with everyone in here and fucking smullyan 05:57:21 Sgeo: Might be another version or a cover or something. 05:57:23 I do think "Suppose you're severely ill. There's a medical procedure that..." is up to their individual choice, but I would want to know an estimate of the choice, what things I was intending to do otherwise, my age, its effect on non-human lifeforms and on the environment in general, etc. 05:57:45 elliott: have you seen his youtube videos they're so dumb how could anybody not like him 05:57:53 i have not isn't he dead 05:57:55 I don't have the book written by Smullyan but I was wanting to have them. 05:58:06 elliott: i never! it's entirely platonic 05:58:26 elliott: somehow, no. 05:58:38 I think he's like 997 though. 05:59:22 lexande went to a Smullyan talk this year or something. 06:00:51 Bike, that only works with a belief that the soul does not have write access to the brain 06:01:08 er what does 06:01:14 If the soul had write access to the brain, the dualist could know that he no longer has a soul 06:01:16 covers? 06:01:24 oh 06:01:43 if the soul has write access to the brain then epiphenomenalism is false 06:01:59 so, yes, it does assume that, that is the point. 06:02:27 um Bike. i think you'll find nothing has a point. 06:03:10 elliott: Even a circle with one point missing? 06:03:37 zzo38: yes. 06:03:52 Well, I don't believe in Cartesian dualism; I don't think it makes sense. 06:04:06 Funny, that story doesn't mention epiphenominalism, just dualism 06:04:29 oh, maybe i remember it from smullyan's commentary or something. 06:04:45 I didn't read past the bolded Reflections 06:05:39 I believe in neutral monism, mostly. 06:05:48 I like how you can make a two-dimensional bounded shape which is congruent to a subset of itself. 06:06:12 a triangle? 06:06:26 ? 06:06:32 Maybe I should say "proper subset". 06:06:36 "What distinguishes neutral monism from its better known monistic rivals is the claim that the intrinsic nature of ultimate reality is neither mental nor physical." wow i suck at metaphysics though 06:07:08 i never metaphysics i 06:07:09 I don't agree with all kinds of neutral monism, though; just in general. 06:08:41 Neutral monism in general is, mental and physical are two ways of organizing some "higher things" (I am kind of paraphrasing Wikipedia). 06:08:58 'pataphrasing 06:09:37 -!- md_5 has quit (Ping timeout: 258 seconds). 06:10:12 is monism like gnomism 06:11:25 I don't think so?? 06:11:54 if i only said things which i think so would i even say anything 06:12:00 i wonder if someday i will care about metaphysics agagin. 06:12:32 nope 06:13:05 shachaf: Well, yes, you can think of things other than only some things, too; it is good to consider and to discuss it and to figure it out. 06:13:24 oh, good. 06:13:42 Bike more like take a hike 06:13:47 -!- md_5 has joined. 06:13:51 dude mean :( 06:14:05 i work with what i have 06:14:35 Bike more like ignore elliott he's mean to everyone we all think you're like cool and stuffike 06:15:25 i see what you're doing you're playing good cop bad cop 06:15:55 you should come to #haskell where we play good op bad op 06:16:00 except we're both pretty bad at it 06:16:27 i've banned two more people than shachaf 06:16:41 elliott is the macbeth of #haskell and i am the hamlet 06:16:42 what mean things are you sayig about elliott :< 06:16:43 "so to speak" 06:16:55 so who's your uncle 06:16:57 Fiora: elliott is the mean one 06:17:04 and... well i don't know macbeth really 06:17:14 i think he kills everyone though. that seems elliotty. 06:17:20 Even, this book and that book, are two ways to organize the state of physical matter, which it makes up, even if the books are otherwise identical. 06:17:57 wait am i thinking of macbeth or some other shakespeare person 06:18:25 help 06:18:28 help 06:18:54 if i am macbeth who is Bike 06:19:09 Probably my favorite shakespeare character, Osric. 06:19:16 hey i played osric once 06:19:30 No I want to be played by Robin Williams. 06:19:35 no sorry 06:19:39 you have to be played by shachaf 06:19:40 :( 06:19:54 -!- azaq23 has quit (Quit: Leaving.). 06:20:20 pretty sure Bike has to be played by a bicycle. 06:20:20 if you're a shakespeare character who's an actor you must be one of the actors in the play Hamlet watches. 06:20:30 Bike can be rosencrantz and guildenstern 06:20:37 maybe Bike and Fiora 06:20:44 elliott: In shakespeare's time all the chicks were played by men. This extends to the bicycles. The bicycles are also played by men. 06:20:59 All the props are men too. 06:21:08 The play is a circus of writhing male flesh. 06:21:28 you got a problem with that............................... 06:21:36 No. 06:21:39 is the stage men 06:22:20 who are the men played by 06:23:10 I don't think I'd be a very good actor 06:23:25 I don't believe Shakespearian scholarship is advanced enough to ask that question, shachaf. 06:23:25 But yes elliott. The original globe theater was made of peasants. 06:23:25 peas ants? 06:23:25 : FREE 0 OVER BLOCKFREE! DUP RIGHTBLOCK@ DUP IF DUP BLOCKFREE@ IF DUP RIGHTBLOCK@ ROT 2DUP RIGHTBLOCK! SWAP 2DUP LEFTBLOCK! DROP DUP BLOCKSIZE@ ROT DUP BLOCKSIZE ROT 4 CELLS + + ROT SWAP OVER BLOCKSIZE! DROP THEN THEN (...) 06:23:25 Forth is so readable. 06:23:25 is that like the woman who cooks carrots and peas in the same pot 06:23:25 I can read every single one of those words. 06:23:26 Forth looks very exciting. 06:23:33 IKNOW! 06:23:36 And excited. 06:23:38 Fiora: That's OK, you're not playing an actor. 06:24:47 <.< 06:24:57 * Fiora pokes shachaf's nose 06:24:57 If I make the computer, it will be including Forth. Also including BASIC, since many programs in books are written in BASIC. 06:25:08 Bike: don't you mean pheasanrs 06:25:09 *t 06:31:36 Fiora: I'm not a very good actor either, I just play one on stage. 06:32:06 fungot should have a mode to generate forth programs 06:32:07 kmc: i don't disagree that professors tend to guard their time. i just found. 06:32:54 fungot is a ""serial entrepreneur" 06:32:55 shachaf: killer annotated 8676 with " rambaby " lamer" sucks!" at http://paste.lisp.org/ display/ fnord what do you have 06:33:11 http://pastie.org/6635890 - comments removed because comments are lame. 06:33:40 tswett: uhh fungot just told you to use http://paste.lisp.org/ 06:33:40 shachaf: at least it's very expensive) workaround to that, but as those fields are used a lot of this stuff 06:34:11 Yeah, well, I don't listen to anything fungot says, because fungot is made of one really long spaghetti noodle. 06:34:12 tswett: in that it doesn't correspond in some 1:1 way to some known enumeration type correct? its like: if: a b 06:34:32 wow i don't think i've ever seen forth long enough to indent before 06:34:35 At first I didn't realize that was fungot speaking, and so I tried to understand what he was saying. 06:34:36 tswett: sure, understood to mean unzip and look at these... barbarians?? oh, yeh!! first you need to 06:35:07 uhh 06:35:46 http://paste.lisp.org/display/136107 06:35:49 fungot: xpln urslf 06:35:49 shachaf: s/ udded/ fnord something like this with good printing formatting will work. he just pointed out 06:38:35 Whoops, I forgot. FREE isn't supposed to leave anything behind. 06:40:13 Except freedom, of course. 06:46:08 `learn ngevd is not random 06:46:15 I knew that. 06:46:34 `run ls wisdom/*sz* 06:46:36 wisdom/gaszpacho \ wisdom/szoup 06:46:42 `? szoup 06:46:43 A szoup a szilárd tápszereknek híg alakban való elkészítése a célból, hogy könnyebben emészthetők legyenek; a hígító anyag a viz, mely feloldja s magába veszi a tápanyag legértékesebb részeit. 06:46:45 `? gaszpacho 06:46:47 gaszpacho is a polish soup, traditionally szerved cold for hot szummer days 06:47:14 `? ngevd 06:47:16 N8+F)(_5lt&*Lyle Hmph. 06:47:37 `run rm wisdom/ngevd 06:47:40 No output. 06:48:08 `learn ngevd more like ein gedi 06:48:12 I knew that. 06:56:02 Modern computer designs are too stupid. Do you think so? 06:58:24 they work pretty well 06:59:07 They work, but that is not good enough. 07:06:19 `erflist 07:06:20 -!- epicmonkey has joined. 07:06:23 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: erflist: not found 07:22:42 -!- carado has joined. 07:24:47 I need to eat :(:( 07:25:16 * Fiora gives Sgeo chocolate 07:25:44 Long story short, there was a fly in the pasta I prepared so I threw it out. Turns out that was the last bag of pasta afaict 07:27:43 wuss 07:31:52 why throw away a good fly? 07:32:05 Fly away, little fly. 07:32:12 why not just, you know, eat it? 07:35:29 -!- epicmonkey has quit (Ping timeout: 258 seconds). 07:35:58 -!- Bike has quit (Quit: leaving). 07:37:16 Do you like to eat it? (Maybe you can, if you want to.) 07:38:31 I meant that I threw the pasta away 07:38:37 (incl. fly) 07:43:31 Yes, I know that. 07:45:42 -!- Jafet has joined. 07:45:46 All right, so, here's my malloc function: 07:46:58 -!- monqy has joined. 07:47:22 mov eax, 0 07:47:22 ret 07:48:08 : MALLOC >R 0 0 HEAP @ BEGIN DUP BLOCKSIZE@ DUP R@ >= IF ROT 2DUP > IF DROP DUP THEN -ROT THEN DROP DUP INVERT UNTIL DROP DROP SWAP DUP INVERT IF DROP DROP RDROP 0 EXIT THEN 0 OVER BLOCKFREE! SWAP DUP R@ 4 CELLS + > IF OVER R@ 4 CELLS + + ROT 2DUP SWAP LEFTBLOCK! DUP RIGHTBLOCK@ ROT 2DUP RIGHTBLOCK! >R ROT R> SWAP R@ - 4 CELLS - OVER BLOCKSIZE! 0 OVER BLOCKFREE! 2DUP SWAP LEFTBLOCK! NIP SWAP R@ OVER BLOCKSIZE! 2DUP RIGHTBLOCK! NIP ELSE DROP THEN 4 07:48:08 CELLS + RDROP ; 07:48:41 You should probably write it in separate lines, and possibly factor into multiple blocks, though 07:48:42 hi 07:48:58 http://pastie.org/6636240 07:52:43 That is better. 07:54:09 My current computer does not supprt VT-x 07:54:10 wtf 07:56:49 They keep doing "market segmentation" with that thing. 07:57:00 Most of it is good; but I still think the definition of MALLOC is too long, and it might help to have comments in the definition of MALLOC as well. That definition of MALLOC would not fit on a single page in BBL Forth. 07:58:31 In related news, the cpuinfo "flags" field is getting kind of ridiculous. This computer, for example, supports fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 ... 07:58:37 ... xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms. 07:58:59 fizzie: Yes, modern computers designs are too stupid. 08:01:35 fizzie: you should move to a less confusing market segment. 08:04:08 errr.... what happened to NxTop 08:04:21 XenClient ate it apparently 08:05:42 zzo38: yeah. The original version has comments, but I removed them for #esoteric's benefit. 08:06:44 Aw man. My definition turned out to be too long to fit in one command. 08:07:18 MALLOC is probably the only one there that needs to have comments, as far as I can see, but it is OK to put comments on the other ones too. 08:08:12 I find the definition of FREE to be really hard to read *with* a comment every other line. 08:09:11 tswett: Yes, I said, only MALLOC in that code needs comments; FREE doesn't need comments. 08:11:57 Here's the version with all the comments: http://pastie.org/6636212 08:38:52 -!- ThatOtherPerson has joined. 08:47:13 -!- epicmonkey has joined. 08:55:41 I found some pasta 09:05:42 -!- augur has quit (Remote host closed the connection). 09:09:02 -!- zzo38 has quit (Remote host closed the connection). 09:13:45 -!- FreeFull has quit (Read error: Operation timed out). 09:18:52 -!- Taneb has joined. 09:43:37 Oh god there's another subreddit for computer hardware. And apparently its opinions are distinctly different from buildapc's opinions. I don't know which to trust now 09:44:21 Trust your hart 09:44:30 Trust Adam Hart-Davis 09:46:21 "Tldr bapc is for cutting costs and gapc is for being extravagant " 09:47:01 So, it depends on your budget 09:47:15 Based on what I know about your economic position, I'd go for bapc 09:56:54 -_- 09:57:11 One of my classmates turned a programming assignment in AS A WORD DOCUMENT 09:57:28 Was it a word macro assignment 09:57:36 just trolling, I hope 09:57:59 It was a Java programming assignment 09:58:10 and now another classmate did as well 09:58:21 wait now it's three 09:58:22 wat 09:58:22 Was it crafted to run code when opened by openoffice 09:58:28 No 09:58:30 if you were free to choose the language, doing it as a word macro in a word document might be not entirely unfun 09:58:32 Lame 09:59:45 -!- carado has quit (Quit: Leaving). 09:59:57 -!- carado has joined. 10:00:10 I have lost my hope in humanity 10:00:37 -!- ThatOtherPerson has quit (Quit: Page closed). 10:01:58 ThatOtherPerson: submit it as a Flash file 10:02:43 main.gif 10:03:00 main.bmp 10:03:06 hello.jpg 10:09:06 -!- Taneb has quit. 10:09:09 -!- Nisstyre has quit (Read error: Operation timed out). 10:14:59 -!- augur has joined. 10:25:36 -!- Nisstyre has joined. 11:28:27 http://xkcd.com/1188/ ah, the classic game of throw the ball to yourself and teleport it to your friend who then throws it to himself and teleports it back to you and repeat. 11:30:25 Until stack overflow. 11:48:24 -!- oerjan has joined. 11:54:02 -!- [mbm] has joined. 11:57:02 <[mbm]> >-[<-->+++++]<++.---.+++++++..+++. 11:57:16 ^bf >-[<-->+++++]<++.---.+++++++..+++. 11:57:17 hello 11:57:42 `welcome [mbm] 11:57:45 ​[mbm]: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 11:59:15 <[mbm]> heh, cool. 12:00:10 <[mbm]> >+++++[<++++++>-]<+.>>----[<----->--]<+.>++++++++.>.>>----[<->----]<---.>>-[<->---]<-------.>>-[<->+++++++]<.++++++++.>++.+.>>-[<->+++++++]<++.>>-[<->-----]<+.+..++.++++++++++++++++++.>++.>.>>----[<------>+]<.>+++++++++.>>-[<-->-----]<.>>---[<------>+]<-.>++++++.>... 12:00:22 ^bf >+++++[<++++++>-]<+.>>----[<----->--]<+.>++++++++.>.>>----[<->----]<---.>>-[<->---]<-------.>>-[<->+++++++]<.++++++++.>++.+.>>-[<->+++++++]<++.>>-[<->-----]<+.+..++.++++++++++++++++++.>++.>.>>----[<------>+]<.>+++++++++.>>-[<-->-----]<.>>---[<------>+]<-.>++++++.>... 12:00:22 12:00:24 <[mbm]> bot probably won't like that one. 12:00:28 oops 12:00:37 <[mbm]> (gzipped data) 12:02:02 <[mbm]> ^bf +.>>-[<->+++]<-----.-------.+++++.-------.>>++++[<++++++++>-]<.>>-[<->+++++]<--.+.+.>+.+++++++++. 12:02:02 PING 123. 12:02:07 <[mbm]> lol. 12:02:56 <[mbm]> ^bf >-[<->+++++]<----.>>-[<-->-------]<+.+.>>++++[<++++++++>-]<.>>-[<->+++]<++++++.>>-[<-->-------]<-.-----------.+++++++++++.----------------.>++++++++++. 12:02:57 /op [mbm]. 12:03:05 <[mbm]> *shrug* had to try 12:03:33 funny guy. none of our bots have ops anyway. 12:04:26 Most people try bot loops 12:04:35 most? 12:04:52 i think that's a wee bit exaggerating 12:04:53 monqy: Four or so billion, yes. 12:04:55 Of the people who mess around with the bots trying to get them to behave weirdly 12:05:29 it's cute when they try to crash hackego 12:05:35 Most people who mess around probably mess around with HackEgo? 12:05:35 nah most people try rm -rf / in HackEgo and never manage to achieve anything disruptive at all. 12:05:44 It's kind of more suitable for that than fungot. 12:06:03 fizzie: i doubt it. the whole thing, there is a stty command i need 12:06:12 <[mbm]> ^bf >-[<-->-------]<-.++.++++.+.--------.+++++++++++++.>>++++[<++++++++>-]<.>>-[<-->+++++]<++++.+++++++++++.--.+.>>++++[<++++++++>-]<.>>----[<+++++>--]<--.---------------.++++++++++++++.+.-----------.+++++.-------.>>++++[<++++++++>-]<.>>-[<-->+++++]<-----.>>++++[<++++++++>-]<.>>-[<-->+++++]<----.++++.>>++++[<++++++++>-]<.>>-[<-->+++++]<---.++++++++++++.-.++++++++.>>-[<-->+++++]<-.+++++++++++++.+.----------.++++++.-.>>++++[<++++++++>-]<.>>----[<+++++>--] 12:06:13 mostly just testing a bf conversion 12:06:25 well, it doesn't require you finding a security hole in befunge. although that _would_ be cool. 12:06:47 <[mbm]> huh, bot dropped the last word 12:06:48 !bt_txtgen mostly just testing a bf conversion 12:06:53 oops 12:06:56 !bf_txtgen mostly just testing a bf conversion 12:07:00 ​247 +++++++++++++++[>+++++++>+++++++>++++++++>++<<<<-]>>++++.++.>-----.+.<<+++.>++++++++++.>>++.<<<--.>----.--.>.>.<.---------------.<.+.-----------.<++++.>--.>>.<----.>.<+.<-.>>.<+.<<+.-.++++++++.>>++.<<----.+.>>++++.++++++.-.>----------------------. [641] 12:07:14 ^bf +++++++++++++++[>+++++++>+++++++>++++++++>++<<<<-]>>++++.++.>-----.+.<<+++.>++++++++++.>>++.<<<--.>----.--.>.>.<.---------------.<.+.-----------.<++++.>--.>>.<----.>.<+.<-.>>.<+.<<+.-.++++++++.>>++.<<----.+.>>++++.++++++.-.>----------------------. 12:07:16 mostly just testing a bf conversion. 12:07:27 bf_txtgen adds that silly newline. 12:07:38 right. 12:08:20 And I suppose fungot didn't drop anything, the program was just truncated due to IRC line length limits. It ends kind of abruptly. 12:08:29 fizzie: oh come on. you had to remove a temporary directory when i'm done 12:08:29 <[mbm]> ah 12:08:45 fungot: Yes, I'm always cleaning up after you, it's ridiculous. 12:08:46 fizzie: practice safe eating always use fnord wms. no desktop. sawfish, pekwm and ion are my favourites. you've been really helpful. thanks :) the more references, the literal 2 12:09:09 <[mbm]> huh, didn't even know there was an existing txtgen 12:10:27 The existing one is this one: http://esoteric.voxelperfect.net/files/brainfuck/util/textgen.java 12:10:38 (I think.) 12:11:22 <[mbm]> seems to do better than my admittedly braindead tool 12:12:09 yours seems to have a lot of loops 12:12:43 textgen.java has a rather strict format for the generated code, it's always of the form +N[>+A>+B>+C...<<<-] and then a loopless series of ><+-. to output; and the number of "terms" inside the initial setup is fixed and given as a command line attribute. 12:12:57 <[mbm]> mine is character driven with a minor optimization to do deltas between characters 12:13:24 <[mbm]> so it's basically the shortest sequence for any particular character 12:14:33 <[mbm]> alternate version builds up a string in the bf cells 12:14:39 <[mbm]> ^bf >----[<+++++>--]<-->>-[<-->+++++]<->>-[<-->---------]<+>>----[<+++++>--]<-->++++++++++>[-]<<<<<[.>] 12:14:39 test. 12:14:44 i noticed you used loops that require wrapping cells 12:15:19 <[mbm]> yeah, the alternate version uses a max of two cells 12:17:40 -!- carado has quit (Quit: Leaving). 12:20:18 -!- carado has joined. 12:23:57 intel cpus are powered by the ghosts of murdered silicon -- buy amd! 12:24:58 wait, it all makes sense now. our VLSI chips aren't just alien technology... they're made from _actual_ aliens! 12:25:56 this explains why the aliens don't want to make official contact, too 12:30:38 -!- Taneb has joined. 12:31:28 gah sunlight 12:32:09 It is about lunchtime, oerjan 12:32:18 You're not THAT far north 12:32:26 well i just ate 12:33:51 it's just about solstice (i saw something about nowruz on wp today, i think that's at solstice) so i doubt it'll be dark even at the north pole 12:34:05 wait, not solstice 12:34:09 *equinox 12:34:35 It's solstice today or tomorrow 12:35:11 i guess it would be tomorrow, given wp _didn't_ say it was today 12:35:21 The requinox. 12:36:37 The http://en.wikipedia.org/wiki/Equinox table says March 20th, 11:02 UT, which should make it today. 12:36:45 anyway the sun shines through the window right behind my laptop, and it was getting overly hard to read even with the drapes shut 12:37:01 aha 12:37:28 this happens just as i come to the discussion about glasses in the logs 12:37:45 i'm afraid the universe might be giving a hint there. 12:38:04 What are those thingies with the boxes that describe algorithms 12:38:04 Flowcharts! 12:38:04 Anyone know any good flowchart-drawing software? 12:38:54 <[mbm]> ditaa? 12:39:14 [mbm], I don't recognize you 12:39:40 I've drawn a couple of flowcharts with that JGraph-driven thing; also with the online draw.io thing, which is built on mxGraph, which is related. 12:40:06 [mbm]: that reminds me, we need to ask some essential newbie questions. (1) do you happen to live in Hexham? 12:40:16 Taneb, like http://www.websequencediagrams.com/ 12:40:29 or http://www.asciiflow.com/#Draw 12:40:30 Or is it called Diagramly. I forget exactly. 12:40:50 The application version at least had all kinds of fancy autolayout/routing stuffs in it. 12:40:57 or http://ondras.zarovi.cz/sql/demo/ 12:41:29 or Graphviz, http://www.ffnn.nl/pages/articles/media/uml-diagrams-using-graphviz-dot.php 12:41:46 <[mbm]> oerjan: no, not unless there's a joke in there that I'm missing 12:41:47 Apparently at least www.diagram.ly == draw.io now. It's all so confusing. 12:41:51 draw.io looks pretty cool 12:42:06 And of course for the special case of UML, there's bazillion solutions of various degrees of enterpriseness. 12:42:35 [mbm]: the joke is that hexham is a very small place in England which nevertheless has two regulars in our channel - who don't know each other in real life 12:43:05 <[mbm]> ah 12:43:19 Despite having pretty much the same tastes and are roughly the same age 12:43:40 <[mbm]> have they since met irl? 12:43:40 ok (2) do you happen to live in Finland? 12:43:49 <[mbm]> nope. 12:44:01 [mbm], they refuse to, for the safety of the universe 12:44:07 <[mbm]> lol 12:44:10 It's been a while since anyone answered in the affirmative to those two questions. 12:44:33 ok (3) (i think this is the last one) do you want to be on the homestuck list? 12:44:56 <[mbm]> explain 12:45:37 if you don't know of "the list" already, i think it's best left without explanation… 12:45:42 every time there is a homestuck comic update, Sgeo runs the ^list command to tell people 12:45:53 monqy: no, that's the _other_ list. 12:45:59 <[mbm]> figures as much; get enough spam as is 12:46:54 and there used to be even more, but they were wiped out (how will i now know when oots updates?) 12:47:53 ok, it hasn't. 12:53:55 <[mbm]> https://www.eff.org/deeplinks/2013/03/you-bought-it-you-own-it-supreme-court-victory-common-sense-and-owners-rights 12:56:56 -!- carado has quit (Ping timeout: 256 seconds). 13:00:43 I like how you can make a two-dimensional bounded shape which is congruent to a subset of itself. 13:00:47 wait what 13:01:07 Sounds fractally 13:01:50 "congruent" implies same size, afair 13:02:04 so that sounds _really_ weird. 13:02:55 Hmm 13:03:09 Maybe he's abusing the fact that subset isn't necessarily strict subset 13:03:31 no, he explicitly clarified that he didn't 13:04:21 oh hm maybe some vitali construction on the circle... 13:05:26 -!- carado has joined. 13:05:43 i expect whatever this construction is, it shall need the axiom of choice somewhere 13:06:20 -!- boily has joined. 13:06:47 -!- metasepia has joined. 13:11:49 oh http://mathoverflow.net/questions/82416/a-set-of-points-congruent-to-its-proper-subset gives an obvious example: { e^(i n) | n natural } 13:12:57 not very AC-y :P 13:13:54 <[mbm]> hmm, somehow I was thinking more http://www2.stetson.edu/~efriedma/packing.html 13:14:49 -!- azaq23 has joined. 13:15:58 "tan"? 13:16:24 never seen that term before 13:16:58 that squares in squares case rings a bell 13:17:11 tan as in sin/cos? 13:17:15 nope 13:18:29 by the pictures, tan as in equilateral triangle, possibly with equal catheters 13:18:32 er 13:18:37 not equilateral 13:18:42 right triangle 13:19:29 right, pretty sure i've seen the squares in squares subpage before 13:21:47 ~metar CYUL 13:21:48 CYUL 201300Z 27006KT 10SM -SN OVC012 M05/M07 A2970 RMK SC8 SLP060 13:21:59 hm. still -SNing. yeeeeah... 13:22:18 neither wikipedia nor wiktionary mentions it 13:22:49 oerjan: Perhaps it's related to "Tan (goat pattern)". 13:22:57 boily: a supernova in your weather report is _not_ good, i'll just say 13:23:35 fizzie: SKEPTICAL 13:24:17 fizzie: goats are mathematical objects. 13:24:32 http://en.wikipedia.org/wiki/Square_packing_in_a_square 13:26:17 -!- ThatOtherPerson has joined. 13:26:47 Circle packing in a square is, apparently, not serious business. 13:27:02 "Circle packing in a square is a packing problem in recreational mathematics -- Recreational mathematics is an umbrella term for mathematics carried out for recreation, self-education and self-entertainment, rather than as a fully serious professional activity." 13:27:19 Square packing is totally notable 13:27:53 Apparently even Erwhat wrote a paper on it! 13:28:27 more like Er-douche, right 13:28:39 oh dear ive started a meme 13:28:43 the 13 circle pattern is beautiful. 13:28:48 -!- Phantom_Hoover has joined. 13:28:50 coppro: I'M SORRY 13:29:07 oerjan: it's ok. it's not your fault 13:29:11 I blame jafet 13:31:04 Anyone recommend me a unit-testing thing for C? 13:31:16 boily: huh http://www2.stetson.edu/~efriedma/cirinsqu/ has a much uglier pattern than wikipedia, but the same number 13:31:25 Taneb: here's a nickel, get a real language 13:31:54 coppro, I have a real language, just I'm challenging myself not to use it 13:31:56 -!- ThatOtherPerson has quit (Quit: Leaving). 13:33:15 coppro: (also my joke is that er-douche is probably about as close as a native english speaker can get to the real pronunciation) 13:34:15 (disclaimer: this may wildly misrepresent how native english speakers pronounce anything) 13:34:37 Have you heard native english speakers speak english 13:34:54 -!- impomatic2 has quit (Quit: http://about.me/john_metcalf). 13:35:23 isn't erdos like erdoosh but with the oo kind of closed at the back, like an ee 13:35:51 oerjan: all I'm thinking about when perusing those packing patterns, is how ikea could benefit (or is alreding doing so) from that. 13:36:09 -!- monqy has quit (Quit: hello). 13:36:30 boily: just write them and offer your consultancy 13:36:52 Phantom_Hoover: the o from erdős is a front rounded vowel, [ø]. 13:37:05 hmm 13:37:36 oerjan: I'll as my friend who's working there. 13:37:48 (btw, we're going to have the largest ikea in north america. MWAH AH AH AH AH!) 13:37:49 Isn't IKEA the one that nobody actually owns 13:38:28 presumably it's owned by swedes 13:38:34 so yes, because they're not real people 13:39:02 oerjan: is the «oe» in «oerjan» also pronounced [ø]? 13:40:02 -!- ThatOtherPerson has joined. 13:40:10 Makes one wonder how close the Er-douche ő is to the Finnish ö. Wikipedia seems to suggest that it's pretty close; the difference between IPA /ø/ and /ø̞/ is supposedly rather small. 13:40:38 merriam-webster's audio sample makes it sound like erdursh 13:41:58 /ø/'s page says it's the vowel that a South African English speaker puts in "bird". 13:42:42 oerjan: heh 13:43:10 oerjan: I actually *can* pronounce it because I know French phonetics 13:43:35 We need to go around telling south africans they should pronounce "bird" like the second vowel in "Erdős" 13:45:12 -!- ThatOtherPerson has quit (Quit: Leaving). 13:59:43 boily: it's short, and wikipedia seems to think that's [œ], at least in "standard eastern norwegian" (which isn't my dialect, but i don't know that my own pronunciation of that sound is that different). the long version is [ø]. 14:00:24 * [øː] 14:01:25 we have both phonemes, so I can mispronounce it either way. 14:02:09 Ø KAY 14:10:29 -!- Arc_Koen has joined. 14:13:56 okay so it turns out that the life and career of stephen wolfram actually makes for a p. good tragedy if framed the right way 14:16:58 Remember that weird SK calculus interpreter I wrote 14:17:05 The C version is going well 14:18:12 weird in what sense 14:18:48 Weird in that it stores the Ss and the Ks in an integer 14:18:54 Using Cantor's pairing function 14:19:32 oh 14:19:49 couldn't you just use a regular tree serialisation!! 14:20:01 Nah 14:24:36 -!- nooodl has joined. 14:38:39 i think ais523's spam measures _might_ be failing. 14:39:07 It is a possibility 14:42:06 Phantom_Hoover: doit 14:44:07 ~duck doit 14:44:07 doit definition: an old Dutch coin equal to about ^^^1^^^D^^8^^ stiver. 14:45:53 are those old dutch numbers there 14:46:11 -!- Lymia has quit (Ping timeout: 252 seconds). 14:48:53 Nah, just someone trying to make 8^D smiley while high 14:53:48 What's a "stiver" 14:53:58 -!- AnotherTest has joined. 14:54:00 ~suck stiver 14:54:01 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 14:54:03 ~duck stiver 14:54:04 The word stiver is derived from the Dutch Stuiver. 14:54:15 One of them 14:54:42 ~duck stuiver 14:54:42 The stuiver was a pre-decimal coin used in the Netherlands. 14:55:04 ~duck netherlands 14:55:05 Often called Holland A country of northwest Europe on the North Sea. 14:55:10 ~duck europe 14:55:10 The sixth-largest continent, extending west from the Dardanelles, Black Sea, and Ural Mountains. 14:55:14 ~duck continent 14:55:14 continent definition: exercising continence. 14:55:27 The sixth-largest continent 14:55:31 I believe at that point 14:55:33 ~duck monads 14:55:33 monad definition: unit, one. 14:55:47 we may stop using the adjective "largest" 14:55:51 and go with "smallest" 14:56:03 Europe isn't a continent at all? Eurasia is 14:56:03 how many continents are there now? 14:56:12 9 14:56:17 that depends on your definition of a continent AnotherTest 14:56:29 9? like the planets? 14:56:40 (seriously, 9?) 14:56:45 y 14:56:47 there may or may not be more definitions of "continent" than there are continents according to any of them. 14:57:14 https://en.wikipedia.org/wiki/Continent 14:57:19 Eurasia, Africa, North America, South America, Antarctica, Oceania 14:57:19 welll I'm guessing most people's definition of "continent" are enumerations of continents 14:57:25 can't spot europe on that map 14:57:30 I just see eurasie 14:57:33 *eurasia 14:57:34 -!- impomatic2 has joined. 14:57:41 why would you put Europe and Asia together, but split america? 14:57:53 AnotherTest, it's animated and switches back and forth 14:58:21 Arc_Koen, the border between the Americas is tiny compared to the Eurasian border 14:58:21 Arc_Koen: America isn't split either? 14:58:26 Arc_Koen, do /you/ know where the line between europe and asia is? 14:58:33 AnotherTest, it's an animation 14:58:33 yes 14:58:34 the oural 14:58:36 well it shouldn't be 14:58:37 AnotherTest: um you realize that map is an animation 14:58:44 Yes 14:58:56 I'm talking about the frame with 5 continetns 14:59:00 *continents 14:59:12 Phantom_Hoover: at least that's what they used to say before that eurasia shit hit us 14:59:29 "The narrowest meaning of continent is that of a continuous[6] area of land or mainland, with the coastline and any land boundaries forming the edge of the continent." 14:59:47 AnotherTest: in that case Africa-Eurasia is only one continent 14:59:56 AnotherTest, so... the Isle of Wight is a continent? 14:59:57 Arc_Koen, oh, a fairly low mountain range that doesn't even correspond to a geopolitical border? 15:00:08 indeed 15:00:19 rockall is a continent? 15:00:25 and both Russia and Turkey would be split between two continents 15:02:43 actually in dutch we have the difference between "continent" and "werelddeel" (what you seem to be callling a continent) 15:02:48 -!- impomatic2 has changed nick to impomatic. 15:03:21 AnotherTest, is one of those what I would call "landmass"? 15:03:54 "continent" (Dutch word, not the English word) would be landmass 15:04:06 And there is the problem 15:07:27 -!- oerjan has quit (Quit: land mess). 15:08:43 "incontinent" 15:09:40 http://www.reddit.com/user/EliezerYudkowsky 15:09:43 er 15:09:48 http://www.reddit.com/r/math/comments/1al5n5/really_overwhelmed_and_frustrated_my_concerns_are/c8ysc20 15:09:57 honestly cannot tell if this is a parody account from this comment 15:11:12 that looks pretty serious 15:11:18 the last parenthetical is too true 15:12:26 it's suspiciously similar to the 'oh i can't do maths, it makes no sense' thing 15:13:16 A line heard only from students and mathematicians. 15:14:09 ~ duck duck 15:14:09 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 15:14:18 ~duck duck 15:14:18 duck definition: any of various swimming birds (family Anatidae, the duck family) in which the neck and legs are short, the feet typically webbed, the bill often broad and flat, and the sexes usually different from each other in plumage. 15:15:31 I don't see how understanding Python code makes you a good programmer though 15:16:18 that's like saying "if you can prepare an egg, you're a great cook" 15:16:33 or "you will be a great cook" 15:16:56 AnotherTest, he's saying that it means you have the possibility of being a great cook, and if you can't prepare an egg, you'll never be able to be a good cook 15:17:30 EliezerYudkowsky is the real one as far as anyone knows 15:17:46 Sgeo: I'm not sure about that either. People might be confused at first, but later sort it all out 15:18:10 no, AnotherTest 15:18:19 Away with this frequentist rhetoric. 15:18:29 ability is a function of innate genius only, don't you know 15:18:55 if you can't understand something within 5 minutes you're a useless impostor 15:20:22 I feel like a useless impostor now for not understanding every decision made in the Tor design right now 15:20:31 in 5 minutes that is 15:20:45 is it like checkout 15:25:54 so even someone who has never seen an egg in his life might be considered to have the ability to prepare an egg? 15:26:10 what if it takes him more than five minutes to figure out the shell is not edible 15:26:24 moron 15:26:44 Yes, if for example, this person has never seen an egg before it was to be prepared by this person himself 15:27:03 Can I request we remove a few layers of sarcasm and talk about something else 15:27:10 well I guess he can still make hard-boiled eggs 15:27:26 or just not boil them an make raw eggs of course 15:27:29 *and 15:27:53 so you're saying anybody can be a cook 15:28:02 No, I'm not saying that 15:28:37 anybody who can hold an egg for five minutes without letting it break on the floor or being eaten by a kitten 15:28:46 -!- copumpkin has quit (Ping timeout: 252 seconds). 15:28:53 and who has access to a source of eggs! 15:29:18 -!- copumpkin has joined. 15:29:26 forget not, that one cannot boil an egg that is not present! 15:29:34 (at least not AFAIK) 15:29:45 Taneb, i don't want to think about what would happen if we ablated off more than a couple of layers of sarcasm 15:32:39 ~duck ablative 15:32:39 In grammar, ablative case is a case in various languages that is used generally to express motion away from something, although the precise meaning may vary by language. 15:51:25 -!- Nisstyre has quit (Ping timeout: 256 seconds). 15:53:34 -!- FreeFull has joined. 16:05:54 -!- Nisstyre has joined. 16:17:31 -!- nooodl has quit (Ping timeout: 272 seconds). 16:24:21 -!- impomatic has quit (Ping timeout: 252 seconds). 16:31:30 -!- impomatic has joined. 16:37:45 You know 16:38:11 The Effects EDSL is a very cool thing 16:42:44 What’s that 16:46:31 oerjan: Yes, you can get pretty far in that sort of thing without the axiom of choice. 16:46:31 shachaf: You have 1 new message. '/msg lambdabot @messages' to read it. 16:50:19 -!- sirdancealo2 has joined. 16:51:56 if anyone was wondering 16:52:10 the new soprano spam page on the wiki is definitely *not* proper french 16:52:40 (in fact it's hardly readable at all) 16:52:42 oerjan: Next up, you can make an uncountable bounded shape which is congruent to a subset of itself. 16:52:56 (It's the same idea.) 17:17:14 Phantom_Hoover, Loughborough studying Computer Science and Maths, or Newcastle studying Maths 17:17:24 What advice would you give 17:27:05 I'm not terribly sure I like the interaction paradigm frameworks of this "Feedly" thing. 17:27:41 -!- Arc_Koen has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 17:29:31 * boily SEGFAULT: Too many buzzwords: `interaaction paradigm frameworks' 17:31:22 -!- Arc_Koen has joined. 17:34:19 Sweet. “Beetle Juice - A Minecraft Roller Coaster” http://youtu.be/afcudstM9zA 17:40:15 Sweet 17:40:34 Some of my friends made a big coaster back in beta 1.8, but it wasn't anywhere near as arty 17:41:52 http://www.youtube.com/watch?v=YpMRGzdSM5s 17:45:25 It's longer now, but parts of the extensions don't work 17:47:38 -!- epicmonkey has quit (Ping timeout: 256 seconds). 17:48:36 taneb: Cool 17:57:41 Taneb, there's a Loughborough university? 17:57:52 ...there's a place called Loughborough? 17:57:56 Phantom_Hoover, yes 17:58:03 It's got good sports and engineering 17:58:58 http://en.wikipedia.org/wiki/File:Loughborough_University%27s_Coat_of_Arms.svg 17:59:09 i like how hard that coat of arms is trying to look Olde 18:02:24 i have no actually useful advice, though 18:03:13 ~duck advize 18:03:13 --- No relevant information 18:03:18 ~duck advice 18:03:18 advice definition: recommendation regarding a decision or course of conduct. 18:09:12 -!- azaq23 has quit (Ping timeout: 245 seconds). 18:12:49 -!- Mathnerd314 has joined. 18:27:39 @ask ais523 can you look at the newest wave of spam pages? looks filterable 18:27:40 Consider it noted. 18:29:01 Phantom_Hoover, if I go to Loughborough, it will increase the esoteric migration to the midlands 18:29:27 better than northumberland! 18:29:39 Not really, the midlands are scary 18:29:46 The horizon is too low 18:29:57 -!- azaq23 has joined. 18:30:18 just stay close to the buildings and don't look up much 18:30:34 (either way, my first choice is York, I'm just deciding my insurance work) 18:31:36 did birmingham fall through? 18:31:45 Yeah, I didn't like it 18:31:55 Wasn't for me 18:32:00 understandable 18:33:33 Newcastle is a much nicer offer, but it's barely away from Hexham 18:33:44 And also, no computer science 18:34:09 what is the center of mass of this channel? I weigh ~150 lbs, and I'm at FN35EM (maidenhead locator). 18:34:27 I'd say somewhere in the north-east atlantic 18:34:37 Taneb, what're the conditions for york vs. loughborough? 18:35:36 York is AAA, Loughborough is AAB 18:36:23 You can get an approximation from /who * + geoip of all locations + averaging. (Just remember to average actual points and not some globular coordinates.) 18:36:38 fuck, how do you average spherical coordinates 18:37:56 you find the centroid in R^3 then project it onto the sphere, i guess 18:39:19 kmc: One way is to take a unimodal parametric distribution supported on the surface of the sphere (like the von Mises-Fisher), maximum-likelihood estimate the parameters, and then get what that gives. 18:39:34 i was afraid of that 18:39:41 That's what I do (except for two dimensions) for the hue in gcolor/fcolor. 18:40:02 too complex. 18:40:09 Bessel functions of the first kind 18:40:16 much way too complex. 18:40:17 doesn't my method work... 18:40:27 it's too complex, I said! 18:40:36 -!- azaq23 has quit (Ping timeout: 256 seconds). 18:41:16 You can do what PH suggests, too. (Perhaps they're equal for some family of distributions?) 18:42:27 ok. lessee what happens with /who * 18:43:15 (fcolor uses the Wikipedia-listed approximation of kappa, I think.) 18:43:19 Phantom_Hoover: what if the centroid in R^3 is... THE CENTER OF THE EARTH 18:43:26 hm. it just returns a bunch of «[#esoteric] Phantom_Hoover (~phantomho@unaffiliated/phantom-hoover/x-3377486) H 0 (Phantom Hoover)». 18:43:39 kmc, in this case, unlikely 18:43:48 -!- azaq23 has joined. 18:43:50 Oh, I forgot about freenode and cloaks. 18:44:17 Well, in a real IRC network you could do that. 18:44:22 everyone is «H 0», except some like nortti who a «G 0». 18:44:29 Here, or Gone. 18:44:31 kmc, i think in that case the average isn't well-defined 18:44:40 If I ue XenClient, I won't be able to run VirtualBox, will I? 18:45:00 Sgeo: you can, you just have to tweak a parameter in your VM config file. 18:45:02 but i'm just guessing 18:45:12 boily, o.O ? 18:45:27 i'm at approx 42.364537,-71.102614 if that helps 18:45:46 i'm at ~0,55 iirc 18:46:04 Sgeo: I may be confusing VirtualBox and VMware Player together, but to run a virtualised system inside a virtualised system, you have to explicitly enable that. 18:46:36 5557',311' 18:46:52 perhaps 8m above MSL 18:46:53 boily, huh, but there is an option that can be enabled. Cool 18:47:42 kmc: I don't need elevation yet, not launching any ICMBs at anyone, but thanks anyway. it may come handy sometime... 18:47:58 intercontinental missiles ballistique? 18:48:21 Phantom_Hoover: Actually, now that I look at it, the mean direction parameter of the von Mises-Fisher is the mean in R^3, normalized. I just do the concentration parameter estimation because I use the "directivity" of the distribution in the weight function. 18:48:23 s/MB/BM/, says I. 18:48:24 Intercontinental Magic Bananas, Phantom_Hoover 18:49:49 I'm somewhere around 60.2N 24.8E. 18:51:05 I'm to the east of the middle of Hexham 18:52:37 * Fiora is near ~34N/118W? 18:53:05 the drones are on their way to your houses 18:53:07 please stand by 18:53:21 (Though as the question was about the center of mass, I'm not sure how averaging spherical coordinates is relevant; the center of mass is not going to be on the sphere. Unless we're all in the same point.) 18:53:58 what are we doing btw 18:54:18 boily wanted to know the center of mass of #esoteric, presumably for some good and proper reason? 18:54:22 finding out where the average esolanger is 18:54:39 won't you need to know peoples' masses too for that? 18:54:42 if he wanted to know the centre of mass then projecting the centroid is obviously the right way to go 18:55:20 Phantom_Hoover: Why would you project it anywhere? 18:56:00 -!- epicmonkey has joined. 18:56:07 Fiora: that's why I stated that I weigh around 150 lbs. 18:56:14 I am ~2500 miles from where I was last week and ~700 from where I'll be next week. 18:56:23 Phantom_Hoover: indeed, it is to find the average esolanger. 18:56:27 Fiora: I was thinking of an approximation, assuming identical weights. 18:56:37 I'm the average esolanger 18:56:41 boily: I thought it was canonically established that the average esolanger is in Hexham, Finland. 18:56:57 So boily's statement is 100% accurate if you're elliott 18:57:03 (Alternatively, the average esolanger is probably suffocating somewhere deep underground.) 18:57:23 * Fiora is about 45kg if you need that, I guess 18:57:26 fizzie, so THAT'S what cpressey's up to! 18:57:58 wait 18:58:03 fizzie: is this the kind in Taphophobia or in 18:58:04 um 18:58:12 hey Phantom_Hoover what was that chapter called 18:58:20 did you guys just get a girl to tell her weigh? 18:58:22 oh Failure Mode 18:58:29 Arc_Koen: stfu 18:58:50 -!- azaq23 has quit (Max SendQ exceeded). 18:58:55 fizzie, er, right, that's only for finding the average 18:58:57 I volunteered it, slly :p 18:59:00 *silly 18:59:08 that's what you think 18:59:15 Phantom_Hoover: I guess you could project it if you want to know where to start digging. 18:59:29 elliott, also crushed underground 18:59:36 I don't know what to type in Wolfram|Alpha in order for it to compute the maximum depth that a direct line between (the center of) Finland and Hexham attains, even though I'm sure that is a number it can compute. 18:59:58 Phantom_Hoover: you could also say that chris has been........ presseyd 19:00:08 Phantom_Hoover: I guess that counts 19:00:10 (please, someone, give me a blunt object to hit me with) 19:00:14 boily: omg 19:00:29 @google distance from finland to hexham 19:00:31 http://www.distance-calculator.co.uk/world-distances-oulu-to-hexham.htm 19:00:31 Title: Travel Distance between Oulu, Finland & Hexham, Great Britain (UK) - Find out ho ... 19:00:37 good web page 19:00:48 fizzie: I remember using a point averager thing to find the perfect place for a Hexham/Helsinki meetup 19:00:52 it was in the sea 19:00:59 I didn't know crows fly between Finland and Hexham. 19:01:01 That sounds perfect. 19:01:55 I like how W|A gives distances in terms of speed of light in optic fiber. 19:02:12 elliott: it's telling you the meeting should be on a ship? 19:02:14 maybe 19:02:18 (Well, it's the "direct travel times assuming constant-speed great-circle path" table, not the actual result.) 19:02:22 i think it was maybe telling us not to bother 19:03:21 Not everything has to be about shipping, Fiora. 19:03:25 "midpoint between Hexham and Helsinki" computes [ line segment | endpoints (1,5) | (5,-4) | midpoint ], for some reason. 19:03:34 *pfff* 19:03:37 That's (3,0.5). 19:04:20 Yeah, after edwardk said something in #haskell-lens, I now ship tables/acid-state 19:04:32 Purely by eyeballing, the midpoint on the great-circle path it plots on the map would be quite close to Sweden's coast, but it could be in the sea. 19:04:45 thaneb 19:05:22 your welcomelliott 19:11:01 -!- monqy has joined. 19:12:42 monqy: hi, could I please get your coordinates and body weigh? 19:13:04 no 19:16:21 monqy.. its for the greater good.. 19:17:24 im sure 19:18:04 Good evening 19:19:07 he's trying to calculate the center of mass of the channel apparently 19:20:20 TWIST: monqy is the center of mass of the channel 19:21:02 * FireFly contributes with (Stockholm, ~65kg) 19:21:08 there is no channel but #esoteric and monqy is its centroid 19:22:58 Hexham, ~60kg 19:25:26 `? monqy 19:25:37 The friendship monqy is an ancient Chinese mystery; ask itidus21 for details. 19:25:59 `? #esoteric 19:26:01 ​#esoteric? ¯\(°_o)/¯ 19:26:20 `learn #esoteric is the only channel that exists. monqy is its centroïd. 19:26:28 I knew that. 19:26:54 `? d-modules 19:26:58 `? itidus21 19:27:02 D-modules are just modules over the ring of differential operators. Taneb invented them. 19:27:04 itidus21 just made some instant coffee. 19:27:14 Is itidus21 still alive 19:27:23 Apparently 19:27:31 Given that he just made some instant coffee. 19:27:40 pretty sure hell has instant coffee too 19:27:44 sooooooooooo 19:27:52 instan coffee doesn't proove nothing. it's not even coffee. 19:30:58 -!- Bike has joined. 19:31:38 ah! another vict^H^H^H^Hhappy volunteer! 19:31:50 Bike: hi, could I please get your coordinates and body weigh? 19:32:19 don't do it Bike 19:32:28 boily is trying to make a voodoo doll of you 19:32:36 hey didn't you tell me to do it 19:32:41 what's with this turnaround!!!!!!!! 19:32:46 monqy: are you Bike 19:33:05 shachaf: shush! you're interfering with the experimental protocol! 19:33:10 if he is, i must have already given him my coordinates and body weight. 19:33:20 Bike: no monqy refused 19:33:39 even when i said its for the greater good....................... 19:33:39 btw, I don't have shachaf's coördiweights. 19:33:52 boily: what's with the ö 19:34:07 are you trying to sweet-talk me with diæreses 19:34:19 shachaf: subliminal messages. you shouldn't have noticed them. 19:34:23 @wn sweet-talk 19:34:23 *** "sweet-talk" wn "WordNet (r) 3.0 (2006)" 19:34:24 sweet-talk 19:34:24 v 1: influence or urge by gentle urging, caressing, or 19:34:24 flattering; "He palavered her into going along" [syn: 19:34:24 {wheedle}, {cajole}, {palaver}, {blarney}, {coax}, {sweet- 19:34:25 talk}, {inveigle}] 19:34:31 ~duck sweet-talk 19:34:31 sweet-talk definition: cajole, coax. 19:34:48 but yes, indeed. 19:35:16 good job monqy. you're a credit to your race. the bicycle race. 19:35:17 12:03 shachaf: you do love your diaresis in english words :P 19:35:21 are you aristid 19:45:12 -!- nooodl has joined. 19:45:59 maybe third time. let me try another pitch... 19:46:48 nooodl: hi there, you fine gentleman. how's the weather today? would you mind to lend me your cöördïnäẗës and your body weigh, if you would mind, please? 19:47:02 (shachaf: watch the power of ultra diæreses.) 19:47:08 ülträ 19:47:30 yltreh? 19:47:32 ülträ dïæ̈rësës 19:47:51 boily: Edegem, Belgium: Mostly cloudy, 2°C (36°F). Wind chill: 2°C (36°F). Winds: calm. Dewpoint: 1°C (34°F). Relative humidity: 96%. Pressure: 1012 mb (29.89 in) (⇑). Visibility: 10.0 km (6.2 mi). Station: IANTWERP1. Updated: March 20, 8:45 pm CET. Alerts: ◼ Snow/Ice. 19:47:52 hth 19:48:06 coördinate seems to be the right way to write it 19:48:15 wooooah. that is some nifty formatting. 19:48:25 cöordinate 19:48:29 nooodl: um wheres teh body weight 19:48:32 *theh 19:48:36 i weigh 1012 mb 19:48:37 *hhhhhh 19:49:04 i literally don't know my body weight tbh 19:49:14 body weight is for losers with bodies 19:49:14 imo 19:49:21 belgium 19:49:22 silly corporeals 19:49:45 nooodl: I'll note edegem, and about 150 lbs. 19:50:10 i wonder if i could estimate monqys body weight 19:50:16 good luck 19:50:22 i dont even know it 19:50:24 if i had to guess: juuust under 60kg (130 lbs) 19:50:26 fungot: How's about your weight? Or is that a too personal question? 19:50:27 fizzie: if you have tcp/ ip back when it used to listen on all interfaces not so long ago 19:50:35 i wonder how much i weigh these days 19:50:38 it used to be like 40 kg 19:50:53 i don't know my body weight 19:51:14 was that when you were 12 elliott 19:51:15 although i know what it was 3.5 years ago?? because i have a card that says it 19:51:27 nooodl: that was when i was like 13, 14 19:51:44 close enough 19:51:45 it used to be 25kg 19:51:52 that's the last kg body weight i remember 19:52:13 I have eight entries, and none of you supplied me with the same format for your coordinates. gj. 19:52:24 TIL Unicode has Mathematical Operators: Invisible Operators 19:52:32 oh wow it's only... 52 kg wow 19:52:34 i'm skinny!!! 19:52:48 thats a lot of kgs 19:52:57 I think I've mentioned those once. 19:53:00 i dont know what weights mean 19:53:08 * kmc used to weigh 3.8 kg 19:53:09 They're not just mathematical -- there's also 2060 WORD JOINER [] 19:53:18 yeah i know of these 19:53:21 I guess I am still the smallest here 19:53:23 but i did not know about INVISIBLE TIMES 19:53:28 ~eval 52 / 0.45359237 19:53:30 Error (1): 19:53:31 but wow esoteric is like all skinny people 19:53:33 i used to way 0 kg 19:53:35 when i didnt exist 19:53:35 ~eval 52 / 0.45359237 19:53:36 114.64037633613634 19:53:39 wow did i just... 19:53:40 Fiora: i'm not skinny!! 19:53:40 typo weigh as way 19:53:54 hmm, iinm kg is a unit of mass, not weight 19:53:55 kmc is one with the planet 19:54:05 monqy: 1 kg is the mass of the International Prototype Kilogram hth 19:54:09 i can never remember what iinm means 19:54:13 kmc is made out of degenerate matter 19:54:17 elliott: if I'm not mistaken 19:54:21 so he weighs about 6e24 kg 19:54:33 sqrt(-1) * inch * meter 19:54:51 with a height of about 13k miles?? 19:54:52 i also don't know what masses mean 19:55:00 but the prototype kilogram is not in an inertial reference frame!! 19:55:06 "May you live in invisible times." (An old Chinese proverb.) 19:55:17 ++ 19:55:22 thank god 19:55:32 monqy: force over acceleration :-) 19:55:39 nooodl: bad 19:55:40 what about 2061 FUNCTION APPLICATION [] 19:55:45 imo ghc should support that one 19:55:49 UnicodeSyntax 19:55:56 haha 19:56:19 Should it be like a synonym for $? 19:56:42 maybe you can already define it?? 19:56:52 Wow, someone has english.pm and *isn't* using it as a perl documentation site? 19:56:55 someone-- 19:57:07 @let (⁡) = ($) 19:57:07 Illegal character ''\8289'' 19:57:10 ffffuuuuuu 19:57:35 I guess you meant $ in Haskell and not $? in Perl, though. 19:57:39 what is .pm 19:57:47 perl module hth 19:58:18 uh what is the nature of this character, is it just a zero width space 19:58:35 it has buddha nature 19:58:38 it's to make stuff like "f(x+y)" properly parsable 19:58:52 i.e. "is it the function f applied to x+y, or a number f times a number x+y?" 19:58:56 o 19:59:11 and it's invisible so it doesn't get in the way 19:59:25 what happened to unicode not encoding shit like that 19:59:34 the unicode committee happened? 19:59:43 i love unicode 20:00:15 function application much less important than "pile of poo" or cat faces 20:00:27 well thats just because of emoji import 20:00:34 imo people complaining about the emoji import are dumb 20:00:52 in elliotts o people are dumb 20:02:58 but theres 20:02:59 dominos 20:03:00 :/ 20:03:24 your password must contain: two numbers, two punctuation, two Yijing hexagrams, two invisible mathematical operators 20:03:32 two ancient greek musical notes 20:03:58 kmc: Is this one of those games where the requirements uniquely specify one password? 20:04:11 no 20:04:15 I should make a website with a password requirement like that. 20:04:15 is that a thing 20:04:19 sounds like a Mystery Hunt puzzle 20:04:22 Not as far as I know. 20:04:27 shachaf: I think you should, if you can 20:04:39 well, if you want to 20:04:41 "your password must match the following regexes:" 20:05:06 "your password is abc123" "confirm your password:" 20:05:51 you have 30 minutes to confirm your password or it will be towed at owner's expense 20:06:06 shachaf, bonus if you can make it look like there are many 20:06:11 (oh, and the forgot your password? page would just list everyone's password (i.e. print abc123)) 20:06:16 And all the requirements seem sensible 20:06:22 Taneb: do it 20:06:47 password satisfies requirements when preceeded by its quotation 20:07:17 your password must match the following regexes <-- oh, did you see the mystery hunt regex crossword? i still haven't finished it 20:07:23 i did see it 20:07:27 i finished it a couple weeks ago 20:07:29 did you see the solution in 30 lines of Haskell 20:07:30 using Z3 20:07:31 i made my own little thingy too! 20:07:36 "30 lines of Haskell and 300,000 lines of C++" 20:07:51 let me look for it 20:08:04 did you see ion's solution 20:08:05 it was smaller and had a much tinier alphabet ([abcd]) 20:08:08 shachaf: no 20:08:13 i solved it manually fuck all of you 20:08:17 is Z3 named after http://en.wikipedia.org/wiki/Z3_(computer) 20:08:24 it's kind of an awesome name for a theorem prover 20:08:55 https://github.com/ekmett/ersatz/tree/master/examples/regexp-grid 20:09:24 22 bit word length??? 20:09:25 i was thinking of writing something up to solve it but i figured it would be more fun to do it manually 20:09:38 and then i got like 70% of the letters filled in only to realize i'd made a mistake 20:09:41 such is life. 20:09:44 i used Yices to win at pub trivia once 20:09:50 ok imma make my puzzle into a html thing 20:09:51 This? Cool, hadn’t seen it. https://gist.github.com/LeventErkok/4942496 20:09:58 but i don't know if it's actually solvable! it probably is 20:10:06 that's the one i saw 20:10:17 there's probably even too many clues 20:10:48 probably 20:11:18 anyone know where i can buy 2,000 relays on the cheap 20:11:44 kmc: http://www.digikey.ca/ 20:11:46 dont talk about drugs in #esoteric kmc 20:12:14 kmc, if you're willing to PM I know a guy 20:12:20 heh really Taneb? 20:12:21 maybe later 20:12:22 Nah 20:12:28 I'm making the same joke as elliott 20:12:30 oh 20:12:32 Sorry 20:12:46 i was going to make a joke about radio shack but your jokes are better 20:12:58 pretty sure the punchline was just going to be "radio shack" anyway 20:13:07 I think there was something called Silk Road where you can buy relays with bitcoins? 20:13:23 monqy: is radio shack a real place 20:13:33 elliott: do you not have radio shack in uk 20:13:33 elliott, I think there's one in Gateshead 20:13:35 elliott: radio shack doesn't exist anymore. 20:13:41 A Radio Shag. 20:13:43 elliott: http://www.theonion.com/articles/even-ceo-cant-figure-out-how-radioshack-still-in-b,2190/ 20:13:49 I thought my solution was slow, but the one in the gist says it takes 7 minutes. :-) 20:13:58 also i think i remember reading about the illicit relay trade in soviet academia once 20:14:06 s/solution/solver/ 20:14:13 ion: Does your solution also prove uniqueness? 20:14:17 fizzie: nope 20:14:29 fizzie: The one in the gist says it takes 7 additional minutes to do that as well. 20:16:11 We don't have any Radio Shaqs in Finland, but there's some national electronics chains that I think are kind of bit of similar? (Like Yleiselektroniikka.) 20:16:21 good name 20:16:33 It means vaguely something like "general electronics". 20:16:48 yes but i has yl in it which is not a digraph i think i've seen initially before 20:17:03 radio shack still has a not entirely terrible selection of hobbyist / DIY electronic stuff 20:17:15 Yleinen, ylin, yllättävä, ylpeä, ... it's kind of common. 20:17:17 if you can make it to the back without someone trying to sell you a mobile phone 20:17:37 I don't think YE sells any mobile phones. 20:17:53 yliesierikoisapulaisvaravaurioraivausvuorovarausratkaisupäällikkö 20:18:02 `hyfinate yliesierikoisapulaisvaravaurioraivausvuorovarausratkaisupäällikkö 20:18:07 isn't that a thing 20:18:16 ~hyfinate yliesierikoisapulaisvaravaurioraivausvuorovarausratkaisupäällikkö 20:18:16 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 20:18:21 echo … | hyfinate 20:18:21 fuck it 20:18:22 hmm, it should be 20:18:23 There was also a shop called RadioDuo around when I was young, they were perhaps even more hobbyist/DIY-oriented. YE's kind of professional place. 20:18:30 `run echo yliesierikoisapulaisvaravaurioraivausvuorovarausratkaisupäällikkö | hyfinate 20:18:32 If it wasn't a thing then HackEgo would still print something. 20:18:34 No output. 20:18:35 y-lie-sie-ri-koi-sa-pu-lais-va-ra-vau-ri-o-rai-vaus-vuo-ro-va-raus-rat-kai-su-pääl-lik-kö 20:18:40 hyfinate will utterly fail with that one, though, since it’s a compound word. 20:18:55 what's it mean 20:19:11 `run echo yli-esi-erikois-apulais-vara-vaurio-raivaus-vuoro-varaus-ratkaisu-päällikkö | hyfinate 20:19:13 y-li-e-si-e-ri-kois-a-pu-lais-va-ra-vau-ri-o-rai-vaus-vuo-ro-va-raus-rat-kai-su-pääl-lik-kö 20:19:42 Apparently you can do the word separations manually. 20:19:50 pääls stick together 20:20:16 Someone has translated it. http://forums.nexuswar.com/viewtopic.php?p=243480&sid=136cdf7b3a8634e1fc95ef9a27d8d256#243480 20:20:17 la la la la 20:21:08 I've heard the lentokonesuihkuturbiinimoottoriapumekaanikkoaliupseerioppilas one before. 20:21:30 Also kolmivaihekilowattituntimittari is allegedly a word with real-world use. 20:21:45 * boily loves his French, short, simple words 20:21:47 (Three-phase kilowatt-hour meter.) 20:22:09 donaudampfschifffahrtsgesellschaftskapitän 20:23:19 you should write that kolmivaihe-kWhm instead 20:23:20 One of my favourite German words is "entgegengegangen", especially when written in script by hand. 20:23:40 whatsit mean 20:24:14 It's one of their two-part verbs, entgegen/gehen, except inflected. 20:24:17 hmm, not far from ngengengengeng 20:24:21 fizzie: "minimum" is pretty good to write in script by hand. 20:24:42 https://dl.dropbox.com/u/15495351/regex.html 20:24:45 have puzzle fun!! 20:24:47 But English can hardly hope to compete here. 20:26:05 -!- copumpkin has quit (Ping timeout: 252 seconds). 20:26:15 I've forgotten most of my German, but the base verb is something like "to go to meet [someone]", or "to go towards". 20:26:27 And then it's some past tense of that. 20:26:36 -!- copumpkin has joined. 20:26:46 I think it means something like "gone against" 20:26:53 They have a "ge-" prefix for some of those, that's where the "ge" in "gegangen" comes from. 20:27:04 Funny how the show instance for () is strict 20:27:14 Rather than just ignoring its argument 20:27:20 "to go toward(s), to approach , (um jdn zu treffen) to go to meet (fig) [einer Gefahr, dem Tode, der Zukunft] to face" says a random dictionary for entgegengehen. 20:27:41 Entgegen itself is kind of like against, toward. 20:28:02 I'm confused. do you go against, or towards? 20:28:48 Well, you know, you go against ("in contrary direction") someone, if you go towards someone who is coming to meet you. 20:28:57 They're not opposites. 20:29:07 -!- oerjan has joined. 20:29:12 nooodl: You’ll need to add some content to the s for all browsers to render the boxes.   perhaps. I think there’s also a CSS property you can use alternatively. 20:29:16 hmm, http://en.wiktionary.org/wiki/entgegen has different meanings for the preposition and the adverb 20:29:30 fizzie: aaaah, it's more clearer that way. 20:29:33 yikes 20:29:35 what does it break on 20:29:58 Every empty td. 20:30:08 no i mean, which browser(s) 20:30:14 At least my Firefox. 20:30:38 and my IE 20:30:40 19.0.2 20:30:41 try now 20:30:44 and my sword 20:30:59 Works now. 20:31:01 (well empty td's in general) 20:31:12 No  s needed with the ones with numbers in them, though. 20:31:28 'course not. i'm just lazy 20:31:48 replaced by   20:36:10 nooodl: btw, how did you make that weather report? I'm thinking about adding something similar to metasepia. 20:36:24 it's a weather bot in another channel 20:36:30 meh. 20:37:02 German compound verbs are kind of silly. Like that entgegen/gehen, it's split as "Ich gehe [...] entgegen.", but in the pluperfect tense it goes back together, with the auxiliary verb taking the place of the main verb bit, becoming something like "Ich war [...] entgengengegangen." (Disclaimer: only studied Germany for like a couple years in high school, forgotten most of it.) 20:37:25 (Where the [...] says where you're actually going.) 20:38:17 you'd want to use something like http://www.worldweatheronline.com/free-weather-feed.aspx 20:39:33 No, you should buy a commercial weather data feed. 20:39:53 E.g. http://corporate.foreca.com/en/products/forecaweatherapi/ for FINNISH PRECISION-GRADE WEATHER. 20:40:02 much better to just grab what's available from NOAA's NWS FTP. 20:40:02 Various product packages are available! 20:40:08 (I have a friend who works there.) 20:40:27 (I don't get a commission.) 20:40:56 precision-grade? 20:41:24 olsner: Doesn't it sound impressive? 20:42:08 It's like AIRCRAFT GRADE TITANIUM except MORE PRECISE. 20:43:24 Also, I've updated my Chromium, and I have a keyword search thing for google (so that "g foo" google-searches for foo) except now the SoSmartItHurtsBar has decided that the first alternative is to do a Google search for "g foo", and then there's a pile of history, and only at the bottom is the keyword bookmark thing. 20:43:35 For "wp foo" it goes to Wikipedia search immediately. 20:44:10 Is there some kind of priority setting to make what I want more preferrable? 20:45:07 (Also why is the history bit full of things that don't have either "g" or "foo" in them?) 20:45:35 it searches on history contents and stuff too 20:46:23 Well, I suppose the *page* does have "foo" as a substring, there's that. 20:46:27 And at least one g. 20:46:49 Oh, it's called Omnibox, not SoSmartItHurtsBar. 20:47:00 I think I'd like a bit more stupider address bar. 20:47:39 There's also ten gazillion search engines in the "manage search engines" list, I suppose it auto-populates that as I come across sites that can search for things? 20:49:12 Mhm, well, I made my "g" search the default selection, and now it seems to behave better. (Something had also made it "g_" instead. And there's a pile of other duplicates where there's www.example.com and www.example.com_ with slightly different URLs.) 20:49:29 nooodl: Does that crossword have a unique solution? 20:49:36 i believe it does 20:49:46 Is "that crossword has a unique solution" one of the clues? 20:50:03 hmm. yeah 20:51:55 i don't know if it'll help though 20:52:24 but i'm loving the idea of that "clue" being necessary to solve one of these 20:52:33 Let's see. 20:52:44 The only clues that refer to square 4 are 1A and 4D, right? 20:53:23 -!- Nisstyre-laptop has joined. 20:54:00 -!- WeThePeople has joined. 20:55:23 indeed 20:55:47 ooh i see what you're doing 20:55:54 And all 1A tells you is that row 1 starts with A, and all 4D tells you is that column 4 has two As. 20:56:17 that's clever. it's valid imo! 20:56:22 If neither of these tells you anything about square 4, then you don't know anything about it. Therefore square 4 should be A, unless I'm wrong somewhere. 20:56:29 Is it solvable without that sort of thing? 20:57:03 it should be 20:57:22 Oh, hmm. 20:57:29 Right, I'm just saying nonsense. 20:57:35 but feel free to use this kind of logic, i approve of it 20:57:38 -!- Frooxius has quit (Quit: ChatZilla 0.9.90-rdmsoft [XULRunner 1.9.0.17/2009122204]). 20:57:41 Or am I? 20:57:51 -!- Frooxius has joined. 20:58:55 Moreover the fact that it's solvable uniquely must mean there's only one other A in the column. 21:03:44 If you didn't write the puzzle with that fact in mind. 21:04:39 Hmm, I can't figure out whether square 6 is A or D. 21:04:43 Which probably means I made some mistake. 21:05:22 i'd imagine that "this puzzle has a unique solution" cannot possibly be necessary information, because if the puzzle is _really_ unsolvable without it that means it is false... 21:06:01 hm maybe if it's one of those self-referential meta-logical things 21:07:15 shachaf: probably my bad 21:07:16 maybe it could be uniquely solvable with help from that statement, but has multiple solutions otherwise 21:07:42 olsner: but how can that possibly be true? 21:07:59 nooodl: I have: ADDA␤ABBC␤.CBB␤BCBA 21:08:05 Where the . is [AD] 21:08:21 oerjan: I don't know, by using some kind of logic on it perhaps 21:08:28 damn that logic 21:08:28 both are valid, yeah. i need to remove one of the diagonal 6 options 21:08:39 (also, everything else is correct) 21:09:37 olsner: it could not be ordinary logic afaict 21:09:50 -!- boily has quit (Quit: Poulet!). 21:09:53 -!- metasepia has quit (Remote host closed the connection). 21:10:14 oerjan: maybe the puzzle has a square that has to be filled in with how many solutions it has 21:10:24 oerjan: Can you figure out a metapuzzle way to make it work? 21:10:29 when i become world dictator i'll make it illegal to talk in a phone within earshot of other people that aren't participating. hth. 21:10:56 elliott: ooh, maybe 21:11:08 oerjan: what if you're talking in russian though 21:11:13 Still illegal? 21:11:19 shachaf: perhaps i could if the housemate wasn't frying my brain with his phone talk. 21:11:24 oerjan: it might be more interesting to make it illegal not to participate 21:11:38 how many correct answers does this question have? hint: at most one 21:11:58 Bike: ½ 21:12:05 because that answer is only half true (there is actually 1 answer) 21:12:17 olsner: i'm not interested in making it interesting, i'm interested in giving people some peace and quiet. Also: snooze buttons will be illegal. 21:12:26 yeah zero isn't a fixpoint 21:12:28 woe 21:12:45 oerjan: you want to give me some peace and quiet and also deprive me of snooze? 21:13:04 oerjan that's terrible. oerjan for antipope 21:13:07 why would you want to give people peace and quiet? 21:13:25 oerjan is a hippie 21:13:30 elliott: if you don't need to get up when the alarm rings you shouldn't have set it to that time hth 21:13:32 I know someone who declared himself antipope a few years back 21:13:33 but not the protesting kind, because that's too loud 21:13:43 oerjan: what if I do have to get up at that time but don't want to. 21:13:54 oerjan: imo elliott makes a good point 21:14:07 He later experienced something very similar to a layman's idea of quantum immortality after being hit by a car 21:14:27 -!- Taneb has quit (Quit: Leaving). 21:14:30 is that another way of saying he died 21:14:35 elliott: then do what i do, turn off the alarm. it's not like you'll want to get up when the next alarm goes off either. 21:15:22 oerjan: you don't understand. i have to pretend to myself that i am a functioning person who can get up. 21:16:06 my alarm clock has some maximum number of snoozes, after which it just turns off the alarm entirely 21:17:05 olsner: ok that's clever. maybe i'll allow _1_ snooze. 21:17:20 shachaf: i fixed the issue in a pretty interesting way 21:17:24 down 1 is now 21:17:25 (.)(?!.+\1)[^B]+.* 21:17:48 it's easier to only have an off button 21:18:14 which forces it to be D 21:18:25 nooodl: I already closed my file... 21:18:27 if you're serious about not getting up you might as well not interrupt your sleep every 9 minutes 21:18:50 Now I have to remember how lookahead works. 21:18:55 how many correct answers does this question have, hint at most zero 21:18:58 me to 21:18:59 o 21:19:08 wait is this another regexp crossword? i solved the other one that was linked the other day, that was fun. 21:19:16 it's a small cute easy one 21:19:20 I just schedule three or so alarms with longer-than-9-minute intervals, and in the morning turn off as many as I need. 21:19:28 nooodl: Did you change the other letters at all? 21:19:32 i didn't 21:19:38 oerjan: https://dl.dropbox.com/u/15495351/regex.html 21:20:09 nooodl: Also you should specify that there's an implicit ^$ around every clue. 21:20:42 oh, i didn't bother mentioning that because it's how the mit puzzle hunt one works as well 21:20:46 i should, though 21:21:09 nooodl: Does this solve the ambiguity? 21:21:12 it does 21:21:12 You only changed 1 down? 21:21:21 irb(main):008:0> r.match('AADB') 21:21:21 => # 21:21:21 irb(main):009:0> r.match('AAAB') 21:21:21 => nil 21:21:38 Oh, it does. 21:21:39 where r is that down 1 clue. 21:21:46 I used perl -pe and forgot that it always prints. 21:22:10 imo you should get rid of the lookahead because who even remembers how that works 21:22:21 But I don't actually care since I've solved it. 21:22:26 no the lookahead is beautiful 21:22:38 imo i should make more clues silly things like it 21:22:54 -!- AnotherTest1 has joined. 21:23:17 imo go for it i guess 21:23:21 -!- kallisti has joined. 21:23:21 -!- kallisti has quit (Changing host). 21:23:21 -!- kallisti has joined. 21:23:30 imo you should make more clues depend on "this has a unique solution" 21:23:39 yeah that's fun 21:23:43 and figure out the issue oerjan pointed out 21:23:46 nooodl: *sigh* i need to import that into a paint program to annotate it... which would be easier if it were actually a picture format... 21:23:53 -!- Bike_ has joined. 21:24:01 oerjan: Just do it in a text file like I did. 21:24:10 -!- Bike has quit (Ping timeout: 245 seconds). 21:24:23 print it out? PrtSc? 21:24:51 -!- AnotherTest has quit (Ping timeout: 276 seconds). 21:24:57 http://i.imgur.com/b9U64y0.png use this? 21:25:19 I kind of cheated my way to figuring out that the 12th square is a B. 21:25:26 There was probably an honest way to do it. 21:25:39 is the search space of nooodls crossword small enough to brute-force 21:25:40 guessing yes 21:25:54 4^16 = 4294967296 21:25:54 > 4^16 21:25:56 4294967296 21:25:56 "go for it???" 21:26:16 Also called "32 bits". 21:26:16 absolutely\ 21:26:45 nooodl: thanks 21:26:52 elliott is so hardcore he won't even prune the tree 21:27:18 shachaf: "Tree"? I think you just uint32_t u = 0; it. 21:27:37 Then write some bitmask tests for the clues. 21:27:50 Writing those bitmask tests is more work than solving the puzzle. 21:28:01 it's also a fun way to spend time though 21:28:39 It gets more annoying when people introduce lookahead. 21:28:40 write a "4-length-ABCD-string" regex -> bitmask converter 21:29:26 > 4^4 21:29:28 256 21:30:10 actually, not just length 4. the diagonals are shorter 21:30:13 -!- Bike_ has changed nick to Bike. 21:30:53 hm i wonder if there's a cool way to do it with automata 21:32:21 a new kind of crossword puzzle 21:34:14 ++ 21:37:10 -!- AnotherTest1 has left. 21:40:09 hmm 21:40:27 we know column 4 contains 2 As, and a C or a D in its second row 21:42:02 ah, fuck it 21:42:42 -!- ais523 has joined. 21:42:43 most of the boxes contain one A, B, C or D 21:47:38 I think there are some +s in those regular expressions that are meaningless, except perhaps psychologically implying that there ought to be more than one. 21:48:03 E.g. I think A+.* and A.* would describe the same languages. 21:48:09 fizzie: i thought so too 21:48:51 olsner: wait i was assuming there was exactly one letter in each box :P 21:49:24 fizzie: Yes. 21:49:25 -!- Nisstyre-laptop has quit (Ping timeout: 264 seconds). 21:49:43 X+.* might as well be X.* 21:51:52 oerjan: oh my, what a silly assumption! 21:58:13 The guy in the video that I'm watching is saying that the anti-static bag is "non-conductive material" 22:00:16 Sgeo: that's the opposite of reality, isn't it? IIRC anti-static bags are as conductive as possible 22:00:16 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 22:00:20 @messages 22:00:20 elliott asked 3h 32m 40s ago: can you look at the newest wave of spam pages? looks filterable 22:00:42 ais523, the guy is going on a rant about it 22:01:16 -!- Lymia has joined. 22:01:17 -!- Lymia has quit (Changing host). 22:01:17 -!- Lymia has joined. 22:01:54 He has a video called anti-static mythbuster 22:01:57 This should be interesting 22:03:31 I think what's going on is he hears myths "It's bad to put electronics on top of an anti-static bag because the bag is conductive", sees and tests that no harm comes from it, then decides that it's "the bag is conductive" that is the problematic part 22:04:31 http://www.youtube.com/watch?v=ZTGar7aoLDs 22:07:27 wtf i've made an error 22:08:25 oerjan's first ever error was thinking he made an error. 22:08:29 elliott: I've installed a filter that catches and automatically blocks every spambot we've had recently 22:08:33 and should have few false positives 22:09:10 if the filter is hit, the user who hits it is taken to a page that looks like a submit edit form, with a warning not to submit; the submit button blocks them 22:09:23 -!- WeThePeople has quit (Ping timeout: 252 seconds). 22:09:24 ais523: i see lots of spam on the wiki 22:09:36 oerjan: I know, did you see the message from elliott? 22:09:45 ais523, you assume that people actually read. 22:09:46 I've been configuring the spam filter to try to automatically deal with it 22:09:56 Sgeo: well if there's a user acting like a spambot and not reading messages 22:09:58 no 22:10:10 they're indistinguishable from a spambot anyway 22:10:11 * Sgeo wants to see this warning 22:10:22 Sgeo: http://esolangs.org/wiki/MediaWiki:Abusefilter-spambotlike-warning 22:10:29 -!- WeThePeople has joined. 22:11:09 i don't get those instructions. go me 22:11:43 Bike: what don't you get about them? 22:12:43 "please make an edit elsewhere..." "There is a button on this page to submit the edit". "this page" implies it should be the abusefilter page, to me 22:13:05 Bike: that message shows on the top of an edit page 22:13:07 normally 22:13:13 you're seeing it out of context because you aren't a spambot 22:13:29 oh 22:13:53 well then wait, it tells me to go edit another page, but then don't save "that edit" 22:14:00 where what you mean to say is don't save /this/ edit 22:15:11 hmm, I see 22:15:40 Bike: better? 22:15:55 yeah, i think so 22:16:02 Instead of watching this video I''m going to go read 22:16:38 still seems a bit overcomplicated, non-fuckedimage captchas i see are usually more like "what's the next number in this sequence", but i'm not an admin, so i dunno how well that works. anyway brb vampirism 22:16:49 Bike: we have captchas 22:16:50 people get past them 22:16:53 I'm attacking two regularities in the spambots' posting: a) they always try to edit their userpage first, b) they seem to be using some sort of wikitext generation library that uses
tags in a way that humans rarely use 22:16:57 that warning only shows if you do suspicious things 22:17:57 the current way to trigger it is to use a sequence of
tags with no surrounding whitespace, in your first edit ever, to a userpage, and have no newlines anywhere in the page 22:18:09 most humans will use \n\n for paragraphing, not

22:19:04 and the sort of page with markup complicated enough to want
will almost certainly contain paragraphing or headings elsewhere on the page 22:19:15 even without the "new user" restriction, I don't think we get false positives 22:19:41 ais523: do you mind if i make the warning more red 22:19:46 elliott: no 22:19:49 I am just wary about giving people a block themselves button like that 22:19:54 since they might not notice the warning 22:19:59 I tend to not make warnings too colorful because then they hit my mental ad blocker 22:20:03 they can also appeal on their user talk page 22:20:14 finally, we have a log of things that hit the filter 22:20:23 -!- hagb4rd has quit (Ping timeout: 252 seconds). 22:20:26 http://esolangs.org/wiki/Special:AbuseLog 22:20:30 so we can check for false positives manually 22:20:35 oh well, I've made it red 22:20:37 we'll see 22:22:35 nooodl: i keep reaching a contradiction D: 22:23:32 one possible thing: those regexes are meant to match the _whole_ line, aren't they? 22:24:07 yes 22:24:11 he said so earlier 22:24:53 I made a solve, and submitted it to the TEACHER a moment ago. 22:24:54 oh, oerjan isn't talking about the spam filter 22:25:02 the question was reasonable in that context too 22:25:03 But it's possible I misthinked something. 22:25:20 btw 22:25:21 http://esolangs.org/w/index.php?title=Gothlaw_The_Witching_Hour_The_Bitchin_Hour&action=edit&redlink=1 22:25:25 someone please make this spam title esolang 22:25:26 thanks 22:25:56 "And yes, we will talk about about these Fleshlight. Nothing was heard about her Fleshlight from one of the most confusing things in our lives. I continue to worry that the new fleshlight Girls." 22:26:37 That looks hard to write an interpreter for. 22:28:23 The Bitcoin Hour 22:28:47 is that like the Dark Hour is persona 3? 22:29:12 at midnight, time stops and everyone turns into bitcoins 22:29:26 and bitcoin scammers and hackers roam the streets and steal your wallets 22:29:31 salvia trip idea: everyone turns into bitcoins 22:29:42 *in persona 3 22:31:07 When you hit the P switch, all bitcoins turn into blocks, and then you can jump on them. 22:34:53 -!- aloril has quit (Ping timeout: 276 seconds). 22:38:22 fizzie: the one you solved, was it with 1 down being (.)(?!.+\1)[^B]+.* which i think was a final change? 22:41:36 oerjan: I think so. It was that .png version. 22:41:44 ok 22:45:08 fizzie: to be precise, i interpret that clue as "there cannot be an A in the last two rows of the first column, nor a B in the second row of the first column 22:45:29 so if you have either of those, that might explain it 22:47:45 I don't have an A in the last two rows, nor a B in the second. 22:47:57 ok 22:48:21 (And I interpret it the same way. Though you spoiled the top-left corner!) 22:48:38 OKAY 22:48:47 it wasn't precisely a hard corner to find :P 22:48:50 I think I spoiled the whole puzzle already. 22:51:06 -!- epicmonkey has quit (Ping timeout: 264 seconds). 22:53:20 -!- hagb4rd has joined. 22:58:45 fizzie: you don't have D,B,C down the second column do you? (that's what i get as a contradiction) 22:59:51 well, the B above the C 23:01:18 I liked the old 1↓ clue better. 23:02:45 wait what 23:02:56 what 23:03:07 oerjan: Did you use the clue that there's a unique solution? 23:03:11 what i just asked fizzie was a misreading 23:03:13 shachaf: no 23:07:21 I did not use that clue either. 23:07:45 And no, I don't have DBC in the second column. 23:08:02 Use: /last ␤ to see my solution. 23:09:01 Or maybe I do have DBC there and can't read my mousewriting. 23:09:35 (How's DBC in 2 down a contradiction?) 23:09:45 that's good, because i realized that wasn't an error anyway. i must have messed up 2 down and 2 diagonal at some point. repeatedly. 23:11:03 Come to think of it, dbc hasn't been around in a while. 23:11:22 Perhaps he's been stuck in 2 down all this time. 23:11:26 it works! 23:12:35 same as shachaf 23:12:53 But you didn't use my nifty extra clue. 23:13:10 well i have a D instead of your period. 23:13:23 no, i didn't. 23:13:31 That's because you're using the new 1↓ clue. 23:13:39 I was using the old one, which left it ambiguous between A and D. 23:13:51 aha 23:14:34 food -> oh, and laundry -> 23:22:16 -!- DHeadshot has joined. 23:28:01 I agree with you folks there. 23:28:31 Except mine is done in https://dl.dropbox.com/u/113389132/Misc/20130320-regexsol.png HIGH FIDELITY. 23:28:55 whoops, i was gone for a while 23:29:19 fizzie's solution is correct 23:35:45 elliott.............. 23:37:22 ………………………………………………………………………………………………………………………………………………………………………… 23:42:55 16:52:42: oerjan: Next up, you can make an uncountable bounded shape which is congruent to a subset of itself. 23:42:58 16:52:56: (It's the same idea.) 23:43:03 still without the axiom of choice? 23:43:09 Yep. 23:43:14 hm i guess as long as it is zero measure 23:44:45 oh hm 23:45:12 {r*e^(in) | 0 < r < 1, n natural} 23:45:19 (duh) 23:45:22 Yep. 23:45:41 but can you manage with just the unit circle? 23:45:56 haha my brother walked in on me staring at this regex puzzle a couple of minutes ago 23:46:03 he asked, "what's that, a sudoku?" 23:46:04 it is now 23:46:31 seriously. imagine if i made a 9x9 sudoku/regex crossword puzzle 23:46:34 you weirdos and your siblings 23:46:55 siblings are pretty good imo 23:47:30 imo... no 23:47:45 imo i don't think you have any, elliott? 23:47:49 exactly 23:47:52 siblings are terrible 23:48:01 * oerjan doesn't either 23:48:28 although not having siblings might be worse? 23:48:53 -!- carado has quit (Quit: Leaving). 23:49:06 -!- carado has joined. 23:49:44 everyone who participated in solving my little puzzle thingy should try to make one theirselves! tons of fun guaranteed 23:50:03 1 across: A+ 23:50:06 2 across: A+ 23:50:08 3 across: A+ 23:50:12 4 across: A+ 23:50:47 1 diagonally: B+ 23:51:15 HEY GUYS I JUST HAD THREE CUPS OF COFFEE AND THESE CAPS ARE NOT NEARLY ENOUGH TO REFLECT HOW I REALLY FEEL 23:51:20 what's up? 23:51:24 i'm going to bed now but i expect at least 15 of them in my lambdabot inbox when i get back!! 23:51:27 hi Arc_Koen 23:51:31 bye monqy 23:51:35 bye nooodl 23:51:35 hello monqy 23:51:37 bye noodl 23:51:44 bye Arc_Koen 23:51:47 send my apologies to the third o 23:51:56 he's used to it :') 23:51:57 or maybe the missing o was one of the first two 23:52:01 we'll never know 23:52:20 i'm sometimes "nooodle" too which is fun 23:52:33 never nooodles? 23:52:34 apparently reading is hard? apparently reading my name is hard at least 23:52:40 yeah 23:52:47 cause it's so unusual 23:52:50 Help I mapped my tab key to capslock 23:52:56 I get that a lot when I have to spell my name to someone 23:53:09 S - T - E - P - H - A - N 23:53:24 and they answer "yeah yeah I know" and write stephane 23:53:46 (huh i was guessing your name would be "koen") 23:53:56 not my first name 23:54:03 also Koen isn't the right spelling 23:54:26 it's the spelling I use when I'm being incognito on the internet 23:54:32 stephan cohen? 23:54:35 do you say incognito in english? 23:54:40 yes 23:54:42 wow, that's even worse a spelling 23:54:43 or anonymous 23:54:52 stephan koan? 23:54:56 "when i'm being incognito" felt wrong 23:55:07 Where's cognito? 23:55:10 you can try many spellings and maybe in a few hours we'll reach the good one 23:55:19 Jafet: I reckon it's in mexico 23:55:35 Phantom_Hoover: also my real name figures somewhere on the wiki 23:56:59 also 'going incognito' would be more standard 23:57:06 ohhhh right thank you 23:58:11 sooo nooodl you were talking about a puzzle 23:58:37 i conclude from the logs that the average esolanger has a heavy mantle to bear 23:58:51 is that because the average esolanger is like, inside the earth 23:58:53 under the mantle 23:58:57 nice 23:59:12 Fiora is quite smart 23:59:25 Arc_Koen: https://dl.dropbox.com/u/15495351/regex.html 23:59:36 but she needs to work on not explaining jokes 23:59:41 regew puzzle 23:59:56 for some reason I knew it wasn't going to be an everybody puzzle 23:59:56 oh. that was. actually a joke 23:59:57 Fiora did you explain a joke again