00:02:26 -!- augur has quit (Read error: 104 (Connection reset by peer)).
00:02:43 -!- augur has joined.
00:08:04 <AnMaster> oerjan, I do know he made several others
00:08:06 <AnMaster> just not piet
00:09:03 <oerjan> ok
00:09:44 -!- soupdragon has joined.
00:10:04 <AnMaster> http://dangermouse.net/esoteric/bit.html <-- heheh
00:19:31 <AnMaster> http://esolangs.org/wiki/Whenever <-- I wonder if it is TC.
00:20:39 <coppro> I think so
00:21:37 <AnMaster> coppro, I would say "probably, except I can't see how to do infinite memory"
00:24:02 <coppro> 1 again(condition) -1
00:24:29 <coppro> N(1) is a value with infinite possible values
00:24:42 <coppro> and the program can be terminated by making the condition false
00:25:05 <AnMaster> hm true
01:14:40 -!- anmaster_l has quit (Read error: 110 (Connection timed out)).
01:36:18 -!- Sgeo_ has joined.
01:37:28 -!- Pthing has joined.
01:48:43 -!- ehirdiphone has joined.
01:49:01 <ehirdiphone> http://underhanded.xcott.com/?p=18 It's back, bitches!
01:52:06 <pikhq> So it is.
01:52:32 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
01:53:43 -!- lament has joined.
01:54:36 <ehirdiphone> The sky is made of donkeys.
01:55:20 <pikhq> Hmm. Contemplating how best to do that...
01:57:56 -!- BeholdMyGlory has quit (Remote closed the connection).
02:05:14 <ehirdiphone> Write the program correctly with dependent types to make sure it's correct. Also, use type system metaprogramming to generate repetitive parts of the code. Introduce a mistake into the types that causes the metaprogrammer to output the wrong code.
02:05:18 <ehirdiphone> Obviously.
02:07:21 -!- oerjan has quit ("Good night").
02:09:41 <ehirdiphone> I wonder how feasible getting X clients to draw in the right pixels over an Emacs frame is.
02:10:09 <ehirdiphone> Also, does X let you focus two windows at once...?
02:10:44 <pikhq> I seem to recall that X allows you to embed a client into another client...
02:11:27 <ehirdiphone> Yes, but that'd involve hacking Emacs to let buffers be X embedders instead of text buffers.
02:11:44 <ehirdiphone> And I would rather be buggered by a goat.
02:15:46 <ehirdiphone> pikhq: If I make an Emacs X11 WM you can run even less software under X! XD
02:16:19 <ehirdiphone> Ratpoison? Pah! Can ratpoison play tetris? It is an inferior imitation of Emacs!
02:16:56 <ehirdiphone> Switching to buffers in the same way as windows in one step would be sweet, actually.
02:17:13 <ehirdiphone> I think I might even use the wm.
02:18:21 <ehirdiphone> If you used one of Emacs' terminals and ERC you could run just Emacs(with wm)+conkeror without missing out on anything.
02:19:05 <ehirdiphone> Could even hook Conkeror up to the Emacs minibuffer and hide its own. XD
02:22:44 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info").
02:26:26 -!- adam_d_ has quit (Read error: 60 (Operation timed out)).
02:30:43 -!- MizardX has quit (Read error: 110 (Connection timed out)).
02:52:15 -!- zzo38 has joined.
02:53:42 <zzo38> I played a game, called "Return to Ditch Day", in which there is a puzzle where you have to type up to sixteen characters (0-9+A-F) only on a computer (a Commandant 64), and you have to make it put output the same as the input.
02:54:04 <zzo38> I eventually figured it out, each number means a command, and you have to write a quine program.
02:55:31 <soupdragon> that sounds awesome
02:55:51 -!- bsmntbombdood has joined.
02:56:24 <zzo38> I earned 50 bonus points for doing so. It is not necessary to solve that puzzle to complete the game, but I got 50 extra-credit points, which are not added to the normal score, but is listed separately instead.
02:58:51 <zzo38> "Return to Ditch Day" is really a good computer game, you might try it one time
02:59:02 <zzo38> (I have not completed it yet)
03:00:00 <zzo38> (I have not yet won the game, but I liked the parts I have played so far)
03:01:14 <soupdragon> okay
03:02:08 <zzo38> OK
03:10:34 -!- FireFly has quit ("Leaving").
03:15:12 -!- pikhq has quit (Read error: 54 (Connection reset by peer)).
03:16:47 -!- pikhq has joined.
04:06:40 <zzo38> Is the introduction good?  http://zzo38computer.cjb.net/icosahedral/html/main.html  http://zzo38computer.cjb.net/icosahedral/icoruma/intro.irm
04:22:35 -!- ehirdiphone has joined.
04:22:47 <ehirdiphone> http://www.informatimago.com/linux/emacs-on-user-mode-linux.html
04:22:55 <ehirdiphone> wonder if you could use x as unit
04:23:00 <ehirdiphone> init
04:23:22 -!- Asztal has quit (Read error: 110 (Connection timed out)).
04:23:25 <ehirdiphone> have it run a terminal or w/e with the actual inif
04:23:31 <ehirdiphone> Init
04:23:38 <ehirdiphone> would be a smoother boot
04:27:46 <pikhq> I don't know of any reason why X *couldn't* be init, actually.
04:29:43 <ehirdiphone> Well... If x goes down the kernel will panic.
04:29:59 <ehirdiphone> So better write a wrapper script.
04:30:36 <ehirdiphone> Runs X in a loop, if it fails to start at some point wait a minute before trying again.
04:30:47 <ehirdiphone> Or perhaps wait for a signal to continue.
04:31:01 <pikhq> Or just accept the panic.
04:31:05 <pikhq> :P
04:31:08 <ehirdiphone> No. :P
04:31:12 <pikhq> SCREW STABILItY.
04:31:46 <ehirdiphone> pikhq: X as init, running Emacs running COMINT or w/e running the init scripts.
04:31:56 <pikhq> :D
04:32:02 <ehirdiphone> Then it runs login. In COMINT.
04:32:14 <ehirdiphone> Actually. Not login.
04:32:16 * coppro panics
04:32:18 <ehirdiphone> M-x login
04:32:33 <ehirdiphone> Which is like EmacsDM!
04:33:07 <ehirdiphone> Fill in your details, hit RET, and Emacs disappears. Then YOUR emacs appears.
04:33:27 <ehirdiphone> Running my emacs wm, naturally.
04:33:45 <ehirdiphone> Voilà: the entirely X11Emacs-based Linux system.
04:35:01 <ehirdiphone> I am a genius.
04:35:29 <ehirdiphone> Wonder how hard it is to get emacs to ignore all non-editing commands.
04:35:45 <ehirdiphone> Don't want people messing with EmacsDM.
04:42:14 -!- Oranjer has joined.
04:42:20 <Oranjer> hmmph
04:42:31 -!- Ienpw_III has joined.
04:42:38 <Ienpw_III> oh, hey coppro
04:42:56 <coppro> hi
04:43:25 <Oranjer> hey
04:45:37 <ehirdiphone> http://www.haxney.org/2009/08/its-alive.html hmm. Prior art.
04:59:51 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info").
05:03:58 -!- Gracenotes has quit (Read error: 60 (Operation timed out)).
05:06:42 -!- Gracenotes has joined.
05:11:12 -!- zzo38 has quit (Remote closed the connection).
05:11:21 -!- Ienpw_III has left (?).
05:26:04 <coppro> hahaha... man, that's a bug in the Criminal code
05:26:08 <coppro> s/c/C/
05:27:01 <Oranjer> what
05:29:08 <coppro> There's a complex set of exceptions for when sexual activity with minors is okay, but this doesn't apply to indecent exposure to minors
05:29:36 <coppro> oh, wrong channel
05:59:39 <Sgeo_> Did ehird see what I wrote?
05:59:44 <Sgeo_> Doesn't matter now, I need sleep
06:00:45 <Sgeo_> No indication that he saw anything
06:03:01 <coppro> ehird will see what yo uwrote
06:03:04 <coppro> he's a logreader
06:03:34 <Sgeo_> coppro, I checked the log, doesn't look like he said anything related to what I wrote
06:03:42 <Sgeo_> Then again, I was only checking for my own name, so
06:03:43 <Oranjer> hey ehird you're a big stinking patooe
06:03:48 <coppro> he was on his iphone
06:03:51 <coppro> so he wouldn't have read it form there
06:03:53 <coppro> *from
06:03:54 <Oranjer> I wonder if he will see that
06:03:54 <Sgeo_> Oh
06:04:11 <Sgeo_> Good night all
06:04:28 <Oranjer> good night
06:27:24 -!- Sgeo_ has quit (Read error: 110 (Connection timed out)).
06:27:35 -!- ehirdiphone has joined.
06:28:50 <ehirdiphone> coppro: I logread on my iPhone.
06:28:54 <Oranjer> oh noes
06:29:34 -!- ehirdiphone has quit (Client Quit).
06:29:56 <coppro> oh
06:30:07 <coppro> well, there you go
06:38:47 -!- HackEgo has quit (Read error: 110 (Connection timed out)).
06:42:58 -!- EgoBot has quit (Read error: 110 (Connection timed out)).
06:45:33 <coppro> Is it sad that one of the things I look forward to most with the New Year is a webcomic update?
06:57:15 -!- Oranjer has left (?).
07:01:56 -!- ehirdiphone has joined.
07:02:45 -!- ehirdiphone has quit (Client Quit).
07:34:25 -!- coppro has quit (Remote closed the connection).
07:34:52 -!- coppro has joined.
07:39:54 -!- ais523 has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:10:51 -!- ehirdiphone has joined.
08:10:56 <ehirdiphone> progenitorial teacups
08:12:37 <ais523> hi
08:12:56 <ehirdiphone> totally.
08:13:38 <ehirdiphone> my mind buzzes too much, i need a stop thinking button
08:13:54 <ais523> you could try sleeping
08:14:12 <soupdragon> want a problem to solve
08:14:13 <soupdragon> ?
08:14:16 <ais523> or do something that requires a lot of concentration, say certain computer games
08:14:17 <soupdragon> logic
08:14:30 <ehirdiphone> but sleep makes me unconscious
08:14:46 <ehirdiphone> so I don't experience buzzinglessness
08:15:12 <ehirdiphone> soupdragon: doubtful I'll be any good. Quite tired but go on
08:15:44 <soupdragon> Five girls each make two statemens, one true one false
08:16:09 <soupdragon> * Betty: ``Kitty was second in the examination. I was only third.''
08:16:09 <soupdragon> * Ethel: ``You'll be glad to hear that I was on top. Joan was second.''
08:16:09 <soupdragon> * Joan: ``I was third, and poor old Ethel was bottom.''
08:16:09 <soupdragon> * Kitty: ``I came out second. Mary was only fourth.''
08:16:09 <soupdragon> * Mary: ``I was fourth. Top place was taken by Betty.''
08:16:15 <soupdragon> what order did they really come in?
08:17:02 <ehirdiphone> is solving it with code permissable
08:17:07 <soupdragon> of course
08:17:44 <ehirdiphone> great, so the exercise is "remember basic prolog syntax"
08:17:57 <soupdragon> you're not allowed to solve it with code
08:18:14 <soupdragon> also the obvious prolog program doesn't work
08:18:26 <ehirdiphone> which in this case is equivalent to "remember the syntax for or"
08:18:33 <soupdragon> yeah that doesn't work
08:18:50 <ehirdiphone> soupdragon: you just said the opposite
08:18:58 <ehirdiphone> Yes code no code
08:19:04 <ehirdiphone> be consistent
08:19:06 <soupdragon> yeah I changed my mind
08:19:12 <soupdragon> because of  <ehirdiphone> great, so the exercise is "remember basic prolog syntax"
08:19:44 <ehirdiphone> soupdragon: how come, it's just a set of constraints (p | q)
08:20:00 <ehirdiphone> presumably there is only one right answer
08:20:20 <soupdragon> I mean, if you interpret the first rule as like,   (Kitty = 2, Betty \= 3);(Kitty \= 2, Betty = 3)
08:20:26 <ehirdiphone> so why wouldn't prolog work?
08:20:51 <soupdragon> that wont work alone, you'd have to start with   permutation(Girls,[1,2,3,4,5])
08:20:58 <ehirdiphone> err or just:
08:21:26 <soupdragon> but that algorithm is bad because you can't interleave the generator
08:21:26 <ehirdiphone> (kitty=2) XOR (betty=3)
08:21:44 <ehirdiphone> shrugg
08:22:08 <ehirdiphone> this is not making me think *less*
08:22:26 <ehirdiphone> :p
08:22:48 -!- ehirdiphone has quit (Remote closed the connection).
08:23:02 <ais523> three-valued logic in Prolog is annoying
08:38:47 <coppro> I can imagine
08:39:00 <soupdragon> i don't think it's avoidable ?
08:39:10 <soupdragon> although I am not sure what it means
08:43:30 <ais523> it's when you have true/false/unknown as logic values
08:43:48 <ais523> (or in the case of a data bus true/false/I've been told to shut up so other people can talk)
08:44:54 <soupdragon> prologs not really about values though more about provability I think
08:48:03 <ais523> yep
08:48:10 <ais523> but, sometimes you want to write programs in it :)
08:58:05 <soupdragon> http://www.pasteit4me.com/94033
08:58:08 <soupdragon> that's my solution
08:58:23 <soupdragon> sqlite> .read girls.sql
08:58:23 <soupdragon> kitty|joan|betty|mary|ethel
08:58:44 <soupdragon> would be better if SQL had XOR..
09:04:30 -!- ehirdiphone has joined.
09:04:50 <ehirdiphone> soupdragon: using views is so cheating for SQL esolanging
09:05:22 <ais523> IMO, you can use any feature of a language not designed for programming if trying to program in it
09:05:54 <ehirdiphone> but views are basically functions sort of
09:06:04 <soupdragon> you can just paste the definiton of the view to get rid of it...
09:06:06 <ehirdiphone> takes away all the relational fun
09:06:18 <ehirdiphone> soupdragon: shaddup :P
09:06:23 <soupdragon> btw
09:06:30 <soupdragon> can you actually use views as functions?
09:06:32 <soupdragon> I don't know how to
09:07:52 <ehirdiphone> I may be mistaking views for sth else. Tired. Relink your paste
09:07:53 <ehirdiphone> ?
09:08:03 <ehirdiphone> See if I read it right
09:08:17 <soupdragon> http://www.pasteit4me.com/94033
09:10:11 <ehirdiphone> CREATE TABLE girls ( girl string );
09:10:14 <ehirdiphone> Erm
09:10:23 <ehirdiphone> Then the DELETE
09:10:27 <ehirdiphone> Superfluous
09:11:30 <ais523> wait, you're trying to solve the problem in /SQL/?
09:11:42 <ehirdiphone> He DID solve it in SQL
09:11:45 <ais523> heh
09:11:49 <soupdragon> and prolog http://www.pasteit4me.com/94034
09:11:53 <ais523> what a great choice of language
09:13:11 <soupdragon> what other languaes should I do it in?
09:13:32 <ehirdiphone> ais523: prolog is just TC relational
09:13:45 <soupdragon> I did it in a really stupid way with CHR too
09:13:51 <ais523> ehirdiphone: what do you mean?
09:13:51 <ehirdiphone> and SQL is just brutalised relational
09:14:05 <ais523> oh, I get it now
09:14:05 <ehirdiphone> ais523: I mean it literally
09:14:15 <ais523> ehirdiphone: I first had problems parsing your sentence
09:14:24 <ehirdiphone> Prolog literally is a relational DB
09:14:27 <soupdragon> statement(first(G)) ==> statement(not(second(G))), statement(not(third(G))), statement(not(fourth(G))), statement(not(fifth(G))).
09:14:28 <ehirdiphone> It's just TC
09:14:32 <soupdragon> rules like that
09:14:38 <soupdragon> and  statement(P), statement(not(P)) <=> false.
09:14:38 <ais523> yep, you mean it works relationally, modified/enhanced so that it's TC
09:14:46 <ais523> ehirdiphone: what's your opinion on cut?
09:14:49 <soupdragon> not very elegant
09:14:59 -!- asiekierka has joined.
09:15:03 <asiekierka> hello
09:15:04 <ehirdiphone> ais523: dunno
09:15:04 <ais523> I think it's nicely eso
09:15:06 <ais523> hi asiekierka
09:15:25 <ehirdiphone> ais523: is there an elegant theoretical model with cut
09:15:38 <ehirdiphone> if not, it's a hack ;)
09:15:43 <ais523> not sure
09:15:52 <soupdragon> without cut it's monadic
09:15:57 <ais523> there is a common-way-to-implement which probably has a theoretical model behind it
09:16:12 <ais523> ofc it's more elegant without, but with it's nicely interesting
09:16:34 <ais523> (incidentally, Borland Turbo Prolog had "nonlocal cut"; there was a built-in predicate that did a cut /somewhere else/ in your program)
09:16:37 <soupdragon> both stack and stream implementations have a (relatively) simple implementation of cut
09:16:39 <ais523> (which I think is truly inspired)
09:16:54 <soupdragon> it's a very operational thing though
09:17:40 <ehirdiphone> if nonlocal cut is prologs come from
09:17:48 <ehirdiphone> What's goto?
09:19:37 <ehirdiphone> I guess just cut
09:19:51 <soupdragon> I don't see any link
09:19:51 <ehirdiphone> ooh
09:20:01 <ehirdiphone> What about strongly typed prolog?
09:20:26 <soupdragon> what about it??
09:20:35 <ehirdiphone> I'm inventing it.
09:20:40 <ais523> Borland Turbo Prolog was strongly typed, but very inferior
09:20:42 <soupdragon> :/
09:20:45 <ais523> in that it didn't let you assert predicates at al
09:20:47 <ais523> *all
09:20:50 <ais523> and thus missed out on half the fun
09:20:53 <soupdragon> you are not inventing it
09:21:10 <coppro> Borland Turbo X is usually inferior :(
09:21:14 <ais523> (in case you wanted to be able to do that, the compiler shipped with a Prolog interp written in Turbo Prolog, and told you to use that)
09:21:16 <ais523> coppro: agreed
09:21:30 <ehirdiphone> hmm
09:21:34 <coppro> hmm... we should make an esolang
09:21:41 <soupdragon> how ?
09:21:44 <coppro> based on Borland's compilers
09:21:48 <soupdragon> hahaha
09:21:49 <ais523> coppro: well, it tended to be inferior in language terms, but faster
09:22:07 <ais523> hmm... try imagining something that's similar to MySQL but actually achieves its design goals
09:22:11 <ais523> it's that sort of concept
09:22:26 * ehirdiphone tries to get interesting strong prolog types
09:22:33 <ehirdiphone> as in actually useful ones
09:22:33 <soupdragon> interesting ??
09:22:36 <soupdragon> tell
09:22:40 <coppro> also, clang is getting spell checking
09:22:41 <coppro> it's awesome
09:22:45 <ehirdiphone> well
09:22:54 <soupdragon> btw you know lambda prolog ?
09:23:14 <ehirdiphone> mortal(mydog). mortal(X):-man(X).
09:23:35 <soupdragon> socrates
09:23:35 <ehirdiphone> mortal : ?atom <--- BORING TYPE
09:23:44 <ehirdiphone> my dog.
09:24:28 <ehirdiphone> begat(god,adam). begat(adam,eve). begat : ?atom,atom
09:24:33 <ehirdiphone> BOORING
09:24:54 <ehirdiphone> basically just the number of params, those
09:25:18 <soupdragon> YAWN
09:25:56 <ehirdiphone> PRECISELY
09:26:13 <soupdragon> oh
09:26:18 <soupdragon> you said /tries/
09:26:25 <ehirdiphone> So how can we get interesting types? As in what do we actually include in the types
09:26:29 <soupdragon> there's lots of types in prolog already
09:26:40 <soupdragon> and lambda prolog is strongly typed
09:27:01 <ehirdiphone> gimme example lambda prolog type
09:27:02 <soupdragon> like CHR you can define algebraic types, which helps the compiler
09:27:32 <soupdragon> type  succ  (((i -> i) -> i -> i) -> ((i -> i) -> i -> i)) -> o.
09:27:39 <soupdragon> succ    (N\F\X\ (N F (F X))).
09:28:00 <ehirdiphone> boring
09:28:12 <ehirdiphone> oh well
09:28:24 <soupdragon> type  flatten         list (list A) -> list A -> o.
09:28:37 <ehirdiphone> okokokokokoko
09:28:47 <ehirdiphone> o.
09:29:14 <soupdragon> type  curry  tm -> tm -> o.
09:29:15 <soupdragon> curry  (fix F \ (abs X \ (A (fst X) (snd X) (prp X)
09:29:15 <soupdragon>                              (R \ S \ (app F (pr R S))))))
09:29:15 <soupdragon>        (fix F \ (abs Y \ (abs Z \ (A Y Z truth
09:29:15 <soupdragon>                                    (R \ S \ (app (app F R) S)))))).
09:29:24 <soupdragon> that's a cool one
09:29:28 <ehirdiphone> in lambda prolog
09:29:39 <ehirdiphone> are the lambdas like, first class
09:29:43 <soupdragon> lol
09:29:57 <soupdragon> it's got higher order unification
09:30:00 -!- Pthing has quit (Remote closed the connection).
09:30:15 <ehirdiphone> do you have compose(Lam,Lam) f.e.
09:30:46 <ehirdiphone> because compose((lambda),X). would be... 'interesting'
09:31:44 <ehirdiphone> hmm I wonder what you'd call the operation of making two definitions in prolog
09:31:49 <ehirdiphone> That I'd
09:31:50 <ehirdiphone> Is
09:32:01 <soupdragon> :- chr_type tree --->  empty ; leaf(int) ; branch(tree, tree).
09:32:06 <soupdragon> that's an algebraic type in CHR
09:32:11 <soupdragon> :- chr_type list(T) ---> [] ; [T | list(T)].
09:32:24 <ehirdiphone> foo((\socrates. true),(\X. man(X))
09:32:24 <soupdragon> :- chr_type color ---> red ; blue ; yellow ; green.
09:32:41 <ehirdiphone> like I guess it's just fall through on failure
09:32:50 <ehirdiphone> but still an interesting hof
09:34:06 <soupdragon> and you can mode +, -, ? constaints
09:34:16 <soupdragon> (or/as well as type them)
09:35:42 <ehirdiphone> is lambda prolog curried?
09:35:45 <soupdragon> yes
09:35:52 <ehirdiphone> interesting
09:35:58 <soupdragon> it's elite
09:36:01 <ehirdiphone> wait
09:36:11 <ehirdiphone> That means that it has return values
09:36:11 <soupdragon> higher order unification is to sick
09:36:19 <ehirdiphone> Clearly it should instead be
09:36:46 <ehirdiphone> foo(blah,P). P(arg2,Q). Q(arg3).
09:36:46 <soupdragon> I can't understand to program with it
09:36:49 <ehirdiphone> :D
09:36:57 <ehirdiphone> hmm wait
09:37:09 <ehirdiphone> What's that with --> stuff
09:37:16 <soupdragon> ......
09:37:26 <soupdragon> that's a different language
09:37:47 <ehirdiphone> No shut
09:37:49 <ehirdiphone> Shit
09:37:53 <ais523> reminds me of Reddit talking about StackOverflow talking about the --> operator in C++
09:40:42 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info").
09:41:52 <soupdragon> ehird, read it like ::=
09:46:53 <asiekierka> oh my
09:46:56 <asiekierka> i am making a pootube yoop
09:53:15 -!- lament has left (?).
10:18:13 -!- asiekierka has changed nick to asiekierka-39.
10:20:38 -!- MigoMipo has joined.
10:47:41 -!- MigoMipo has quit (Read error: 54 (Connection reset by peer)).
10:50:27 -!- leonid_ has joined.
10:51:38 -!- adam_d_ has joined.
10:53:16 -!- MizardX has joined.
10:53:53 -!- leonid_ has left (?).
11:01:05 -!- jpc has quit (Read error: 60 (Operation timed out)).
11:21:09 -!- Pthing has joined.
11:41:18 -!- adam_d_ has quit (Read error: 110 (Connection timed out)).
11:48:21 -!- adam_d_ has joined.
12:08:51 -!- sebbu has joined.
12:10:19 -!- pikhq_ has joined.
12:11:18 -!- pikhq has quit (farmer.freenode.net irc.freenode.net).
12:11:18 -!- augur has quit (farmer.freenode.net irc.freenode.net).
12:11:18 -!- Slereah has quit (farmer.freenode.net irc.freenode.net).
12:11:18 -!- mycroftiv has quit (farmer.freenode.net irc.freenode.net).
12:11:18 -!- puzzlet has quit (farmer.freenode.net irc.freenode.net).
12:11:19 -!- lifthrasiir has quit (farmer.freenode.net irc.freenode.net).
12:11:19 -!- bsmntbombdood has quit (farmer.freenode.net irc.freenode.net).
12:11:19 -!- sebbu2 has quit (farmer.freenode.net irc.freenode.net).
12:11:19 -!- mtve has quit (farmer.freenode.net irc.freenode.net).
12:11:25 <soupdragon> boolean operators are just tables from a{0,1}^2
12:12:01 -!- pikhq has joined.
12:12:01 -!- bsmntbombdood has joined.
12:12:01 -!- augur has joined.
12:12:01 -!- Slereah has joined.
12:12:01 -!- mycroftiv has joined.
12:12:01 -!- puzzlet has joined.
12:12:01 -!- sebbu2 has joined.
12:12:01 -!- lifthrasiir has joined.
12:12:01 -!- mtve has joined.
12:22:49 <AnMaster> hi ais523
12:22:57 <ais523> hi
12:23:06 <AnMaster> ais523, will you be around during midnight? If not I guess I should say happy new year in advance
12:23:27 <ais523> probably not, and happy new year back again
12:23:49 <soupdragon> ais523 what do you think of SQL
12:23:55 <soupdragon> hi AnMaster
12:24:00 <soupdragon> what about you?
12:24:24 <ais523> soupdragon: I think it's been standardised a bit awkwardly, but that it's a decent language for accessing relational databases, and not really good for anything else
12:24:49 -!- pikhq has quit (No route to host).
12:26:18 -!- sebbu2 has quit (No route to host).
12:27:10 <AnMaster> soupdragon, hm?
12:27:34 <AnMaster> soupdragon, SQL: I don't know of any standard following implementation
12:27:52 <AnMaster> there probably is one, iirc Mimer SQL manages fairly well
12:28:00 <AnMaster> but even it is not 100% standard following iric
12:28:02 <AnMaster> iirc*
12:28:23 <AnMaster> (reason I know about the wierd software called Mimer SQL is that it was used in a database course at university)
12:28:53 <AnMaster> (I much prefer postgresql if I have to use one)
12:29:14 <AnMaster> also it is fairly verbse
12:29:17 <AnMaster> verbose
12:29:18 <AnMaster> *
12:29:21 <AnMaster> the language SQL I mean
12:31:04 <soupdragon> SQL syntax is based on COBOL
12:31:33 <AnMaster> soupdragon, is that really true? As in official?
12:31:45 <soupdragon> it's an observation
12:31:50 <AnMaster> well okay
12:32:42 <soupdragon> http://www.sqlite.org/images/syntax/create-table-stmt.gif
12:32:53 <soupdragon> http://www.sqlite.org/images/syntax/select-core.gif
12:32:57 <soupdragon> http://www.sqlite.org/images/syntax/single-source.gif
12:33:16 <soupdragon> quite nice diagrams
12:33:22 <AnMaster> I always liked those SQL syntax "flow-chart" sort of thingies
12:33:31 <AnMaster> never seen it used for any language but SQL
12:50:55 -!- BeholdMyGlory has joined.
12:51:27 -!- anmaster_l has joined.
13:12:27 -!- FireFly has joined.
13:15:37 -!- FireFly has quit (Client Quit).
13:15:57 -!- Asztal has joined.
13:18:08 -!- FireFly has joined.
13:54:43 -!- FireFly has quit (Connection reset by peer).
13:57:27 -!- FireFly has joined.
14:04:36 <soupdragon> is it possible to implment RLE with SQL?
14:04:58 <ais523> run-length encoding?
14:05:06 <soupdragon> yeah, I can't figure out how to do it
14:50:53 * soupdragon has figured it out and recommends this aas a fun challenge
14:51:20 <soupdragon> to anyone that wants to write SQL :2
14:51:42 -!- Slereah_ has joined.
14:51:54 <AnMaster> soupdragon, standard SQL? or extensions?
14:52:01 <soupdragon> I don't know
14:52:10 <AnMaster> soupdragon, using procedural SQL?
14:52:17 <soupdragon> no
14:52:29 <AnMaster> soupdragon, how did you do it them
14:52:30 <AnMaster> then*
14:52:37 <AnMaster> I'm not going to do it myself
14:53:01 <soupdragon> I'll paste the code somewhere when it's done
14:53:13 <AnMaster> hm
14:53:26 <AnMaster> soupdragon, using temporary tables? Which DBMS are you using btw?
14:53:50 <soupdragon> I was using sqlite but now I'm going to try DB2 Express because I heard that's better
14:54:00 <soupdragon> I have to use one temporary table
14:54:06 <soupdragon> well actually I don't
14:54:30 <soupdragon> It can be all one select statement: But I use the temporary table to overwrite the starting sequence so you can run it in a loop (by reloading the file over and over)
14:58:36 <soupdragon> except installing DB2 is way beyond me at this point
15:01:56 -!- Slereah has quit (Read error: 110 (Connection timed out)).
15:26:51 <soupdragon> http://rosettacode.org/wiki/Look-and-say_sequence#SQL
15:58:58 -!- Pthing has quit (Remote closed the connection).
16:01:32 <AnMaster> soupdragon, I would use postgresql
16:02:44 -!- asiekierka-39 has quit (Read error: 54 (Connection reset by peer)).
16:02:47 -!- asiekierka-39 has joined.
16:25:19 -!- soupdragon has quit ("Leaving").
16:34:59 -!- BeholdMyGlory has quit (Remote closed the connection).
16:47:41 -!- jpc has joined.
16:48:59 -!- Sgeo has joined.
17:13:59 -!- adam_d__ has joined.
17:23:37 -!- FireFly has quit (Connection timed out).
17:34:10 -!- adam_d_ has quit (Read error: 110 (Connection timed out)).
17:48:50 -!- adam_d__ has quit (Read error: 60 (Operation timed out)).
17:53:04 -!- anmaster_l has quit (Read error: 110 (Connection timed out)).
18:10:08 <ais523> happy australian mailman reminders day!
18:16:20 -!- pikhq_ has quit (Read error: 104 (Connection reset by peer)).
18:55:36 <AnMaster> ais523, heh
19:12:10 -!- anmaster_l has joined.
19:13:17 -!- lament has joined.
19:46:37 <jpc> http://esolangs.org/wiki/Gibberish <--- new esolang I just started. Anyone have any thoughts?
19:47:59 <lament> looks like gibberish
19:48:03 <jpc> haha
20:06:45 -!- asiekierka-39 has changed nick to asiekierka.
20:07:32 <asiekierka> i'm checking it
20:12:14 -!- BeholdMyGlory has joined.
20:16:52 -!- FireFly has joined.
20:18:50 -!- Asztal has quit (Read error: 110 (Connection timed out)).
20:40:06 <jpc> oh, and I have an interpreter for it that I need to post
20:42:35 -!- BeholdMyGlory has quit (farmer.freenode.net irc.freenode.net).
20:42:35 -!- lament has quit (farmer.freenode.net irc.freenode.net).
20:42:36 -!- lifthrasiir has quit (farmer.freenode.net irc.freenode.net).
20:42:36 -!- mycroftiv has quit (farmer.freenode.net irc.freenode.net).
20:42:36 -!- augur has quit (farmer.freenode.net irc.freenode.net).
20:42:36 -!- puzzlet has quit (farmer.freenode.net irc.freenode.net).
20:42:36 -!- Slereah_ has quit (farmer.freenode.net irc.freenode.net).
20:42:36 -!- mtve has quit (farmer.freenode.net irc.freenode.net).
20:42:36 -!- bsmntbombdood has quit (farmer.freenode.net irc.freenode.net).
20:51:19 -!- mycroftiv has joined.
20:52:27 -!- ais523 has quit (Remote closed the connection).
20:53:42 -!- Slereah_ has joined.
20:53:42 -!- bsmntbombdood has joined.
20:53:42 -!- mtve has joined.
20:55:39 -!- BeholdMyGlory has joined.
20:55:39 -!- lament has joined.
20:55:39 -!- augur has joined.
20:55:39 -!- puzzlet has joined.
20:55:39 -!- lifthrasiir has joined.
21:34:35 -!- coppro has quit (Remote closed the connection).
21:43:00 -!- lament has quit.
22:23:58 -!- asiekierka has quit (Read error: 60 (Operation timed out)).
22:51:48 <AnMaster> happy new year (in 9 minutes, but will be away with family then)
22:57:10 <Slereah_> Fuck this year, I'm leaving it and never coming back!
23:19:39 <AnMaster> Slereah_, haha
23:19:43 <AnMaster> happy new year
23:31:49 <FireFly> Happy new year!
23:45:01 <AnMaster> FireFly, indeed
23:45:13 -!- AnMaster has set topic: hubert who? http://tunes.org/~nef/logs/esoteric/?C=M;O=D | Happy new year.
23:52:59 -!- coppro has joined.
23:56:07 * SimonRC will hit the big 1262304000 in just a few minutes
23:56:25 <SimonRC> or new year in the One True Timezone
23:56:55 <coppro> indeed
23:57:24 -!- ehirdiphone has joined.
23:57:31 <ehirdiphone> So in five minutes
23:57:42 <AnMaster> ehirdiphone, happy new year 57 minutes ago!
23:57:45 <ehirdiphone> It will be the first year of... The...
23:57:48 <ehirdiphone> Tens?
23:57:51 <SimonRC> yeah
23:57:57 <SimonRC> twenty-tens
23:58:00 <ehirdiphone> Even the noughties was a better name!
23:58:02 <AnMaster> ehirdiphone, also not five minutes. you said that at 00:57:07
23:58:12 <AnMaster> no way you are in a timezone offset by two minutes to GMT ;P
23:58:19 <coppro> UTC
23:58:26 <coppro> GMT != UTC
23:58:31 <AnMaster> coppro, well true
23:58:42 <ehirdiphone> iPhone does not do ntp surprisingly enough
23:58:51 <ehirdiphone> I WONDER WHY
23:58:59 <AnMaster> ehirdiphone, but phones tend to set themselves after the network in some other way
23:59:10 <ehirdiphone> perhaps
23:59:13 <AnMaster> at least mine ask sometimes if I want to set the clock from the network time
23:59:19 <ehirdiphone> then blame O2
23:59:46 <AnMaster> ehirdiphone, O2? An SGI computer?