←2008-02-02 2008-02-03 2008-02-04→ ↑2008 ↑all
00:04:17 <ehird`> :|
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 <adu> hi
07:55:22 <faxathisia> 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 <adu> :(
08:00:49 <adu> I haven't worked on my language in awhile, like a whole week
08:01:10 <adu> but I just thought of another operator I could get rid of
08:01:45 <adu> 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 <adu> and I think I can get rid of '=' and keep it Turring, complete
08:03:17 <faxathisia> what is this language ?
08:03:41 <adu> it started out as my frustration with Haskell, but it has evolved into Haskell--
08:04:12 <faxathisia> hehe
08:04:13 <adu> so obviously, ' ' it the function application operator
08:04:32 <faxathisia> What is your frustration with haskell?
08:04:45 <adu> mainly with numeric types and type classes
08:04:55 <adu> the monadic stuff is really nice tho
08:05:05 <adu> I just hate how Haskell does numbers
08:05:36 <adu> Haskell has 3 exponentiation operators, I think that is rediculous
08:05:57 <faxathisia> hmm.. I think 3 is acceptable
08:06:12 <faxathisia> although 4 makes more sense to me
08:06:13 <adu> Haskell has 5 type classes (i.e. interfaces) for describing what Float and Double can do
08:06:27 <adu> and the names they use are rediculous
08:06:57 <faxathisia> (It makes sense to describe exp inductively on N, understand it's properties, generalize it to Z, then Q)
08:07:16 <faxathisia> then you make a new def. for R using pages and pages of calculus :S
08:07:32 <adu> 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 <faxathisia> so what do () = and ' ' do?
08:08:43 <adu> well, '()' do the obvious
08:08:54 <faxathisia> :(
08:08:55 <adu> and ' ' is function application, like Haskell
08:09:19 <adu> but '=' is not quite like assignment, its used for pairing a key and a value
08:09:25 <adu> but that key does not need to be a literal
08:10:16 <adu> 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 <adu> when the binding is between a pattern and an expression, the '=' operator becomes a lambda
08:11:45 <adu> so "c = (\x = (x*x))" defines the square function
08:11:55 <faxathisia> why the /?
08:12:01 <faxathisia> opps, why \
08:12:09 <adu> the \ is to distinguish between symbols and pattern-variables
08:12:25 <adu> x is the symbol/unquoted-string "x"
08:12:34 <adu> \x is a pattern that matches anything and binds it to x
08:12:58 <faxathisia> ok
08:13:09 <adu> and it also resembles Haskells lambda syntax (\x -> x*x)
08:14:46 <adu> but I was thinking about the binding operator, and I was wondering if it was really needed
08:16:06 <adu> 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 <adu> :)
08:18:12 <adu> does that make sense?
08:18:45 <faxathisia> yeah, cool
08:19:10 <faxathisia> so instead of (\x = (x*x)) you write (x*x) ?
08:19:23 <adu> so the square function would be defined as "sq \x (x*x)"
08:20:17 <adu> 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 <adu> it reminds me of the mathematical distinction between functions and relations
08:20:34 <adu> there is very little difference
08:21:09 <adu> and since there is a binding for "ls 1", the evaluation gives the result "4"
08:22:33 <adu> 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 <adu> nth(1, ls, x).
08:23:33 -!- oerjan has joined.
08:27:51 <adu> faxathisia: so what compiler are you working on?
08:28:01 <faxathisia> for Janus
08:28:13 <faxathisia> I have a self interpreter,
08:28:25 <faxathisia> so I need to compile programs to run in it
08:28:59 <faxathisia> now that I wrote an interpreter and compiler.. when the self interpreter doesn't work the problem could be.. anywhere :S
08:30:06 <faxathisia> I wonder if I should just write my own Sint based on theirs..
08:31:40 <adu> hmm whats Janus?
08:33:03 <faxathisia> It's like the While language (minimalsit turing complete imperative), but every program can be run forwards or backwards
08:34:31 <faxathisia> for example, http://rafb.net/p/7HtmQg50.txt
08:35:33 <adu> ok so its the forwards-backwards Janus
08:35:54 <adu> I google'd some other Janus's related to Ada95 and Prolog
08:36:02 <faxathisia> huh?
08:36:29 <adu> http://www.rrsoftware.com/html/prodinf/janus95/j-ada95.htm
08:36:45 <faxathisia> ah
08:37:53 <adu> whats a "Sint"
08:38:08 <faxathisia> Self interpreter
08:38:12 <adu> o
08:38:38 <faxathisia> http://rafb.net/p/Qc9qZq34.txt
08:38:48 <faxathisia> 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 <adu> so is that PostScript then?
08:51:20 <adu> or is that Janus?
08:52:36 <faxathisia> That's the self interpreter I am trying to make work
08:55:52 <adu> 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 <ehird`> wow, that's some shite networking
18:17:03 <ehird`> 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 <ehird`> 'Weird since Linus probably doesn’t use TextMate.' i'm suprised this had to be qualified with 'probably'
18:19:04 <ehird`> because linux definately edits on a mac
18:19:35 <faxathisia> linus sometimes uses Mac OS and TextMate
18:19:48 <faxathisia> that's when he is doing ruby on rails work
18:20:04 <ehird`> he's rewriting the kernel in rails
18:20:08 <faxathisia> haha
18:20:15 <ehird`> it's productive
18:20:16 <faxathisia> whlie flying around in a pink elephant
18:20:23 <ehird`> but he's considering switching to arc
18:20:28 <ehird`> for speed
18:29:52 <ehird`> faxathisia: you'll hate this guy re: prolog too http://www.yosefk.com/blog/high-level-cpu-follow-up.html
18:31:16 <faxathisia> well he's just some guy who can't program and no-ones likely to listen to
18:32:22 <ehird`> you could question pg's programming ability too
18:32:38 <faxathisia> I do :P
18:32:47 <ehird`> faxathisia: he does make hardware, though: http://www.yosefk.com/blog/the-high-level-cpu-challenge.html
18:33:10 <ehird`> omfg, tcl on board
18:33:14 <ehird`> 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 <SimonRC> I just resurrected a 6-month-dead thread.
19:02:16 <SimonRC> That's almost a century in Internet years.
19:02:23 <ehird`> Brillant.
19:02:35 <SimonRC> hm?
19:03:33 <SimonRC> @Paul Graham: the bastard!
19:04:11 -!- Tritonio_ has quit (Read error: 104 (Connection reset by peer)).
19:04:58 <ehird`> yep
19:05:27 <ehird`> speaking of which, this chatterbot makes me sick: http://rome.purepistos.net/mathetes/
19:05:33 <SimonRC> It's been on his fucking website for several years!
19:05:52 <ehird`> it says i'm not a human because i'm not catholic :)
19:05:58 <ehird`> SimonRC: seriously?
19:06:04 <ehird`> oh
19:06:04 <ehird`> well
19:06:05 <SimonRC> yes
19:06:11 <ehird`> it was filed in 1997, so him describing it on his website
19:06:13 <ehird`> doesn't count
19:07:06 <SimonRC> ah, ok
19:08:11 <ehird`> SimonRC: but this is an example why software patents are sickening
19:08:33 <SimonRC> have you read what he says about software patents?
19:09:05 <ehird`> what?
19:09:57 <SimonRC> he has written an essay on why software patents are not particularly evil
19:10:29 <ehird`> :)
19:10:46 <ehird`> to be honest the 'software patent' stuff is pretty misguided: patents, full stop, are broken
19:10:58 <ehird`> 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 <ehird`> bsmntbombdood: you know you talked about segfault handling for a bf interp?
21:30:33 <ehird`> http://libsigsegv.sourceforge.net/ portable lib to do it
21:30:34 <ehird`> crazy
21:36:42 * SimonRC goes
21:41:48 -!- Hiat1 has quit (Read error: 110 (Connection timed out)).
21:45:02 <ehird`> bah why are revision controlsystems always mutable?
21:45:04 <ehird`> :(
21:45:09 <ehird`> filesystems should never modify data!
21:47:53 <ehird`> 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 <ehird`> libsigsegv could be a fun way to implement a really esoteric language implementation
22:54:51 <ehird`> i'm thinking a ->C Cheney on the MTA compiler, using libsigsegv to allocate *all* memory and its stack overflow detection to unwind
←2008-02-02 2008-02-03 2008-02-04→ ↑2008 ↑all