00:17:38 -!- LeaLeaLea has joined.
00:19:02 <CakeProphet> IN FOUR DAYS THERE WILL BE SOURDOUGH BREAD.
00:19:14 <oerjan> ahem. bread is not cake.
00:19:24 -!- CakeProphet has changed nick to SevenInchBread.
00:19:40 -!- SevenInchBread has changed nick to CakeProphet.
00:19:59 <LeaLeaLea> I TIRE OF YOUR BREAD RELATED NICKNAMES.
00:22:37 <CakeProphet> LeaLeaLea, YOUR VISIT IS MERELY REPUTATIONAL
00:23:18 <LeaLeaLea> You better be findin' the bitches.
00:23:55 <oerjan> oh no, the frankincense monster
00:24:15 <LeaLeaLea> Leaving off the H in hello was not intentional.
00:24:34 <CakeProphet> GregorR, fix egobot or I'll choke your goat
00:25:30 <LeaLeaLea> .. MOVING RIGHT ALONG. There are two people besides (Insert any one in an array bread product nicks here) speaking today.
00:28:21 <SimonRC> Have you lot heard of _The Eye Of Argon_?
00:28:54 <SimonRC> Well I have found something a bit like it:
00:29:58 <SimonRC> Oh, it's the worst amature sword-and-sourcery story ever (partly-) written.
00:30:11 <SimonRC> anyway, the thing I have found is a book:
00:30:15 <SimonRC> "The world is full of bad books written by amateurs. But why settle for the merely regrettable? Atlanta Nights is a bad book written by experts."
00:30:33 <SimonRC> It was written as a sting by some writers against a publisher
00:32:02 <CakeProphet> ...if I had linux working I could probably compile erm... egobot.
00:33:27 <LeaLeaLea> If I had linux I would hit you in the face.
00:33:59 <CakeProphet> LeaLeaLea, linux can send people through my monitor?
00:34:07 <CakeProphet> and here I thought the whole linux thing was just hype.
00:34:53 <LeaLeaLea> Linux has infinite capabilites, MANY MORE than Windows! I heard, with Redhat you can stab wily opponants in the heart with a poisonous barb with the click of a button.
00:35:44 <CakeProphet> and also... MY TEXT EDITOR IS SUPERIOR TO YOURS
00:37:06 <LeaLeaLea> If I had linux I could send you juice from across the internets.
00:37:31 <GregorR> Am I the only person who would love to find a working development environment for Windows 1.0? :P
00:37:33 -!- sebbu2 has joined.
00:38:09 <CakeProphet> what chatspeak thing? ? D ?D? LD ?LO LOLNOOB
00:38:27 <LeaLeaLea> Hello Signore GregoR with the inexplicable yet oddly alluring capital R.
00:39:51 <CakeProphet> because there's only one, synthetically created smurf woman.
00:40:40 <CakeProphet> lol i bet you wear eyeliner like a noob lea
00:41:11 <LeaLeaLea> I never did send you my Smurf Village analysis story.
00:41:42 -!- EgoBot has joined.
00:42:06 <LeaLeaLea> Though at least egobot is apparantly here
00:42:12 <GregorR> Must ... find ... Windows 1.0 development libraries ...
00:42:49 <EgoBot> help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon
00:42:51 <EgoBot> 1l 2l adjust axo bch bf{8,[16],32,64} funge93 fyb fybs glass glypho kipple lambda lazyk linguine malbolge pbrain qbf rail rhotor sadol sceql trigger udage01 unlambda whirl
00:43:26 * LeaLeaLea engages in forcula battle with CakeProphet.
00:45:51 <CakeProphet> That was the ENTIRE reason I wanted egobot up
00:47:24 <CakeProphet> !glass {M[m(_o)O!((_a)A!(_noob)<40>=/(_noob) "Nope "(_o)o.?(_noob)<1>(_a)s.?\]}
00:48:54 <CakeProphet> !glass {M[m(_o)O!((_a)A!(_noob)<10>=/(_noob) "Nope "(_o)o.?(_noob)<1>(_a)s.?\]}
00:49:24 <oerjan> !unlambda ```````````````.C.a.n. .I. .j.o.i.n. .i.n.?ri
00:51:41 <CakeProphet> !glass {M[m(_o)O!((_a)A!(_s)S!(_noob)<10>=(_hehe)"Nope "=/(_noob) (_hehe)(_hehe)"Nope "(_s)a.?=(_noob)<1>(_a)s.?\(_hehe)(_o)o.?]}
00:52:22 <oerjan> !unlambda `r`..`.u`.o`.y`. `.k`.n`.a`.h`.Ti
00:53:33 <CakeProphet> !glass {M[m(_o)O!((_a)A!(_s)S!(_noob)<10>=(_hehe)"Nope "=/(_noob) (_hehe)(_hehe)*"Nope "(_s)a.?=(_noob)(_noob)*<1>(_a)s.?=\(_hehe)(_o)o.?]}
00:54:10 <oerjan> You've got a (( in there.
00:56:25 -!- sebbu has quit (Connection timed out).
00:57:39 <EgoBot> help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon
00:57:41 <EgoBot> 1l 2l adjust axo bch bf{8,[16],32,64} funge93 fyb fybs glass glypho kipple lambda lazyk linguine malbolge pbrain qbf rail rhotor sadol sceql trigger udage01 unlambda whirl
00:58:46 <LeaLeaLea> I should go inhale the noxious and poisonous fumes of a small white cylinder laden with nicotine.
01:04:45 <EgoBot> ...moorhsum a erew I fI
01:04:59 <CakeProphet> why did you need to tell it to go the direction it was alread going?
01:05:12 <oerjan> Haskell Brooks Curry, to be precise.
01:05:15 <EgoBot> If I were a mushroom...
01:06:14 <bsmntbombdood> oerjan: He must have done a lot to get two different things named after him
01:06:30 <GreaseMonkey> _ in C: if(pop_from_stack()==0){go_right();}else{go_left();}
01:07:06 <oerjan> They first wanted to call the Haskell language Curry but then thought of all the bad jokes
01:07:37 <oerjan> But later someone made the Curry language too
01:08:02 <oerjan> and there is of course currying, which should have been schonfinkeling :)
01:08:22 <oerjan> Curry, anyhow, invented combinatory logic
01:08:28 -!- sebbu2 has quit ("@+").
01:10:49 <CakeProphet> hrm... is it possible to do multiline befunge programs with egobot?
01:11:46 * CakeProphet heckles Lea some more about smoking in an overtly satirical manner.
01:11:52 <CakeProphet> I think we should harass fat people some more.
01:12:14 <oerjan> be careful with that, they might sit on you.
01:12:38 * oerjan already weighs more than he is comfortable with.
01:13:59 * oerjan wonders if Marie Antoinette is a saint in the CakeProphet religion
01:14:36 <oerjan> (Except she never really said that)
01:14:52 <LeaLeaLea> Boy did she ever pay for it, though.
01:15:11 <LeaLeaLea> EgoBot cannot spell Lea, and thus renders her immune.
01:15:33 <oerjan> b a c k w a r d s. there.
01:15:37 <EgoBot> be nice to bots or stfu
01:19:34 <GreaseMonkey> i bags that we use mIRC / irssi / whatever scripts so when we get versioned we automatically /msg !funge93 01"NOISREV"1>:#,_@ to egobot
01:22:30 -!- ihope has quit (Connection timed out).
01:22:58 -!- LeaLeaLea has quit ("Chatzilla 0.9.77 [Firefox 1.5.0.9/2006120612]").
01:23:05 <EgoBot> oohoooohoohoohoohoooooohoohoohoohoooooooooooooooooohoohoooooooohoooohoooohoooooohoooooooohoohoohoohoooooooohoooohoooooohoohoooohoooohoohoooohoohoooohoooooohoooooohoooooohoooohoohoooooooooooooooooooohoohoohoooooooohoohoooooooooohoohoooooohoooooohoohoohoooohoohoohoohoohoooohoooohoohoohoohoooohoooooooooohoooooooooooohoohoooooooooohoohoooohoooohoohoohoooohoohoooooooooooohoooooohoooo
01:23:09 <EgoBot> 2 CakeProphet: funge93
01:23:15 <EgoBot> ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
01:23:49 <EgoBot> eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
01:24:58 <EgoBot> 2 GreaseMonkey: funge93
01:24:59 <EgoBot> 3 GreaseMonkey: funge93
01:25:41 <EgoBot> ?ees uoy oDDo you see??ees uoy oDDo you see??ees uoy oDDo you see??ees uoy oD
01:25:47 -!- pikhq has joined.
01:26:09 <EgoBot> ?ees uoy oDDo you see? ?ees uoy oD
01:26:21 <EgoBot> ?ees uoy oDDo you see? ?ees uoy oD
01:26:22 <GreaseMonkey> !funge93 :0g:84*-!#@_801p0>_#":2%86*+\2/01g1-:01p0\#"_$$,,,,,,,,1+
01:26:25 <EgoBot> 001110100011000001100111001110100011100000110100001010100010110100100001001000110100000001011111001110000011000000110001011100000011000000111110010111110010001100100010001110100011001000100101001110000011011000101010001010110101110000110010001011110011000000110001011001110011000100101101001110100011000000110001011100000011000001011100001000110010001001011111001001000010010000101
01:26:56 <CakeProphet> !funge93 >"001010101010101010101010111011011000101011101010010101011010100101 "?>:#,_@
01:26:59 <EgoBot> 101001010110101010010101110101000110110111010101010101010101010100001010101010101010101010111011011000101011101010010101011010100101 101001010110101010010101110101000110110111010101010101010101010100
01:27:24 <pikhq> !funge93 >"!dlorw ,olleH"?>:#,_@
01:27:38 <pikhq> !funge93 >"!dlrow ,olleH"?>:#,_@
01:27:41 <EgoBot> Hello, world!!dlrow ,olleHHello, world!!dlrow ,olleHHello, world!!dlrow ,olleHHello, world!
01:28:22 <CakeProphet> !funge93 >"001010"?"10101"?"010101010"?"10"#?"10111011011000101011"?#"101010010101"?"01"?"1010100101"?>:#,_@
01:29:01 <CakeProphet> !funge93 >"001010"?"10101"?"010101010"?"10"#?"10111011011000101011"?#"101010010101"?"01"?"1010100101"?>:#,_@
01:29:27 <EgoBot> HeHHHHelHeHeHHellHeHeHHHeHelloolleHlHeHeHeHHHeHeHellHHHHeHHeHeHeHHeHeHeHHHeHeHHHelHelloHHHHHellHeHellHelHelloolHHHelHHelHelHeHHHeHHHHeHHeHeHellHellooHHeHeHHHHeHeHHellHeHelloollHelHeHelloollHHellHellooHHHeHeHeHelHHHHHHeHeHHelHelHelHHHHHHHeHelHeHellHHeHHeHHelHeHHeHHHeHelloHeHeHHHelHelHHHHeHHellHHHHHHeHeHHHHHellHeHelHHHellooHeHHHeHelHeHeHHeHeHHHellHHHHellHellHHHeHHHHeHHHelHHHHelHHH
01:30:04 <CakeProphet> !funge93 >"00 1 010"?"10 10"#?" 1"?" 010 1 0 1 010" ?"10 "#?" 10 1 1 1 0110 11 00 01 01011"?#"101010010101"?"01"?"1010100101"?>:#,_@
01:30:23 -!- oerjan has quit ("Good night.").
01:30:31 * CakeProphet likes conditionally skipping string mode on number strings.
01:32:30 <CakeProphet> with literally hundreds of operators and syntax forms?
01:33:03 <CakeProphet> simple is fun and awesomely beautiful.... but sometimes I like to play around with languages like homespring. :?D
01:35:58 * CakeProphet calls upon the aid of the Adjudicated Blind Collaborative Design Esolang Factory to perform this task.
01:38:37 <GreaseMonkey> i reckon that brainfuck needs more instructions to be practical
01:38:39 <pikhq> Make the factory have, say, *rules*.
01:38:59 <GreaseMonkey> #1: People with nonlogic accounts make the rules. ;D
01:39:50 <pikhq> Of course, that's because I'm only Leibniz.
01:40:42 <pikhq> Leibniz is the name of the Nonlogic server.
01:40:52 <GreaseMonkey> pikhq: i would suggest that you stick some more stuff on your site
01:41:25 <pikhq> GreaseMonkey: If I had the time, I would.
01:41:32 <pikhq> (I'll probably do that over spring break)
01:41:51 <pikhq> At the moment, all it's got is an outdated spec for BFM.
01:42:00 <pikhq> (the *current* BFM spec is in bfm.tar.bz2)
01:42:54 <GreaseMonkey> yeah, there's a lot of stuff lying around unused in your home dir
01:43:29 <pikhq> I'm lazy, HTML-wise.
01:43:37 <pikhq> As proven if you look at the source to my page. . .
01:44:05 <pikhq> greasemonkey.nonlogic.org?
01:44:36 <pikhq> I'm HTML 4.01 strict and CSS 2.
01:45:15 <pikhq> And you really need to get a new Seagate drive.
01:45:38 <GreaseMonkey> hmm, yeah, i'm seeing if we can sort the prob out
01:47:17 <pikhq> I was *trying* to compile GNU Chess so I could play chess during my Cisco class.
01:50:27 <pikhq> Needed to install flex and bison. . .
01:50:31 <pikhq> Which didn't work out.
01:50:43 <pikhq> (GNU Chess, that is)
01:52:39 <GreaseMonkey> bummer - FYB's interpreter is dodgy (under Windows at least)
01:54:30 <pikhq> Compile using Cygwin?
01:57:55 <SimonRC> #23: If you are a security guard for a vast, powerful corporation, try to get assigned to the Marketing or Personnel departments, rather than R&D.
01:58:00 <SimonRC> http://web.archive.org/web/20050810082607/enphilistor.users4.50megs.com/innocent.htm
02:02:59 -!- calamari has joined.
02:10:30 -!- pikhq has quit (Read error: 145 (Connection timed out)).
02:31:09 <lament> I saw cpressey and his wife today
02:35:43 -!- pikhq has joined.
02:39:16 <GreaseMonkey> !glass {B[b<99>^]}{P[(c__)oO!t$aA!][n<10>s(ns).?oo.?][poo.?tn.?][b(_m)1=,(_x)<0>
02:39:16 <GreaseMonkey> (_m)*ae.?=(_y)<1>=/(_x)"No more"oo.?(_x)0=(_y)0=\/(_y)(_m)*o(on).?(_y)0=\
02:39:16 <GreaseMonkey> " bottle"oo.?(_x)<1>(_m)*ae.?=/(_x)^(_x)0=\"s"oo.?]}{C[(c__)oO!aA!sS!pP!t
02:39:16 <GreaseMonkey> $][gn*][xn1=,][dnn*<1>as.?=][vn*pb.?" of beer on the wall,\n"pp.?n*pb.?qe
02:39:16 <GreaseMonkey> " of beer,\n"pp.?"Take one down, pass it around\n"pp.?ln*<1>as.?=l*pb.?wu
02:39:16 <GreaseMonkey> " of beer on the wall.\n\n"pp.?pn.?]}{M[moO!cC!bB!bb.?cx.?fcg.?=/fcv.?cd.
02:39:44 <GreaseMonkey> !glass {B[b<99>^]}{P[(c__)oO!t$aA!][n<10>s(ns).?oo.?][poo.?tn.?][b(_m)1=,(_x)<0>(_m)*ae.?=(_y)<1>=/(_x)"No more"oo.?(_x)0=(_y)0=\/(_y)(_m)*o(on).?(_y)0=\" bottle"oo.?(_x)<1>(_m)*ae.?=/(_x)^(_x)0=\"s"oo.?]}{C[(c__)oO!aA!sS!pP!t$][gn*][xn1=,][dnn*<1>as.?=][vn*pb.?" of beer on the wall,\n"pp.?n*pb.?qe" of beer,\n"pp.?"Take one down, pass it around\n"pp.?ln*<1>as.?=l*pb.?wu" of beer on the wall.\n\n"pp.?pn.?]}{M[moO!cC!bB!bb.?cx.
03:02:26 -!- anonfunc has joined.
03:04:02 <GreaseMonkey> ;> #"87*3+,'>,' ,'#,ff+4+,>:#,_ff+4+,87*3+,'#,'0,'<,@";#0<
03:04:48 <GreaseMonkey> damn, why are all the cool funges unimplemented?
03:06:29 <CakeProphet> I'd like to do a 2D grid language that uses gravitational pull to move around data..
03:07:13 <pgimeno> this funge93 nomenclature suffers from Y2K effect
03:07:25 <CakeProphet> force = G((mass1 * mass2)/DistanceBetweenTwoPoints)
03:08:45 <CakeProphet> if you used realistic newtonian models you could create planet-like systems.
03:08:53 <CakeProphet> but... that's far-fetched for a simple language, :P
03:11:30 <CakeProphet> Glass... but with befunge-like commands for weird backwards control flow and stuff.
03:14:19 <pikhq> Mmm. . . Reverse polish. . .
03:14:48 <pikhq> That's all that Glass does, in essence.
03:14:56 <pikhq> Same with Fortran.
03:14:57 <GreaseMonkey> as visible here (funge98, not funge93): ;> #"87*3+,'>,' ,'#,ff+4+,>:#,_ff+4+,87*3+,'#,'0,'<,@";#0<
03:15:10 <pikhq> Except, of course, Fortran is meant to be used on a regular basis.
03:15:13 <CakeProphet> put 2 on the stack, put 2 on the stack, compute the sum of the the 1st and 2nd items of the stack, put 5 on the stack, multiply the top two items and place the produce on the stack, place 3 on the stack, place 4 on the stack, subtract the top two items, multiply the top two items.
03:15:49 <CakeProphet> befunge isn't technically RPN... it is stack based though.
03:16:43 * CakeProphet has been using the a functional fungeoid model in a lot of his ideas lately.
03:17:36 <GreaseMonkey> PUSH dword 2; PUSH dword 2; POP eax; POP ebx; ADD ebx,eax; PUSH ebx; PUSH dword 5; (whatever pop eax, pop ebx, ebx*=eax is); PUSH ebx; PUSH dword 3; PUSH dword 4; POP eax; POP ebx; SUB ebx,eax; PUSH ebx
03:19:10 <CakeProphet> so... g and p in befunge can be used as variables right?
03:19:22 <CakeProphet> I know they can be used like one-shot memory.
03:19:47 <pikhq> GreaseMonkey: Some horrid x86 asm syntax on the mind?
03:24:53 -!- CakeProphet has quit ("haaaaaaaaaa").
03:45:51 -!- thematrixeatsyou has joined.
03:46:32 -!- GreaseMonkey has quit (Nick collision from services.).
03:46:39 -!- thematrixeatsyou has changed nick to GreaseMonkey.
03:47:10 -!- GreaseMonkey has changed nick to ^_`.
03:47:34 <^_`> it fits this channel: esoteric and up the top because it's esoteric
03:47:50 <^_`> so this channel is lead by esotericism
03:53:50 -!- Sgeo has joined.
04:10:08 <GregorR> Must ... find ... Windows SDK for Windows 1.0 ...
04:10:49 <pikhq> What's wrong with you, and where can I become wrong in the same way?
04:11:53 * pikhq has a stupid project idea. . .
04:11:59 <pikhq> Reimplement the Windows 1.0 API!
04:12:38 <GregorR> Excuse me ... I need to vomit.
04:12:42 <pikhq> And meanwhile, wish this laptop would stop melting the flesh off of my leg.
04:12:52 <GregorR> Can you smell burning solder?
04:13:09 <pikhq> Solder melts long before it burns.
04:13:43 <pikhq> And my sloppy solder joint on the repaired power connector would have left my computer screwed by now.
04:16:11 * pikhq should stop using the CPU at near 100% for a bit. . .
04:16:15 <pikhq> Might make it cooler.
04:16:24 <pikhq> Of course, I could just throw it out in the snow. . .
04:41:32 -!- ^_` has quit (Read error: 110 (Connection timed out)).
05:17:14 -!- pikhq has quit ("leaving").
05:38:16 -!- MM2 has quit (Read error: 104 (Connection reset by peer)).
05:48:36 -!- MM2 has joined.
06:13:33 -!- calamari has quit ("Leaving").
06:47:22 -!- Sgeo has quit (Remote closed the connection).
07:43:17 -!- sebbu has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
11:23:39 -!- LeaLeaLea has joined.
11:33:30 -!- oerjan has joined.
11:59:01 -!- LeaLeaLea has quit ("Chatzilla 0.9.77 [Firefox 1.5.0.9/2006120612]").
12:06:03 * oerjan _thinks_ someone here recently confused Fortran and Forth.
12:08:17 <oerjan> At least I was not aware that Fortran was stack-based, except underlying implementation.
12:28:59 -!- helios24 has quit ("Leaving").
12:29:16 -!- helios24 has joined.
12:40:19 -!- ihope has joined.
13:15:59 -!- oerjan has quit ("Seahorse").
13:39:46 -!- calamari has joined.
14:39:58 -!- jix__ has joined.
15:07:43 -!- calamari has quit ("Leaving").
16:18:24 -!- FabioNET has joined.
17:00:58 -!- tgwizard has joined.
17:11:25 -!- anonfunc has quit.
18:32:34 -!- ihope_ has joined.
18:47:53 -!- ihope has quit (Connection timed out).
19:20:22 -!- sebbu2 has joined.
19:39:27 -!- sebbu has quit (Read error: 110 (Connection timed out)).
19:47:24 -!- _FabioNET_ has joined.
19:49:30 -!- FabioNET has quit (Read error: 145 (Connection timed out)).
19:50:07 -!- oerjan has joined.
19:53:07 <SimonRC> oerjan: real Fortran has static allocation of everything, and no stack
19:53:45 <lament> but not Object-Oriented Fortran!!!
19:54:25 <lament> it's what people say when you hit them in the stomach
19:55:36 <SimonRC> Fortress looks cool. it is designed to replace Fortran, though it is not similar.
19:56:27 <SimonRC> e.g. its for loops are parallel, it uses real maths notation, and it has a datastructure system that is a superset of OO.
19:56:54 <SimonRC> and the "module" system is interesting too, haven't seen that before.
19:57:48 <SimonRC> Schemers go for a bit more elegance and a bit less pragmaticism that Common Lispers.
19:58:04 <lament> bsmntbombdood: how's that stupid?
20:04:42 <bsmntbombdood> And weird how the end of a list is different from false
20:06:21 <lament> "the end of a list" is a list
20:06:31 <lament> they're different types
20:06:45 <lament> well, then CL sucks at typing
20:06:52 <lament> since lists and booleans are clearly different things
20:07:47 <lament> same reason that false and 0 aren't the same thing
20:10:14 <lament> (math is actually very lax about this; but even in math 0 and empty set aren't usually taken to be the same)
20:43:14 <oerjan> Well, math typing is intensional so things may be "implemented" as the same set despite being distinguished in practice. As a von Neumann ordinal 0 is the empty set, and this is often used as the first step in building numbers out of set theory.
20:43:38 <lament> well, the real 0 can't possibly be an empty set
20:46:10 <oerjan> Of course it can, in fact precisely because 0 has no intrinsic set semantics, you can choose any set whatsoever to represent it.
20:47:57 <oerjan> In a sense the "real" 0 is not a set at all, which makes what you say true in one sense.
20:48:55 <lament> well, you can choose anything to represent anything
20:49:09 <lament> but not in any nice consistent way, which is the whole point of "implementing" stuff on top of other stuff in math
20:50:01 <lament> the reason we "implement" reals in the first place is so that we can derive their properties from the definition
20:50:20 <lament> a definition where 0 is the empty set is unlikely to be useful for that
20:50:48 <oerjan> For 0 the nice consistent representation depends on which 0 you are talking about - natural, integer, real, complex, ordinal, cardinal. And even then there may be more than one choice for each, depending on how you choose to model the whole set.
20:51:47 <lament> in any case, the "nice consistent representation" is usually not the empty set.
20:51:53 <lament> Certainly not the empty set for vectors and matrices.
20:52:01 <oerjan> I admit that neither the Dedekind cut nor the equivalence class of Cauchy sequences for 0 is the empty set.
20:53:07 <oerjan> The surreal number (which embeds the reals and could be taken as their representation) is the empty game which gets close.
20:53:51 <oerjan> Essentially a pair of empty sets.
20:55:17 <pgimeno> that's a sexy pair of empty sets
21:19:08 -!- sebbu has joined.
21:26:51 -!- ihope_ has quit ("http://tunes.org/~nef/logs/esoteric/06.08.09").
21:33:40 -!- sekhmet has quit (Remote closed the connection).
21:34:14 -!- sekhmet has joined.
21:37:12 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:38:11 -!- sebbu2 has quit (Connection timed out).
22:15:16 -!- CakeProphet has joined.
22:25:25 -!- _FabioNET_ has quit ("goooood night").
23:32:19 -!- Sgeo has joined.
23:49:55 -!- tgwizard has quit (Remote closed the connection).