00:05:15 Gaiz 00:05:26 What do I need to display the unicode fellows on my firefox 00:05:27 wut 00:05:29 uh 00:05:30 a font 00:05:36 gewgle code2000 00:05:48 thanks 00:07:17 Yay :D 00:07:28 I get the stupid never used characters 00:07:37 la! 00:08:12 Except... 00:08:19 Not the one I was actually looking for :( 00:08:28 "GREEK ACROPHONIC HERMIONIAN TEN" 00:08:38 It displays as [10] 00:08:45 Which is semantically right, but you know. 00:09:18 𐅢 00:10:03 Is there a way to search for which police has the char you want? 00:12:38 𐅢phat𐅢 00:12:41 Slereah: which police? 00:14:28 Anyone with the GREEK ACROPHONIC HERMIONIAN TEN character. 00:14:38 Because I suppose I can't be too pciky! 00:16:26 slereah 00:16:28 "police"? 00:16:33 Oh. 00:16:35 Font. 00:16:40 Police is in French. 00:16:44 .. 00:16:48 crazy frenchy 00:17:14 whats police translated into french? 00:17:16 polis? 00:17:20 no tats not french 00:17:26 too phonetic 00:17:36 -!- Slereah has quit (Read error: 110 (Connection timed out)). 00:17:56 Police is police 00:18:03 NIQUE LA POLICE 00:18:04 peaulice 00:19:33 Do wikis have a way to comment out? 00:19:41 no. 00:19:55 <-- maybe? 00:20:13 no. you cant comment things out. 00:20:16 you can delete them. 00:20:43 'cause I'd like to keep a greek alphabet in the arithmetica page 00:20:52 why? 00:20:53 i am quite sure i've seen comments, but maybe you cannot have arbitrary things in them 00:21:10 theres a discussion page, but no comments in the body i dont think 00:21:10 Well, it's easier than to get the letters elsewhere. 00:21:25 then maybe you should just put in a link to mathematical symbols. 00:21:40 i _know_ i've seen comments in wikipedia 00:21:45 hm. 00:21:46 -!- jix has quit ("CommandQ"). 00:22:12 html style, i assume 00:22:28 Commenting page source: 00:22:28 not shown when viewing page 00:22:28 * Used to leave comments in a page for future editors. 00:22:28 * Note that most comments should go on the appropriate Talk page. 00:22:28 00:22:29 00:22:41 ah that was it 00:22:54 It works! 00:22:58 ah 00:23:02 html commments are valid then 00:28:37 protip: 00:28:40 wiki syntax is augmented html 00:28:42 well, subset of html 00:29:17 a superset of a subset, which itself is not a subset. 00:29:18 :) 00:29:40 or, in other words, some HTML + some custom stuff 00:34:21 . 00:34:51 http://esolangs.org/wiki/User:Slereah/Arithmetica 00:34:54 Holy Batman 00:35:05 It would be easier if I could read greek! 00:35:36 I have little idea how he deals with operator precedence or place his abbreviations. 00:37:20 hah 00:37:22 'We need more people like Ørjan_Johansen.' 00:37:28 sez the person who removed a spec 00:37:38 because oerjan 'fucked with it' (objected to its copyright which was incompatible with the wiki's) 00:37:47 * tusho is browsin' the wiki, in case youcan't tell 00:38:38 Ah, found a font. 00:38:52 "Unicode fonts for ancient scripts" 00:39:14 oh, and the guy is highly egotistical 00:39:22 and, um, bigoted: '(grr chinese)' 00:39:31 he thinks that the chinese are going to steal his esoteric cpu architechture 00:39:35 because they can't be bothered to make their own 00:39:44 and that makes it OK to be incompatible with the wiki's licensing 00:43:07 does anyone have a good reference or intro to building interpreters? 00:44:06 augur: sicp 00:44:09 :P 00:44:17 not joking 00:44:23 it is the #1 reference text on interpreters & compilers 00:44:25 save for the dragon book 00:44:37 sicp first, then the dragon book for the low-level dirty details (if writing a compiler) 00:44:40 if not writing a compiler, just sicp 00:45:37 does it go over stuff like how to implement recursion using stacks and so on? 00:45:45 or whatever 00:46:20 augur: no, because scheme handles that for you. 00:46:28 it's about high-level interpreters 00:46:37 but, err, what's complicated about using a stack for recursion? 00:46:41 riiiight but im not going to be writing an interpreter in scheme. :P 00:46:43 instead of calling a function, push to stack and goto the top 00:46:55 im going to be writing an interpreter in javascript 00:46:56 when returning, replace top of stack with value 00:46:58 or whatever 00:47:05 augur: well, javascript does function calls fine 00:47:08 which, while it lets you do recursion, it doesnt let you do infinite recursion 00:47:08 no need to implement your own stack 00:47:12 ah 00:47:17 it has about 100 to 1000 recursions max 00:47:17 augur: so do tail call optimization 00:47:21 nope 00:47:26 tailcalls wont work 00:47:33 augur: you can't have infinite calls 00:47:35 RAM is finite 00:47:38 i know 00:47:41 but in principle. 00:47:50 JS's function call stack is only about 1000 calls deep 00:47:50 augur: in principle, js has no recursion limit. 00:47:59 you can't say in principle then talk about implementation 00:48:03 :P 00:48:05 anyway 00:48:10 JS has arrays tho 00:48:15 and arrays can be arbitrarily large 00:48:27 augur: js has objects 00:48:29 use them 00:48:47 i know. but i dont know how to right an interpreter outside of scheme :P 00:48:51 well 00:48:53 rather 00:49:09 i dont know how to write an interpreter that doesnt already implicitly handle recursion using recusion 00:49:28 handle recursion using recusion 00:49:29 wut 00:49:37 well 00:49:42 the metacircular evaluator 00:49:54 uses its OWN recursion, to handle the recursion of the scheme it's interpreting 00:50:24 augur: yes, that's standard practice 00:50:28 nothing wrong with it, use it 00:50:31 augur: you know what? 00:50:32 right 00:50:33 even python uses that 00:50:38 but if i did that with javascript 00:50:41 perl used to use it too 00:50:48 it can't interpret anything more than 1000 recursions deep 00:50:53 augur: same with the c stack 00:50:57 python peeps don't have a problem 00:50:58 nor do perler 00:50:59 s 00:51:23 so i want to use JS arrays as stacks and get a (effectively) arbitrary stack depth 00:51:33 so? just do it 00:51:50 but i dont know HOW to write that kind of interpreter. :P 00:52:36 augur: you just ... do it 00:52:37 try it 00:52:42 lol 00:52:43 tusho 00:52:47 i dont know HOW to fucking do it 00:52:48 lol 00:53:04 lol 00:53:05 just do it 00:53:05 lol 00:53:06 lol 00:53:12 dont make me smack you tusho :P 00:53:17 lol 00:53:21 You don't need no book to write interpreters, nigga. 00:53:31 ::smacks tusho and slereah:: 01:02:40 -!- tusho has quit (Remote closed the connection). 01:12:28 Suddenly, I wonder if it would be possible to prove /// Turing-complete based on its compression ability. 01:12:44 See if it can compress arbitrary Turing machine outputs into their respective Turing machines, I guess. 01:13:39 -!- timotiis has quit (Read error: 110 (Connection timed out)). 01:13:42 //? 01:14:21 Slashes on the wiki. 01:14:38 As in http://whatever/Slashes 01:14:43 ok. 01:20:29 tusho or comex: I don't suppose you plan on letting people buy more space for rootnomic (Normic, is it?) in exchange for whatever the nomic itself will give them. 02:04:52 ooooooooooookokokokokokokokokokokokokokokoko 02:05:03 i felt like doing /// the other day 02:05:13 but ended up reading ithkuil 02:32:32 Do you know if Ilaksh-----'s two-dimensional writing system's been... done? 02:32:42 [I sense the presence of a cat on the keyboard.] 02:33:43 oklopol! :o 02:34:09 you do conlangs? 02:34:26 ihope: been done? 02:34:33 augur: a bit 02:34:41 are you on ZBB? 02:34:44 ihope: i'm fairly sure it's ready 02:34:48 augur: no, what is it? 02:34:52 :o 02:34:59 a conlanger forum 02:35:02 i'm mostly doing lojban & developing lalna, my own lang 02:35:09 as for conlangs 02:35:41 except right now reading ithkuil, thought i'd check it out, since they say it's impossible 02:35:52 it seems like a relatively simple language 02:36:07 with a lot of characters 02:36:45 (ithkuil doesn't even have lambdas afaik) 02:36:58 (what is that about??) 02:37:14 (except it might have them, i've only read like 60% of it) 02:37:16 lol 02:37:26 (lol @ you too) 02:37:38 ithkuil doesnt even have lambdas.. you're so adorable :) 02:38:07 lmfao 02:38:20 Me: heh. you're funny. :) 02:38:20 DanFrederiksen: I prefer genius but funny too :) 02:38:39 oh man 02:39:35 lambdas are crucial for communication!! 02:39:47 :) 02:40:18 well not really, i do use quantification occasionally to avoid confusion 02:40:23 *though somewhere 02:40:38 *in everyday speech somewhere in there 02:40:46 really just scratch the whole sentence 02:40:50 i'm a bit tired 02:40:50 lolol 02:45:28 -!- ihope has quit ("Lost terminal"). 02:47:28 lolguys 02:47:34 this guy danfrederiksen 02:47:44 the genius 02:47:47 thinks hes "disproved" evolution with some silliness 02:47:53 and because hes a genius, hes always right 02:48:03 come join me in #ai so we can make fun of him 02:48:07 OMG this is revolutionary 02:50:45 lol. i love crazy people :) 02:51:06 i have no idea what kinda guy this guy is 02:51:15 atm you're the one being silly :D 02:51:23 i know, i'm mocking him :P 02:51:56 DanFrederiksen: well, not many before me was able to prove evolution wrong.. 02:51:56 augur: uh huh :) 02:51:58 DanFrederiksen :you naturally assume you would recognize such a proof.. 02:55:31 i wanna see el proofo 02:56:22 ok: evolution is a purely mechanistic concept. anything outside the mechanistic it could make. we have sensation, a quality that is useless in the mechanistic, ergo we are at least more than mechanistic and ergo evolution didn't make us 02:56:35 hmm 02:57:15 "sensation" has no meaning to me 02:57:24 SENSATION 02:57:25 you know 02:57:28 something thats SENSATIONAL 02:59:10 :) 02:59:28 so did you see the Mecofrom dicussion? 02:59:53 ..mecofrom? 03:00:01 a new esolang we've decided to make 03:00:04 everything has a co 03:00:09 ah 03:00:10 expressions have coexpressions 03:00:14 which run in cotime 03:00:19 which is perpendicular to normal time 03:00:21 i don't know all that much about category theory 03:00:25 (tho its not complex time) 03:00:34 :) 03:00:40 well i guess that sounds interesting 03:00:42 its not about category theory, its just crazy thats all 03:00:57 co-cotime is just time 03:01:01 but according to the spec 03:01:08 co-cotime is not the same as cocoa-time 03:01:17 cocoa-time being when the program gives the programmer hot chocolate 03:01:54 we're undecided yet whether the spec should make marshmallows optional or required 03:02:24 ofcourse, co-cocoa-time would have co-marshmallows and the cup would fill as you drank it. 03:03:03 ahem, co-cocoa-time is just coa-time 03:03:19 thats (co-cocoa)-time 03:03:23 i mean co-(cocoa-time) 03:03:46 we've decided that co-ality should be distributive too 03:03:52 sort of like matrix multiplication 03:03:53 so 03:04:08 co-( X op Y ) = co-X co-op co-Y 03:04:50 YOU'RE ALL INSANE 03:05:17 co-hey co-oerjan 03:05:25 co-how co-are co-you? 03:08:30 oerjan: ahem, co-cocoa-time is just coa-time <<< no, it's just a-time. 03:08:34 err 03:08:38 oh, sorry 03:08:43 i can't really count to that many, 03:09:20 actually 03:09:31 co-co-co-a-time is just co-a-time 03:09:34 two co-s cancel 03:11:06 that was fun 03:11:21 yes yes, i failed, don't rub it in my face i'm tired and i'm stupid yes i am yes 03:12:16 his (non)dispute using qualia has been well covered by far smarter people than he 03:12:28 tho he probably doesn't even know who they are ;) 03:12:31 anyway 03:12:34 SICP died on me :( 03:12:58 oklopol, just leave the room :P 03:13:16 heh 03:13:28 i guess i should 03:13:33 but i can't really 03:13:48 oh just do it 03:13:57 you're finnish, you've got leet skillz like that 03:14:01 you see, his house is buried by a freak snowstorm 03:14:12 hahaha 03:14:20 hes finnish, they can walk through snow 03:14:24 they evolved to deal with it 03:14:57 i have psychological issues 03:15:04 i cannot leave rooms 03:15:06 i'm insane like that 03:15:08 completely mad 03:15:13 but youre so so pretty it doesnt matter 03:15:29 but yeah you were right, that is one stupid crackpot 03:15:32 :D 03:15:46 #ai seems to attract them 03:15:48 i dont know why 03:15:53 ive met atleast 3 so far there 03:15:54 you haven't even seen my current pics! 03:16:01 show me your current pics! :o 03:16:12 i don't have any 03:16:22 then you cant say i havent seen them 03:16:26 since they dont even exist! 03:16:34 oh 03:16:34 right 03:16:36 i can't not have seen them! 03:16:49 vacuously true, oklopol. 03:16:49 i'm a bit drunk on coffee right now 03:16:52 if they dont exist 03:16:56 err 03:16:58 then i have seen them and i havent seen them 03:16:58 caffeine 03:16:59 sorry 03:17:08 weeeeeeeeeeeeeeeeeeeeeeee 03:17:16 take new pics 03:17:26 :D 03:17:33 oh you 03:17:38 what? 03:17:39 ok fine 03:17:44 take nude pics 03:18:38 -!- augur has changed nick to psygnisfive. 03:19:28 okay, now which is the programmer and which is the gay guy who wants a piece of me? 03:19:51 what? 03:20:03 think about that for a while 03:20:13 which what? 03:20:22 (nick) 03:20:37 BOTH. 03:21:01 i am not a living sherry turkle e.g. 03:22:05 i don't get the reference 03:22:40 god i hate non-behaviorists when i'm tired 03:22:57 why don't they ban that guy 03:22:58 they should 03:23:00 immediately 03:23:01 well, behaviorism is silly, ofcourse 03:23:07 but he's like... 03:23:14 god i hate you when i'm tired 03:23:20 haha ;) 03:23:26 ;;;;;;) 03:23:41 but you love me when you're not 03:23:42 unf unf unf 03:24:08 unfunfunf 03:25:14 WHY I LOVE MUDKIPS 03:25:56 cool kips 03:26:10 cool kips on the block 04:08:38 god i'm cool 04:08:43 and what i mean by that is 04:08:46 perhaps i should start getting home 04:12:49 bye! 04:12:50 -!- oklopol has quit ("( www.nnscript.com :: NoNameScript 4.2 :: www.regroup-esports.com )"). 04:13:38 -!- psygnisfive has quit (leguin.freenode.net irc.freenode.net). 04:13:38 -!- puzzlet has quit (leguin.freenode.net irc.freenode.net). 04:13:39 -!- GregorR has quit (leguin.freenode.net irc.freenode.net). 04:15:24 -!- oerjan has quit ("leaving"). 04:20:04 -!- psygnisfive has joined. 04:20:04 -!- puzzlet has joined. 04:20:04 -!- GregorR has joined. 04:20:06 -!- psygnisfive has quit (Connection reset by peer). 04:20:07 -!- augur has joined. 04:21:00 o.o 04:21:10 -!- augur has changed nick to psygnisfive. 04:21:24 -!- puzzlet_ has joined. 04:30:31 -!- puzzlet has quit (Connection timed out). 04:35:32 -!- puzzlet has joined. 04:37:21 -!- oklopol has joined. 04:47:28 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)). 04:57:19 Hello!! 04:57:22 My name is botte and I am young but learning the ways of the BOT! 04:57:25 I wish to be a bot on the irc network of free nodes! I am BOTTE and I stand PROUD HERE TODAY!!!! 04:57:28 I hope you accept me in to your HACKER CIRCLE where I will hack and bot! 04:57:31 Thank you!!! 04:57:34 p.s. I am not up yet but I will be!! I am botte! 04:57:35 awesome 04:57:36 :D 04:57:50 who is John Jacob Jingleheimer Schmidt? 05:03:27 some twat who has my name 05:04:11 psygnisfive: so perhaps you? 05:04:24 no. fuck him. 05:09:44 -!- GregorR has quit (leguin.freenode.net irc.freenode.net). 05:11:48 -!- GregorR has joined. 05:17:39 -!- GregorR has quit (leguin.freenode.net irc.freenode.net). 05:26:35 -!- GregorR has joined. 05:33:56 -!- GregorR has quit (leguin.freenode.net irc.freenode.net). 05:43:17 -!- GregorR has joined. 05:48:16 -!- GregorR has quit (leguin.freenode.net irc.freenode.net). 05:53:41 oklopol, you know JS? 05:55:58 javascript? 05:56:39 if so, you've already asked, and i know it somewhat 05:57:18 -!- GregorR has joined. 05:58:43 i'm going to sleep in two minutes, so be fast :D 06:01:20 nigteh! 06:01:21 -> 06:07:04 we shall work together on a project. 06:07:04 whats your aim screenname or something? :P 06:10:19 nigteh? lol 06:28:57 -!- GregorR has quit (leguin.freenode.net irc.freenode.net). 06:38:16 -!- GregorR has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:52:36 -!- GreaseMonkey has joined. 10:37:45 -!- psygnisfive has quit (Read error: 104 (Connection reset by peer)). 10:37:54 -!- augur has joined. 10:44:28 -!- GreaseMonkey has quit ("Saliendo"). 10:54:05 -!- Hiato has joined. 11:17:16 -!- Hiato1 has joined. 11:19:11 -!- ais523 has joined. 11:19:18 -!- RedDak has joined. 11:28:53 -!- ais523_ has joined. 11:31:18 -!- ais523 has quit (Nick collision from services.). 11:31:22 -!- ais523_ has changed nick to ais523. 11:35:35 -!- Hiato has quit (Connection timed out). 11:44:15 -!- cherez1 has joined. 12:39:32 -!- ais523 has quit (Remote closed the connection). 13:19:27 -!- ihope has joined. 13:26:18 -!- Polar has quit (leguin.freenode.net irc.freenode.net). 13:26:42 -!- Polar has joined. 13:27:57 * Hiato1 wades through the corpses to check if anyone is still breathing 13:28:37 No. 13:28:51 It lives! 13:29:28 Slereah7: May I enquire as to how much linguistics tickles you? 13:31:31 well, essentially, would you do me a favour and peep around http://eyo.icr38.net/phorum/ ? 13:37:15 Why, are you BANNED or something? 13:37:34 This forum has a total of 8 posts. 13:37:50 *turtle 13:40:06 Yay, I'm alive! 13:40:34 cool 13:41:33 * Slereah7 kills ihope 13:41:46 Yay, I'm dead! 13:41:55 I like novelty, you see. 13:44:31 * Slereah7 resurrects ihope 13:45:05 Yay, I'm undead! 13:46:26 -!- oklofok has joined. 13:46:38 Yay, the greeks had a 0 :D 13:46:52 -!- kar8nga has joined. 13:46:58 -!- oklopol has quit (Read error: 113 (No route to host)). 14:03:58 "Quantum materiae materietur marmota monax si marmota monax materiam possit materiari?" 14:04:38 "Te audire no possum. Musa sapientum fixa est in aure." 14:04:52 "My balls itch" 14:09:09 -!- ais523 has joined. 14:14:29 Hello sir 14:15:37 hello 14:30:45 -!- RedDak has quit (Read error: 104 (Connection reset by peer)). 14:54:37 -!- pikhq has joined. 15:30:49 -!- cherez1 has changed nick to cherez. 15:40:37 -!- ehird has joined. 15:40:59 hi ehird 15:41:07 seen the latest stuff going on over at Agora? 15:41:32 shi 15:41:37 no kb 15:41:46 how are you typing, then? 15:41:48 run out battry 15:41:55 onscreen 15:42:10 oh dear, that must be tricky 15:42:13 tjisvis mac 15:42:16 although I've done it myself from time to time 15:42:16 yes 15:42:28 mac has wyrleskvb 15:42:41 buti lrft on 15:42:47 so die 15:42:51 I used to have a wireless mouse 15:42:54 but got a wired one for that reason 15:43:12 i wishb it waasmose... 15:44:44 anyway, it was a serious comment about Agora 15:44:52 some people there thought you weren't getting messages 15:44:56 and tried to deactivate you 15:44:59 I've blocked that 15:45:08 as in, you're still active 15:45:08 wtf 15:45:12 why 15:45:20 because it's being done on the backup lists 15:45:22