00:34:49 -!- Jontte has quit ("Konversation terminated!").
01:53:00 -!- sebbu has quit ("@+").
03:05:36 -!- pikhq_ has joined.
03:07:37 -!- pikhq has quit (Nick collision from services.).
03:07:42 -!- pikhq_ has changed nick to pikhq.
03:19:11 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
03:19:56 -!- bsmntbombdood has joined.
03:33:55 -!- bsmntbombdood has quit (kubrick.freenode.net irc.freenode.net).
03:33:55 -!- AnMaster has quit (kubrick.freenode.net irc.freenode.net).
03:33:55 -!- Sgeo has quit (kubrick.freenode.net irc.freenode.net).
03:33:56 -!- SimonRC has quit (kubrick.freenode.net irc.freenode.net).
03:33:56 -!- Overand has quit (kubrick.freenode.net irc.freenode.net).
03:33:56 -!- GregorR has quit (kubrick.freenode.net irc.freenode.net).
03:33:57 -!- pikhq has quit (kubrick.freenode.net irc.freenode.net).
03:33:57 -!- Bigcheese has quit (kubrick.freenode.net irc.freenode.net).
03:33:57 -!- cmeme has quit (kubrick.freenode.net irc.freenode.net).
03:33:57 -!- sekhmet has quit (kubrick.freenode.net irc.freenode.net).
03:33:57 -!- ihope has quit (kubrick.freenode.net irc.freenode.net).
03:33:58 -!- Possum has quit (kubrick.freenode.net irc.freenode.net).
03:33:58 -!- oklopol has quit (kubrick.freenode.net irc.freenode.net).
03:33:58 -!- lifthrasiir has quit (kubrick.freenode.net irc.freenode.net).
03:33:58 -!- johnl has quit (kubrick.freenode.net irc.freenode.net).
03:33:59 -!- Slereah has quit (kubrick.freenode.net irc.freenode.net).
03:33:59 -!- helios24 has quit (kubrick.freenode.net irc.freenode.net).
03:34:00 -!- faxathisia has quit (kubrick.freenode.net irc.freenode.net).
03:34:02 -!- dbc has quit (kubrick.freenode.net irc.freenode.net).
03:34:02 -!- cherez has quit (kubrick.freenode.net irc.freenode.net).
03:34:02 -!- puzzlet has quit (kubrick.freenode.net irc.freenode.net).
03:34:02 -!- johnk has quit (kubrick.freenode.net irc.freenode.net).
03:34:02 -!- mtve has quit (kubrick.freenode.net irc.freenode.net).
04:08:22 -!- RodgerTheGreat has joined.
04:08:22 -!- bsmntbombdood has joined.
04:08:22 -!- pikhq has joined.
04:08:22 -!- AnMaster has joined.
04:08:22 -!- faxathisia has joined.
04:08:22 -!- oklopol has joined.
04:08:22 -!- Sgeo has joined.
04:08:22 -!- Slereah has joined.
04:08:22 -!- sekhmet has joined.
04:08:22 -!- Bigcheese has joined.
04:08:22 -!- ihope has joined.
04:08:22 -!- helios24 has joined.
04:08:22 -!- cmeme has joined.
04:08:22 -!- puzzlet has joined.
04:08:22 -!- dbc has joined.
04:08:22 -!- johnl has joined.
04:08:22 -!- GregorR has joined.
04:08:22 -!- SimonRC has joined.
04:08:22 -!- Overand has joined.
04:08:22 -!- Possum has joined.
04:08:22 -!- johnk has joined.
04:08:22 -!- mtve has joined.
04:08:22 -!- cherez has joined.
04:08:22 -!- lifthrasiir has joined.
04:10:38 -!- GreaseMonkey has joined.
04:23:04 -!- lament has quit (Remote closed the connection).
04:25:56 -!- SimonRC has quit (kubrick.freenode.net irc.freenode.net).
04:25:56 -!- AnMaster has quit (kubrick.freenode.net irc.freenode.net).
04:25:56 -!- GregorR has quit (kubrick.freenode.net irc.freenode.net).
04:25:56 -!- Overand has quit (kubrick.freenode.net irc.freenode.net).
04:25:57 -!- Sgeo has quit (kubrick.freenode.net irc.freenode.net).
04:25:57 -!- bsmntbombdood has quit (kubrick.freenode.net irc.freenode.net).
04:25:57 -!- GreaseMonkey has quit (kubrick.freenode.net irc.freenode.net).
04:25:57 -!- Bigcheese has quit (kubrick.freenode.net irc.freenode.net).
04:25:57 -!- cmeme has quit (kubrick.freenode.net irc.freenode.net).
04:25:58 -!- pikhq has quit (kubrick.freenode.net irc.freenode.net).
04:25:58 -!- ihope has quit (kubrick.freenode.net irc.freenode.net).
04:25:58 -!- sekhmet has quit (kubrick.freenode.net irc.freenode.net).
04:25:58 -!- Possum has quit (kubrick.freenode.net irc.freenode.net).
04:25:58 -!- lifthrasiir has quit (kubrick.freenode.net irc.freenode.net).
04:25:58 -!- oklopol has quit (kubrick.freenode.net irc.freenode.net).
04:25:59 -!- johnl has quit (kubrick.freenode.net irc.freenode.net).
04:25:59 -!- Slereah has quit (kubrick.freenode.net irc.freenode.net).
04:26:00 -!- helios24 has quit (kubrick.freenode.net irc.freenode.net).
04:26:00 -!- RodgerTheGreat has quit (kubrick.freenode.net irc.freenode.net).
04:26:00 -!- faxathisia has quit (kubrick.freenode.net irc.freenode.net).
04:26:00 -!- cherez has quit (kubrick.freenode.net irc.freenode.net).
04:26:00 -!- dbc has quit (kubrick.freenode.net irc.freenode.net).
04:26:01 -!- mtve has quit (kubrick.freenode.net irc.freenode.net).
04:26:01 -!- johnk has quit (kubrick.freenode.net irc.freenode.net).
04:26:01 -!- puzzlet has quit (kubrick.freenode.net irc.freenode.net).
05:28:41 -!- clog has joined.
05:28:41 -!- clog has joined.
06:22:58 -!- GreaseMonkey has quit ("food").
06:35:43 -!- oerjan has joined.
06:57:34 -!- immibis has joined.
06:58:23 -!- immibis has changed nick to HadjinLog.
06:58:53 -!- HadjinLog has changed nick to immibis.
07:02:08 -!- immibis has changed nick to HadjinLog.
07:02:17 -!- HadjinLog has changed nick to immibis.
07:28:29 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
07:33:38 -!- immibis has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. Oops. My brain just hit a bad sector").
07:59:17 <Slereah> What's the function in python to change an integer into a string?
07:59:43 -!- Jontte has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:02:04 <Slereah> (I'm trying to make some awfully inefficient calculator)
08:02:37 <lament> hopefully it's really inefficient
08:02:57 <Slereah> Frigthfully so, I believe.
08:09:46 <Slereah> The program itself is probably very inefficient, but it's mainly because I kinda suck at programming.
08:31:24 -!- cmeme has quit ("Client terminated by server").
08:31:34 -!- cmeme has joined.
09:03:00 * oerjan wonders if there would be a market for a song called "Rocking around Frostie the Red-Nosed Reindeer Roasting on a One-Horse Open Sleigh"
09:03:43 <oerjan> also, if someone already made it or a close approximation
09:06:00 <Slereah> Well, there's a "Rudolph the deep-throat reindeer" and a "Frosty the Pervert".
09:06:24 <Slereah> So there should be one for that.
09:06:51 <oerjan> actually that one is just Rule 34
09:09:33 <oerjan> my idea is more about drowning under a flood of christmas songs
09:09:58 <oerjan> hm needs to fit Mistletoe and Wine in there
09:10:53 <Slereah> Sort of like the Ultimate Showdown, but Christmas-wise.
09:14:30 <oerjan> i guess it would be filed under Christmas Medley
09:23:30 <oklopol> the problem is you need to have a melody, which you want to be consistent, since otherwise you could just play the songs one by one
09:24:31 <oerjan> or you might go for ultimate disharmony...
09:24:43 <oklopol> composing a new melody doesn't work unless you do it really good, and somehow steal all of it from the other songs while being none of them, and using the melody of an existing one is unfair to the others
09:25:01 <Slereah> Well, I guess it would just have to sound christmas-y.
09:25:09 <Slereah> And the work would be in the lyrics.
09:25:19 <oklopol> www.vjn.fi/s/brainfuck.mp3 anyone wanna sing it on top of that if i write the lyrics?
09:25:43 <oklopol> well you just need christmas bells i guess
09:26:37 <Slereah> What command would bring on the bells?
09:27:02 <Slereah> I'm listening to that awful brainfuck.mp3.
09:27:07 <oklopol> "ho, bells! squrry up some music for me!"
09:27:25 <Slereah> I assume the sounds correspond to commands.
09:27:44 <Slereah> Is it just made to annoy then?
09:28:14 <Slereah> Well, annoy me at least, and make you smile!
09:28:25 <oklopol> my favorite music genres are metal, classic and noise
09:29:53 <oklopol> noise is easiest to compose, and hardest to listen
09:30:57 <Slereah> http://membres.lycos.fr/bewulf/Russell/Calc2.txt
09:32:03 <Slereah> Soon, it will be able to add two numbers!
09:35:03 <oklopol> i once made a calculator that checked whether there were operators in the input string, and if there were, found the subexpression most deep, and evaluated it
09:35:14 <oklopol> "parsing? what's parsing?"
09:35:35 <oklopol> i also made an interpreter for a basic-like language on top of that
09:36:43 <oklopol> it still has a bug, if you have the variables I and IN, that sometimes produces an error like syntax error 21N...
09:36:53 <oklopol> depending on the value of I of course
09:37:35 <oklopol> also tokenization is for wimps
09:53:30 -!- oerjan has quit ("leaving").
10:25:02 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
10:30:48 -!- puzzlet has joined.
10:53:02 -!- faxathisia has joined.
11:01:50 -!- Sabskm has joined.
11:23:43 -!- Slereah has quit (Nick collision from services.).
11:23:44 -!- Sabskm has changed nick to Slereah.
11:24:09 <Slereah> Hell. Operation priority is annoying.
11:30:27 <Slereah> Nah. Just a stupid calculator.
11:30:43 <Slereah> That prints every step with the Peano axioms.
11:31:04 <Slereah> So far, it works okay for one addition.
11:31:06 <faxathisia> Does python have any good logic programming facility?
11:31:13 <faxathisia> I cant imagine it being trivial to add..
11:31:20 <Slereah> No idea. I don't know that much python.
11:31:45 <oklopol> faxathisia: all i know is python has everything
11:32:24 <oklopol> i'm 99% sure there is something like that for python
11:34:35 <oklopol> the trick to parsing is making a class that lets you use your string as a file, so that you don't have to explicitly pass information about where you are on the string
11:36:21 <faxathisia> I like that you get an unparser too, if you write the parser as a proper relation
11:36:38 <faxathisia> It's just that.. it's very hard to add e.g. indentation when unparsing
11:36:48 <faxathisia> (unless you write a new piece of code)
11:45:11 <faxathisia> I can't tell if PyPy would work for this
12:15:04 -!- jix has joined.
12:18:02 -!- puzzlet_ has joined.
12:18:35 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
12:55:13 -!- jix has quit ("CommandQ").
12:59:28 <Slereah> Is there no way to change a string in Python?
13:28:01 <faxathisia> I guess not since "'str' object does not support item assignment"
13:29:19 <Slereah> I was somehow hoping for some magical function that would take all my trouble away.
13:29:30 <Slereah> It's really an annoying feature.
13:47:06 -!- pikhq has quit (calvino.freenode.net irc.freenode.net).
13:47:06 -!- Bigcheese has quit (calvino.freenode.net irc.freenode.net).
13:47:09 -!- pikhq has joined.
13:47:09 -!- Bigcheese has joined.
13:55:37 -!- RedDak has joined.
13:56:36 <faxathisia> so many subturing languages become complete fi you just stick while(1) { .. } around it
14:21:25 -!- RedDak has quit (Read error: 104 (Connection reset by peer)).
14:56:11 -!- jix has joined.
15:24:42 -!- pikhq has quit (Read error: 110 (Connection timed out)).
15:50:49 -!- pikhq has joined.
16:25:24 -!- jix has quit ("CommandQ").
16:38:01 -!- pikhq has quit (Read error: 110 (Connection timed out)).
16:43:26 -!- pikhq has joined.
16:51:11 -!- Sgeo has joined.
17:10:05 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
17:13:12 -!- pikhq has joined.
17:20:34 -!- sebbu has joined.
17:30:58 -!- Sgeo has quit (Connection timed out).
17:33:11 -!- oerjan has joined.
18:11:25 -!- jix has joined.
18:52:12 -!- Sgeo has joined.
19:15:49 -!- poiuy_qwert has joined.
19:35:33 -!- poiuy_qwert has quit.
20:16:25 -!- Jontte has quit (Remote closed the connection).
20:16:57 -!- Jontte has joined.
20:55:04 -!- RedDak has joined.
20:55:53 -!- faxathisia has quit ("Leaving").
20:58:11 -!- bsmntbombdood has quit (Read error: 104 (Connection reset by peer)).
20:58:45 -!- bsmntbombdood has joined.
21:01:20 -!- Dagide has joined.
21:04:48 <ihope> Slereah: functional programming techniques make string assignment a little bit unnecessary.
21:05:05 <ihope> Though it did say "item assignment"; I'm not sure that's the same thing.
21:18:14 <SimonRC> The free wifi has mysteriously gone just as it mysteriously appeared
21:18:37 -!- RedDak has quit (Connection timed out).
21:28:06 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net).
21:28:06 -!- Sgeo has quit (calvino.freenode.net irc.freenode.net).
21:28:06 -!- puzzlet_ has quit (calvino.freenode.net irc.freenode.net).
21:28:07 -!- cmeme has quit (calvino.freenode.net irc.freenode.net).
21:28:07 -!- AnMaster has quit (calvino.freenode.net irc.freenode.net).
21:28:08 -!- SimonRC has quit (calvino.freenode.net irc.freenode.net).
21:28:08 -!- Overand has quit (calvino.freenode.net irc.freenode.net).
21:28:08 -!- GregorR has quit (calvino.freenode.net irc.freenode.net).
21:29:39 -!- Overand has joined.
21:30:03 -!- puzzlet has joined.
21:32:04 -!- cmeme has joined.
21:32:39 <lament> Slereah: there aren't many reasons for strings to be mutable. It only causes pain. What's your actual problem?
21:36:56 -!- puzzlet has quit (Remote closed the connection).
21:37:01 -!- puzzlet has joined.
21:38:42 -!- SimonRC has joined.
21:43:36 -!- GregorR has joined.
21:44:04 -!- Sgeo has joined.
21:44:33 -!- bsmntbombdood has joined.
21:45:24 -!- AnMaster has joined.
22:05:05 -!- AnMaster has quit (Read error: 104 (Connection reset by peer)).
22:23:50 -!- AnMaster has joined.
22:27:06 -!- Dagide has quit (Read error: 104 (Connection reset by peer)).
22:30:21 -!- oerjan has quit ("Good night").
22:47:14 -!- immibis has joined.
22:53:08 -!- puzzlet_ has joined.
23:05:15 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
23:05:16 -!- pikhq_ has joined.
23:06:15 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
23:11:42 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
23:42:54 -!- immibis has left (?).
23:49:08 -!- Bigcheese has quit (Remote closed the connection).
23:55:54 -!- jix has quit ("CommandQ").