00:04:17 :| 00:24:08 -!- immibis has joined. 00:26:12 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)). 00:26:34 -!- Tritonio_ has joined. 01:04:59 -!- chuck has quit (Connection timed out). 01:12:24 -!- slereah__ has joined. 01:22:35 -!- slereah__ has quit ("Konversation terminated!"). 01:34:40 -!- immibis has quit (Remote closed the connection). 01:34:53 -!- immibis has joined. 01:42:55 -!- ehird` has quit ("K-Lined by peer"). 01:48:53 -!- pikhq has quit ("leaving"). 01:55:21 -!- pikhq has joined. 01:55:34 -!- GreaseMonkey has joined. 01:56:38 -!- pikhq has quit (Client Quit). 01:57:34 -!- pikhq has joined. 02:23:00 -!- immibis has quit (Remote closed the connection). 02:23:23 -!- immibis has joined. 02:29:23 -!- Slereah has joined. 02:33:02 -!- immibis has quit (Remote closed the connection). 02:33:15 -!- immibis has joined. 03:27:47 -!- calamari has joined. 03:44:18 -!- immibis has quit (Remote closed the connection). 03:44:48 -!- immibis has joined. 03:52:42 -!- Tritonio_ has quit (Remote closed the connection). 03:57:53 -!- 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. and dlte ur files. and email ths to). 04:43:12 -!- immibis_ has joined. 04:56:20 -!- calamari has quit ("Leaving"). 05:08:11 -!- immibis_ has changed nick to immibis. 05:09:20 -!- Sgeo has quit (Remote closed the connection). 05:55:15 -!- puzzlet has quit (Remote closed the connection). 05:55:22 -!- puzzlet has joined. 05:58:26 -!- immibis has left (?). 07:08:39 -!- pikhq has quit (Read error: 110 (Connection timed out)). 07:10:21 -!- lifthrasiir has joined. 07:29:51 -!- immibis_ has joined. 07:31:38 -!- immibis_ has left (?). 07:53:27 -!- adu has joined. 07:53:57 hi 07:55:22 hey 07:56:30 * faxathisia is debugging a compiler and getting nowhere :/ 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:32 :( 08:00:49 I haven't worked on my language in awhile, like a whole week 08:01:10 but I just thought of another operator I could get rid of 08:01:45 I've been trying to minimize the number of operators in my lang, and until recently I had it down to parentheses, ' ', and '=' 08:02:14 and I think I can get rid of '=' and keep it Turring, complete 08:03:17 what is this language ? 08:03:41 it started out as my frustration with Haskell, but it has evolved into Haskell-- 08:04:12 hehe 08:04:13 so obviously, ' ' it the function application operator 08:04:32 What is your frustration with haskell? 08:04:45 mainly with numeric types and type classes 08:04:55 the monadic stuff is really nice tho 08:05:05 I just hate how Haskell does numbers 08:05:36 Haskell has 3 exponentiation operators, I think that is rediculous 08:05:57 hmm.. I think 3 is acceptable 08:06:12 although 4 makes more sense to me 08:06:13 Haskell has 5 type classes (i.e. interfaces) for describing what Float and Double can do 08:06:27 and the names they use are rediculous 08:06:57 (It makes sense to describe exp inductively on N, understand it's properties, generalize it to Z, then Q) 08:07:16 then you make a new def. for R using pages and pages of calculus :S 08:07:32 faxathisia: 4 operators? thats silly you only need ^ in the (Num a) type class (which is where (*) is defined as well), and have it opperate differently when the context is (Num Float) 08:07:35 so what do () = and ' ' do? 08:08:43 well, '()' do the obvious 08:08:54 :( 08:08:55 and ' ' is function application, like Haskell 08:09:19 but '=' is not quite like assignment, its used for pairing a key and a value 08:09:25 but that key does not need to be a literal 08:10:16 for example "c = ('a' = 1, 'b' = 2)" will make a function/hash-table such that when you apply it "c 'b'" the result is 2 08:11:08 when the binding is between a pattern and an expression, the '=' operator becomes a lambda 08:11:45 so "c = (\x = (x*x))" defines the square function 08:11:55 why the /? 08:12:01 opps, why \ 08:12:09 the \ is to distinguish between symbols and pattern-variables 08:12:25 x is the symbol/unquoted-string "x" 08:12:34 \x is a pattern that matches anything and binds it to x 08:12:58 ok 08:13:09 and it also resembles Haskells lambda syntax (\x -> x*x) 08:14:46 but I was thinking about the binding operator, and I was wondering if it was really needed 08:16:06 because everything can be though of as a query or a command anyways, and if there is no interpretation of either in the current namespace, then there would technically be an error, but if the error of not finding any current bindings was instead used as the method of binding, then the '=' operator is useless 08:16:28 :) 08:18:12 does that make sense? 08:18:45 yeah, cool 08:19:10 so instead of (\x = (x*x)) you write (x*x) ? 08:19:23 so the square function would be defined as "sq \x (x*x)" 08:20:17 but this means lists could also be defined differently, as "ls 1 4" would equate to ls[1] = 4, its almost like prologizing everything 08:20:29 it reminds me of the mathematical distinction between functions and relations 08:20:34 there is very little difference 08:21:09 and since there is a binding for "ls 1", the evaluation gives the result "4" 08:22:33 cuz in prolog all functions are basically booleans, if you want to assign "X = ls[1]" you have to write "nth(1, ls x)." thats what I meant by "prolog-izing" 08:23:01 nth(1, ls, x). 08:23:33 -!- oerjan has joined. 08:27:51 faxathisia: so what compiler are you working on? 08:28:01 for Janus 08:28:13 I have a self interpreter, 08:28:25 so I need to compile programs to run in it 08:28:59 now that I wrote an interpreter and compiler.. when the self interpreter doesn't work the problem could be.. anywhere :S 08:30:06 I wonder if I should just write my own Sint based on theirs.. 08:31:40 hmm whats Janus? 08:33:03 It's like the While language (minimalsit turing complete imperative), but every program can be run forwards or backwards 08:34:31 for example, http://rafb.net/p/7HtmQg50.txt 08:35:33 ok so its the forwards-backwards Janus 08:35:54 I google'd some other Janus's related to Ada95 and Prolog 08:36:02 huh? 08:36:29 http://www.rrsoftware.com/html/prodinf/janus95/j-ada95.htm 08:36:45 ah 08:37:53 whats a "Sint" 08:38:08 Self interpreter 08:38:12 o 08:38:38 http://rafb.net/p/Qc9qZq34.txt 08:38:48 That's extracted form a PDF 08:44:14 -!- GreaseMonkey 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. and dlte ur files. thx."). 08:46:49 so is that PostScript then? 08:51:20 or is that Janus? 08:52:36 That's the self interpreter I am trying to make work 08:55:52 ic 09:00:18 -!- lifthrasiir has quit (Remote closed the connection). 09:02:45 -!- adu has quit (Remote closed the connection). 09:37:54 -!- RedDak has joined. 09:51:25 -!- chuck has joined. 10:12:36 -!- sebbu2 has quit (Read error: 104 (Connection reset by peer)). 10:14:59 -!- sebbu has joined. 10:34:00 -!- oerjan has quit ("leaving"). 10:50:47 -!- helios24 has joined. 11:25:05 -!- timotiis has joined. 11:37:35 -!- Tritonio_ has joined. 12:28:55 -!- jix has joined. 14:05:43 -!- Slereah has quit (Remote closed the connection). 14:18:40 -!- n0nsense has joined. 14:19:15 -!- n0nsense has left (?). 14:50:14 -!- n0nsense has joined. 14:50:24 -!- n0nsense has left (?). 15:55:43 -!- oerjan has joined. 16:17:15 -!- Tritonio_ has quit (Read error: 104 (Connection reset by peer)). 16:17:59 -!- Tritonio_ has joined. 16:48:30 -!- helios24 has quit ("Leaving"). 17:19:00 -!- oerjan has quit ("leaving"). 17:20:35 -!- Slereah has joined. 17:56:25 -!- ehird` has joined. 17:57:51 * faxathisia pings back at ehird 17:58:01 wow, that's some shite networking 18:17:03 omfg, the asshole paul graham patented continuation-based webservers: http://www.google.com/patents?id=WE8GAAAAEBAJ&dq=6205469 18:17:37 * faxathisia LOL @ "the asshole paul graham" 18:18:06 * faxathisia also agrees with this after reading him talking nonsense about Prolog 18:18:50 'Weird since Linus probably doesn’t use TextMate.' i'm suprised this had to be qualified with 'probably' 18:19:04 because linux definately edits on a mac 18:19:35 linus sometimes uses Mac OS and TextMate 18:19:48 that's when he is doing ruby on rails work 18:20:04 he's rewriting the kernel in rails 18:20:08 haha 18:20:15 it's productive 18:20:16 whlie flying around in a pink elephant 18:20:23 but he's considering switching to arc 18:20:28 for speed 18:29:52 faxathisia: you'll hate this guy re: prolog too http://www.yosefk.com/blog/high-level-cpu-follow-up.html 18:31:16 well he's just some guy who can't program and no-ones likely to listen to 18:32:22 you could question pg's programming ability too 18:32:38 I do :P 18:32:47 faxathisia: he does make hardware, though: http://www.yosefk.com/blog/the-high-level-cpu-challenge.html 18:33:10 omfg, tcl on board 18:33:14 worst idea ever 18:46:09 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)). 18:46:30 -!- Tritonio_ has joined. 18:55:47 -!- slereah__ has joined. 19:01:49 * SimonRC performs necromancy. 19:02:03 I just resurrected a 6-month-dead thread. 19:02:16 That's almost a century in Internet years. 19:02:23 Brillant. 19:02:35 hm? 19:03:33 @Paul Graham: the bastard! 19:04:11 -!- Tritonio_ has quit (Read error: 104 (Connection reset by peer)). 19:04:58 yep 19:05:27 speaking of which, this chatterbot makes me sick: http://rome.purepistos.net/mathetes/ 19:05:33 It's been on his fucking website for several years! 19:05:52 it says i'm not a human because i'm not catholic :) 19:05:58 SimonRC: seriously? 19:06:04 oh 19:06:04 well 19:06:05 yes 19:06:11 it was filed in 1997, so him describing it on his website 19:06:13 doesn't count 19:07:06 ah, ok 19:08:11 SimonRC: but this is an example why software patents are sickening 19:08:33 have you read what he says about software patents? 19:09:05 what? 19:09:57 he has written an essay on why software patents are not particularly evil 19:10:29 :) 19:10:46 to be honest the 'software patent' stuff is pretty misguided: patents, full stop, are broken 19:10:58 i can understand the core idea to a degree but everything on top of that is hideously wrong 19:19:25 -!- RedDak has quit (Read error: 110 (Connection timed out)). 19:20:51 -!- Tritonio_ has joined. 19:21:02 -!- Tritonio_ has quit (Read error: 104 (Connection reset by peer)). 19:23:21 -!- Slereah has quit (Connection timed out). 19:27:32 -!- slereah__ has quit (Remote closed the connection). 20:00:40 -!- chuck has changed nick to _chuck[server]. 20:19:30 -!- _chuck[server] has changed nick to chuck. 20:28:48 -!- Hiato has joined. 20:34:43 -!- Hiat1 has joined. 20:35:07 -!- pikhq has joined. 20:49:56 -!- Corun has joined. 20:50:08 -!- chuck has changed nick to chuck-blah. 20:50:10 -!- chuck-blah has changed nick to chuck. 20:53:04 -!- Hiato has quit (Read error: 110 (Connection timed out)). 21:24:29 -!- und3f has joined. 21:24:34 -!- und3f has left (?). 21:25:13 -!- RedDak has joined. 21:30:26 bsmntbombdood: you know you talked about segfault handling for a bf interp? 21:30:33 http://libsigsegv.sourceforge.net/ portable lib to do it 21:30:34 crazy 21:36:42 * SimonRC goes 21:41:48 -!- Hiat1 has quit (Read error: 110 (Connection timed out)). 21:45:02 bah why are revision controlsystems always mutable? 21:45:04 :( 21:45:09 filesystems should never modify data! 21:47:53 oh well, MINE will be an immutable, garbage-collected filesystem database! :D 21:58:33 -!- jix has quit ("This computer has gone to sleep"). 22:18:23 -!- RedDak has quit ("I'm quitting... Bye all"). 22:50:30 -!- timotiis has quit ("leaving"). 22:54:27 libsigsegv could be a fun way to implement a really esoteric language implementation 22:54:51 i'm thinking a ->C Cheney on the MTA compiler, using libsigsegv to allocate *all* memory and its stack overflow detection to unwind