Mercurial > repo
comparison paste/paste.31089 @ 2743:3ac8417157b0
<shachaf> pastelogs lexande
| author | HackBot |
|---|---|
| date | Thu, 18 Apr 2013 02:09:53 +0000 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 2742:c1fcf428d882 | 2743:3ac8417157b0 |
|---|---|
| 1 2008-01-17.txt:14:13:28: <RodgerTheGreat> "(the Great) a title denoting the most important person of the name. ex: Alexander the Great" | |
| 2 2008-04-23.txt:04:34:04: <oerjan> as is Alexander Ian Smith | |
| 3 2008-04-28.txt:16:13:37: <ehird_> ais523: wow, for a second i didn't connect you with 'Alexander Smith' | |
| 4 2008-08-17.txt:13:53:55: <oklopol> alexander strange, if that is actually his name, is so cool i wanna kill him and start just, you know, being him | |
| 5 2008-11-18.txt:07:48:01: <fizzie> 323 BC -> Alexander the Great -> Jesus. | |
| 6 2009-01-03.txt:15:48:38: <psygnisfive> alexander had hes little steam striven ball, be it a toy, and the venicians were using steam turbines for centuries before watt | |
| 7 2009-02-09.txt:17:41:18: <oklopol> http://en.wikipedia.org/wiki/File:Alexander_horned_sphere.png <<< this thing here, it's perfection | |
| 8 2009-02-09.txt:17:45:43: <ehird> oklopol: more perfect: http://www.ultrafractal.com/showcase/jos/alexanders-horn.html | |
| 9 2009-07-25.txt:20:29:33: <mycroftiv> Alexander the Great was you? | |
| 10 2009-08-01.txt:15:12:28: <ehird> To bypass these obstacles Bohr [1] followed Alexander | |
| 11 2009-12-08.txt:14:14:15: <fizzie> "The Finnish version contains non-biblical elements such as king Herod vanquishing the "king of the Moors", and a short song of praise to tsar Alexander." The black man is the king of the Moors, I think. | |
| 12 2010-01-04.txt:19:36:34: <ais523> <Alexander Garret, quoted by esr> INTERCAL is not even vaguely modular and nothing I can say would persuade you that it was. | |
| 13 2010-02-25.txt:11:31:55: * oerjan starts an alexander horned sphere rolling towards oklopol | |
| 14 2010-05-28.txt:03:50:56: <uorygl> `translate Alexander Pánek ist dezent nasal inkontinent. | |
| 15 2010-05-28.txt:03:51:35: <uorygl> What HackEgo means to say, of course, is "Alexander Pánek is decent nasal incontinent." | |
| 16 2010-05-28.txt:03:52:42: <uorygl> `translate Alexander Pánek ist dezent nasal inkontinent. | |
| 17 2010-05-28.txt:03:53:06: <uorygl> `translate Alexander Pánek ist dezent nasal inkontinent. | |
| 18 2010-05-28.txt:03:54:21: <uorygl> `translate Alexander Pánek ist dezent nasal inkontinent. | |
| 19 2010-05-28.txt:03:54:22: <HackEgo> Alexander Pánek ist dezent nasal inkontinent. | |
| 20 2010-08-09.txt:22:32:29: <oerjan> Phantom_Hoover: you could of course be an expert in a different field who went nuts * RIP Alexander Abian | |
| 21 2010-08-21.txt:19:48:02: <alise> "Alexander Limi makes software easier to use. Founder of the open source project plone" ;; Plone, the height of usability and simplicity. | |
| 22 2011-03-10.txt:03:39:58: <elliott> "In 1876, Alexander Graham Bell invented the telephone | |
| 23 2011-04-11.txt:02:58:25: <olsner> alex is good, because it could be short for both alexander and alexandra | |
| 24 2011-07-24.txt:23:44:05: <elliott_> http://esolangs.org/w/index.php?title=User:Alexanderdna&curid=4076&diff=24010&oldid=24004 | |
| 25 2011-08-29.txt:04:05:24: <ais523> and suggested it to Alexander Graham Bell as a standard method of answering the telephone | |
| 26 2011-11-06.txt:09:12:18: <CakeProphet> Alexander Kramir, from the novel Lentara is a fairly accurately portrayed boy with Albinism who helps an alien race save the Earth and falls in love with an alien. He later fathers a child who will help save the universe | |
| 27 2011-11-12.txt:12:57:53: <elliott> In Alexander P. | |
| 28 2011-12-02.txt:16:19:57: <Ngevd> And possibly Alexander McCall Smith | |
| 29 2011-12-02.txt:16:22:17: <Phantom_Hoover> I would be extremely surprised if neither 'Alexander' nor 'Smith' were familiar to you. | |
| 30 2011-12-08.txt:23:15:17: <oerjan> nah, use an alexander horned sphere | |
| 31 2011-12-08.txt:23:24:56: <Phantom_Hoover> Alexander horned helmet. | |
| 32 2011-12-17.txt:07:27:23: <salisbury> kmc, you live in CA? look up alexander shulgin | |
| 33 2012-01-02.txt:21:41:42: <Phantom_Hoover> alexander horned potatogons | |
| 34 2012-01-02.txt:21:42:03: <elliott> <Phantom_Hoover> alexander horned potatogons | |
| 35 2012-01-02.txt:21:42:26: <Phantom_Hoover> Alexander Horned Potatogon Hird? | |
| 36 2012-01-02.txt:21:42:55: <Phantom_Hoover> But Alexander is not. | |
| 37 2012-01-02.txt:21:44:08: <elliott> Phantom_Hoover: If they're a girl I'll just swap it around: Potatogon Horned Alexander Hird. | |
| 38 2012-01-02.txt:21:45:36: <Phantom_Hoover> Wouldn't Alexander Horned Potatogon have the same effect? | |
| 39 2012-01-02.txt:21:46:25: <elliott> Phantom_Hoover: alexander horned potatogon orly nowai hird | |
| 40 2012-01-02.txt:21:47:09: <ahpon> Phantom_Hoover: alexander horned potatogon orly nowai | |
| 41 2012-01-02.txt:21:48:50: <Phantom_Hoover> What about Stramillicon Tibia Rapunda Alexander Horned Potatogon Orly Nowai? | |
| 42 2012-01-02.txt:23:33:23: <engree> http://en.wikipedia.org/wiki/Talk:Alexander_Grothendieck#Statelessness heh | |
| 43 2012-01-07.txt:09:42:49: <kmc> you can ask lexande about it | |
| 44 2012-01-07.txt:09:43:03: <shachaf> Who's lexande? | |
| 45 2012-02-24.txt:11:53:22: <itidus20> some of the spam names are obvious like AkylazgWUY and ScottTuckerPaydayLoansyyy ... but then theres names like Alexander88 and Alhirzel. and i see that most of the names fall into the painful reasonable doubt category | |
| 46 2012-03-18.txt:04:04:35: <shachaf> Wait, lexande isn't the wrong one. | |
| 47 2012-05-01.txt:19:57:13: <oerjan> alexander abian will finally be vindicated! | |
| 48 2012-05-03.txt:19:21:44: <nortti_> "The members of The Southern Brotherhood were planning to assassinate Tsar Alexander I when he would be attending military manouevres in Ukraine in 1826. But, in November 1825, the Tsar suddenly died, [thus shitting all over the Brotherhood's plans to kill him]". | |
| 49 2012-05-06.txt:08:17:46: -!- lexande has joined #esoteric. | |
| 50 2012-05-06.txt:08:17:50: <kmc> lexande! | |
| 51 2012-05-06.txt:08:27:11: <lexande> ipad thai | |
| 52 2012-05-06.txt:08:27:27: <shachaf> blexande | |
| 53 2012-05-06.txt:08:27:53: <lexande> excuse me? | |
| 54 2012-05-06.txt:08:28:21: <shachaf> bless you, lexande | |
| 55 2012-05-07.txt:01:19:26: -!- lexande has parted #esoteric ("Leaving"). | |
| 56 2012-06-19.txt:21:33:01: -!- lexande has joined #esoteric. | |
| 57 2012-06-19.txt:21:39:55: <lexande> pikhq, err, why would the US Mint do that? | |
| 58 2012-06-19.txt:21:40:17: <pikhq> lexande: By "states in the EU" I mean "states of the US that are also in the EU". | |
| 59 2012-06-19.txt:21:40:28: <pikhq> lexande: I am discussing a really insane hypothetical. | |
| 60 2012-06-19.txt:21:41:45: <lexande> i think the Canadian mint prints money for various third world countries | |
| 61 2012-06-19.txt:21:41:48: <lexande> under contract | |
| 62 2012-06-19.txt:21:45:23: <lexande> pikhq, I think the existing EU treaties limit its membership to things actually in europe | |
| 63 2012-06-19.txt:21:45:57: <pikhq> lexande: Actually, they restrict membership to "European" countries, where "European" means "European in the judgement of the Council of Europe". | |
| 64 2012-06-19.txt:21:46:29: <lexande> where the latter pretty much means "actually in europe" | |
| 65 2012-06-19.txt:21:46:33: <elliott> lexande: there is a non-European country in the EU | |
| 66 2012-06-19.txt:21:46:39: <lexande> cyprus? | |
| 67 2012-06-19.txt:21:46:57: <lexande> southern | |
| 68 2012-06-19.txt:21:47:03: <lexande> well, legally all of it | |
| 69 2012-06-19.txt:21:47:23: <lexande> but represented by the Republic of Cyprus government which only controls the southern two-thirds | |
| 70 2012-06-19.txt:21:47:58: <lexande> however the Republic of Cyprus government was therefore forced to greatly loosen restrictions at its border with the TRNC | |
| 71 2012-06-19.txt:21:48:10: <pikhq> lexande: Please, I'm discussing a hypothetical scenario where Congress consents like a dozen different ways to a state engaging in a treaty that requires it to estabilish border controls and have a different currency. | |
| 72 2012-06-19.txt:21:49:14: <lexande> because the territory of the TRNC is legally also "in the EU" and under the EU treaties Cyprus can't interfere too much with the free movement of labour and capital "within the EU" | |
| 73 2012-06-19.txt:21:49:41: <elliott> lexande: cute! | |
| 74 2012-06-19.txt:21:51:08: <lexande> on the other hand, Cyprus keeps saying they're going to join the Schengen area | |
| 75 2012-06-19.txt:21:52:17: <lexande> and the other Schengen states keep pointing out that Cyprus doesn't even control many of the points of entry to its "territory", much less have them up to standard for external schengen borders | |
| 76 2012-06-19.txt:22:02:17: <lexande> let's go to greece! | |
| 77 2012-06-19.txt:22:10:29: <lexande> spain had reasonable levels of fiscal responsibility before the crash | |
| 78 2012-06-19.txt:22:10:37: <lexande> they're just screwed over because the ECB are jerks | |
| 79 2012-06-19.txt:22:11:42: <Vorpal> lexande, maybe. Not Italy and Greece though | |
| 80 2012-06-19.txt:22:12:06: <lexande> italy is/was kind of borderline | |
| 81 2012-06-19.txt:22:12:29: <lexande> greece's fiscal situation was truly bad | |
| 82 2012-06-19.txt:22:13:11: <lexande> the others could be fine with monetary stimulus, but the ECB only cares about germany | |
| 83 2012-06-19.txt:22:14:31: <lexande> (so norway does not need to worry) | |
| 84 2012-06-20.txt:06:27:27: -!- lexande has quit (Ping timeout: 265 seconds). | |
| 85 2012-07-18.txt:01:02:39: <shachaf> Ask lexande. lexasknde | |
| 86 2012-07-21.txt:23:47:43: <kmc> to one-up lexande | |
| 87 2012-07-21.txt:23:48:07: <shachaf> Whence whither did lexande hitchhike? | |
| 88 2012-08-11.txt:19:33:09: -!- lexande_ has joined #esoteric. | |
| 89 2012-08-11.txt:19:33:25: <lexande_> Taneb, does London to Carlisle via Inverness still work? | |
| 90 2012-08-11.txt:19:33:40: <lexande_> i kind of thought they had amended that one away, though many comparably absurd things remain | |
| 91 2012-08-11.txt:19:33:53: <lexande_> also that the written and online versions of the ATOC routeing guide are not identical | |
| 92 2012-08-11.txt:22:28:33: -!- lexande_ has quit (Ping timeout: 244 seconds). | |
| 93 2012-08-12.txt:14:36:51: -!- lexande_ has joined #esoteric. | |
| 94 2012-08-12.txt:17:08:07: -!- lexande_ has quit (Ping timeout: 272 seconds). | |
| 95 2012-08-12.txt:19:58:59: -!- lexande_ has joined #esoteric. | |
| 96 2012-08-12.txt:20:01:46: <kmc> hi lexande_ | |
| 97 2012-08-12.txt:20:02:09: <lexande_> hi kmc | |
| 98 2012-08-12.txt:20:09:53: -!- lexande_ has quit (Ping timeout: 272 seconds). | |
| 99 2012-08-12.txt:20:26:16: -!- lexande_ has joined #esoteric. | |
| 100 2012-08-12.txt:20:35:52: -!- lexande_ has quit (Ping timeout: 244 seconds). | |
| 101 2012-08-13.txt:14:02:42: -!- lexande has joined #esoteric. | |
| 102 2012-08-13.txt:15:50:56: <kmc> lexande also told me to read it (separately) | |
| 103 2012-08-13.txt:16:39:01: <lexande> elliott: is kmc an honourary Finn? | |
| 104 2012-08-13.txt:16:40:31: <elliott> lexande: No. Someone is an honorary Finn, but I completely forget who. | |
| 105 2012-08-13.txt:16:40:56: <elliott> lexande: maybe it's you??? | |
| 106 2012-08-13.txt:16:41:42: <lexande> not me | |
| 107 2012-08-13.txt:16:42:17: <lexande> though I will be in Finland tomorrow | |
| 108 2012-08-13.txt:16:43:15: <lexande> yes | |
| 109 2012-08-13.txt:16:45:18: <lexande> are there better make replacements? | |
| 110 2012-08-13.txt:16:45:26: <elliott> lexande: I quite like tup | |
| 111 2012-08-13.txt:16:47:56: <lexande> or google the headline | |
| 112 2012-08-13.txt:16:50:47: <Taneb> lexande, the article was awful, why did I bother | |
| 113 2012-08-13.txt:16:52:42: <lexande> elliott: does the http://www.jerkcity.com/jerkcity490.html strategy work with tup? | |
| 114 2012-08-13.txt:16:53:25: <elliott> lexande: there is someone with the nick bonghitz in a channel i am in | |
| 115 2012-08-13.txt:16:53:28: <lexande> kmc, the thing elliott pasted didn't seem all that formulaic | |
| 116 2012-08-13.txt:16:54:02: <lexande> kmc thinks i'm british | |
| 117 2012-08-13.txt:16:54:14: <kmc> lexande: you are british when you are around actual british people | |
| 118 2012-08-14.txt:22:01:28: <lexande> hmm if everybody here is Finnish, any suggestions for things to do in Helsinki? | |
| 119 2012-08-14.txt:22:01:41: <shachaf> lexande: I'm Finnish but I've only spent two weeks of my life in Finland. | |
| 120 2012-08-14.txt:22:04:17: <shachaf> lexande: Did you go to a sauna? That's a popular thing to do in Finland. | |
| 121 2012-08-15.txt:19:43:41: <lexande> fizzie: confused by the name; i would expect names derived from "dike" | |
| 122 2012-08-15.txt:19:43:47: <lexande> or "embankment" to be near the water? | |
| 123 2012-08-15.txt:19:44:00: <lexande> whereas we are relatively far from the water by helsinki standards | |
| 124 2012-08-15.txt:19:45:13: <fizzie> lexande: It does mean an earthen wall-like structure too. | |
| 125 2012-08-15.txt:19:48:26: <lexande> i think those are "bumpers" in english | |
| 126 2012-08-15.txt:20:10:37: <lexande> it was -irth all along | |
| 127 2012-08-15.txt:20:10:57: <Phantom_Hoover> Please referencirth, lexande. | |
| 128 2012-08-16.txt:22:27:04: <lexande> kmc: he was just looking for a free place to stay | |
| 129 2012-08-16.txt:22:27:09: <lexande> the rent is too damn high, etc | |
| 130 2012-08-16.txt:23:10:49: <lexande> kmc: that is a bad idea right? | |
| 131 2012-08-16.txt:23:11:02: <elliott> lexande: no it's the best idea | |
| 132 2012-08-17.txt:09:42:53: <kmc> also lexande says that premier league football on BBC shortwave radio broadcasts is enormously popular in anglophone africa | |
| 133 2012-08-17.txt:12:44:50: <kmc> lexande says that you might be legally required to go to a police station in the UK and fill out the form | |
| 134 2012-08-20.txt:02:58:00: <lexande> shachaf, Phantom__Hoover: there are no high-speed trains in .fi or in Hexham | |
| 135 2012-08-20.txt:02:58:35: <shachaf> lexande: Do you have a /hilight on "train"? | |
| 136 2012-08-20.txt:02:59:46: <lexande> yes of course | |
| 137 2012-08-20.txt:03:00:28: <pikhq> lexande: Everyone knows the Land of Six Pigs only hath pigs six. | |
| 138 2012-08-20.txt:03:01:13: <lexande> Hexham has some other things than that | |
| 139 2012-08-20.txt:03:01:26: <lexande> for one thing it has better low-speed trains than most places in america | |
| 140 2012-08-20.txt:03:01:54: <lexande> and it has the tyne which is kind of nice | |
| 141 2012-08-20.txt:03:02:06: <lexande> and some bits of hadrian's wall nearby? | |
| 142 2012-08-20.txt:03:03:18: <lexande> preempting isn't the only problem | |
| 143 2012-08-20.txt:03:03:29: <pikhq> lexande: No, but it does add to the suck. | |
| 144 2012-08-20.txt:03:03:30: <lexande> yeah the regulations are written to keep freight costs down | |
| 145 2012-08-20.txt:03:03:48: <lexande> which has the effect of making passenger rail costs much higher | |
| 146 2012-08-20.txt:03:03:58: <lexande> (for example by requiring all passenger trains to be built like tanks) | |
| 147 2012-08-20.txt:03:04:43: <lexande> well there is to some degree a genuine conflict of interest | |
| 148 2012-08-20.txt:03:05:17: <lexande> in europe all the freight trains are connected to the electronic signalling systems that can automatically make them stop if they might collide with another train | |
| 149 2012-08-20.txt:03:05:31: <lexande> which is extra equipment on all the freight trains | |
| 150 2012-08-20.txt:03:06:07: <lexande> in america the freight railroads have to pinch every penny to compete with trucking as well as they do | |
| 151 2012-08-20.txt:03:06:16: <lexande> and so resist having such equipment required | |
| 152 2012-08-20.txt:03:06:37: <lexande> which means collisions are much more likely and regulations applied to passenger rail have to take that into account | |
| 153 2012-08-20.txt:03:06:50: <lexande> though even in light of that a lot of the regulations are just dumb, and/or 1950s holdovers | |
| 154 2012-08-20.txt:03:16:00: <lexande> yes | |
| 155 2012-08-20.txt:03:16:06: <lexande> that is one of many reasons not to have a car | |
| 156 2012-08-21.txt:13:27:58: <kmc> lexande slept on a park bench when he was hitchhiking to st john's canada | |
| 157 2012-08-21.txt:15:14:59: <lexande> kmc: i didn't think OTT was a briticism, just a sort of jargonfile-esque-abbreviate-everything-ism | |
| 158 2012-08-21.txt:15:32:22: <lexande> shachaf: i feel like the couchsurfing.org option for where to sleep should also be mentioned for completeness | |
| 159 2012-08-21.txt:15:33:26: <lexande> i have used that once or twice but it is usually poorly suited to my needs | |
| 160 2012-08-21.txt:15:56:54: <lexande> shachaf: any particular reason for asking? | |
| 161 2012-08-21.txt:21:57:18: <lexande> i wonder what hexham is like | |
| 162 2012-08-21.txt:21:57:31: <lexande> i have been to wylam, is it a bit like that? | |
| 163 2012-08-21.txt:21:59:36: <lexande> "is" is not an equivalence relation | |
| 164 2012-08-21.txt:22:00:39: <lexande> "is" is a partial order | |
| 165 2012-08-21.txt:22:05:16: <lexande> does "is" define a lattice? | |
| 166 2012-08-21.txt:22:05:40: <shachaf> lexande: What would be the top and bottom? | |
| 167 2012-08-22.txt:05:38:00: <lexande> pikhq: Curry died at the age of 81 | |
| 168 2012-08-22.txt:05:39:31: <pikhq> lexande: Balls. | |
| 169 2012-08-23.txt:21:17:02: <lexande> shachaf: what kind of CTF? | |
| 170 2012-08-23.txt:21:17:07: <shachaf> lexande: stripe-ctf.com | |
| 171 2012-08-23.txt:21:17:13: <lexande> oh that exists again | |
| 172 2012-08-23.txt:21:17:14: <lexande> nice | |
| 173 2012-08-23.txt:21:27:31: -!- lexande has parted #esoteric. | |
| 174 2012-08-23.txt:21:29:38: <shachaf> Looks like we lost lexande. | |
| 175 2012-08-23.txt:21:32:44: -!- boily is now known as lexande-ersatz. | |
| 176 2012-08-23.txt:21:32:55: <lexande-ersatz> I can temporarily impersonate him... | |
| 177 2012-08-23.txt:21:46:47: -!- lexande-ersatz is now known as boily. | |
| 178 2012-08-27.txt:01:11:52: <shachaf> lemarke is obviously a derivative of lexande | |
| 179 2012-08-27.txt:02:13:39: <shachaf> Thanks to lexande. | |
| 180 2012-09-01.txt:15:04:01: <kmc> lexande knows a lot about this stuff | |
| 181 2012-09-01.txt:15:04:40: <shachaf> lexande isn't here, though. | |
| 182 2012-09-02.txt:03:31:20: -!- lexande_ has joined #esoteric. | |
| 183 2012-09-02.txt:03:40:25: <shachaf> kmc: 20:39 <@lexande_> hunpuns | |
| 184 2012-09-02.txt:03:42:35: <shachaf> Oh, lexande_ is here. | |
| 185 2012-09-02.txt:03:45:15: <lexande_> i heard there was a discussion of frequent flyer miles but i guess i'm rather late for that | |
| 186 2012-09-02.txt:03:59:48: <lexande_> that's okay, i think i have enough for my purposes | |
| 187 2012-09-02.txt:04:28:49: <lexande_> LAN's frequent flyer program uses kilometres actually | |
| 188 2012-09-02.txt:04:28:54: <lexande_> but i don't know of any other that does | |
| 189 2012-09-02.txt:04:29:39: <lexande_> even e.g. Air France and Lufthansa use miles | |
| 190 2012-09-02.txt:04:30:51: <lexande_> Aeroflot even | |
| 191 2012-09-02.txt:04:45:03: <lexande_> kmc, no the first frequent flyer programs were post-deregulation | |
| 192 2012-09-02.txt:04:48:46: <lexande_> when the airlines had government-granted monopolies on many routes it was not so necessary for them to go out of their way to incentivise customer loyalty | |
| 193 2012-09-02.txt:04:52:40: <lexande_> they did have other backdoor mechanisms back in the day, mostly in the form of inflight product | |
| 194 2012-09-02.txt:04:53:38: <lexande_> also those little houses you still get on KLM business class, because they weren't allowed to give customers "gifts" but they were allowed to give customers free alcohol | |
| 195 2012-09-02.txt:04:54:13: <lexande_> i guess those aren't really backdoor mechanisms, just competing on other things | |
| 196 2012-09-02.txt:05:18:04: <lexande_> the least fixed point is a great prophet but not my messiah | |
| 197 2012-09-02.txt:05:35:43: <lexande_> one of those three freight trains a day, for the benefit of which CAHSR is going to spend many billions more than otherwise necessary | |
| 198 2012-09-02.txt:05:47:48: <lexande_> also because there isn't all that much freight moving by rail east of the hudson | |
| 199 2012-09-02.txt:05:51:41: <lexande_> well, especially not northeast of boston, which is the only place they'd be going if passing through downtown cambridge | |
| 200 2012-09-02.txt:11:34:57: -!- lexande_ has parted #esoteric ("Leaving"). | |
| 201 2012-09-02.txt:23:26:05: <SHACHAF> kmc: Did you know lexande_ has been to the place I lived in in WA? | |
| 202 2012-09-03.txt:05:43:17: <SHACHAF> kmc: lexande_ has all the train answers. | |
| 203 2012-09-07.txt:20:21:14: -!- lexande_ has joined #esoteric. | |
| 204 2012-09-07.txt:20:21:46: <lexande_> today i went to a talk where the speaker kept prefacing his theorems with "If ZFC is consistent, then" | |
| 205 2012-09-07.txt:20:21:56: <lexande_> people made fun of him for this a bit | |
| 206 2012-09-07.txt:20:25:13: <zzo38> pikhq: Yes I know that too; I was refering to lexande_'s message about the speaker who kept prefacing his theorems with "If ZFC is consistent, then" | |
| 207 2012-09-07.txt:20:26:49: <lexande_> zzo38, the theorems were like, if ZFC is consistent then there is a model of a multiverse of forcing with these properties | |
| 208 2012-09-07.txt:20:27:10: <lexande_> Taneb, ZFC is just the usual axioms of set theory/maths, including Choice | |
| 209 2012-09-07.txt:20:27:12: <zzo38> lexande_: O, OK. So that's why he did that. | |
| 210 2012-09-07.txt:23:19:54: -!- lexande_ has quit (Ping timeout: 244 seconds). | |
| 211 2012-09-08.txt:01:49:44: -!- lexande_ has joined #esoteric. | |
| 212 2012-09-08.txt:01:50:18: -!- lexande_ has quit (Remote host closed the connection). | |
| 213 2012-09-08.txt:01:50:39: -!- lexande_ has joined #esoteric. | |
| 214 2012-09-08.txt:02:05:06: -!- lexande_ has quit (Remote host closed the connection). | |
| 215 2012-09-08.txt:02:06:28: -!- lexande_ has joined #esoteric. | |
| 216 2012-09-08.txt:02:29:14: -!- lexande_ has quit (Remote host closed the connection). | |
| 217 2012-09-08.txt:02:31:43: -!- lexande_ has joined #esoteric. | |
| 218 2012-09-08.txt:02:42:05: -!- lexande_ has quit (Remote host closed the connection). | |
| 219 2012-09-08.txt:03:07:45: -!- lexande_ has joined #esoteric. | |
| 220 2012-09-08.txt:03:43:04: -!- lexande_ has quit (Remote host closed the connection). | |
| 221 2012-09-08.txt:20:43:19: <shachaf> I hear lexande_ was in a train the other day. | |
| 222 2012-11-20.txt:03:25:54: <kmc> http://en.wikipedia.org/wiki/Alexander_Abian | |
| 223 2013-01-06.txt:05:29:34: <Bike> alexander vi's is actually a sex tips blog | |
| 224 2013-01-08.txt:00:20:17: <shachaf> I guess that wouldn't explain why lexande likes trains. | |
| 225 2013-02-07.txt:23:56:27: <kmc> then maybe it's because lexande asked me about %n | |
| 226 2013-02-08.txt:06:35:33: <shachaf> 22:30 <lexande> sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" | |
| 227 2013-02-08.txt:06:39:13: <elliott> `addquote <lexande> sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" | |
| 228 2013-02-08.txt:06:39:17: <HackEgo> 960) <lexande> sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" | |
| 229 2013-02-08.txt:18:40:33: <HackEgo> 960) <lexande> sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" | |
| 230 2013-02-08.txt:18:45:49: <olsner> lexande's is my favorite rendering of the banach-tarski pun yet | |
| 231 2013-03-15.txt:04:12:42: <Bike> " There is still some controversy by notable programmers such as Alexander Stepanov, Richard Stallman[3] and others, concerning the efficacy of the OOP paradigm versus the procedural paradigm." why the hell did i even try looking this up? | |
| 232 2013-03-20.txt:05:59:22: <shachaf> lexande went to a Smullyan talk this year or something. | |
| 233 2013-03-25.txt:03:47:35: <HackEgo> 957) <lexande> sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" | |
| 234 2013-04-08.txt:05:19:43: <shachaf> 22:17 <lexande> BIIIIIIIIIIIIIIIIKE | |
| 235 2013-04-14.txt:02:40:46: <oerjan> alexander also did pretty well in asia hth | |
| 236 2013-04-14.txt:20:35:23: <oerjan> <fizzie> FreeFull: And since we now know about those things that you say it was useful for, we might as well get rid of it. <-- R.I.P. Alexander Abian | |
| 237 2013-04-18.txt:02:08:09: <kmc> shachaf: no ask lexande | |
| 238 2013-04-18.txt:02:08:21: <shachaf> lexande never seems to want to talk about them | |
| 239 2013-04-18.txt:02:08:23: <elliott> does lexande know about cpos | |
| 240 2013-04-18.txt:02:08:45: <shachaf> lexande knows a lot of things | |
| 241 2013-04-18.txt:02:08:56: <shachaf> hey remember when lexande was in this channel? | |
| 242 2013-04-18.txt:02:09:10: <shachaf> `pastelogs lexande |