00:00:09 I'm not qualified to guesstimate the lag, but I don't think arecord's been designed to minimize the time taken before the input sound is output into the "file". There's some --buffer-time option there, not sure how much that is related to writing. 00:00:29 DEAD DOVE 00:00:31 DO NOT EAT 00:00:51 fizzie, hm 00:01:12 It's a low-effort thing to try out, though, given that it's just two commands basically, and a single mixer change. 00:01:14 fizzie, would be a PITA to change system a to use jack or system b to use pulseaudio though 00:01:15 :( 00:01:50 Deewiant, well what is the bug then? 00:01:57 Deewiant, I fixed this off by one error here 00:02:00 Well, it could work. And if it doesn't work out of the box, you might be able to use those arecord command line flags to make it better. 00:02:07 Deewiant, I might be going to sleep soon 00:02:28 fizzie, waiting for Deewiant to describe the bug first 00:02:47 AnMaster: While I'm verifying this: are you going to do anything about the negative argument to q with efunge? 00:02:59 Deewiant, what does efunge do with that? 00:03:02 I'm interested 00:03:07 but haven't tested yet 00:03:07 (no error logger present) error: "Error in process <0.0.0> with exit value: {badarg,[{erlang,halt,[-34]},{init,do_stop,2}]}\n" 00:03:18 Deewiant, I argue that it is probably undefined 00:03:25 and that I might or might not do anything about it 00:03:32 I argue that such behaviour is a pain in the butt ;-P 00:03:47 Deewiant, I argue that no one sane would use a negative argument to q 00:03:59 since, well, it is unlikely to be useful 00:04:00 It can happen by accident 00:04:04 the OS won't support it 00:04:10 Deewiant, then the user finds it easily 00:04:11 And of course it's done on purpose as well 00:04:16 People do "return -1" and the like 00:04:16 Deewiant, oh? 00:04:19 Even in C 00:04:21 not to an OS 00:04:33 It's equivalent 00:04:38 Deewiant, what am I supposed to do with it? take absolute value? 00:04:45 that is about the only thing I'm prepared to do 00:05:00 I'm not going to emulated unsigned 8 bit 00:05:01 Presumably the docs will say what range of values it should take, and most likely the correct solution is mod 256 or something 00:05:13 Deewiant, mod 256 will yeild -1 00:05:14 :D 00:05:17 well it is rem 00:05:44 stop(Status) -> void() 00:05:44 Types Status = int()>=0 | string() 00:05:45 btw 00:05:47 Ah, I figured out why ALSA wasn't working: user 'Ilari' was not member of apporiate group. :-/ 00:05:48 from erlang docs 00:06:16 Deewiant, what I can do is: leave it as it is, take absolute value, truncate it to 0 00:06:39 Deewiant, unless you can point me to where in the 98 specs it says I should take modulo and mess around with emulating unsigned 8 bit 00:06:45 o.O There's only one actual instruction in the Wireworld Computer? 00:07:01 AnMaster: I'm just saying that getting an error which I can't even ^C out of easily is a pain in the ass 00:07:06 My recommendation is absolute value 00:07:10 Deewiant, doube ^C works 00:07:13 most likely 00:07:34 Deewiant, ^C in general doesn't work the way you prefer in erlang I suspect 00:10:15 Verified that other issue: Mycology bug, not interpreter. 00:10:38 Deewiant, arguably the negative argument to q *is* undefined though. And silently ignoring that is doing more bad than good 00:10:55 Deewiant, causing possibly hard to debug issues 00:11:14 I think that when you're doing q you're at the point where you just want to quit and don't care about errors :-P 00:11:53 Even Java's System.exit doesn't throw InvalidParameterException ;-P 00:12:04 Deewiant, well what if someone implements /usr/bin/test in befunge? 00:12:11 then you *care* about exit code 00:12:29 Yes, and you should be careful to get it right 00:12:37 Deewiant, indeed 00:12:43 But that's a bad example since it's really trivial: 0 or 1 00:12:49 then you don't want your system to silently swallow the error code 00:12:54 Deewiant, okay what about fsck then 00:13:00 that has highly complicated error codes iirc 00:13:01 I don't know ~anything about fsck. 00:13:15 If you're writing fsck in Befunge you have other problems ;-P 00:13:30 Deewiant, "The exit code returned by fsck is the sum of the following conditions: " 00:13:31 but 00:13:40 basically a bitmask 00:13:55 considering the values are 1 2 4 8 and so on 00:16:10 Deewiant, anyway I think truncating to 0 is more DS9K and thus should be preferred 00:16:41 (arguably efunge does have some DS9K traits, such as bignum in a language where that is not common) 00:16:48 (it used to have i without o) 00:17:23 -!- FireFly has quit (Quit: Leaving). 00:18:37 Deewiant, btw does ccbi run on vxworks? 00:18:42 vxworks? 00:18:45 yes 00:18:47 What's that 00:19:00 http://en.wikipedia.org/wiki/VxWorks 00:20:05 The libraries it depends on don't 00:20:27 Deewiant, iirc there is a (commerical only(?)) port of erlang to it 00:20:41 I don't know if efunge would run of it though 00:23:09 Deewiant, anyway it is likely some embedded controllers around you run vxworks 00:26:17 Deewiant, I *might* make efunge print a warning for negative parameters 00:26:18 or such 00:26:51 Deewiant, perhaps clear screen, print drawing, enter line drawing mode, exit(0)? 00:26:52 ;P 00:27:10 >_< 00:28:15 -!- kar8nga has quit (Remote host closed the connection). 00:28:26 Deewiant, or, maybe we should block everything but SIGKILL? and if root mount an nfs mount, launch a DDoS on the server, and then try to read something from it 00:28:51 (that will put it in uninterpretable sleep) 00:28:55 If efunge does that I'll disqualify it from Mycology results ;-P 00:29:16 Deewiant, haha 00:30:54 Deewiant, pushed behaviour change for efunge 00:31:19 cache effects might apply 00:32:34 fizzie, I can't do the http://alsa.opensrc.org/index.php/Network stuff 00:32:40 there is no capture source control 00:32:44 on the system I want to forward from 00:32:57 there is only on the system I want to forward to 00:34:38 That's curious. Though the mixer controls are horribly divergent across systems. 00:37:22 You should be able to do some .asoundrc trickery, though. 00:38:24 There's this "loopback soundcard" alsa module, http://www.alsa-project.org/main/index.php/Matrix:Module-aloop 00:38:59 You should be able to use that, and have your game use one end of it for output, and arecord on the other end for feeding netcat. 00:39:25 http://dev.inzenet.org/~panard/hack_record_hda_sound also has some example bits, though it looks awfully complicated and uncommented. 00:41:22 It's also borderline possible that the very simple "dummy" soundcard actually would support the capture-mixer thing. 00:41:38 -!- augur has quit (Ping timeout: 246 seconds). 00:43:01 Yes, it might just work. 00:43:27 At least it's got the exact same capture and playback controls. 00:43:46 I could try playing something to the dummy soundcard and seeing if I can record it. 00:47:29 Strange, it records noisy bursts of sound every 0.1 seconds, and silence for the most part. Heh, I wonder what's up with that. 00:50:02 Apparently it just drops what's written and generates (mostly) zeroes out. 00:52:38 hm 00:52:52 http://dev.inzenet.org/~panard/hack_record_hda_sound also has some example bits, though it looks awfully complicated and uncommented. 00:52:59 I think it is intel hda 00:53:27 Most motherboard-integrated things are, though even the actual HDA chipsets differ. 00:53:45 yes indeed they do 00:54:04 I don't seem to have the mixer-recording thing on this box either, though I seem to recall there was. 00:54:37 Anyway, the "aloop" "soundcard" should work (not enabled in my kernel config, though), and alsa's "file" plugin might work too. 00:55:19 And also (assuming the card does full-duplex right) there's the ridiculously low-tech way of looping back the line out to line in. :p 00:56:04 You could check out the file plugin reference at http://alsa-project.org/alsa-doc/alsa-lib/pcm_plugins.html (pretty far down on the list). 00:56:32 It can even pipe directly into a shell command. 00:56:44 That should have less latency than trying to involve recording with arecord. 01:00:56 See for example Audacity's docs about it, http://wiki.audacityteam.org/wiki/Recording_audio_playing_on_the_computer#Using_the_ALSA_PCM_file 01:01:24 mhm 01:02:19 Actually there even seems to be a "file" device. 01:02:26 "File device 01:02:27 The file device is file plugin with null plugin as slave. The arguments (in order: FILE,FORMAT) specify filename and file format. 01:02:27 Example: 01:02:27 file:'/tmp/out.raw',raw 01:02:27 " 01:04:05 mplayer -ao alsa:device="file='testfile.raw',raw" testfile.wav seems to do a sensible thing, at least based on file sizes. 01:04:32 (That = there after "file" is just mplayer's stupidity, you have to write the : as a = so that it won't interpret it as a parameter change.) 01:04:35 -!- augur has joined. 01:05:30 So in theory you should be able to just use file:'|/bin/nc -u server port',raw as the ALSA "device" specifier string for your game, without fiddling with any config files or anything. 01:05:59 Of course then you'll need to specify sample rates and types and so on on the listening side. 01:06:02 fizzie, well I wanted the whole system sound 01:06:08 not just a single game 01:06:20 game was the primary example of programs in question 01:06:55 if the built in sound wasn't so bad, and if I had a suitable cable, I could just feed one computer's line out into the line-in on the next 01:06:59 Well, then you can use the example given in http://wiki.audacityteam.org/wiki/Recording_audio_playing_on_the_computer#Using_the_ALSA_PCM_file as "set the teeraw device as your default device with something like". 01:07:16 hah 01:07:32 Or maybe the final example there as a full setup. 01:07:41 It even has a command-piping thing. 01:08:08 mhm 01:08:34 actually setting up jack on that ubuntu system might be *less* of a PITA XD 01:09:58 fizzie, what would I use on the listening side then? same as the original? 01:10:23 -!- augur has quit (Ping timeout: 265 seconds). 01:10:34 Well... I'm not really an ALSA expert, but if you use an .asoundrc as something like http://pastebin.com/NfALSAK8 -- with the format "wav" thing -- you should be able to use the original nc | aplay thing. 01:11:20 That should catch anything that's written using ALSA to the "default" PCM device. It might not catch programs that use the OSS-dsp emulation thing. And it might not work at all. 01:11:33 fizzie, how does that interact with that pulseaudio is in use on that computer? 01:12:14 I know even less about pulse, but I guess it uses alsa libs to interact with the underlying hardware, and therefore might work. 01:12:29 fizzie, it uses alsa to capture things then send it back to alsa 01:12:36 basically ALSA-directly-apps 01:12:37 end up 01:12:38 like 01:12:49 ->ALSA->pulse->ALSA 01:13:20 It could get confused, I don't know. Pulse has that own networking thing too, but then you'd need pulseaudio also on the receiving side. 01:13:46 yes 01:13:53 Possibly it might be better to not set that "pipe-to-network" device as the default pcm one, but instead configure pulse to feed things into it. 01:13:58 fizzie, and the receiving side uses jack/pure-ALSA 01:14:41 I'm also a bit concerned about what the "netcat | aplay" will do on the receiving side if the sample rates on the sending side change. 01:14:51 fizzie, ouch indeed 01:15:21 Doing it fiddling like this is a bit awkwardly manual. If you seriously want all the sound, and keep it set up semi-permanently, I might go with the "just set up jack on Ubuntu too and use netjack" solution. 01:15:48 fizzie, jack isn't really suitable for my laptop in *normal* use 01:16:21 fizzie, anyway I could use jack alongside pure alsa without problems on my desktop, it has hardware mixer 01:16:25 since it has an sb live 01:17:11 fizzie, and yes this is semi-permanently as in, it will be used a lot but not all the time 01:17:39 If you configure jack to only have the into-network thing, no "actual" direct-sound use at all... well, I'm not sure how to make the rest of the system use that, then. 01:17:49 I think I'll need some sleep now. 01:18:43 mhm 01:18:48 thanks for your help 01:22:07 I wanted to have a setup like this for my laptop too, but (since it runs OS X most of the time) I finally gave up and just bought that USB digital-output sound-stick I mentioned, and connect it to the front panel inputs of the amplifier when necessary. (The alternative would've been to feed the digital audio over LAN to one of these Real Computers that are permanently hooked to the amplifier.) 01:22:22 Networked audio seems to be a bit nontrivial. 01:22:27 (Away now for real, night.) 01:23:54 night 01:56:47 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 02:28:22 -!- coppro has quit (Ping timeout: 264 seconds). 02:45:48 -!- coppro has joined. 02:47:47 -!- augur has joined. 02:52:55 -!- augur has quit (Ping timeout: 246 seconds). 02:57:34 -!- augur has joined. 03:01:58 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 03:02:28 -!- coppro has joined. 03:11:35 -!- Gracenotes has joined. 03:37:34 -!- Asztal has quit (Quit: .). 04:15:24 * coppro tries to think of a full version of his language that isn't overly influenced by Haskell 04:15:35 Antiskell. 04:15:47 Every decision made by Haskell, it chooses the opposite. 04:16:09 Unicode support? Nah, we're going for binary coded decimal EBDIC 04:16:38 (yes, the EBDIC is encoded into decimal, which is then binary coded.) 04:16:58 Strict typing? Nah. We're going for /dev/urandom typing. 04:17:22 And every statement is implicitly wrapped in unsafePerformIO. 04:17:52 lol 04:18:00 did you catch my idea earlier? 04:18:10 Except for the ones that are implicitly wrapped in unsafePerformIO . unsafeIntersperseIO . return 04:18:18 Nah. 04:18:50 basically, rather than pure types, there's "datapacks" 04:19:29 * Sgeo wants Antiskell to become real 04:19:46 Although obviously, it can't be a perfect opposite 04:20:16 Otherwise, it would not be TC, and would not be able to do any IO, contrary to pikhq's earlier statements 04:20:22 upi 04:20:25 Hm, I think "opposite" is ill-defined 04:20:27 upi? 04:20:33 you'd need an anticomputer for that. 04:21:11 Sgeo: There is no requirement for unsafePerformIO to do much. 04:22:15 In fact, I suggest that all statements except for undefined be equivalent to bottom. 04:22:23 sorry 04:22:25 Except in confusing circumstances. 04:22:39 my father needed to ask me a question 04:23:08 Can Antihaskell solve the halting problem? 04:23:12 anyway, instead of types, there's "datapacks". All UDTs are actually datapacks. 04:24:07 Sgeo: GHC can, so Antiskell cannot. 04:24:09 a given value can possess any number of datapacks; the union of the packs it has could be said to represent its actual type. Some datapacks could require other datapacks to exist on the type (*coughinheritancecough*) 04:24:09 :P 04:24:18 pikhq, wait what? 04:24:43 Sgeo: Just a joke. Compile "main = main". ;) 04:25:13 Too lazy to bother, I take it the compiler sees that somehow? 04:25:25 * coppro feels ignored 04:25:52 It results in an error. "infinite loop" or some such. 04:26:51 ping 04:27:29 GNIP 04:27:53 okay, so that's working 04:27:57 Dangit 04:28:02 * coppro tries to investigate other causes of not being listened to 04:28:30 The best thing to do when someone pings is to ignore that >.> [Ok, so I was being mean] 04:28:58 So basically values have multiple types? 04:29:02 yeah 04:43:25 ugh, sorry, I got distracted again 04:44:17 There would also be "type patterns" which could be used to match against types; e.g. {Int~Nil} means "Int 04:44:26 *means "Int or Nil, but not both" 04:44:34 and would be the implementation of a nullable value 04:45:06 Hm 04:45:10 Interesting 04:46:35 {Int|Nil} or {Int&Nil} could probably also exist (I may choose to add a way to make datapacks mutually exclusive), but, by convention, would be pretty useless 04:46:42 Ideally type inference would drive a lot of the system 04:49:51 The real power, though, is in expressing reality better than most languages 04:50:36 * Sgeo wonders how you manipulate an Int+String 04:50:50 Sgeo: it would have both an int value and a string value independently 04:51:09 Ah 04:51:27 geek example: A Magic card has a type; each type has a list of allowable subtypes for that type 04:51:59 a Magic card may have multiple types 04:52:38 * Sgeo misunderstood "Magic card" for a second 04:53:02 * Sgeo points out "for a second" before coppro or anyone else elaborates about Magic 04:53:12 -!- oerjan has joined. 04:53:13 huh? 04:53:17 I assume you understand now 04:53:37 私 見今 Oerjan ! 04:53:47 so you'd express this by creating a datapack for each list of subtypes, and then add these to the card value. Since they aren't mutually exclusive, you can have as many as you like 04:53:52 正 今, too! 04:54:26 i am not a friend of people who greet me with unicode 04:54:34 Hah. 04:54:42 今日, Oerjan. How are 前? 04:54:57 it looks like question marks. 04:56:27 Oh 本当? 04:57:09 any thoughts about my idea? 04:57:22 pikhq, almost _no one_ here understands japanese. showing it off all the time is just annoying. 04:58:05 (even if i could see it properly.) 04:58:28 Hrm. When was the last time I used code-points out of ASCII in this room, anyways? 04:58:40 2 minutes 2 seconds ago 04:58:51 coppro: Before oerjan just entered. 04:58:59 dunno 04:59:07 last week I think? 04:59:35 please ping me with any comments you may have; it's webcomic time 05:00:48 oerjan: Also. Sorry. I've been cramming kanji for the past couple months. And for some reason, I felt like using kanji in English. I'm going to blame my lack of sleep for that... 05:01:16 i'll blame my current grumpiness, then :) 05:01:27 *y? 05:03:00 Now, for random characters: 亜sdtf日小田鵜fhgpqeかsfqwさkじょ9tqぁsづてょdヴい 05:09:03 in other words, a value can possess multiple types at once <-- they're called intersection types iirc. they were important for fundamental lambda calculus in a book i looked in (barendregt?) 05:10:03 * Sgeo wonders if he can use a cryonics article for his psychology assignmnet 05:10:22 if you have intersection types + a special "catch-all" type omega, then you have a simple type system in which all normalizable lambda expressions can be typed, iirc 05:10:52 without omega, you need strongly normalizable, iirc 05:11:54 oh and omega can occur only on the left side of -> or something, so things don't get to use just it for trivial typing 05:13:56 oerjan: thanks for the name 05:14:35 hm i think the types may even have been preserved under reduction, both ways 05:14:54 I don't see much that looks like a useful language with them though 05:15:39 coppro: higher order functions, if you use a polymorphic function on two different types 05:16:38 oerjan: that's a special case 05:16:46 as in, doesn't apply to all types 05:17:15 but they're probably not practical, type inference is probably impossible and forall types with type variables like in haskell/ML are more practical 05:18:17 most of what I see intersection types used for is type inference 05:18:44 and what I'd be doing is more like type unionization 05:20:44 -!- augur has quit (Ping timeout: 265 seconds). 05:20:52 oh well 05:33:26 oerjan: ? 05:35:51 ! 05:36:00 [22:20:28]oh well 05:36:42 coppro: that was intended as a "conversation over" mark :P 05:36:49 ah 05:37:26 ugh, it's that time of night again 05:37:39 oh no, not the vampires 05:38:10 where I really should go to bed, but I don't 05:39:02 worse, I have an excuse 05:39:30 the bed is haunted! 05:39:53 Today's Hansard isn't out yet 05:40:55 a principled follower of the british parliament, i take 05:41:32 or would that be canada 05:42:53 "In one instance, during a Liberal filibuster in the Canadian Senate, Senator Philippe Gigantès was accused of reading one of his books only so that he could get the translation for free through the Hansard." :D 05:44:16 Canadian in this case 05:44:41 That's... Beautiful. 05:48:22 -!- Oranjer has left (?). 06:06:27 http://xkcd.com/719/ I've never had any of these dreams :( 06:11:26 I've had few dreams that I can actually recall. 06:11:31 i don't have car dreams either. might have _something_ to do with the fact i don't drive :D 06:12:00 ok maybe an occasional dream as passenger 06:13:08 wait i _have_ dreamed about my teeth falling out D: 06:26:08 -!- pikhq has quit (Read error: Connection reset by peer). 06:38:14 -!- oerjan has quit (Quit: leaving). 06:47:47 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 07:14:15 -!- FireFly has joined. 07:34:22 "oerjan: pikhq, almost _no one_ here understands japanese. showing it off all the time is just annoying." <<< no it's not! 07:36:15 -!- coppro has quit (Remote host closed the connection). 07:36:50 -!- coppro has joined. 07:39:39 nowadays it's less common for me to roll all the time, what's more common is i jump or something and realize i'm not falling down, but just rising and rising hundreds of meters first 07:39:55 in dreams 07:40:18 I generally don't remember my dreams 07:40:22 also i become lucid quite often, but i still haven't mastered not waking up almost instantly after 07:40:44 all I can really remember is that they tend to be things I don't want to remember for one reason or another 07:40:54 i usually manage to have sex with someone for a few seconds, but then it fades away 07:41:08 why wouldn't you want to remember something 07:41:35 I think it's that I'm really good at getting into really awkward situations in dreams 07:41:39 can't quite remember 07:41:52 oh lol right 07:42:40 Pretty sure it's not scariness though 07:43:44 the few good dreams I ever remember are only even vaguely remembered because they're the ones I get woken up in the middle of 07:46:44 ah, finally, Hansard's out 07:46:50 then I can sleep 07:47:45 yay hansard 07:48:10 -!- myndzi\ has joined. 07:51:18 -!- myndzi has quit (Ping timeout: 260 seconds). 07:52:37 ooh, an MP quoted MacBeth 07:54:15 -!- augur has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:02:20 man, this trade agreement with Colombia is causing quite a stir... 30 hours of debate already 08:02:37 AFAICT it boils down to we should/shouldn't consort with the evils 08:02:47 -!- tombom has joined. 08:04:41 evil things are wrong 08:07:08 the government says it hopes to encourage the Colombian government to clean up 08:07:13 the whole debate is tl;dr 08:09:56 ah, I love this country 08:09:59 http://www.cbc.ca/canada/story/2010/03/25/prisoners-pensions025.html 08:10:21 25 life sentences and we still give him 13k a year 08:32:04 -!- BeholdMyGlory has joined. 08:51:49 -!- tombom has quit (Quit: Leaving). 09:00:18 -!- BeholdMyGlory has quit (Remote host closed the connection). 09:24:26 -!- FireFly has quit (Quit: Leaving). 09:40:12 -!- MigoMipo has joined. 09:53:02 -!- ais523 has joined. 09:53:11 -!- augur has quit (Read error: Connection reset by peer). 09:53:27 -!- augur has joined. 09:56:24 -!- MigoMipo has quit (Quit: Page closed). 10:47:16 -!- lereah_ has joined. 11:06:03 -!- augur has quit (Ping timeout: 240 seconds). 11:07:05 -!- augur has joined. 11:15:23 -!- Asztal has joined. 11:20:28 -!- augur has quit (Ping timeout: 268 seconds). 11:20:51 -!- augur has joined. 12:52:03 -!- Tritonio_GR has joined. 12:57:31 -!- Tritonio_GR has quit (Quit: Leaving.). 13:13:37 -!- augur has quit (Ping timeout: 264 seconds). 13:14:16 -!- augur has joined. 13:22:42 -!- FireFly has joined. 13:47:04 -!- Gracenotes has quit (Ping timeout: 246 seconds). 14:23:27 -!- fax has joined. 15:02:37 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 15:48:06 -!- MigoMipo has joined. 15:53:38 -!- oerjan has joined. 16:06:02 -!- oklopol has quit (Ping timeout: 248 seconds). 16:09:18 -!- BeholdMyGlory has joined. 16:09:21 -!- BeholdMyGlory has quit (Changing host). 16:09:21 -!- BeholdMyGlory has joined. 16:35:49 -!- augur has quit (Ping timeout: 264 seconds). 16:46:03 -!- Oranjer has joined. 16:50:29 -!- lereah_ has quit (Quit: Leaving). 17:02:10 -!- MigoMipo has quit (Remote host closed the connection). 17:04:33 -!- MigoMipo has joined. 17:10:31 -!- kar8nga has joined. 17:24:10 -!- pikhq has joined. 17:25:10 Kikcking router in shins = WORKING! 17:25:19 routers have shins? 17:25:29 Do now. 17:45:37 `define mephitic 17:46:31 * miasmic: of noxious stench from atmospheric pollution \ [15]wordnetweb.princeton.edu/perl/webwn \ * Avernus was an ancient name for a crater near Cumae (Cuma), Italy in the Region of Campania west of Naples. It is approximately 2 miles in circumference. Within the crater is Lake Avernus (Lago d'Averno). 18:00:52 -!- tombom has joined. 18:04:23 Kikcking router in shins = WORKING! <-- wow 18:04:36 pikhq, would that be in like the ethernet sockets? 18:05:16 Nah. 18:05:22 You let it grow legs. 18:05:29 okay 18:05:32 then ? 18:06:24 pikhq, just kicking it? 18:06:30 no more steps in between?! 18:06:47 Then you kick it. 18:06:49 huh, I newer knew it was _that_ simple 18:11:04 -!- oerjan has quit (Quit: Reboot). 18:13:54 -!- oerjan has joined. 18:31:03 -!- ais523 has quit (Remote host closed the connection). 18:36:46 -!- Slereah has quit (Ping timeout: 240 seconds). 18:43:29 -!- Slereah has joined. 18:56:30 -!- Phantom_Hoover has joined. 18:58:22 CURSE YOU, TIME ZONE DIFFERENCES! 18:59:32 oh no, you cursed the time zone differences! 18:59:47 i predict they will take a horrible revenge! 19:00:12 before this weekend is over, even! 19:00:15 -!- Sgeo_ has joined. 19:01:58 -!- Sgeo has quit (Ping timeout: 264 seconds). 19:06:42 -!- Gracenotes has joined. 19:08:41 * Sgeo_ loves when he randomly disconnects! 19:08:45 Love it love it love it! 19:09:06 -!- Sgeo_ has changed nick to Sgeo. 19:14:58 -!- sebbu2 has joined. 19:16:04 -!- sebbu has quit (Ping timeout: 246 seconds). 19:16:04 -!- sebbu2 has changed nick to sebbu. 19:29:06 -!- dixon has joined. 19:30:18 Hey Sgeo 19:30:23 Hi 19:30:31 What's up? 19:30:54 Not much 19:30:59 Thinking about cryonics a bit 19:32:11 What about it? 19:32:20 That's... cool. 19:32:24 It strikes me as far too faith-based. 19:33:09 The notion of freezing is faith-based? 19:33:47 No, the notion that medical technology will be able to revive you. 19:34:16 Hey, that's cold. 19:34:21 Doctors are smart. 19:34:33 Yes, well. Faith IN TECHNOLOGY! 19:34:35 :P 19:34:43 But dammit, they're doctors, not miracle workers! 19:35:01 Dammit Jim! 19:35:51 anyway, don't do it this way: http://www.darwinawards.com/personal/personal2000-25.html 19:36:26 Delicious, delicious cryonic nitrogen. 19:36:30 Ah, the Darwin awards. 19:36:36 A tale for every situation. 19:37:01 Although it seems the character encoding doesn't work properly... 19:37:07 this one was on today's reddit frontpage 19:37:10 -!- wareya has quit (Ping timeout: 258 seconds). 19:52:10 * Sgeo wishes he never had to use Firefox 19:52:46 before this weekend is over, even! <-- oh no 19:52:50 the end of the world is near 19:52:58 * AnMaster stockpiles stuff 19:53:09 * Sgeo stockpiles AnMasters 19:53:14 how? 19:53:18 I mean, there is just one of me 19:53:33 you can't stockpile anything that there is just one of 19:57:49 well, he could try folding you 20:02:34 -!- sebbu has quit (Ping timeout: 260 seconds). 20:03:06 -!- sebbu has joined. 20:04:51 oerjan, eh? 20:05:05 oerjan, how would that result in more than one of me? 20:07:21 always doubting are you 20:07:33 im just here to buy some soy sauce 20:08:15 * Sgeo hopes he can program despite using a trackpad 20:08:21 Too lazy to sit up at the table next to my bed 20:09:15 oerjan, yes! 20:09:46 Sgeo, why do you need anything but a printer (alternatively a monitor) and a keyboard? 20:10:01 fax: old meme which i've never heard before is old 20:10:28 Easy to move cursor for cut/paste 20:11:16 AnMaster: wait, you use a printer rather than a monitor? 20:11:43 oerjan, no 20:11:48 oerjan, did I say I did? 20:12:09 AnMaster: it was your first alternative, above 20:12:13 Sgeo, mhm, I never found programming without a mouse to be a problem 20:12:36 -!- jcp has joined. 20:12:40 oerjan, well yes. I wish I had one of those oldstyle hard copy terminals 20:12:42 * oerjan doesn't use a mouse. admittedly he doesn't program much either. 20:12:59 oerjan, I use a mouse when image editing for example 20:13:10 a trackpoint really isn't very good for that 20:13:16 a touchpad even less so 20:13:29 mhm 20:13:41 well, in general touchpad are useless I find 20:13:48 trackpoint is fairly usable but a mouse is better 20:13:57 but for programming I find I only use the keyboard 20:14:22 * oerjan recalls nearly 30 years ago, when my dad borrowed home such a terminal from the job 20:14:43 wow, I would love to see one in "reality" 20:15:18 we connected to the mainframe via the phone, and used BASIC on it 20:15:27 heh 20:15:44 oerjan, I was rather thinking about connecting to something at MIT that ran lisp 20:16:42 i'm not sure if the internet had reached scandinavia yet... 20:17:29 true 20:18:09 oerjan, actually Norway was the first place in Europe (and iirc outside US too, but not completely sure about that) to get ARPANET 20:18:23 that does ring a bell 20:21:21 * pikhq rings a bell for Oerjan's skae 20:21:23 Sake, even. 20:22:07 * AnMaster rings a bell for pikhq's skate 20:22:53 * oerjan rings a bell for AnMaster's steak 20:23:23 * AnMaster stakes oerjan with a very pointed bell 20:23:31 ouch 20:23:58 made of silver. 20:24:05 fancy 20:24:37 oerjan, well, it offers both werewolf and vampire protection that way. 20:24:48 brains.. 20:25:04 hm what is effective against zombies? 20:25:24 * oerjan lurks toward AnMaster 20:25:28 * AnMaster gives oerjan some plush brains 20:25:38 (says made in china on them) 20:26:10 * AnMaster beams away to a badly rendered space ship (TOS) 20:26:21 * oerjan thinks they taste like soy 20:26:51 strange 20:26:56 * oerjan reverses the polarity 20:27:10 ooh that made it go faster 20:27:11 thanks 20:27:21 which is trange 20:27:23 strange* 20:27:27 since it is alternating current 20:28:25 it's just a phase(r) 20:28:38 what is? 20:28:44 the warp drive? 20:28:51 that was what you reversed polarity of 20:28:56 the current reversal 20:28:57 the mains to it 20:29:50 reversing the polarity should be a pi radians face shift, no? 20:29:53 *phase 20:30:46 oerjan, that only makes sense assuming sinusoidal current 20:31:07 * oerjan thought alternating current was sinusoidal 20:31:12 it often is 20:31:15 but it may not be 20:31:36 what matters is that it is alternating. 20:32:04 oh well 20:32:36 oerjan, but sinusoidal is the far most common one I think 20:34:26 oerjan, I'm surprised you didn't ask me what I meant with alternating 20:34:31 but I shall tell you anyway 20:34:50 nooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo 20:34:51 it means it oscillates across zero. 20:35:09 you can have square wave shape for example 20:35:15 or triangular 20:35:23 -!- kar8nga has quit (Remote host closed the connection). 20:35:43 Or pentagonal. 20:35:49 Maybe. 20:35:55 Phantom_Hoover, how would that look like 20:36:01 I have a hard time imagining it 20:36:06 Yeah, hexagonal makes more sense. 20:36:13 and with triangular I mean \/\/\/ style 20:36:19 Yes. 20:36:19 not /_\ 20:36:29 (because that wouldn't make any sense) 20:36:41 Perhaps pentagonal would be like triangular, but with less sloping. 20:36:57 Or perhaps the wave would go back in time at some points. 20:37:48 oerjan, btw in electrical engineering it seems common to mix radians and degrees. I have seen stuff like: u(t) = 4sin(50*2*pi*t + 45°) stuff, where (if your unicode is still broken) the thing after 45 is a degree sign 20:38:21 Phantom_Hoover, hm 20:38:37 ^ 20:38:39 / \ 20:38:40 \ / 20:38:42 / 20:38:43 \ 20:38:45 Or somesuch. 20:38:46 argh 20:38:57 Too much space? Sorry. 20:39:02 Phantom_Hoover, that is not a function of either x or y 20:39:03 :/ 20:39:20 The drawing is awful... 20:39:23 true 20:39:23 degree signs are fine 20:39:55 oerjan, but mixing them in one expression? Since the "50*2*pi" stuff is in radians 20:40:12 There was a signal generator at our electronics lab that reset the wave shape (from triangle to sine or the other way around) when you changed some other settings. Ruined our otherwise accurate magnetic field -related measurements, though we got the report accepted by doing some integration; the change in shape translated into a fixed fudge factor in whatever it was we were supposed to measure. 20:40:14 How is a triangle wave a function of x or y, unless you use stuff like absolute values. 20:40:45 (Actually it might even have been square.) 20:40:50 oerjan, oh also that would be: 4*e^(j45°) (you can usually ignore the factor that t is multiplied with if you are working with a single frequency iirc) 20:40:53 * oerjan swats Phantom_Hoover -----### 20:41:04 absolute values are perfectly good functions! 20:41:06 oerjan, there are two things to annoy you there. j for imaginary unit 20:41:08 * Phantom_Hoover whimpers. 20:41:11 and degrees in exponential form 20:41:38 Can you even differentiate functions with absolutes? 20:41:50 well ° = pi/180 20:41:58 Phantom_Hoover, everywhere except in the point 0 20:42:08 or wherever the tip is 20:42:10 it's not exactly logically inconsistent 20:42:25 (I mean, it would obviously not be in 0 if you did |x+1|) 20:42:43 But if we have y=|x|, what is dy/dx? 20:42:46 Phantom_Hoover: not into functions, no. who says all functions have to be differentiable? 20:43:04 No-one, but it irks me. 20:43:07 Phantom_Hoover, would you treat division as a function then? 20:43:09 as in 20:43:11 1/x perhaps 20:43:15 yes lets take that one 20:43:19 however there is something called distributions, corresponding to such differentials and stuff 20:43:29 and you more or less indicated above that sin() is a function from your point of view 20:43:38 Phantom_Hoover, now differentiate sin(1/x) :P 20:43:57 in fact, I want to know the value of it in x=0 20:44:09 of (dx/dy that is) 20:44:17 Of course, it's undefined at 0. 20:44:27 Phantom_Hoover, and so is the limit 20:44:37 Phantom_Hoover: more importantly, absolute values are continuous and so triangle waves have perfectly good fourier series 20:44:51 The square wave shape is, I think, even worse than the triangle. At least the / and \ slopes of a triangle have a different derivatives; for the square it's just 0 everywhere where it plays nice, and then there's that horreeble jump. 20:45:40 indeed the differential of a triangle wave is intuitively a square one... 20:45:52 hah nice 20:47:17 Re the pentagonal wave, what's specifically wrong with it? 20:48:25 I don't really know about this stuff. 20:48:27 The fact that it has multiple values at a single time? 20:48:27 well nothing really 20:48:33 yeah what fizzie said 20:48:41 fizzie: so does y=sqrt(x). 20:48:46 -!- coppro has joined. 20:48:47 Phantom_Hoover, no it doesn't 20:48:52 because sqrt is always the positive one 20:49:00 that is why you put the "plus or minus" in front of it 20:49:11 if it wasn't you wouldn't need that "plus or minus" symbol 20:49:15 sin-1x? 20:49:23 Phantom_Hoover, ? 20:49:30 Inverse sin? 20:49:30 sin of what? 20:49:32 Phantom_Hoover: not a function 20:49:38 There's a pentagonal wave? 20:49:46 Phantom_Hoover, inverse of sinus is only defined for a limited range 20:49:47 Sgeo: we could invent one 20:49:57 Phantom_Hoover, and it only maps to a limited range 20:49:59 Sgeo: No, I just thought of it in a fit of insanity. 20:50:18 AnMaster: I have been *lied* to, then. 20:50:37 Phantom_Hoover, well it is done in order to make it a function 20:51:05 Phantom_Hoover, however in calculations like sin(x) = 4 you need to remember the extra posibilities 20:51:10 and thus would write something like 20:51:21 actually wait 20:51:23 that won't work 20:51:24 You could call the pretty boring _/''\_ -style wave, with the slope angle of 72 degrees, a pentagonal wave; it's not like the triangle wave has more than two edges of the triangle either. 20:51:26 change that equation to: 20:51:33 sin(x) = 0.5 20:52:38 x = arcsin(0.5) + pi * n (n in Z) 20:52:39 or whatever 20:52:50 I forgot what the repetition rate was 20:53:13 Yeah, it's pi. 20:53:17 I think. 20:53:28 I get negative value there, mhm 20:53:33 Can the "I think" after everything I say just be implicit? 20:53:34 so something is off 20:54:03 it's 2pi, but you need two values in that interval 20:54:36 x and pi-x 20:54:40 ah right 20:54:51 oerjan, was it cos that had the simpler one? 20:55:10 x and -x 20:55:51 sin (-x) = -sin x, cos (-x) = cos x 20:55:59 right 20:56:07 oerjan, It isn't something I use very often 20:56:25 me neither 20:56:26 -!- Gracenotes has quit (Read error: Connection reset by peer). 20:59:31 oerjan, I find the difference between mathematics and applied mathematics amusing sometimes 20:59:46 like math teachers telling us to always remember the "plus or minus" when taking square root 21:00:30 and then when you actually use it you quite often don't need to remember that, because one is absurd (like you can't have a negative ratio between the number of turns in a transformer) 21:01:13 well as long as you're positive about it 21:01:18 hah 21:02:04 AnMaster: sin x = 4 "works" if you let x be complex; sin(pi/2 + i*arccosh(4)) = 4. 21:02:14 oerjan: You are charged with crimes against the English language. 21:02:18 fizzie, ah, haven't dealt with that stuff at all 21:02:25 oerjan, or that you don't actually need to solve most things exactly, numerically is good enough as long as you have enough decimals (of course deciding what is enough is another question) 21:03:52 Phantom_Hoover: as long as it is a positive charge 21:04:12 (MWAHAHA) 21:04:20 Ah, there was a lovely joke in the Concrete Mathematics book. 21:04:33 I think almost all (I don't know if this is in the mathematical sense or not) math teachers I ever had have hated approximate answers. They seem to prefer 4*sqrt(2)/44 rather than something like ~0,115 21:05:06 Phantom_Hoover: ais523 once complained after i had made so many puns he became physically ill 21:05:07 IMO the latter actually tells you a lot more when reading it 21:05:25 It has student-provided comments scribbled all over the margins; now, in one place the actual book text says something about "looking at sums that involve actual numbers: [a sum expression with j, k and N in it]" and the comment in the margin there was "Caution! The authors of this book seem to think that j, k and N are 'actual numbers'." 21:05:31 I mean, I can't tell from just looking at "4*sqrt(2)/44" that it is "0.1 and a bit" 21:06:00 oerjan, when was that? 21:06:10 AnMaster: that's sqrt(2)/11, you infidel! 21:06:16 a few weeks ago? 21:06:22 fizzie, wonderful 21:06:32 oerjan, whatever, to me it is ~ 0.115 21:06:55 oerjan, in practise your measurement tools probably didn't give you that many decimals even 21:07:05 Then you should positively (no pun intended) love floating-point numbers, given that they're inexact all the time. 21:07:33 most multimeters I have seen tend to give you 3 or 4 significant digits 21:07:55 (well, some of them seem to vary and be inconsistent even within the same range, but that is another, weird, story) 21:10:12 I have seen the *same* multimeter display, without me touching anything on it displaying: 1.010 V, 1.01 V, 1010 mV 21:10:28 Oo 21:10:34 and all I did was vary the amplitude on the signal generator used 21:10:49 to approach the values from different directions 21:11:04 like, going from just above downwards or just below upwards 21:11:49 some sort of the delay in switching between V and mV could explain part of it 21:11:53 AnMaster: What's wrong with surds? 21:12:00 but not 1.010 vs. 1.01 21:12:04 Phantom_Hoover, what 21:12:05 ? 21:12:33 The giving of numbers with square roots and fractions unevaluated. 21:13:04 Phantom_Hoover, well, it doesn't really give you any sort of feeling for what size the value actually is 21:13:28 True, but it's *exact*, and any calculations you make with it are also exact. 21:13:43 could you tell what 476531489094403/6171473383353049 actually is 21:13:56 Phantom_Hoover, like just from looking at it 21:14:04 No. 21:14:07 see 21:14:14 !haskell 476531489094403/6171473383353049 21:14:27 Hey, where's fungot? 21:14:28 7.721518987342642e-2 21:14:32 Phantom_Hoover, you can't really tell which fraction is largest if given two ridiculous fractions like that 21:14:46 It really depends what you're using it for. 21:14:54 fizzie, didn't you set up a supervisor for it? 21:15:04 AnMaster: No, I just thought about it. :p 21:15:05 err that might be erlang speak 21:15:06 Halfway through a calculation it's probably better to leave it as a surd. 21:15:35 oerjan, btw I doubt you can simplify that fraction 21:15:39 oerjan, since both are prime 21:15:43 but I might be wrong 21:15:58 I've seen "supervisor" used also in a daemony context. 21:16:03 right 21:16:07 How can you possibly simplify a fraction of two primes? 21:16:15 Phantom_Hoover, well yes probably, unless that means you end typoing stuff because the expression takes up two lines 21:16:16 Gah, my hostmask is again wrongly. 21:16:22 -!- fizzie has quit (Quit: jumpin' jumpin'). 21:16:24 -!- fizzie has joined. 21:16:45 Phantom_Hoover, I don't know, I'm pretty sure you can't but I might have forgotten something 21:16:51 -!- fungot has joined. 21:17:16 fizzie, not identified to services? 21:17:24 why not just edit the host mask in fungot then 21:17:24 AnMaster: it just wasn't my brand of humor. 21:17:40 AnMaster: Two primes by definition share no common factors, and as such no fraction with them as numerator and denominator can be simplified. 21:17:43 wait you are now 21:17:45 hm 21:17:46 misread 21:18:02 Phantom_Hoover, perhaps you could break out a root or something silly like that? 21:18:48 Well, you can obviously divide top and bottom by anything, but you wouoldn't exactly be simplifying. 21:18:50 you probably can't what with roots not being rational though 21:19:02 Phantom_Hoover, indeed 21:19:22 oerjan, anyway one thing I do agree with mathematicians about is units 21:19:27 !haskell import Ratio; main = print (476531489094403/6171473383353049::Rational) 21:19:31 476531489094403%6171473383353049 21:19:36 oerjan, base units is best 21:19:51 even if that means 5*10^-9 F rather than 5 nF 21:20:06 because that is so easy to forget in your calculations 21:20:11 F? 21:20:17 Phantom_Hoover, farad isn't it? 21:20:36 Oh, yes. 21:20:47 Phantom_Hoover, capacitors. And yes the usual range tends to require you to use *10^-something for them 21:20:52 For an awful second I though you meant Fahrenheit. 21:20:59 Wasn't it capacitance where the old-fashioned name for a picofarad was μμF, the micro-microfarad? 21:21:07 fizzie, I never seen that 21:21:33 "A micro-microfarad (μμF) that can be found in older texts is the equivalent of a picofarad." -- An unsourced statement, though. 21:21:34 fizzie, I have seen nF, µF mostly. pF (?) I don't remember 21:21:43 Yes, but we're not so old. 21:21:44 ooh wait 21:21:49 tell me what pH is 21:21:59 pico-henry right? 21:22:02 XD 21:22:09 lol 21:22:11 Or potential of hydrogen. 21:22:18 Oh, wait. 21:22:25 Phantom_Hoover, I prefer picohenry 21:22:48 Phantom_Hoover, but yes pH is usually the "is it acid or basic" thingy 21:22:48 this is henry, who is very small 21:23:03 oerjan, henry is a unit for inductors 21:23:10 it measures, um, something 21:23:16 I know how to calculate with it thought! 21:23:19 though* 21:23:20 Inductance, presumably. 21:23:23 AnMaster: Yes, and 1 kB is one kilobel. 21:23:24 Phantom_Hoover, ah yes 21:23:31 fizzie, bel? 21:23:40 oh right 21:23:40 AnMaster: The B in dB (decibel). 21:23:42 as in dB 21:23:49 fizzie, indeed it must be 21:23:52 is bel an SI unit? 21:24:00 oerjan: It's not exactly, but a bit. 21:24:03 fizzie, awfully loud noise I guess 21:24:18 oerjan: At least it's on this "Units outside the SI that are accepted for use with the SI" table, but not on the actual "Units of SI" one. 21:24:18 Just 10 dB. 21:24:23 I think units is bad: 21:24:24 mad* 21:24:26 You have: dB 21:24:27 You want: 21:24:27 Definition: deci B = 0.8 bit 21:24:29 XD 21:24:35 a kilobel should be enough to shatter the universe 21:24:42 (just entering a unit is supposed to show it's definition) 21:24:48 but decibit is just silly 21:25:16 wait, since dB is logarithmic.... kB would be horribly extremely large 21:25:19 oerjan: Depends on your reference level, of course. 21:25:28 -!- Oranjer has left (?). 21:25:30 I mean, even outside sound you don't get tha 21:25:31 that* 21:25:36 AnMaster: ^ 21:25:49 oerjan, [citation needed] 21:25:53 btw dB it is used in electricity too 21:26:02 for stuff like amplifiers of signals 21:26:10 which may or may not be sound 21:26:15 They use it for everything where there's a ratio of two things. 21:27:23 How is a bel even defined? 21:27:25 AnMaster: a kilobel is 10^1000 times as loud as 0 bel, that's many orders of magnitude larger than the number of atoms in the visible universe 21:27:45 20*log_10(amplification in electronic amplifier) wasn't it? 21:27:48 something silly like that 21:28:06 to get the thing in dB 21:29:36 For sound, it's 20*log_10(p_rms/p_ref), where p_rms is the sound pressure level you see, and p_ref is something like 20 µPa (according to Wikipedia); that's around the threshold for hearing in the usual circumstances. 21:30:24 -!- MizardX has quit (Ping timeout: 276 seconds). 21:31:00 fizzie, I'm talking about http://en.wikipedia.org/wiki/Operational_amplifier kind of stuff. Had a course that included calculation on such recently at university 21:31:43 the fun thing was calculating on "ideal" such 21:31:53 like you deal with ideal resistors or inductors or whatever 21:32:13 I'm not sure the stuff quite would pass the scrutiny of a mathematician 21:32:51 What is it with Visual Basic? 21:33:07 I see it referred to all over the place, but what is it acually used for? 21:33:07 eh? 21:33:19 what? 21:33:30 visual basic? isn't that a shitty language that microsoft made 21:33:30 Anyway, 10^500 (because the ratio is taken of the squares of the pressure levels) times p_ref would be "just" 2*10^495 Pascals. 21:33:47 fizzie, I have no idea of what the usual scale is for pascals 21:33:50 it's basically visual 21:33:52 I don't really deal with sound stuff 21:34:05 fizzie, didn't you do some sound stuff at university at some point? 21:34:18 or was that your main area even? 21:34:22 AnMaster: Whence "Visual"? 21:34:30 no, everything fizzie did was unsound 21:34:32 Phantom_Hoover, no idea 21:34:38 Phantom_Hoover, maybe because it had GUI stuff? 21:34:42 Same with Visual C++. 21:34:54 Phantom_Hoover, iirc that is just a product line of microsoft 21:34:56 *shrug* 21:34:57 AnMaster: Pascal is a derived unit, 1 Pa = 1 N/m^2. Just imagine some 10^494 kilos of stuff on top of you to get a "gut feeling" of that magnitude. 21:35:15 Phantom_Hoover, why "Vista", why "XP", why "excel" 21:35:25 I don't think there is a reasonable answer to any of those 21:35:30 And Visual Basic, compared to Basic, is indeed pretty Visual; at least the development environment is (or used to be) pretty GUI-form-editor-oriented. 21:35:42 And what's shitty about it? 21:35:44 I don't know which one they named first, though; Visual Basic or the Visual Studio line of stuff. 21:35:52 fizzie, ouch 21:36:05 "BASIC rots your brain; Visual Basic is bad for the eyes", like they say. 21:36:18 ...Why? 21:36:29 I have no experience in any BASIC stuff. 21:36:30 Phantom_Hoover, you might as well ask why COBOL is bad 21:36:43 AnMaster: If you want to use a timer somewhere, you put an invisible timer element in a GUI window somewhere. 21:36:48 (not the same reason, but equally hard to explain) 21:36:50 Nerds obsessing over minutiae? 21:36:50 my gut feeling seems to be in a black hole right now 21:37:00 oerjan, heh 21:37:09 oerjan, that depends on density 21:37:20 fizzie, sounds like delphi? 21:39:49 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 21:40:56 AnMaster: My exposure to Delphi is minimal, but yes, I think there are similarities. 21:41:14 *shudder* 21:41:42 I was raised on Pascal! 21:41:57 apple script first for me. Yes I know, horrible 21:41:57 I think they've sensiblized the language (and the environment) at least somewhat for the current, "VB.NET" generation. 21:42:00 Though I didn't like it very much. 21:42:03 then dephi, then sane stuff 21:42:07 delphi* 21:42:10 You can write web stuff with it nowadays, for example. 21:42:21 fizzie, you could in theory before I gues 21:42:24 guess* 21:42:27 if you had stdio 21:42:39 Then I changed schools, and had to use JavaScript. 21:42:54 AnMaster: Well.. you could declare win32 api components, though the FFI was a bit limited. 21:43:07 heh 21:43:15 fizzie, what I meant was a cgi 21:44:29 Yes, I don't know how that stuff works in Windows. I don't recall ever seeing a Visual Basic "console application", but it is possible it could make one. 21:46:25 "Even if you use the Win32 API for writing into the console screen, Your application won't work, because the Visual Basic compiler always creates GUI application and it doesn't provide any compiler options for changing it to console application." 21:46:42 There is, however, a third-party binary-mangling tool that translates a GUI PE executable to a console one. 21:47:16 * Phantom_Hoover shivers. 21:47:27 heh sounds fun 21:47:45 It seems to be a one-byte change. 21:47:58 Betwixt what and what? 21:48:12 A "GUI mode" PE executable and a "console mode" one. 21:48:22 where is that quote from btw? 21:48:33 AnMaster: http://www.nirsoft.net/vb/console_application_visual_basic.html 21:49:24 That might be a bit outdated too. Probably it's about as easy to write a console app with VB.NET as with any other .NET language. 21:49:53 * Phantom_Hoover shivers even more. 21:51:19 "On Error Resume Next" is a nice one-line summary of a Visual Basic mindset. 21:51:34 heh 21:51:42 Wait, so it just skips errors? 21:51:42 what does it mean? 21:51:55 Like /INTERCAL/? 21:52:15 Phantom_Hoover, why a regex? 21:52:22 It means pretty much what it says. If there ever is a runtime error detected by the system, it is "handled" by resuming execution on the next line. 21:52:23 (or what the heck where those / / ?) 21:52:30 They could be italics. 21:52:37 mhm 21:53:13 The other alternative, mind you, is "on error goto x", where x is a line number. (Or a line label, which sounds more likely nowadays.) 21:53:19 Phantom_Hoover, also iirc intercal doesn't do that sort of thing 21:53:32 rather it gives you a cryptic error message 21:53:42 I thought it just skipped them. 21:53:54 And that's how you write comments. 21:53:58 oh that yes 21:54:03 but that is syntax errors iirc 21:54:53 no it doesn't skip all syntax errors, but ignores syntax errors in lines that are otherwise skipped (due to starting, e.g. with DO NOT) 21:55:07 ah right 21:55:47 Oooh. 21:58:15 specific lines can have skipping turned on/off with the ABSTAIN/REINSTATE commands 21:58:21 "The statement DO ABSTAIN FROM ABSTAINING is perfectly valid, as is DO ABSTAIN FROM REINSTATING (although this latter is not usually recommended). However, the statement DO ABSTAIN FROM GIVING UP is not accepted, even though DON'T GIVE UP is." 21:58:25 One of my favourite sentences. 21:58:30 Or a pair of 'em. 21:59:03 heh 21:59:41 I do like the non-sequiturs too, though. 21:59:52 intercal needs to be... more self-modifying 22:00:08 "--, where exp represents any expression (except colloquial and facial expressions), --" 22:00:15 heh 22:00:48 I had an idea a while back for an "exclude" system. 22:00:50 "No other form of argument is permitted. For example, the following is an invalid argument: [an invalid proof of x != 0, y != 0 => x + y = 0]." 22:01:22 Wherein one would export a function to another module of code, rather than importing it. 22:02:48 fizzie, argument to what? 22:03:10 AnMaster: For REINSTATE, in this case. 22:03:22 fizzie, also were those [ ] there in the original or was that your summary of it? 22:03:29 That was my summary. 22:03:32 ah 22:03:47 The original has a nice proof that relies on the ambiguities of English. 22:03:52 fizzie, link to this? 22:04:22 http://www.muppetlabs.com/~breadbox/intercal-man/s04.html has one HTMLization, section 4.4.10. 22:05:27 hahaha 22:05:52 You hardly see any line numbers around nowadays either, which is a shame. There's something so pure about an integer label, instead of some silly thing like a name. 22:06:10 When ais523 comes in, link him to http://www.reddit.com/r/programming/comments/bioxv/while_thinking_about_turing_machines_i_found_that/c0mypya 22:06:17 even TI-BASIC uses 2 letter labels 22:06:21 1 or 2 letters 22:06:26 I don't know if numbers work 22:06:34 and I don't have my TI-83+ handy atm 22:09:30 Sgeo: Aren't TC languages effectively equivalent to a Turing machine? 22:10:08 equivalently effective 22:10:45 TI-86's TI-BASIC allows pretty long labels, you just use the "Lbl ABCD" command, and then "Goto ABCD" later. I'm not sure what the length limit there is; four seems to work just fine. 22:10:56 So what's the guy complaining about? 22:12:08 Complaints. 22:12:58 Empirical tests seems to suggest that "Lbl" accepts labels up to 8 characters long. 22:14:55 PLEASE ABSTAIN FROM COMING FROM 22:15:07 Man. INTERCAL. 22:16:18 fizzie, on TI-83+ it was 2 letters 22:16:20 fizzie: Presumably that afects TCness. 22:18:34 AnMaster: I don't have the 83+ ROM in the TI emulator in my phone, so can't verify that; I'll take your word for it. 22:20:32 fizzie: unless you can create labels on the fly (and somehow use that for memory), more than 8 characters seems unlikely to help for TCness 22:20:43 burghgrph'unrbafpun 22:21:09 even 2 letters are probably enough 22:21:30 oerjan: Yes, I do agree. It's got arrays (well, vectors and matrices), but I think those have specified fixed size limits. 22:22:11 oh, i meant that remark for Phantom_Hoover 22:22:22 but thanks for clarification 22:23:33 oerjan: Surely a finite number of levels would restrict something important? 22:23:57 For instance, you would only be able to nest loops up to a certain number. 22:24:35 Phantom_Hoover: if _everything_ is finite, yes. but you only need one mechanism for getting unbounded memory, labels don't need to be it 22:25:25 Hmm... 22:29:48 and even unlimited label size won't help with that as long as you have fixed labels in each single program 22:30:13 Yes... 22:30:24 It has strings, and the manual doesn't especially speak of length limits, but of course in practice it does have limits there. 22:30:34 AnMaster: I don't have the 83+ ROM in the TI emulator in my phone, so can't verify that; I'll take your word for it. <-- on... your... phone?! 22:30:36 wth 22:30:51 fizzie, well I do have a ti-83+ emulator somewhere around here anyway 22:31:35 Windows Mobile has a TI 83-89 emulator 22:31:37 AnMaster: Yes, I have AlmostTI (which does 85, 86, 82, 83, 83+, 73, 83+se, and maybe 84+ and 84+se) on the phone. 22:31:49 Doesn't do 89, though. 22:32:12 (http://fms.komkon.org/ATI85/) 22:32:25 yep syntax error with 3 letters 22:32:37 fizzie, 89 is 68k isn't it? 22:32:40 while the other are Z80 22:32:42 AnMaster: Yes, I think it is. 22:33:44 oerjan: It's got strings, and those don't have explicit length limits, but you can again derive some implicit limits from the fact that "lngth" needs to be able to return the length of string, and it returns a "number", and the numbers are something like 14-byte BCD-decimal-floats or some-such. 22:34:04 is there no plain 84 btw? 22:34:07 without the + 22:34:29 They might have skipped the number. 22:34:32 Phantom_Hoover, you have loops in TI-83+ btw 22:34:33 I haven't heard of one. 22:34:38 that are not done with label and goto 22:34:44 you have for() and while iirc 22:34:51 anyway the ram is very limited 22:34:58 so you would run out of that early on 22:35:00 I think there was a nesting limit for the loops, too, but I might misremember. 22:35:05 maybe 22:35:06 I don't know 22:35:21 "The TI-84 Plus is a graphing calculator made by Texas Instruments which was released in early 2004. There is no original TI-84, only the TI-84 Plus and TI-84 Plus Silver Edition models" 22:35:23 from wikipedia 22:40:01 what just happened to wikipedia 22:40:05 everything changed 22:40:14 horribly unreadable now 22:40:25 and then it went back to normal 22:40:29 with ctrl-shift-r 22:40:33 ????? 22:41:07 Bug with Beta? 22:41:53 does beta have a smaller font? 22:41:57 if so probably 22:42:04 and kind of bluish theme 22:42:53 http://mashable.com/2010/03/26/wikipedias-redesign-is-coming-soon/ 22:43:30 looked like a mix of them 22:47:29 They're changing it! Therefore it will suck! 22:48:17 http://tvtropes.org/pmwiki/pmwiki.php/Main/TheyChangedItNowItSucks 22:48:25 (*MWAHAHAHA*) 22:53:00 eh, bttr thn th chngs thy md t nglsh. lawlfg! 22:53:56 -!- Oranjer has joined. 23:05:40 Oerjan: Linking to TV Tropes? Have you no decency? 23:05:42 -!- adam_d has joined. 23:06:29 i thought my evil laughter would be warning enough 23:10:11 Fortunately I was already overexposed. 23:19:43 -!- Azstal has joined. 23:20:46 -!- Aszstal has joined. 23:22:28 -!- Asztal has quit (Ping timeout: 246 seconds). 23:22:39 -!- Aszstal has changed nick to Asztal. 23:24:15 -!- Azstal has quit (Ping timeout: 245 seconds). 23:25:59 "cpuemu.c:34537: warning: comparison of promoted ~unsigned with unsigned" <-- that is a warning I never seen before 23:26:05 also what a huge line number 23:26:19 I suggest clang. 23:26:27 pikhq, oh? 23:26:37 It gives useful errors and warnings. 23:26:42 pikhq, I doubt it would work. This uses inline asm which llvm doesn't support 23:26:46 And it makes C++ type errors readable. 23:26:48 specifically x87 asm 23:26:53 Aaaaw. 23:27:00 Wait, x87? Burn it with fire! 23:27:09 pikhq, *shrug* 23:27:30 I don't see what is wrong with using that. 23:27:46 It's quite slower than SSE. 23:27:59 pikhq, sure, but SSE doesn't do long double 23:28:19 what the heck dcop.cpp:(.text+0x52c): undefined reference to `KApplication::dcopClient()' 23:28:42 shouldn't ./configure have, you know, detected that 23:29:15 google says: No results found for "comparison of promoted ~unsigned with unsigned". 23:30:32 Yes, but I fail to see the advantage of an 80-bit floating point type that's hella-slow and unportable. 23:31:17 pikhq, well because PPC has 128 bit 23:31:24 while x86 only has 80 bits 23:31:38 x86 doesn't have floating point. 23:31:40 :P 23:31:51 har 23:33:58 Really? 23:34:07 Hm, PPC does real quadruple-precision floats? That's impressive. 23:34:50 When would you even need floats that precise? 23:34:54 Rocket science? 23:35:01 fizzie, pretty sure it does 23:35:17 http://en.wikipedia.org/wiki/Long_double speaks only of software implementations, but who knows. 23:36:01 Also, GCC's http://gcc.gnu.org/onlinedocs/gcc/Floating-Types.html says __float80 and __float128 are only supported on x86ish things (the latter with software emulation), but I guess they might still do a "long double" like that. 23:37:59 Another place lists a 128-bit PowerPC "long double" format that's listed to be implemented as "fast software". 23:38:09 That double-double non-IEEE thing sounds bizarre. 23:38:26 "PowerPC supports long double using its fused multiply-add instruction, so its operations are relatively fast, though not fully IEEE-compliant." 23:38:39 hm 23:38:45 aha 23:38:55 What? 23:38:59 I guess if all you have is a fused multiply-add, all your floats look like... nails? I don't know how that saying goes. 23:41:17 -!- oerjan has quit (Quit: Just don't blow a fuse). 23:41:28 -!- Oranjer has left (?). 23:50:57 mathematica can't even do diophantine equations over natural numbers.... 23:51:20 Isn't there standard IEEE quad-prec float type also (but not widely supported)? 23:52:08 have to do && x >= 0 23:53:23 Because Mathematica sucks. 23:54:15 -!- tombom has quit (Quit: Leaving). 23:59:09 You can't solve general diophantine equations, though 23:59:59 -!- jcp has quit (Read error: Operation timed out).