00:20:11 -!- cheater has joined. 00:35:29 * Sgeo is losing it 00:35:30 http://hpaste.org/56573 00:35:47 (54's join should read joinEvent, which is fixed on my local copy) 00:53:35 Sgeo: isn't mconcat optional? 00:53:48 why not just write mappend? 00:54:28 kallisti, because the default mconcat would be horribly inefficient 00:54:43 -!- CHeReP has quit (Quit: This computer has gone to sleep). 00:54:55 Sgeo: ah okay. yeah I kind of figured that may be way. 00:55:23 *why 00:55:24 jesus 00:55:26 I'm just typoing 00:55:27 everything 01:00:15 elliott is alive 01:00:38 well... duh. :P 01:01:10 * kallisti needed a break from elliott, to be honest. 01:01:16 unfortunately now the channel is less alive. 01:01:21 at least for now. 01:01:25 it's so lonely 01:01:31 monqy: it's okay I'm here it's okay. 01:15:10 -!- augur has quit (Ping timeout: 240 seconds). 01:15:25 -!- itidus20 has joined. 01:17:26 -!- augur has joined. 01:19:44 -!- itidus20 has quit (Client Quit). 01:20:02 -!- itidus21 has quit (Ping timeout: 276 seconds). 01:26:15 -!- Frooxius has quit (Ping timeout: 240 seconds). 01:33:00 -!- sebbu has quit (Read error: Connection reset by peer). 01:33:27 -!- sebbu has joined. 01:33:28 -!- sebbu has quit (Changing host). 01:33:28 -!- sebbu has joined. 01:40:55 -!- Jafet has quit (Read error: Connection reset by peer). 01:41:20 -!- Jafet has joined. 01:42:14 -!- Jafet has quit (Client Quit). 01:42:58 -!- Jafet has joined. 01:47:34 -!- Jafet has quit (Ping timeout: 252 seconds). 02:04:10 fizzie: ping 02:27:34 > length ",,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,," 02:27:35 33 02:27:45 Huh. 02:27:56 I was expecting that number to have more significance. 02:33:40 -!- pikhq_ has joined. 02:35:50 -!- pikhq has quit (Ping timeout: 252 seconds). 02:44:14 * Sgeo reads the Idris tutorial 02:44:23 tswett, :33 02:44:33 (Note: Probably not actual significance) 02:45:11 hi 02:45:12 That... I'll take whatever you can give, I guess. 02:46:14 * Sgeo meows 02:46:55 hi 03:17:14 kallisti, tswett update 03:17:41 I congratulate myself on checking MSPA right before you tell me of this. 03:27:36 -!- GreaseMonkey has joined. 03:27:39 -!- GreaseMonkey has quit (Changing host). 03:27:39 -!- GreaseMonkey has joined. 03:44:16 -!- GreaseMonkey has quit (Quit: The Other Game). 03:54:12 @hoogle chr 03:54:12 Data.Char chr :: Int -> Char 03:54:12 Text.PrettyPrint.HughesPJ Chr :: Char -> TextDetails 03:54:12 Text.PrettyPrint Chr :: Char -> TextDetails 03:54:25 @hoogle inRange 03:54:25 Data.Ix inRange :: Ix a => (a, a) -> a -> Bool 03:54:37 @hoogle Char -> Int -> Char 03:54:37 Data.Generics.Aliases extB :: (Typeable a, Typeable b) => a -> b -> a 03:54:37 Prelude const :: a -> b -> a 03:54:37 Data.Function const :: a -> b -> a 03:56:14 Why am I so giddiy right bnow 04:03:14 -!- FireFly has quit (Ping timeout: 252 seconds). 04:33:47 -!- variable has quit (Excess Flood). 04:35:22 -!- variable has joined. 04:46:42 kallisti, tswett update 04:59:26 -!- oerjan has joined. 05:10:31 -!- pikhq has joined. 05:10:45 -!- pikhq_ has quit (Ping timeout: 240 seconds). 05:40:41 `? endofunctor 05:40:44 endofunctor? ¯\(°_o)/¯ 05:41:24 `run echo "Endofunctor are just endomorphisms in the category of categories." > wisdom/endofunctor 05:41:28 No output. 05:41:30 `? endofunctor 05:41:34 Endofunctor are just endomorphisms in the category of categories. 05:41:38 eek 05:41:43 `run echo "Endofunctors are just endomorphisms in the category of categories." > wisdom/endofunctor 05:41:43 i heard you like category theory 05:41:46 No output. 05:41:47 `? endofunctor 05:41:51 Endofunctor are just endomorphisms in the category of categories. 05:41:55 `? endofunctor 05:41:58 Endofunctors are just endomorphisms in the category of categories. 05:45:45 -!- oerjan has set topic: This topic is no fun any more. | Now in colors! | So, what is blegnian motion, anyway? | http://codu.org/logs/_esoteric/. 05:47:34 -!- Madoka-Kaname has set topic: This topic is no fun any more. | Now in colors! | So, what is blegnian motion, anyway? | | http://codu.org/logs/_esoteric/. 05:47:40 No colors? :( 05:47:47 -!- Madoka-Kaname has set topic: This topic is no fun any more. | Now in colors! | So, what is blegnian motion, anyway? | http://codu.org/logs/_esoteric/. 05:48:20 it's the channel which is colors, not the topic. 05:48:23 *in 05:49:04 i would assume they don't want /list to give colors. 05:49:13 even if the channel itself has them. 05:55:08 18:29:16: C#++'s lambda syntax is strangely similar to STG's 05:55:09 18:29:48: [list of free variables](list of arguments) -> { expression } 05:55:27 i guess it's due to not doing closure implicitly in either case? 05:56:15 oerjan: yes 05:56:41 Mmm, hot sauce. 05:56:46 C#++ o_O? 05:56:55 kmc: IT WAS INEVITABLE 05:56:55 is that like Objective C++ 05:57:20 iirc in C++11 you can ask for implicit closure 05:57:21 yeah, now for objective D#++ 05:57:25 kmc: What do you get when you press + + on your keyboard? 05:57:32 Visual Objective D#++.NET 05:57:35 # 05:57:39 shachaf, I get # 05:57:41 See? It's an omen. 05:57:44 O_O 05:58:08 more proof it's the end times 05:58:34 > chr 666 05:58:35 '\666' 05:58:40 > var $ chr 666 05:58:41 Couldn't match expected type `GHC.Base.String' 05:58:42 against inferred typ... 05:58:50 > var [chr 6669 05:58:52 : parse error (possibly incorrect indentation) 05:58:53 > var [chr 666] 05:58:54 mueval-core: : hPutChar: invalid argument (Invalid or incomplete mu... 05:59:12 clearly the universe tries to censor that. 05:59:34 > text $ chr 666 05:59:35 Couldn't match expected type `GHC.Base.String' 05:59:35 against inferred typ... 05:59:38 > text [chr 666] 05:59:39 mueval-core: : hPutChar: invalid argument (Invalid or incomplete mu... 06:00:03 yeah lambdabot's unicode support is broken 06:00:47 > generalCategory 'ʚ' 06:00:48 LowercaseLetter 06:00:50 iirc in C++11 you can ask for implicit closure <-- explicitly implicit, check 06:00:53 > let ʚ = 3 in ʚ 06:00:54 3 06:01:06 oerjan, yep 06:04:28 std::function add2(int x) { return [&] (y) -> { return x+y; }; } 06:04:33 or something like that 06:04:50 [&] says "capture everything by reference" which ends up capturing x, but you don't need to name x again 06:04:54 [&] will take a reference, won't it? 06:04:59 You probably want [=] in this case. 06:05:10 yeah, I guess that code will not really work 06:05:28 i was thinking about the syntactic point and not about whether it actually works :) 06:05:56 you can also say like [=, &foo] to mean "capture by value, except foo by reference" 06:06:03 > fmap (\x tail x) [2,3,4] 06:06:04 : parse error on input `)' 06:06:08 oh 06:06:09 it's pretty nutso but does make sense with the rest of C++ 06:06:35 But why do any of this when you can boost::bind and boost::lambda?! 06:06:59 because Real Programmers don't use libraries? 06:07:23 > let x x = x in x 2 06:07:24 2 06:07:32 there was an IAP course about what's new in C++11 but I already missed it :/ 06:11:00 oh look Wikipedia is going down in 11 hours. <-- average geek IQ now temporarily down by 20 points 06:11:26 Easiest way to bypass the Wikipedia blackout: Press Esc before the page is finished loading. 06:11:29 I guess that's only easy if you're using a slow Internet connection like me. 06:11:34 wikipedia isn't a "geek" site, it's used by p. much everyone 06:11:53 shachaf: wut that's ridiculous 06:11:56 oerjan: I have a question 06:12:10 newtype T = T [T] 06:12:15 kmc: ok then, average IQ of _everyone_ down by 25 points 06:12:20 why was I laughed at for calling this an ordered multiset. what is a better name for it? 06:12:32 you were laughed at? 06:12:38 yes. ;_; 06:12:47 or well 06:12:49 uh 06:12:54 well, "list"? 06:12:55 ridiculed. there we go. 06:13:07 Yeah, Wikipedia's about as used as Google. 06:13:11 i.e. ubiquitous. 06:13:12 oerjan: yes but it's like how you can construct set theory from just sets 06:13:22 but now it's with lists 06:13:26 which are ordered... and multi. :P 06:13:30 * kallisti is making perfect sense. 06:13:53 kallisti: sure but the difference is in the recursive part, which the terms don't really change 06:14:08 BTW, http://www.google.com 06:14:39 looks like google is celebrating the 139th birthday of the guy who invented tape 06:15:54 Brown paper, white paper, sticking together... 06:16:30 shachaf: that's racist! 06:17:16 oerjan: :-( 06:17:23 -!- itidus21 has joined. 06:17:24 Can I compensate for it by typing random Unicode characters? 06:17:42 * oerjan notes that political correctness means you can call someone racist even if they meant the exact opposite 06:18:14 because, NOT SENSITIVE ENOUGH 06:18:57 shachaf: sure as long as they're not _racist_ unicode characters. 06:19:19 263A WHITE SMILING FACE [☺] 06:19:19 263B BLACK SMILING FACE [☻] 06:19:21 also don't mix traditional and simplified chinese, that's insensitive 06:19:35 oerjan: How did I do? 06:19:47 shachaf: horrible, yw. 06:20:45 oerjan: Not so much "insensitive" as it is "illegal in the People's Republic of China" 06:21:15 pikhq: in the PRC those are synonyms, hth 06:22:30 oh help wikipedia is down 06:22:31 how speak 06:22:35 what computer is? 06:22:46 Wakaran 06:22:50 Eigo nikui 06:22:53 what wakaran is? 06:22:58 asdf 06:23:03 wakaran asdf be 06:23:21 shachaf: in gnome-terminal the colors are inverted 06:23:26 from what they should be. 06:23:44 kallisti: Nah, it's just that the colours refer to the outlines rather than the filling. 06:23:56 Also it has nothing to do with gnome-terminal specifically, just your color scheme. 06:24:11 kallisti: try conservapedia instead 06:24:22 should be interesting. 06:25:05 Or just press Esc before the blackout overlay loads. 06:26:55 shachaf: hax 06:27:19 Or use https: 06:27:27 * kallisti edits talkpage while wiki is in blackout 06:27:54 oh 06:27:58 no edits 06:27:59 shinkansen 06:35:12 -!- Klisz has quit (Quit: SLEEP, GLORIOUS SLEEP). 06:44:14 this is a bidirectional loop. it's not entirely clear which direction the projectile is going. intuitively it goes back and forth between the two arrows. 06:44:28 so if a portal moves between the arrows facing one of them, what then 06:44:47 oerjan: there are currently... 4 different rule variations I've come up with. 06:45:07 either the portal is captured, the portal isn't captured (as long as it faces one of the two directions of the loop) 06:45:12 you flip a coin to decide (gross) 06:45:13 or 06:45:24 the direction oscillates between each round of turns 06:45:35 so every set of turns (one for black and one for white) it changes direction 06:45:40 I think I like this one the best. 06:45:50 ök 06:46:08 though it does make it a bit more complicated to keep track of 06:46:16 THAT'S WHY PORTAL CHESS IS ONLY FOR EXTREME STRATEGISTS. 06:47:09 strategists who like insane rules. 06:48:43 oerjan: also later I fix a particularly bad opening scenario with MORE INSANE RULES 06:48:49 now arrows have a pushy effect(tm) 06:51:54 mhm 06:59:53 oerjan: so you see, by piling on more insane rules, you fix the brokenness of existing insane rules 06:59:56 because everything is insane 07:00:00 it counteracts the insanity. 07:00:11 that's the first rule of programming language design 07:00:30 now arrows have a pushy effect(tm) 07:00:44 i choose to willfully misinterpret all of what you said as an analogy about Haskell Arrows 07:00:58 kmc needs his fix of #haskell 07:07:45 -!- sebbu has quit (Read error: Connection reset by peer). 07:08:06 -!- sebbu has joined. 07:08:06 -!- sebbu has quit (Changing host). 07:08:06 -!- sebbu has joined. 07:13:00 nooooooo wikpedia 07:17:00 -!- oerjan has quit (*.net *.split). 07:18:04 -!- oerjan has joined. 07:18:38 splat 07:19:44 > round 22.5 07:19:45 22 07:19:48 > round 23.5 07:19:49 24 07:19:56 ah. banker's rounding. 07:27:58 hm 07:28:06 I wonder how you would do rounding that is not dependent on base. 07:28:43 I guess you could just do the same thing actually. 07:28:51 banker's rounding isnt'... 07:29:00 *'t 07:29:27 odd based would have the nice property of not having to worry about a midpoint value, I think. 07:29:33 *bases 07:30:17 so you could convert to, say, base 5 07:30:19 round that 07:30:24 and then convert to base 10. :> 07:31:16 ...which is equivalent to banker's rounding, actually. 07:31:29 um that would just mean the real decision happens when you convert to base 5 with limited precision 07:31:52 (.5)_10 = (.2222222222222222...)_5, after all 07:33:32 oh, well you could convert to... base 19 07:33:41 funny guy 07:33:59 it has twice as many digits 07:34:11 obviously it's repeating floor(b/2) for any odd b 07:35:36 augur: I don't see why you're always all "ping"y at 4am or so. 07:59:39 -!- Jafet has joined. 08:07:54 -!- oerjan has quit (Quit: leaving). 08:57:32 -!- monqy has quit (Quit: hello). 10:32:07 -!- ais523 has joined. 10:33:44 -!- ais523 has quit (Remote host closed the connection). 10:34:44 fizzie: lol 10:35:06 actually the last two times its 9pm! 11:37:50 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 12:34:57 -!- myndzi has quit (Read error: Connection reset by peer). 12:38:01 -!- myndzi has joined. 12:40:18 -!- pikhq_ has joined. 12:40:45 -!- pikhq has quit (Ping timeout: 272 seconds). 12:43:04 -!- Phantom_Hoover has joined. 12:43:59 Heh, looked at Reddit, was surprised it was still up, realised that I had connected nineteen minutes before the blackout. 12:58:36 -!- roper has joined. 13:03:31 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 13:19:00 -!- Phantom_Hoover has joined. 13:40:31 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 13:45:27 huh so they're apparently considering the removal of leap seconds. 13:50:59 unix was not wrong 13:52:00 ? 13:53:24 unix has not leap seconds in time_t 13:55:38 well it has seconds, it's just that the leap seconds are unambiguous. 13:55:42 -un 13:59:12 ambiguous? 13:59:39 does not consider them when converting to things like 20120118135900 14:01:23 which "they"? 14:02:36 also, link? 14:04:42 they have to do something, they can do bigger corrections less often 14:04:57 if you have leap hours then there's time to get a proper party going 14:05:14 on the other hand people might find it disconcerting to existing outside the space-time continuum for a full hour 14:08:43 it is not leap hours , it is daily savings time 14:08:53 or something 14:18:17 -!- kallisti has quit (Ping timeout: 272 seconds). 14:22:27 ? 14:32:11 well, time still exists. UTC has not that hours, it is a political measure, they say "to save energy" 14:40:08 i don't understand 14:40:19 DST and leap seconds are completely different; they serve entirely different purposes 14:42:09 yes. i mean that 14:45:41 -!- Klisz has joined. 15:01:45 -!- Madoka-Kaname has quit (Quit: Hug~♪). 16:04:42 -!- kallisti has joined. 16:04:42 -!- kallisti has quit (Changing host). 16:04:42 -!- kallisti has joined. 16:05:03 what things can const repsent besides a constant function and church encoded true. 16:05:08 *represent 16:15:56 :t intersect 16:15:56 forall a. (Eq a) => [a] -> [a] -> [a] 16:17:21 > let ls = [[1,2,3],[4,5,6],[7,8,9]]; pairwiseDisjoint = all null $ intersect <$> ls <*> ls 16:17:21 not an expression: `let ls = [[1,2,3],[4,5,6],[7,8,9]]; pairwiseDisjoint = ... 16:17:39 > let ls = [[1,2,3],[4,5,6],[7,8,9]]; pairwiseDisjoint ls = all null $ intersect <$> ls <*> ls in pairwiseDisjoint ls 16:17:39 False 16:18:51 > let ls = [[1,2,3],[4,5,6],[7,8,9]]; pairwiseDisjoint ls = intersect <$> ls <*> ls in pairwiseDisjoint ls 16:18:52 [[1,2,3],[],[],[],[4,5,6],[],[],[],[7,8,9]] 16:18:55 ah 16:20:34 > let ls = [[1,2,3],[4,5,6],[7,8,9]]; pairwiseDisjoint ls = (== ls) . filter (not.null) $ intersect <$> ls <*> ls in pairwiseDisjoint ls 16:20:36 True 16:20:53 that's probably not correct. 16:26:23 kallisti, note that there has been an update 16:26:26 A while ago 16:29:25 Sgeo: yes always updates 16:29:27 section headings for this chapter: 2.1 statements 2.2 the negation of statements 2.3 the disjunction and conjunction of statements 2.4 the implication 2.5 more on implications 2.6 tautologies and contradictions 2.8 logical equivalence 2.9 Quantification 16:29:39 so... not going to learn anything this chapter. 16:31:03 > 11*11 16:31:03 121 16:31:26 > 11*12 16:31:27 132 16:33:54 :t minus 16:33:55 Not in scope: `minus' 16:33:59 :t Mminus 16:33:59 Not in scope: data constructor `Mminus' 16:34:01 :t M.minus 16:34:02 Couldn't find qualified module. 16:34:05 @hoogle minus 16:34:05 Foreign.Ptr minusPtr :: Ptr a -> Ptr b -> Int 16:34:05 Foreign.C.Error throwErrnoIfMinus1 :: Num a => String -> IO a -> IO a 16:34:05 Foreign.C.Error throwErrnoIfMinus1_ :: Num a => String -> IO a -> IO () 16:34:39 @hoogle prime 16:34:39 Data.HashTable prime :: Int32 16:34:40 package primes 16:34:40 package optimusprime 16:34:49 lol 16:36:11 -!- Klisz has quit (Quit: SLEEP, GLORIOUS SLEEP). 16:37:23 -!- werni has joined. 16:40:58 hi everyone 16:43:44 `welcome werni 16:43:50 ?`welcome werni 16:43:51 Unknown command, try @list 16:43:56 werni: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 16:44:52 :t scanl 16:44:52 forall a b. (a -> b -> a) -> a -> [b] -> [a] 16:45:01 > fix ((0:) . scanl (:) 1) 16:45:02 Occurs check: cannot construct the infinite type: t = [t] 16:45:30 s/(:)/(+)/ 16:45:40 > fix ((0:) . scanl (+) 1) 16:45:41 [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946... 16:45:44 Deewiant: I always forget that one 16:51:18 :t elem 16:51:19 forall a. (Eq a) => a -> [a] -> Bool 16:54:46 -!- Ngevd has joined. 16:54:48 Hello! 16:56:56 hi 16:57:09 How are you? 16:57:41 * kallisti thinks the trick to artificial intelligence is to not determine what's true from a learned set of information, but to approximate what is true based on it. 16:57:47 Ngevd: good. 16:57:49 doing math homework. 16:58:09 :) 16:58:30 prime numbers and powersets and subsets and bleh 16:58:43 -!- KingOfKarlsruhe has joined. 16:58:46 I'm still on matrices... 16:59:11 never took linear algebra 16:59:24 I went Calc 1 -> Calc 2 -> discrete math -> intro to advanced math 16:59:31 I don't have to take Calc 3 or linear algebra to satisfy my major. 16:59:40 just need those first three classes then any other math elective. 16:59:44 School chooses modules... 17:00:01 so, realizing that I suck at continuous math, decided to go toward the discrete proofy stuff. 17:00:07 +I 17:00:38 though 17:00:50 I am considering majoring in math as well as CS. 17:00:55 so I may end up taking calc 3. 17:01:16 What with me being a) British and b) still in High School 17:01:18 to be honest most CS classes are a bit of a waste 17:01:25 itidus21: some of them yes 17:01:28 especially software engineering 17:01:30 uuuuugh. 17:01:37 I am literally learning nothing 17:01:38 and then 17:01:41 i would focus on math 17:01:45 I have to pretend I know things about the nothing that I just learned. 17:01:45 itidus21 has been in all of them, and look at his knowledge of lambda calculus 17:01:57 i don't have a degree :-s 17:02:07 im complicated 17:02:12 I don't even have an A-level 17:02:17 maybe my country has a bad educational system 17:02:22 help what does that mean Ngevd. 17:02:33 We get them aged 16-18 17:02:43 itidus21, Australia, right? 17:02:48 i would recommend to take the good CS subjects.. the ones which everyone fails :P 17:02:53 That's where my dad got educated 17:03:01 I think he did one of those 17:03:02 ...I failed a software engineering class 17:03:08 operating systems and that other one 17:03:09 computer organization 17:03:16 which was probably one of the easier classes I can take 17:03:20 it's just a lot of stupid mindless work 17:03:45 however I got an A in data structures 17:03:51 and every other actual programming class I've taken. 17:03:54 so... 17:04:01 but... i am not a good reference model of a student 17:04:25 I suspect I'll also ace the fuck out of databases 17:04:41 going to a class you know you'll ace won't help you grow, thats the problme 17:04:59 learning about software engineering does not help you grow. it helps you maintain jobs or become a manager. 17:05:03 however 17:05:06 if I take math classes 17:05:10 I will learn things. 17:05:39 I guess learning SWE could be helpful in structuring the /way/ you code. like, time management stuff. 17:05:47 how to be more productive and all that. 17:06:09 but... it's really not a very good field at the moment. it's basically like an extension to management that's focused on technology. 17:06:25 some subjects just don't get taught well 17:06:32 yes. 17:06:41 teaching is difficult 17:06:49 you could learn them outside of university if you really wanted... but you would never get that motivation.. thats the catch 17:07:13 what kind of masochist for example would study data flow diagrams in private 17:07:25 eh those are easy. 17:07:30 even kind of resemble algorithms almost. 17:07:35 the lower level ones 17:07:44 and the structural ones help you visualize a large project. 17:07:53 that's one thing that's not really too objectionable. 17:07:54 hmm 17:08:01 but yes 17:08:05 I wouldn't study them in private. :P 17:08:13 noone would :)) 17:08:19 only really twisted sick people 17:09:37 and I still don't understand them 17:10:05 i guess that its one of those things you have to use in practice to figure out 17:11:46 hmmm.... also they often focus on imperative languages in classes 17:12:09 i think its uncommon for CS to teach undergrad functional programming 17:12:40 but this may depend on the school and country 17:13:09 -!- sebbu has quit (Quit: Quitte). 17:14:21 its hard to explain educational systems country to country 17:15:08 I think my cousin is an Australian primary school teacher, maybe? 17:16:15 in australia it works like this. -1 = kindergarten. 0 = prep(atory) grade. 1 through 6 = primary school. 7 through 12 is secondary college/high school. 11 through 12 is HighSchoolCertificate/VictorianCertificateofEducation 17:16:30 In the UK it varies place to place 17:16:34 something like that.. i dunno all the state by state differences 17:16:40 The system I used (which is one of the least common) is: 17:16:48 R + 1-4 = First School 17:16:57 5-8 = middle school 17:17:03 next what happens is people either go on to a degree at a University, or a diploma at a TAFE 17:17:05 9 - 11 = High school 17:17:18 12 - 13 = 6th form college / high school 17:17:21 and from the diploma it can sometimes lead into a degree at a university 17:17:39 tafe is more hands on, much cheaper 17:17:39 Beyond, uni 17:18:35 although its cheaper, tafe can sometimes provide a richer education :D 17:18:54 its very cool really 17:19:05 -!- Klisz has joined. 17:19:27 its sort of the left-wing side of tertiary 17:20:57 -!- Gregor has set topic: #esoteric is closed to Americans for SOPA blackout day | Hey, American, I saw you talking, SHUT UP | http://codu.org/logs/_esoteric/. 17:21:09 -!- Taneb has joined. 17:21:47