00:01:27 -!- shikhout has joined. 00:02:12 -!- Bicyclidine has quit (Ping timeout: 260 seconds). 00:02:16 -!- spiette has quit (Quit: :qa!). 00:04:36 -!- shikhin has quit (Ping timeout: 250 seconds). 00:07:58 oerjan: Ba-dum tsh 00:08:51 Help I'm thinking about shapes again 00:09:16 what shapes 00:09:19 i hear that's common with young people 00:09:32 i did a geometry module last year, ask me anything about triangles 00:09:49 Phantom__Hoover, I started with octohedra and then went to rhombic dodecohedra and now I don't even know 00:09:54 But I'm gonna make one 00:10:04 out of what 00:10:21 Paper and sellotape probably 00:10:30 sellotape?? 00:10:35 learn modular origami, it's the shit 00:11:24 p-adic origami 00:15:06 I cannot find sellotape :( 00:15:29 well it sounds like something they'd sell 00:16:13 It's quarter past one and I don't know of any 24 hour shops that sell sellotape 00:16:53 No Walgreens nearby? 00:16:57 just use superglue instead 00:17:26 Wait, juding by time zones, not the right nation X-D 00:17:51 Gregor, yeah, I'm slightly in York, North Yorkshire 00:18:13 Also, seriously, if you assume America then there's a nearby Walmart. 00:18:19 And trust me, Walmart sells tape. :) 00:18:21 I'm slowly remembering this universe ^^ยด 00:18:30 My nearby Walmart isn't 24/7 00:18:35 Aaaw. 00:18:37 That's sad. 00:18:53 It's like a sad counterfeit of Walmart. 00:19:26 But how are you supposed to shop at 3am in a minor daze? 00:19:38 ... Walgreens? 00:19:58 Gregor: so your absence was due to interdimensional travel? 00:20:00 (Actually I don't think Walgreens is in Canada, hyuk) 00:20:04 ... but how am I supposed to randomly decide I want curry and then succeed with what's available from Walgreens? 00:20:06 elliott: Feels like it. 00:20:35 pikhq: The very BEST Walgreens... um... toothpaste is like curry. 00:20:47 Not that this is much of an issue now. 00:21:07 The ability to make curry on a whim is something I make sure of now that I have my own place. 00:21:22 Man's gotta have priorities. 00:21:38 Got one of those curry-making magical wands, eh? 00:21:40 *poof* curry 00:21:44 curry toothpaste. 00:21:51 Sadly no. 00:21:57 Just a well-stocked kitchen. 00:22:26 elliott: I have the best ideas ever, no? 00:22:35 By god curry toothpaste. 00:22:58 This is either a fantastic idea or a terrible one. 00:23:04 I'm gonna vote terrible. 00:23:22 Without trying it, I'm going to agree. 00:23:30 spicy toothpaste... 00:24:08 It's so that you can be brushing while you purge. 00:24:10 It gets you started. 00:24:26 Follow up with mango habanero ice cream. 00:27:59 mango habanero ice cream doesn't sound too bad, but maybe not *after* brushing... 00:28:30 paul2520: It is a real thing. 00:29:45 pikhq: it's easy to make: http://www.bigoven.com/recipe/mango-habanero-ice-cream/108897 00:30:27 That URL implies that you would make it in an oven. 00:30:30 That feels wrong somehow. 00:30:40 (A big one, in fact) 00:31:00 haha. the instructions involve no ovens. 00:31:01 Well you *could*. 00:31:14 I feel like it would be hot enough with the habaneros... 00:31:18 no oven necessary 00:31:21 But this would be a very odd use of an oven. 00:32:13 Step one: Do not pre-heat oven. 00:32:17 Step two: Fill oven with ice. 00:32:59 you're telling me you don't eat your ice cream piping hot? 00:33:33 Well, not generally. 00:33:35 Apparently Walmart ice cream doesn't melt (because KEMIKILLS OH GAWD DON'T EAT IT) so presumably you could eat that quite warm. 00:33:39 Though in winter it's sometimes tempting. 00:34:24 Gregor: Real reason is that the ice cream sandwiches have gum in them. I think it was gum arabic? 00:34:29 Gregor: if you're talking about the video I'm thinking of, it did melt eventually outdoors 00:34:35 pikhq: They've got a whole collection :) 00:34:36 so probably really hot would not be manageable. 00:34:38 (of gums) 00:34:57 pikhq: is that why my mouth doesn't melt when it gets hot? 00:35:08 Outstanding. 00:35:09 10/10 00:35:12 elliott: Yes. Yes it is. :P 00:36:49 SCIENCE FACT: If you removed all of a person's teeth and laid them end-to-end, that person would probably be quite cross with you. 00:37:21 that's a weird fetish. why not just lay them without removing their teeth? 00:37:41 Teeth can hurt. 00:51:57 does that mean chewing gum can be used to reinforce my mouth? 00:52:15 Phantom__Hoover: Not if you spit it out. 00:52:28 You have to mold the chewing gum onto your own gums. 00:52:31 Most people forget to do that. 00:55:15 ah 01:16:38 -!- paul2520 has quit (Changing host). 01:16:38 -!- paul2520 has joined. 01:20:52 -!- maurer has quit (Ping timeout: 250 seconds). 01:23:28 -!- oerjan has quit (Quit: leaving). 01:43:15 Shapes are hard :( 01:43:29 The hard ones are. 01:43:44 I don't know how to construct a pentagon 01:45:06 Asymmetry sucks. 01:46:49 http://en.wikipedia.org/wiki/File:Pentagon_construct.gif practical!! 01:52:01 Ooh Github has LSL hilighting 01:53:01 too much work; I would just draw a pentagram and either use the inside or outside for the pentagon 01:53:13 I can draw a decent-enough pentagram 01:59:38 have fun making it regular 02:00:29 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:01:38 ....why the flying fudge did I ask for donations in a product I sold? 02:02:16 hahaha 02:02:42 Well, the code is permanently and irreversibly online now 02:02:42 -!- Lymia has joined. 02:02:56 https://github.com/Sgeo/Antiposeball/blob/master/Antiposeball%205.lsl 02:03:06 I apparently severely misunderstood animations 02:03:33 What is LSL? 02:03:47 And it uses sensors instead of llGetObjectDetails()... because llGetObjectDetails() didn't exist when I wrote it. 02:03:53 Taneb: the scripting language used in Second Life 02:16:31 Sgeo, ah 02:16:46 "Linden Scripting Language" I guess. 02:18:01 yeah 02:21:52 -!- paul2520 has quit (Quit: leaving). 02:25:00 -!- paul2520 has joined. 02:27:17 Is there a friendly way to criticise Racket? 02:28:18 it is not compatible to Java(tm). 02:29:18 There's a macro called struct*, used for pattern matching on structures. It takes a struct-id and field name(s). It needs to get the accessor function for the field, for obvious reasons. It does this by combining the struct-id and field name. But then, this needs a context, so.... it assumes that the function is to be found in the same context as the field name. This seems arbitrary (although clearly a choice needs to be made), and requiring 02:29:18 documentation. 02:29:28 Maybe I should write an example... 02:31:41 The worst part is I don't know what the correct thing to do is... except 1) Have the accessors accessible in a cleaner manner, directly off data contained by the struct-id. 2) At least document the scenario, and all scenarios where an identity is assumed to be located in a context input to a macro, and where the used context is not trivially obvious 02:32:05 -!- paul2520 has quit (Quit: WeeChat 0.3.8). 02:40:43 have the struct-id evaluate (in some appropriate lexenv) to a description of the structure that includes an ordered sequence of field names? 02:40:54 actually, to an ordered sequence of accessors. 02:45:32 -!- paul2520 has joined. 02:59:32 -!- paul_2520 has joined. 03:00:56 -!- paul_2520 has quit (Client Quit). 03:03:12 I believe it already does the former 03:03:19 Going from that to the latter not so much 03:03:34 -!- guest3244345245 has joined. 03:08:31 ...WHY am I getting ads for Dyson airblades? I mean, I used one yesterday, but I don't think Google is psychic. 03:09:08 that's what they want you to think 03:09:10 -!- guest3244345245 has quit (Quit: Leaving). 03:09:13 Hmm. Maybe I did click a link recently 03:09:28 For unrelated reasons 03:30:12 I'm quite confident that Google is not psychic. 03:30:22 However, you may want to check for eye implants. 03:30:30 Google Eye forced beta test? 03:31:09 pikhq: why are you so confidengt? 03:31:20 Because I am psychic. 03:50:40 pikhq: :O 03:50:59 Note to self: Never learn by example. 03:51:23 I did not know that this was allowed in jQuery: someJQueryElem.attr({foo: "a", bar: "b"}) 04:46:27 -!- Sorella has quit (Remote host closed the connection). 05:22:57 Facebook spammer spammed me... in an interesting way 05:23:03 Attached an image with an email address 05:23:25 that is... an interesting way 05:23:34 interesting enough... to merit an ellipsis 05:23:44 http://i.imgur.com/YQd54gJ.png 05:24:37 did you actually reply to an obvious spammer 05:24:58 oh no you've leaked your name 05:25:06 I've leaked my name before 05:35:01 -!- shikhout has quit (Ping timeout: 272 seconds). 05:43:46 loveth gerald is a great name 05:47:48 -!- FreeFull has quit (Ping timeout: 246 seconds). 05:55:35 -!- MoALTz_ has quit (Quit: Leaving). 06:03:20 Huh. Apparently HSTS can be disabled. 06:03:41 * Sgeo was under the impression that sending an HSTS header was an irreversible action 06:23:55 -!- shikhin has joined. 06:24:02 ahahahaha 06:24:02 https://www.leviathansecurity.com/blog/the-double-edged-sword-of-hsts-persistence-and-privacy/ 06:24:22 (When I first saw that, I was thinking maybe timing + max-age shenanigans, but that's very fiddly) 06:38:58 Freenode got hacked? 06:47:18 -!- vyv has quit (Ping timeout: 246 seconds). 06:49:18 -!- vyv has joined. 06:55:20 " Note, that even the specification got this part wrong in its example on violation reports " 07:21:58 -!- conehead has quit (Quit: Computer has gone to sleep). 08:24:31 -!- Patashu has joined. 09:10:02 -!- AnotherTest has joined. 09:15:16 "Git gets easier once you get the basic idea that branches are homeomorphic endofunctors mapping submanifolds of a Hilbert space." 09:15:21 is that true? :D 09:15:35 the part about what branches are, not that git gets easier 09:15:43 lol 09:18:21 It's nonsense. 09:18:50 As long as you're going to say something like that at least make it sound plausible. 09:19:06 please do so 09:19:07 Yeah, that sounds like more of a darcs concept. 09:19:50 (unless you want a generalized zygomorphism) 09:21:48 shachaf: I did try to invent something more plausable => http://www.math.bme.hu/~ambrus/pu/git-extensions 09:27:26 Why does read -p "foo" terminate without me entering a line 09:27:32 is this due to background jobs? 09:29:39 mroman_: maybe some program forgot to restore your stty (tcsetattr) settings, but you don't notice that because the shell temporarily sets a different stty mode for its readline prompt 09:30:13 mroman_: read doesn't normally use readline, just the normal canonical terminal input 09:30:31 (it can use readline if you give the -e switch) 09:30:36 I'm trying to launch some processes with & 09:30:38 but they all die 09:30:40 I have no idea why 09:30:44 even with the read -p 09:30:45 they die 09:30:56 http://www.theproofistrivial.com/ i like 09:30:57 I thought with read -p they'd run until I enter something 09:31:13 mroman_: huh? now I don't understand what you're doing 09:31:17 what is read having to do with this? 09:31:25 can you show what exactly you're trying? 09:32:27 well 09:32:37 myname: hehe 09:32:45 java -jar foo.war 09:32:51 but these war files terminate when you press enter 09:33:03 i.e. they probably have something like System.in.readc(); exit(); 09:33:22 if I launch them within a script they immediately exit 09:33:41 if I launch them in my terminal they run as long as I don't press enter 09:35:10 mroman_: hmm... but what does read (the shell builtin) have to do with this? 09:35:26 (also, maybe those java programs are just stupid) 09:35:32 maybe 09:38:19 ah 09:38:21 it's even worse 09:38:26 it's System.in.read(); server.stop(); 09:38:33 which is supposed to "block" 09:38:41 but it doesn't block if no terminal is attached to stdin 09:38:56 what's attached instead? /dev/null ? 09:39:36 if the program is ran on the terminal but only backgrounded, a read from the terminal should stop the program with the SIGTTIN signal until it's foregrounded 09:40:40 I suppose if you launch it with & 09:40:48 then System.in.read will read 0 bytes and immediately return 09:40:58 no, it shouldn't do that 09:41:07 it should stop the process with a SIGTTIN signal I think 09:41:14 hu? 09:41:37 oh wait 09:42:03 if the process ignores/handles that signal so it continues (doesn't wait till it's foregrounded), then the read does return an error 09:42:09 specifically EIO apparently 09:42:11 let me verify that 09:44:10 yes, EIO 09:44:25 so maybe the program or the java runtime is stupid enough to ignore that signal specifically? 09:45:34 read() returns -1 if there's nothing more to read 09:46:05 mroman_: it returns -1 in case of an error, storing the error code to errno; returns 0 if there's nothing to read (EOF) 09:46:24 Java has errno? 09:47:04 no idea, maybe it puts the error in a java exception or something, or you need to use a different java function. check a manual. 09:47:10 FWIW, a tiny test-case on OpenJDK says it stops like any other process. 09:47:10 damnit. 09:47:17 I've replaced System.in.read with readline 09:47:21 but either it's not recompiled 09:47:23 or... 09:47:55 fizzie: great, it sohuld 09:47:57 http://sprunge.us/EiDO and so on. 09:48:16 (The 'x' is my input after foregrounding it; but anyway, it blocked at the read.) 09:49:01 fizzie: good 09:49:29 hm 09:50:13 weird 09:50:20 I added a syntax error to the launcher 09:50:22 but it compiles :D 09:50:24 wtf 09:51:54 yeah 09:51:55 ok 09:52:07 those morons should've added clean to the mvn command line probably 09:54:27 oh wait 09:54:28 ok 09:54:31 hm 09:55:00 you edited the wrong file? 09:56:37 I don't think so 09:56:49 It's linked as mainclass in the pom.xml 09:57:12 the mainclass doesn't compile though 09:57:18 but stuff that depends on it still does 09:59:06 Honestly I'm completely new to Java and maven 10:01:01 -!- FreeFull has joined. 10:01:17 I mean 10:01:24 -!- FreeFull has changed nick to Guest99165. 10:01:37 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 10:04:00 This is bad 10:04:19 if something doesn't compile it magically loads the last compilable version from the sky or wherever 10:04:31 which means it won't tell you if something doesn't compile 10:05:37 well... at least my new stuff is now compiled in 10:06:01 but System.console() is null if you launch it with & :) 10:10:28 fine. while(true) will do 10:12:03 -!- boily has joined. 10:13:34 That's kind of what the documentation says. 10:13:46 "If the virtual machine is started from an interactive command line without redirecting the standard input and output streams then its console will exist and will typically be connected to the keyboard and display from which the virtual machine was launched. If the virtual machine is started automatically, for example by a background job scheduler, then it will typically not have a console." 10:14:01 I guess & is kind of arguable. 10:14:48 It should still have the System.in/out streams, and those behaved as expected in my mini-test. 10:18:41 System.in.read isn't blocking when using & 10:19:07 I'm not saying it doesn't work 10:19:33 it's just not blocking 10:20:00 or maybe it is, but with attached terminal it at least has some sort of line buffering 10:20:17 which could be done by either the terminal or java 10:21:06 -!- shikhin has quit (Disconnected by services). 10:21:56 I like how this thing is named "demo" but's supposed to be production 10:27:53 Morning 10:29:00 Morning 10:43:04 ARGH! apparently doxygen cannot parse the a struct definition like 'class __declspec(dllexport) foo { ... };' only nobody notices that because __declspec(dllexport) is usually hidden behind a macro 10:58:49 -!- oerjan has joined. 10:59:21 -!- scounder has quit (Ping timeout: 260 seconds). 10:59:22 -!- Bike has quit (Ping timeout: 240 seconds). 11:08:12 -!- boily has quit (Quit: CSIRKEAN CHICKEN). 11:17:01 -!- scounder has joined. 11:34:37 -!- GeekDude has joined. 11:44:05 -!- Guest99165 has quit (Changing host). 11:44:05 -!- Guest99165 has joined. 11:44:08 -!- Guest99165 has changed nick to FreeFull. 11:53:58 -!- Phantom_Hoover has joined. 11:58:05 -!- Bike has joined. 12:04:55 -!- Sgeo has quit (Read error: Connection reset by peer). 12:19:19 @metar RJNK 12:19:20 RJNK 161200Z 15004KT 9999 FEW025 21/18 Q1014 12:42:09 -!- Patashu has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 12:42:57 -!- Patashu has joined. 12:56:22 -!- Patashu has quit (Ping timeout: 250 seconds). 12:58:30 -!- Bike has quit (Ping timeout: 255 seconds). 13:08:46 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 13:09:38 -!- idris-bot has joined. 13:12:43 -!- GeekDude has joined. 14:00:26 -!- Bike has joined. 14:01:42 -!- drdanmaku has joined. 14:10:27 -!- spiette has joined. 14:39:04 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 14:43:14 -!- oerjan has quit (Quit: leaving). 14:47:59 bon matily 14:48:04 oh 15:10:37 -!- mihow has joined. 15:23:42 -!- Phantom_Hoover has joined. 15:29:06 -!- `^_^v has joined. 16:58:52 -!- J_Arcane2 has joined. 16:59:48 -!- J_Arcane has quit (Ping timeout: 246 seconds). 17:24:39 -!- J_Arcane2 has quit (Read error: Connection reset by peer). 17:25:17 -!- J_Arcane has joined. 17:27:45 -!- conehead has joined. 17:28:33 -!- TieSoul has changed nick to nick___. 17:28:38 -!- nick___ has changed nick to TieSoul. 17:29:40 -!- aloril has quit (Ping timeout: 272 seconds). 17:35:03 -!- aloril has joined. 17:49:26 -!- Phantom__Hoover has joined. 17:52:44 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 18:55:47 -!- MoALTz has joined. 19:39:15 -!- FreeFull has quit (Ping timeout: 272 seconds). 19:40:31 -!- FreeFull has joined. 19:40:55 -!- FreeFull has changed nick to Guest64697. 19:48:42 -!- Guest64697 has quit (Changing host). 19:48:43 -!- Guest64697 has joined. 19:48:59 -!- Guest64697 has changed nick to FreeFull. 19:56:06 -!- ais523 has joined. 19:56:52 -!- FreeFull has quit (Ping timeout: 245 seconds). 20:40:34 -!- FreeFull has joined. 20:42:43 -!- callforjudgement has joined. 20:42:53 -!- ais523 has quit (Disconnected by services). 20:42:54 -!- callforjudgement has changed nick to ais523. 20:43:51 -!- ais523 has quit (Read error: Connection reset by peer). 20:43:58 -!- ais523 has joined. 20:47:45 -!- ais523 has quit (Read error: Connection reset by peer). 20:48:03 -!- ais523 has joined. 20:52:10 -!- callforjudgement has joined. 20:55:42 -!- ais523 has quit (Ping timeout: 245 seconds). 20:55:57 -!- callforjudgement has changed nick to ais523. 21:02:42 -!- Patashu has joined. 21:16:41 -!- oerjan has joined. 21:25:22 -!- Patashu has quit (Ping timeout: 240 seconds). 21:26:35 -!- callforjudgement has joined. 21:26:43 -!- ais523 has quit (Disconnected by services). 21:26:45 -!- callforjudgement has changed nick to ais523. 21:36:10 -!- ais523 has quit (Read error: Connection reset by peer). 21:36:17 -!- ais523 has joined. 21:46:06 -!- AnotherTest has quit (Ping timeout: 246 seconds). 22:15:42 -!- ais523 has quit (Remote host closed the connection). 22:15:48 -!- callforjudgement has joined. 22:15:54 -!- callforjudgement has changed nick to ais523. 22:36:20 -!- mihow has quit (Quit: mihow). 22:47:04 so 22:47:15 why does GNU APL have PHP-style server pages? 22:47:27 I can think of literally no reasons for that style of insanity 22:47:40 there's a GNU APL, huh 22:48:14 yes 22:48:30 and APL is definitely on topic for #esoteric, lol 22:48:44 ... wat 22:48:46 Server scripting 22:48:49 In APL? 22:48:59 Lymia: yes 22:49:02 still sounds better than php, tbh 22:49:03 that was my reaction 22:49:25 Bike: I'm paid to write PHP, that doesn't even begin to cover it 22:49:34 I would rather write web apps in BF 22:49:37 no 22:49:46 I'd rather write web apps in Cobol 22:50:09 -!- perrier___ has quit (Read error: Connection reset by peer). 22:52:01 ooh, wait, Lymia, were you involved in that massive bukkit clusterfuck that happened 22:53:31 Massive bukkit clusterfuck? 22:53:34 Recent? 22:53:48 I haven't been involved in Minecraft for a few months. 22:53:58 What happened? 22:54:13 evilseph cancelled the project, mojang revealed they owned it 22:54:29 (i still don't know how you can own a gpled project but--) 22:54:33 Mojang didn't REVEAL that they owned it. 22:54:36 They've owned it for years. 22:54:55 my impression was that this was deliberately kept secret, though 22:55:06 There was a whole brouhaha when they bought it. 22:55:13 But then they didn't really DO anything with it, so everybody forgot. 22:55:39 The Twitter conversation went like this: "Sorry, I have to cancel the project." "Um, you don't own the project. We bought it. You can't cancel it." 22:55:50 (seriously how do you buy bukkit!! what does this even mean!) 22:55:59 -!- perrier has joined. 22:56:37 They owned the name, site, etc, and many of the devs are Mojang employees. 22:56:50 -!- perrier has quit (Remote host closed the connection). 22:57:02 There was no secrecy here, just stupidity. Never account to malice etc etc. 22:57:32 If I had more patience, I might fork it. But I don't have the patience to work with Java code anymore 22:57:33 ^.^ 22:57:57 -!- perrier has joined. 22:58:29 So 22:58:34 Minecraft's fanbase being idiots as usual. 22:58:36 Nothing new to me. 22:58:45 *Microcraft 22:58:50 *Minesoft? 23:03:18 Lymia, well, and mojang being idiots 23:03:27 that too is an important part of the situation as usual 23:04:36 I'm not sure I understand the full story then. 23:04:36 :P 23:04:53 -!- MoALTz_ has joined. 23:05:14 -!- perrier has quit (Remote host closed the connection). 23:05:51 Well, as in, they went to the trouble of buying Bukkit, hiring the devs, then proceeded to ignore them and cut off even the meagre support they were providing. 23:07:16 -!- vyv has quit (Ping timeout: 260 seconds). 23:07:18 -!- MoALTz has quit (Ping timeout: 246 seconds). 23:08:12 are y'all ready for true untethered freedom https://www.kickstarter.com/projects/768618350/airvr-virtual-reality-for-ios 23:08:20 -!- Sgeo has joined. 23:08:29 featuring advanced 64-bit Processors 23:08:31 -!- perrier has joined. 23:09:08 -!- vyv has joined. 23:09:28 the other day in another channel someone gave a long list of failed "how to make a successful kickstarter project" kickstarter projects 23:09:43 they were good 23:12:29 kmc... isnt here, dangit 23:12:29 Who else am I to talk about Rust with? 23:12:29 Anyways: I think Rust people keep reinventing lenslike things 23:12:29 i know a thing or two about rust 23:12:29 headers.get(CONNECTION); // -> Option> 23:12:29 what's your favourite ferric oxide? mine's haematite 23:12:29 Lymia: it's hard to fork it, since you can easily get DMCA'd for it 23:12:29 Where CONNECTION is presumably an entity that knows how to transform some bytes representing HTTP headers into a Connection based on the Connection header, and visa versa 23:12:29 elliott, not for an reimplementation. 23:12:38 that is stretching the term 'fork' 23:12:51 Lymia: well, the basic issue is that bukkit was always kinda illegal 23:13:05 what is bukkit? 23:13:17 -!- perrier has quit (Max SendQ exceeded). 23:13:18 since it's at odds with both the minecraft EULA and the GPL 23:13:23 Bike: That's as brilliant as it is stupid. 23:13:24 I remember a similar device for an olde VR dev environment for DOS. 23:13:25 You cut it out of cardboard, folded it up and you could see true 3D. 23:15:43 -!- perrier has joined. 23:17:04 -!- perrier has quit (Read error: Connection reset by peer). 23:17:49 Lymia, oh also, if i didn't mention it, after evilseph left so did everyone else 23:17:53 -!- jix has joined. 23:18:03 were there any "how to make a successful "how to make a successful kickstarter project" kickstarter projects? 23:18:03 *-" 23:18:03 um 23:18:03 wait 23:18:03 **+" 23:18:04 i think it needs an extra "kickstarter project" 23:18:04 argh hiccups 23:18:05 -!- jix_ has quit (Ping timeout: 260 seconds). 23:18:15 -!- perrier has joined. 23:18:30 -!- sebbu has quit (Ping timeout: 246 seconds). 23:19:08 * Sgeo attempts to scare oerjan with a scary claim about how scaring people supposedly cures hiccups 23:19:27 BY KILLING THEM, right? 23:19:40 * oerjan seemed to do fine by drinking some water, thank you very much 23:20:27 Sgeo: you're in a channel in which kmc talks about rust a lot 23:20:33 oerjan: there were certainly jokes about them 23:20:43 -!- Bicyclidine has joined. 23:20:43 * GeekDude slaps everyone in this channel with a trout 23:21:08 That's either a big trout or a lot of slapping. 23:22:01 * GeekDude swings at logic with a dwarven axe 23:22:01 Why is a basis a popular thing in topology, rather than a subbasis? 23:22:12 The latter seems more natural. 23:22:29 Also, is a topology generated by a subbasis "free" in some way? 23:22:36 because topology predates common sense? 23:22:40 Gregor: did this DOS gizmo have a kickstarter... 23:22:45 Bahaha 23:22:59 "i could throw them a few bucks" 23:23:24 Phantom__Hoover: That's possible, but it's also likely that I don't have good intuition or taste for any of these things. 23:24:01 when i think common sense i think subbases. 23:24:34 the free topology on a set is either the discrete or trivial one 23:24:54 The free topological space on a set. 23:25:13 I'm talking about the topology itself. 23:25:21 It at least seems initial in some sense. 23:25:51 What do I mean... 23:25:56 If you fix a set of points X, and then you talk about the various topologies you could give it. 23:26:05 And you could also talk about arbitrary subsets of P(X) 23:26:28 And maybe those are categories or something. And maybe you have an adjunction goin' between those two. I don't know. 23:27:51 mainly i follow an oculus programmer on twitter and from what i understand of what he says it doesn't seem like you could do VR with a common screen without everything being... epileptic 23:31:01 It'd be very pixely, and very nauseating 23:32:38 shachaf, so what do you use as morphisms in this scenario 23:33:22 I don't know. Maybe you look at subsets of P(X) as a lattice and use some sort of lattice homomorphism? 23:33:40 Maybe the thing with complete Heyting algebras/frames/locales. 23:41:13 I think something like that could probably work. 23:47:54 Wait, what am I talking about. I'm not making sense. 23:48:24 Or maybe I am. 23:48:46 or maybe you are 23:49:05 (But probably not) 23:49:17 I must agreegor. 23:50:30 You're right, I'm not. 23:50:34 -!- perrier has quit (Read error: Connection reset by peer). 23:58:08 -!- perrier has joined. 23:58:44 -!- perrier has quit (Remote host closed the connection).