view paste/paste.31089 @ 12257:1924fe176291 draft

<fizzie> ` sed -e \'s|wisdom|bin|\' < ../bin/cwlprits > ../bin/cblprits; chmod a+x ../bin/cblprits
author HackEso <hackeso@esolangs.org>
date Sat, 07 Dec 2019 23:36:53 +0000
parents 3ac8417157b0
children
line wrap: on
line source

2008-01-17.txt:14:13:28: <RodgerTheGreat> "(the Great) a title denoting the most important person of the name. ex: Alexander the Great"
2008-04-23.txt:04:34:04: <oerjan> as is Alexander Ian Smith
2008-04-28.txt:16:13:37: <ehird_> ais523: wow, for a second i didn't connect you with 'Alexander Smith'
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
2008-11-18.txt:07:48:01: <fizzie> 323 BC -> Alexander the Great -> Jesus.
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
2009-02-09.txt:17:41:18: <oklopol> http://en.wikipedia.org/wiki/File:Alexander_horned_sphere.png <<< this thing here, it's perfection
2009-02-09.txt:17:45:43: <ehird> oklopol: more perfect: http://www.ultrafractal.com/showcase/jos/alexanders-horn.html
2009-07-25.txt:20:29:33: <mycroftiv> Alexander the Great was you?
2009-08-01.txt:15:12:28: <ehird> To bypass these obstacles Bohr [1] followed Alexander
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.
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.
2010-02-25.txt:11:31:55: * oerjan starts an alexander horned sphere rolling towards oklopol
2010-05-28.txt:03:50:56: <uorygl> `translate Alexander Pánek ist dezent nasal inkontinent.
2010-05-28.txt:03:51:35: <uorygl> What HackEgo means to say, of course, is "Alexander Pánek is decent nasal incontinent."
2010-05-28.txt:03:52:42: <uorygl> `translate Alexander Pánek ist dezent nasal inkontinent.
2010-05-28.txt:03:53:06: <uorygl> `translate Alexander Pánek ist dezent nasal inkontinent.
2010-05-28.txt:03:54:21: <uorygl> `translate Alexander Pánek ist dezent nasal inkontinent.
2010-05-28.txt:03:54:22: <HackEgo> Alexander Pánek ist dezent nasal inkontinent.
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
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.
2011-03-10.txt:03:39:58: <elliott> "In 1876, Alexander Graham Bell invented the telephone
2011-04-11.txt:02:58:25: <olsner> alex is good, because it could be short for both alexander and alexandra
2011-07-24.txt:23:44:05: <elliott_> http://esolangs.org/w/index.php?title=User:Alexanderdna&curid=4076&diff=24010&oldid=24004
2011-08-29.txt:04:05:24: <ais523> and suggested it to Alexander Graham Bell as a standard method of answering the telephone
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
2011-11-12.txt:12:57:53: <elliott> In Alexander P.
2011-12-02.txt:16:19:57: <Ngevd> And possibly Alexander McCall Smith
2011-12-02.txt:16:22:17: <Phantom_Hoover> I would be extremely surprised if neither 'Alexander' nor 'Smith' were familiar to you.
2011-12-08.txt:23:15:17: <oerjan> nah, use an alexander horned sphere
2011-12-08.txt:23:24:56: <Phantom_Hoover> Alexander horned helmet.
2011-12-17.txt:07:27:23: <salisbury> kmc, you live in CA? look up alexander shulgin
2012-01-02.txt:21:41:42: <Phantom_Hoover> alexander horned potatogons
2012-01-02.txt:21:42:03: <elliott> <Phantom_Hoover> alexander horned potatogons
2012-01-02.txt:21:42:26: <Phantom_Hoover> Alexander Horned Potatogon Hird?
2012-01-02.txt:21:42:55: <Phantom_Hoover> But Alexander is not.
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.
2012-01-02.txt:21:45:36: <Phantom_Hoover> Wouldn't Alexander Horned Potatogon have the same effect?
2012-01-02.txt:21:46:25: <elliott> Phantom_Hoover: alexander horned potatogon orly nowai hird
2012-01-02.txt:21:47:09: <ahpon> Phantom_Hoover: alexander horned potatogon orly nowai
2012-01-02.txt:21:48:50: <Phantom_Hoover> What about Stramillicon Tibia Rapunda Alexander Horned Potatogon Orly Nowai?
2012-01-02.txt:23:33:23: <engree> http://en.wikipedia.org/wiki/Talk:Alexander_Grothendieck#Statelessness heh
2012-01-07.txt:09:42:49: <kmc> you can ask lexande about it
2012-01-07.txt:09:43:03: <shachaf> Who's lexande?
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
2012-03-18.txt:04:04:35: <shachaf> Wait, lexande isn't the wrong one.
2012-05-01.txt:19:57:13: <oerjan> alexander abian will finally be vindicated!
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]".
2012-05-06.txt:08:17:46: -!- lexande has joined #esoteric.
2012-05-06.txt:08:17:50: <kmc> lexande!
2012-05-06.txt:08:27:11: <lexande> ipad thai
2012-05-06.txt:08:27:27: <shachaf> blexande
2012-05-06.txt:08:27:53: <lexande> excuse me?
2012-05-06.txt:08:28:21: <shachaf> bless you, lexande
2012-05-07.txt:01:19:26: -!- lexande has parted #esoteric ("Leaving").
2012-06-19.txt:21:33:01: -!- lexande has joined #esoteric.
2012-06-19.txt:21:39:55: <lexande> pikhq, err, why would the US Mint do that?
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".
2012-06-19.txt:21:40:28: <pikhq> lexande: I am discussing a really insane hypothetical.
2012-06-19.txt:21:41:45: <lexande> i think the Canadian mint prints money for various third world countries
2012-06-19.txt:21:41:48: <lexande> under contract
2012-06-19.txt:21:45:23: <lexande> pikhq, I think the existing EU treaties limit its membership to things actually in europe
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".
2012-06-19.txt:21:46:29: <lexande> where the latter pretty much means "actually in europe"
2012-06-19.txt:21:46:33: <elliott> lexande: there is a non-European country in the EU
2012-06-19.txt:21:46:39: <lexande> cyprus?
2012-06-19.txt:21:46:57: <lexande> southern
2012-06-19.txt:21:47:03: <lexande> well, legally all of it
2012-06-19.txt:21:47:23: <lexande> but represented by the Republic of Cyprus government which only controls the southern two-thirds
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
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.
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"
2012-06-19.txt:21:49:41: <elliott> lexande: cute!
2012-06-19.txt:21:51:08: <lexande> on the other hand, Cyprus keeps saying they're going to join the Schengen area
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
2012-06-19.txt:22:02:17: <lexande> let's go to greece!
2012-06-19.txt:22:10:29: <lexande> spain had reasonable levels of fiscal responsibility before the crash
2012-06-19.txt:22:10:37: <lexande> they're just screwed over because the ECB are jerks
2012-06-19.txt:22:11:42: <Vorpal> lexande, maybe. Not Italy and Greece though
2012-06-19.txt:22:12:06: <lexande> italy is/was kind of borderline
2012-06-19.txt:22:12:29: <lexande> greece's fiscal situation was truly bad
2012-06-19.txt:22:13:11: <lexande> the others could be fine with monetary stimulus, but the ECB only cares about germany
2012-06-19.txt:22:14:31: <lexande> (so norway does not need to worry)
2012-06-20.txt:06:27:27: -!- lexande has quit (Ping timeout: 265 seconds).
2012-07-18.txt:01:02:39: <shachaf> Ask lexande. lexasknde
2012-07-21.txt:23:47:43: <kmc> to one-up lexande
2012-07-21.txt:23:48:07: <shachaf> Whence whither did lexande hitchhike?
2012-08-11.txt:19:33:09: -!- lexande_ has joined #esoteric.
2012-08-11.txt:19:33:25: <lexande_> Taneb, does London to Carlisle via Inverness still work?
2012-08-11.txt:19:33:40: <lexande_> i kind of thought they had amended that one away, though many comparably absurd things remain
2012-08-11.txt:19:33:53: <lexande_> also that the written and online versions of the ATOC routeing guide are not identical
2012-08-11.txt:22:28:33: -!- lexande_ has quit (Ping timeout: 244 seconds).
2012-08-12.txt:14:36:51: -!- lexande_ has joined #esoteric.
2012-08-12.txt:17:08:07: -!- lexande_ has quit (Ping timeout: 272 seconds).
2012-08-12.txt:19:58:59: -!- lexande_ has joined #esoteric.
2012-08-12.txt:20:01:46: <kmc> hi lexande_ 
2012-08-12.txt:20:02:09: <lexande_> hi kmc
2012-08-12.txt:20:09:53: -!- lexande_ has quit (Ping timeout: 272 seconds).
2012-08-12.txt:20:26:16: -!- lexande_ has joined #esoteric.
2012-08-12.txt:20:35:52: -!- lexande_ has quit (Ping timeout: 244 seconds).
2012-08-13.txt:14:02:42: -!- lexande has joined #esoteric.
2012-08-13.txt:15:50:56: <kmc> lexande also told me to read it (separately)
2012-08-13.txt:16:39:01: <lexande> elliott: is kmc an honourary Finn?
2012-08-13.txt:16:40:31: <elliott> lexande: No. Someone is an honorary Finn, but I completely forget who.
2012-08-13.txt:16:40:56: <elliott> lexande: maybe it's you???
2012-08-13.txt:16:41:42: <lexande> not me
2012-08-13.txt:16:42:17: <lexande> though I will be in Finland tomorrow
2012-08-13.txt:16:43:15: <lexande> yes
2012-08-13.txt:16:45:18: <lexande> are there better make replacements?
2012-08-13.txt:16:45:26: <elliott> lexande: I quite like tup
2012-08-13.txt:16:47:56: <lexande> or google the headline
2012-08-13.txt:16:50:47: <Taneb> lexande, the article was awful, why did I bother
2012-08-13.txt:16:52:42: <lexande> elliott: does the http://www.jerkcity.com/jerkcity490.html strategy work with tup?
2012-08-13.txt:16:53:25: <elliott> lexande: there is someone with the nick bonghitz in a channel i am in
2012-08-13.txt:16:53:28: <lexande> kmc, the thing elliott pasted didn't seem all that formulaic
2012-08-13.txt:16:54:02: <lexande> kmc thinks i'm british
2012-08-13.txt:16:54:14: <kmc> lexande: you are british when you are around actual british people
2012-08-14.txt:22:01:28: <lexande> hmm if everybody here is Finnish, any suggestions for things to do in Helsinki?
2012-08-14.txt:22:01:41: <shachaf> lexande: I'm Finnish but I've only spent two weeks of my life in Finland.
2012-08-14.txt:22:04:17: <shachaf> lexande: Did you go to a sauna? That's a popular thing to do in Finland.
2012-08-15.txt:19:43:41: <lexande> fizzie: confused by the name; i would expect names derived from "dike"
2012-08-15.txt:19:43:47: <lexande> or "embankment" to be near the water?
2012-08-15.txt:19:44:00: <lexande> whereas we are relatively far from the water by helsinki standards
2012-08-15.txt:19:45:13: <fizzie> lexande: It does mean an earthen wall-like structure too.
2012-08-15.txt:19:48:26: <lexande> i think those are "bumpers" in english
2012-08-15.txt:20:10:37: <lexande> it was -irth all along
2012-08-15.txt:20:10:57: <Phantom_Hoover> Please referencirth, lexande.
2012-08-16.txt:22:27:04: <lexande> kmc: he was just looking for a free place to stay
2012-08-16.txt:22:27:09: <lexande> the rent is too damn high, etc
2012-08-16.txt:23:10:49: <lexande> kmc: that is a bad idea right?
2012-08-16.txt:23:11:02: <elliott> lexande: no it's the best idea
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
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
2012-08-20.txt:02:58:00: <lexande> shachaf, Phantom__Hoover: there are no high-speed trains in .fi or in Hexham
2012-08-20.txt:02:58:35: <shachaf> lexande: Do you have a /hilight on "train"?
2012-08-20.txt:02:59:46: <lexande> yes of course
2012-08-20.txt:03:00:28: <pikhq> lexande: Everyone knows the Land of Six Pigs only hath pigs six.
2012-08-20.txt:03:01:13: <lexande> Hexham has some other things than that
2012-08-20.txt:03:01:26: <lexande> for one thing it has better low-speed trains than most places in america
2012-08-20.txt:03:01:54: <lexande> and it has the tyne which is kind of nice
2012-08-20.txt:03:02:06: <lexande> and some bits of hadrian's wall nearby?
2012-08-20.txt:03:03:18: <lexande> preempting isn't the only problem
2012-08-20.txt:03:03:29: <pikhq> lexande: No, but it does add to the suck.
2012-08-20.txt:03:03:30: <lexande> yeah the regulations are written to keep freight costs down
2012-08-20.txt:03:03:48: <lexande> which has the effect of making passenger rail costs much higher
2012-08-20.txt:03:03:58: <lexande> (for example by requiring all passenger trains to be built like tanks)
2012-08-20.txt:03:04:43: <lexande> well there is to some degree a genuine conflict of interest
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
2012-08-20.txt:03:05:31: <lexande> which is extra equipment on all the freight trains
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
2012-08-20.txt:03:06:16: <lexande> and so resist having such equipment required
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
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
2012-08-20.txt:03:16:00: <lexande> yes
2012-08-20.txt:03:16:06: <lexande> that is one of many reasons not to have a car
2012-08-21.txt:13:27:58: <kmc> lexande slept on a park bench when he was hitchhiking to st john's canada
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
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
2012-08-21.txt:15:33:26: <lexande> i have used that once or twice but it is usually poorly suited to my needs
2012-08-21.txt:15:56:54: <lexande> shachaf: any particular reason for asking?
2012-08-21.txt:21:57:18: <lexande> i wonder what hexham is like
2012-08-21.txt:21:57:31: <lexande> i have been to wylam, is it a bit like that?
2012-08-21.txt:21:59:36: <lexande> "is" is not an equivalence relation
2012-08-21.txt:22:00:39: <lexande> "is" is a partial order
2012-08-21.txt:22:05:16: <lexande> does "is" define a lattice?
2012-08-21.txt:22:05:40: <shachaf> lexande: What would be the top and bottom?
2012-08-22.txt:05:38:00: <lexande> pikhq: Curry died at the age of 81
2012-08-22.txt:05:39:31: <pikhq> lexande: Balls.
2012-08-23.txt:21:17:02: <lexande> shachaf: what kind of CTF?
2012-08-23.txt:21:17:07: <shachaf> lexande: stripe-ctf.com
2012-08-23.txt:21:17:13: <lexande> oh that exists again
2012-08-23.txt:21:17:14: <lexande> nice
2012-08-23.txt:21:27:31: -!- lexande has parted #esoteric.
2012-08-23.txt:21:29:38: <shachaf> Looks like we lost lexande.
2012-08-23.txt:21:32:44: -!- boily is now known as lexande-ersatz.
2012-08-23.txt:21:32:55: <lexande-ersatz> I can temporarily impersonate him...
2012-08-23.txt:21:46:47: -!- lexande-ersatz is now known as boily.
2012-08-27.txt:01:11:52: <shachaf> lemarke is obviously a derivative of lexande
2012-08-27.txt:02:13:39: <shachaf> Thanks to lexande.
2012-09-01.txt:15:04:01: <kmc> lexande knows a lot about this stuff
2012-09-01.txt:15:04:40: <shachaf> lexande isn't here, though.
2012-09-02.txt:03:31:20: -!- lexande_ has joined #esoteric.
2012-09-02.txt:03:40:25: <shachaf> kmc: 20:39 <@lexande_> hunpuns
2012-09-02.txt:03:42:35: <shachaf> Oh, lexande_ is here.
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
2012-09-02.txt:03:59:48: <lexande_> that's okay, i think i have enough for my purposes
2012-09-02.txt:04:28:49: <lexande_> LAN's frequent flyer program uses kilometres actually
2012-09-02.txt:04:28:54: <lexande_> but i don't know of any other that does
2012-09-02.txt:04:29:39: <lexande_> even e.g. Air France and Lufthansa use miles
2012-09-02.txt:04:30:51: <lexande_> Aeroflot even
2012-09-02.txt:04:45:03: <lexande_> kmc, no the first frequent flyer programs were post-deregulation
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
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
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
2012-09-02.txt:04:54:13: <lexande_> i guess those aren't really backdoor mechanisms, just competing on other things
2012-09-02.txt:05:18:04: <lexande_> the least fixed point is a great prophet but not my messiah
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
2012-09-02.txt:05:47:48: <lexande_> also because there isn't all that much freight moving by rail east of the hudson
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
2012-09-02.txt:11:34:57: -!- lexande_ has parted #esoteric ("Leaving").
2012-09-02.txt:23:26:05: <SHACHAF> kmc: Did you know lexande_ has been to the place I lived in in WA?
2012-09-03.txt:05:43:17: <SHACHAF> kmc: lexande_ has all the train answers.
2012-09-07.txt:20:21:14: -!- lexande_ has joined #esoteric.
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"
2012-09-07.txt:20:21:56: <lexande_> people made fun of him for this a bit
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"
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
2012-09-07.txt:20:27:10: <lexande_> Taneb, ZFC is just the usual axioms of set theory/maths, including Choice
2012-09-07.txt:20:27:12: <zzo38> lexande_: O, OK. So that's why he did that.
2012-09-07.txt:23:19:54: -!- lexande_ has quit (Ping timeout: 244 seconds).
2012-09-08.txt:01:49:44: -!- lexande_ has joined #esoteric.
2012-09-08.txt:01:50:18: -!- lexande_ has quit (Remote host closed the connection).
2012-09-08.txt:01:50:39: -!- lexande_ has joined #esoteric.
2012-09-08.txt:02:05:06: -!- lexande_ has quit (Remote host closed the connection).
2012-09-08.txt:02:06:28: -!- lexande_ has joined #esoteric.
2012-09-08.txt:02:29:14: -!- lexande_ has quit (Remote host closed the connection).
2012-09-08.txt:02:31:43: -!- lexande_ has joined #esoteric.
2012-09-08.txt:02:42:05: -!- lexande_ has quit (Remote host closed the connection).
2012-09-08.txt:03:07:45: -!- lexande_ has joined #esoteric.
2012-09-08.txt:03:43:04: -!- lexande_ has quit (Remote host closed the connection).
2012-09-08.txt:20:43:19: <shachaf> I hear lexande_ was in a train the other day.
2012-11-20.txt:03:25:54: <kmc> http://en.wikipedia.org/wiki/Alexander_Abian
2013-01-06.txt:05:29:34: <Bike> alexander vi's is actually a sex tips blog
2013-01-08.txt:00:20:17: <shachaf> I guess that wouldn't explain why lexande likes trains.
2013-02-07.txt:23:56:27: <kmc> then maybe it's because lexande asked me about %n
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"
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"
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"
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"
2013-02-08.txt:18:45:49: <olsner> lexande's is my favorite rendering of the banach-tarski pun yet
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?
2013-03-20.txt:05:59:22: <shachaf> lexande went to a Smullyan talk this year or something.
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"
2013-04-08.txt:05:19:43: <shachaf> 22:17 <lexande> BIIIIIIIIIIIIIIIIKE
2013-04-14.txt:02:40:46: <oerjan> alexander also did pretty well in asia hth
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
2013-04-18.txt:02:08:09: <kmc> shachaf: no ask lexande
2013-04-18.txt:02:08:21: <shachaf> lexande never seems to want to talk about them
2013-04-18.txt:02:08:23: <elliott> does lexande know about cpos
2013-04-18.txt:02:08:45: <shachaf> lexande knows a lot of things
2013-04-18.txt:02:08:56: <shachaf> hey remember when lexande was in this channel?
2013-04-18.txt:02:09:10: <shachaf> `pastelogs lexande