| 01:04:52 | * | Zerathul quit (Quit: ChatZilla 0.9.89 [Firefox 17.0.1/20121128204232]) |
| 01:08:35 | dom96 | grrr |
| 01:08:40 | dom96 | Github is down |
| 01:08:44 | Araq | lol |
| 01:08:51 | Araq | not your day, is it? |
| 01:09:29 | Zor | Araq: so I hear your have an effect system in nimrod |
| 01:09:49 | Araq | yes |
| 01:10:17 | Zor | any docs on it? |
| 01:10:35 | Araq | I plan to use it to prevent data races and deadlocks :-) |
| 01:11:14 | Araq | Zor: http://build.nimrod-code.org/docs/manual.html#effect-system |
| 01:18:15 | Araq | btw, Zor, do you happen to know where the followup of this is: http://bartoszmilewski.com/2009/05/26/race-free-multithreading/ |
| 01:33:20 | Araq | never mind, found them |
| 02:08:52 | Araq | good night |
| 02:55:50 | * | q66 quit (Quit: Quit) |
| 06:55:39 | reactormonk | Araq, uhm, I got to pluck the .js file from nimcache? |
| 08:57:16 | Araq | reactormonk: yep |
| 08:58:35 | Araq | we could change that, but what would be a better place? |
| 09:34:23 | * | FreeArtMan joined #nimrod |
| 09:59:28 | * | mal`` quit (Remote host closed the connection) |
| 10:08:21 | * | mal`` joined #nimrod |
| 11:43:17 | * | q66 joined #nimrod |
| 15:23:59 | * | Roin quit (Quit: WeeChat 0.3.9.2) |
| 15:24:20 | * | Roin joined #nimrod |
| 15:24:20 | * | Roin quit (Changing host) |
| 15:24:21 | * | Roin joined #nimrod |
| 17:01:36 | * | apriori| joined #nimrod |
| 17:02:04 | Araq | hi apriori| |
| 17:02:09 | apriori| | hi Araq |
| 17:02:28 | Araq | so ... I guess I'm blocking your work by not fixing the bugs you reported? |
| 17:02:55 | apriori| | well.. yeah :P |
| 17:03:31 | Araq | that's bad |
| 17:03:56 | Araq | because I don't feel like fixing bugs :P |
| 17:04:26 | apriori| | most crucially of course #287 (partial specialisation) |
| 17:04:39 | apriori| | well.. np... just take your time ;) |
| 17:04:52 | Araq | no, we can't afford you doing nothing either |
| 17:05:26 | apriori| | might be true.. but even if the bugs get fixed, you couldn't expect me to finish the work in say 2 weeks |
| 17:05:33 | apriori| | don't forget that I'm still a student ;) |
| 17:06:16 | apriori| | with supposedly other stuff to do... but you know how studying is.. sometimes other more useful stuff is more interesting ;) |
| 17:06:26 | apriori| | in my case ..playing with nimrod, haskell and other stuff :P |
| 17:08:33 | apriori| | e.g., after the 27. I gonna fully focus on my next exam .. quantum physics.. |
| 17:08:39 | apriori| | and that for about 3-4 weeks |
| 17:09:17 | Araq | quantum physics are interesting |
| 17:09:40 | apriori| | yeah, it actually is |
| 17:09:54 | apriori| | but its also somewhat tough.. tough math throughout... |
| 17:10:17 | apriori| | in other areas of physics you can get quite far with "intuition" .. but not in quantum physics.. there only pure math matters |
| 17:10:58 | Araq | intuition never worked for me in physics |
| 17:11:10 | apriori| | did you have that subject in your studies? |
| 17:11:27 | apriori| | or did you mean back in school? |
| 17:11:30 | Araq | no, only at school ;-) |
| 17:11:35 | apriori| | hehe, ok |
| 17:11:42 | apriori| | yeah.. physics is totally different there.. |
| 17:12:20 | apriori| | in university you get the impression that physics is somewhat sloppy... |
| 17:12:41 | apriori| | neglecting actually unneglectable terms here and there in their equations... |
| 17:13:34 | apriori| | e.g., with the ODE of the simple pendulum... |
| 17:13:57 | apriori| | in which a sin(alpha) is approximated with (alpha) .. which only holds for quite small angles |
| 17:16:02 | apriori| | but on the other hand such simplications are often needed in order to able to actually solve some DEs.. physics is full of such stuff |
| 17:16:30 | apriori| | *simplifications |
| 17:17:18 | apriori| | btw, Araq, coming back to good old forward declarations ... |
| 17:17:23 | Araq | simplifications for mathematical reasons are everywhere ;-) |
| 17:17:50 | Araq | forwarding a generic doesn't work, I know, I know |
| 17:18:07 | Araq | support for closures broke it and I haven't fixed it yet |
| 17:18:15 | apriori| | nope, I didnt mean that |
| 17:18:36 | apriori| | I just wanted to ask, whether you don't wanna add another parser pass because of performance |
| 17:19:05 | Araq | zahary is working on it, so it will be gone |
| 17:19:21 | Araq | I'm the only one who actually likes that feature ... |
| 17:19:29 | apriori| | apparently :P |
| 17:19:48 | apriori| | I actually got your point when you described it somewhat enforces a read order.. |
| 18:01:21 | * | Vladar joined #nimrod |
| 18:15:04 | Araq | yeah as I said, you can read from bottom to top |
| 18:15:30 | Araq | whereas with implicit forwarding you can't read from top to bottom |
| 18:16:04 | Araq | because it's not enforced and there are enough people around coming from languages without implicit forwarding |
| 18:17:40 | Araq | so apriori|, how about you work on something that doesn't block you because of compiler bugs ;-) |
| 18:19:22 | Araq | like a bignum library? |
| 18:19:56 | Araq | or a websockets library or a wxWidgets wrapper? |
| 18:37:53 | apriori| | hm... |
| 18:38:04 | apriori| | not really an expert on websockets or bignum... |
| 18:38:10 | apriori| | wxwidgets sounds like maintenance hell :P |
| 18:38:21 | apriori| | although.. it should have a good C API |
| 18:38:34 | Araq | perhaps now it has |
| 18:38:42 | Araq | it used to have no C API |
| 18:38:53 | Araq | but I've old code lying around here |
| 18:39:06 | apriori| | hm.. maybe I confuse it |
| 18:39:08 | Araq | which did the wrapper via a C wrapper |
| 18:39:10 | apriori| | gonna take a look |
| 18:40:21 | apriori| | looks like a wxC was stripped out of wxHaskell |
| 18:41:12 | apriori| | and that is ancient :/ |
| 18:41:29 | Araq | yeah, but so is the wrapper I have here |
| 18:42:03 | reactormonk | Araq, hum... stdout? :-) |
| 18:42:42 | Araq | reactormonk: nah, I don't consider that better than nimcache/ (which you can btw override) |
| 19:03:40 | apriori| | Araq: maybe we should wrap libclang instead... to get a c++ parser |
| 19:03:55 | apriori| | and more or less write a very stupid c++2nim |
| 19:04:15 | Araq | updating my c2nim to grok c++ is more fun :P |
| 19:04:34 | apriori| | :P |
| 19:05:19 | Araq | and this llvm stuff is always more work than it seems |
| 19:07:21 | apriori| | maybe.. but once it would be done, maintenance might not be too high |
| 19:07:38 | Araq | lol |
| 19:07:46 | Araq | as if LLVM's APIs are stable ... |
| 19:08:09 | apriori| | I think more in the sense of... it doesn't quite help to have a wrapper for lib X right now.. if its a major problem to follow the development upstream |
| 19:08:12 | Araq | C++'s syntax is way more stable than LLVM's APIs |
| 19:08:21 | apriori| | yup, that for sure |
| 19:09:15 | Araq | well I have to go |
| 19:09:22 | Araq | bye |
| 19:09:24 | apriori| | bye |
| 19:15:19 | * | FreeArtMan quit (Ping timeout: 260 seconds) |
| 19:17:10 | * | FreeArtMan joined #nimrod |
| 19:24:24 | * | FreeArtMan quit (Read error: Connection reset by peer) |
| 19:25:15 | * | FreeArtMan joined #nimrod |
| 19:35:29 | * | gradha joined #nimrod |
| 19:52:19 | Zor | on the other hand parsing c++ is a nightmare |
| 20:53:37 | gradha | dom96: testing now the socket changes, everything seems to work now, thanks |
| 20:54:00 | dom96 | gradha: awesome. No problem :) |
| 20:54:01 | * | gradha quit (Read error: Connection reset by peer) |
| 20:55:22 | * | gradha joined #nimrod |
| 20:55:43 | gradha | Araq: koch web seems to take ages now that I've installed tex, any param to disable building pdf? |
| 21:02:59 | dom96 | Looking at the source, it doesn't seem there is a param. |
| 21:02:59 | * | gradha quit (Read error: Connection reset by peer) |
| 21:03:16 | * | dom96 wonders if he's accidentally killing gradha |
| 21:03:30 | * | gradha joined #nimrod |
| 21:06:52 | * | Vladar quit (Quit: Leaving) |
| 21:06:53 | * | gradha quit (Read error: Connection reset by peer) |
| 21:08:00 | * | gradha joined #nimrod |
| 21:28:05 | gradha | half hour later it was still building the third pdf, so Ctrl+C worked wonders |
| 21:33:16 | dom96 | is it pdflatext that takes so long? |
| 21:33:17 | * | gradha quit (Read error: Connection reset by peer) |
| 21:34:07 | * | gradha joined #nimrod |
| 21:35:01 | dom96 | gradha: It seems every time I speak, your internet dies. |
| 21:35:01 | * | gradha quit (Read error: Connection reset by peer) |
| 21:36:37 | * | gradha joined #nimrod |
| 21:45:05 | gradha | indeed, and I find out only after reloading the web log |
| 21:49:06 | gradha | just created https://github.com/Araq/Nimrod/issues/289 |
| 21:49:20 | gradha | I guess comments are not a strong point in the current code base |
| 21:51:07 | gradha | so answering to the web irclog, it seems that pdflatex on macosx ships each letter to a china factory and waits for it to come back with an aluminium body welded by laser |
| 21:51:44 | gradha | the final pdf still looks awful though |
| 21:58:27 | dom96 | lol |
| 21:58:28 | * | gradha quit (Read error: Connection reset by peer) |
| 21:58:43 | * | gradha joined #nimrod |
| 21:58:43 | dom96 | This is interesting... |
| 21:59:15 | gradha | huh, so you are sending irc packets with the evil bit set? |
| 21:59:37 | dom96 | I am? |
| 21:59:48 | gradha | I keep dying here |
| 21:59:58 | gradha | just closed torrent/dropbox to see if that was the problm |
| 22:00:05 | gradha | maybe the irc client is too picky about latency |
| 22:00:15 | dom96 | What IRC client are you using? |
| 22:00:29 | gradha | only found colloquy for mac |
| 22:00:41 | gradha | in the good days I used bitchX |
| 22:02:32 | dom96 | Can you not get xchat for mac? |
| 22:02:50 | gradha | "XChat is an IRC chat program for both Linux and Windows" |
| 22:02:54 | gradha | I guess that means not |
| 22:03:30 | dom96 | http://sourceforge.net/projects/xchataqua/ |
| 22:03:37 | dom96 | But "As of 2012-10-17, this project is no longer under active development." |
| 22:04:07 | gradha | does it have prettier monospaced fonts? |
| 22:04:25 | dom96 | no idea |
| 22:05:12 | gradha | brb |
| 22:05:13 | * | gradha quit (Quit: gradha) |
| 22:06:19 | * | gradha joined #nimrod |
| 22:06:29 | gradha | hmmm |
| 22:06:58 | gradha | looks pretty |
| 22:07:35 | dom96 | really? Screenshot? |
| 22:08:46 | gradha | http://dl.dropbox.com/u/145894/t/xchat.png |
| 22:08:56 | gradha | now comes the lag test |
| 22:09:52 | dom96 | hm, pretty indeed. |
| 22:10:04 | gradha | ok, it sucks, has no notifications |
| 22:10:26 | dom96 | Are you sure? Check the preferences. |
| 22:12:05 | gradha | oh yeah, about 40 different irc events and I don't know what does any of each |
| 22:12:11 | gradha | this is certainly free software |
| 22:12:15 | fowl | lol |
| 22:12:28 | fowl | used to that watered-down iSoftware |
| 22:13:09 | gradha | ok, tell me the difference between "Channel Modes" and "Channel Mode Generic" |
| 22:13:19 | gradha | I don't even know what that as an event is supposed to be |
| 22:14:40 | gradha | the problem is not that you can configure stuff, the problem is there is no help/readme, not even a tooltip, so the user is expected to know full irc jargon |
| 22:14:48 | dom96 | Just untick those or whatever. |
| 22:15:05 | dom96 | Not sure what the difference between the two is. |
| 22:15:08 | fowl | gradha: that event list is for formatting the text its displayed it |
| 22:15:54 | gradha | not on mac, this is to make the icon bounce or display a badge when this event happens |
| 22:16:26 | fowl | http://storage3.static.itmages.com/i/12/1224/h_1356300980_6133128_a829e86c14.png |
| 22:17:16 | gradha | The mac version doesn't have alerts, I'm looking at the sounds subsection |
| 22:17:26 | gradha | so yeah, sounds subsections, and has nothing to do with sounds |
| 22:17:59 | fowl | uhh ok |
| 22:18:02 | fowl | afk |
| 22:18:59 | gradha | maybe alerts don't have the same meaning and that's why they merged them with sounds http://dl.dropbox.com/u/145894/t/lovely.png |
| 22:22:12 | gradha | I at least I have a good excuse now for not paying attention |
| 22:24:02 | gradha | the syntax for nested arrays makes much more sense in nirmod that other languages |
| 22:24:33 | gradha | I'll add that to the tutorial, it's not obvious for people coming from brain damaged languages |
| 22:27:01 | dom96 | indeed |
| 22:40:59 | * | FreeArtMan quit (Quit: Out of this 3D) |
| 23:30:32 | gradha | comments on https://github.com/Araq/Nimrod/pull/290 welcome, good night |
| 23:30:34 | * | gradha quit (Quit: Leaving) |