| Sat, 13 Apr 2013 15:07:55 +0000 |
HackBot |
<elliott> addquote <kmc> i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (because it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)
|
| Sat, 13 Apr 2013 02:28:40 +0000 |
HackBot |
<coppro> addquote <FreeFull> So a monoid is something like a mon, so for example pikachu is a monoid
|
| Fri, 12 Apr 2013 23:25:32 +0000 |
HackBot |
<oerjan> addquote <shachaf> oerjan is spreading the tired rumour that if you play Nietzsche backwards you hear Jewish messages.
|
| Fri, 12 Apr 2013 23:15:38 +0000 |
HackBot |
<oerjan> sed -i \'1022s/ / /\' quotes
|
| Fri, 12 Apr 2013 23:12:16 +0000 |
HackBot |
<oerjan> addquote <fizzie> "May you live in INVISIBLE TIMES." --Old Chinese proverb. (It can look confusing when written with the proper Unicode.)
|
| Fri, 12 Apr 2013 12:37:13 +0000 |
HackBot |
<Taneb> addquote <ThatOtherPerson> Do you have a girlfriend, fungot? <fungot> ThatOtherPerson: there\'s two.
|
| Fri, 12 Apr 2013 04:19:38 +0000 |
HackBot |
<monqy> addquote <itidus21> :D :D oh man.. i wonder if they ever made chess variants based off of animes
|
| Thu, 11 Apr 2013 22:30:00 +0000 |
HackBot |
<oerjan> addquote <Taneb> I\'ve also pretended to be Queen Elizabeth the first, but that was a desperate plea for attention
|
| Tue, 09 Apr 2013 20:10:22 +0000 |
HackBot |
<oerjan> addquote <kmc> in the time it takes light to travel from Hexham to Finland, I can generate almost 20 new topics for #esoteric
|
| Tue, 09 Apr 2013 14:53:18 +0000 |
HackBot |
<elliott> addquote <boily> I hate telecom abbreviations I hate telecom abbreviations good morning all I hate telecom abbreviations.
|
| Tue, 09 Apr 2013 01:06:16 +0000 |
HackBot |
<elliott> sed -i \'1017s/$/ <Bike> please provide at least two zebrafish you have modified to glow in the dark/\' quotes
|
| Tue, 09 Apr 2013 01:04:50 +0000 |
HackBot |
<shachaf> revert
|
| Tue, 09 Apr 2013 00:54:18 +0000 |
HackBot |
<Phantom_Hoover> delquote 1017
|
| Tue, 09 Apr 2013 00:54:05 +0000 |
HackBot |
<oerjan> addquote <Bike> man at least job applications in biosciences are just like "you are willing to put your arms through a cow" <kmc> Bike: please send us a link to your CowHub profile of cows you have previously put your arms through on your own time for fun
|
| Sun, 07 Apr 2013 22:29:24 +0000 |
HackBot |
<oerjan> addquote <kmc> healthy immune system is a wonderful thing, you gotta take advantage <kmc> sometimes i eat food off the ground just to keep mine on its toes
|
| Sun, 07 Apr 2013 22:12:19 +0000 |
HackBot |
<oerjan> addquote <zzo38> My opinion is that you are all wrong, as far as I can tell.
|
| Sat, 06 Apr 2013 22:16:42 +0000 |
HackBot |
<oerjan> addquote <Bike> It\'s like narnia only with dicks
|
| Sat, 06 Apr 2013 21:28:37 +0000 |
HackBot |
<shachaf> addquote <zzo38> It appears magenta in my computer only because it is programmed to display bold text as magenta.
|
| Fri, 05 Apr 2013 20:30:32 +0000 |
HackBot |
<coppro> addquote <olsner> in category theory, category theory is a theory in the category of theories
|
| Fri, 05 Apr 2013 18:42:39 +0000 |
HackBot |
<boily> addquote <olsner> metar lead to canada, more metar and cows
|
| Thu, 04 Apr 2013 02:10:23 +0000 |
HackBot |
<elliott> addquote <Bike> W A R N I N G. This source code follows transcomplex computational paths, even where more accurate, real, computational paths exist. <Bike> Y O U H A V E B E E N W A R N E D. <Bike> It literally says that
|
| Thu, 04 Apr 2013 01:18:54 +0000 |
HackBot |
<oerjan> addquote <elliott> Bike: oh huh. addition is really easy.
|
| Thu, 04 Apr 2013 01:01:43 +0000 |
HackBot |
<elliott> delquote 1008
|
| Thu, 04 Apr 2013 01:01:24 +0000 |
HackBot |
<Fiora> addquote <kmc> hm hitler probably did one thing that I like too <kmc> he banned tubas, I guess I am neutral on tubas <Fiora> oh! he killed hitler <kmc> oh yeah, there we go <kmc> thanks Fiora <Bike> he also killed the guy who killed hitler
|
| Thu, 04 Apr 2013 00:58:08 +0000 |
HackBot |
<elliott> addquote <kmc> hm hitler probably did one thing that I like too <kmc> he banned tubas, I guess I am neutral on tubas
|
| Wed, 03 Apr 2013 18:21:22 +0000 |
HackBot |
<elliott> addquote <kmc> and then one day you find, ten years have got behind you, no one told you when to run, you missed the starting gun <kmc> \xe2\x99\xab <kmc> \xe2\x99\xab \xe2\x99\xab \xe2\x99\xab <kmc> (Unicode needs a character specifically for "Pink Floyd guitar solo")
|
| Wed, 03 Apr 2013 18:21:04 +0000 |
HackBot |
<elliott> delquote 1007
|
| Wed, 03 Apr 2013 18:20:52 +0000 |
HackBot |
<elliott> addquote <kmc> (Unicode needs a character specifically for "Pink Floyd guitar solo")
|
| Tue, 02 Apr 2013 23:11:59 +0000 |
HackBot |
<oerjan> addquote <shachaf> Bike: I think you\'re ready to learn about lens. <Bike> oh god <Bike> fiora help somebody help <Bike> anybody
|
| Mon, 01 Apr 2013 22:45:15 +0000 |
HackBot |
<Gregor> addquote <elliott> prediction: kmc never comes back * kmc has joined #esoteric
|
| Mon, 01 Apr 2013 01:40:47 +0000 |
HackBot |
<Gregor> addquote <Bike> i feel like i should say "sexual dimorphism" winkingly and then transmute myself into a horrid fleshbeast
|
| Sun, 31 Mar 2013 23:04:00 +0000 |
HackBot |
<kmc> addquote <kmc> the innovation of the iPhone was... just that it had a web browser that wasn\'t awful <Bike> i believe that\'s how the bolsheviks took over russia as well <Bike> the kulaks mainly stuck with IE and so were rightfully put to death by the cheka
|
| Sun, 31 Mar 2013 23:03:45 +0000 |
HackBot |
<kmc> delquote 1003
|
| Sun, 31 Mar 2013 23:03:33 +0000 |
HackBot |
<kmc> addquote <kmc> the innovation of the iPhone was... just that it had a web browser that wasn\'t awful <Bike> i believe that\'s how the bolsheviks took over russia as well <Bike> the kulaks mainly stuck with IE and so were rightfully put to death by the cheka
|
| Sun, 31 Mar 2013 23:03:13 +0000 |
HackBot |
<kmc> delquote 1003
|
| Sun, 31 Mar 2013 23:03:04 +0000 |
HackBot |
<kmc> addquote <kmc> the innovation of the iPhone was... just that it had a web browser that wasn\'t awful
|
| Sat, 30 Mar 2013 20:00:37 +0000 |
HackBot |
<elliott> addquote <Gregor> Sgeo: That fact is so fun I can feel my pancreas kicking into overdrive.
|
| Sat, 30 Mar 2013 18:28:12 +0000 |
HackBot |
<oerjan> addquote <kmc> i\'m not actually competent at hacking things <elliott> ummmm kmc dont u mean `cracking\' [tiny glider symbol with "hacker pride" written next to it in silkscreen] [head of a gnu] [tux penguin] <kmc> [face shoved in toilet]
|
| Sat, 30 Mar 2013 17:54:26 +0000 |
HackBot |
<oerjan> sed -i \'999h;999d;1000G\' quotes
|
| Sat, 30 Mar 2013 17:49:23 +0000 |
HackBot |
<elliott> delquote 73
|
| Sat, 30 Mar 2013 17:43:20 +0000 |
HackBot |
<elliott> addquote <kmc> ok im sober now and DNS makes sense again [...] <kmc> Domain Name System [...] <kmc> \xe2\x99\xab domain name system \xe2\x99\xab
|
| Sat, 30 Mar 2013 17:43:12 +0000 |
HackBot |
<elliott> delquote 1001
|
| Sat, 30 Mar 2013 17:41:46 +0000 |
HackBot |
<elliott> addquote <kmc> ok im sober now and DNS makes sense again
|
| Sat, 30 Mar 2013 17:41:41 +0000 |
HackBot |
<elliott> addquote <oerjan> `quote 1000
|
| Sat, 30 Mar 2013 17:41:35 +0000 |
HackBot |
<elliott> delquote 1000
|
| Sat, 30 Mar 2013 17:40:57 +0000 |
HackBot |
<shachaf> delquote 1000
|
| Sat, 30 Mar 2013 17:40:06 +0000 |
HackBot |
<elliott> addquote <kmc> ok im sober now and DNS makes sense again
|
| Fri, 29 Mar 2013 23:22:59 +0000 |
HackBot |
<elliott> addquote this space for rent
|
| Fri, 29 Mar 2013 23:22:11 +0000 |
HackBot |
<Phantom_Hoover> delquote 1000
|
| Fri, 29 Mar 2013 23:17:51 +0000 |
HackBot |
<hagb4rd> addquote <FreeFull> (0.1 + 0.2) == 0.3 <lambdabot> False <FreeFull>The joys of floating point arithmetic <kmc>what do they say? I <2.9999999999743 floating point
|
| Fri, 29 Mar 2013 23:17:31 +0000 |
HackBot |
<hagb4rd> revert
|
| Fri, 29 Mar 2013 23:17:21 +0000 |
HackBot |
<hagb4rd> addquote FreeFull>> (0.1 + 0.2) == 0.3 <lambdabot> False <FreeFull>The joys of floating point arithmetic <kmc>what do they say? I <2.9999999999743 floating point
|
| Fri, 29 Mar 2013 22:45:42 +0000 |
HackBot |
<elliott> addquote <zzo38> In this timezone is Good Friday today. <zzo38> (It is good because you don\'t have to go to work)
|
| Fri, 29 Mar 2013 20:49:54 +0000 |
HackBot |
<oerjan> addquote <elliott> it\'s such a shame the inventor of lisp was um <elliott> ok i give up
|
| Fri, 29 Mar 2013 20:41:45 +0000 |
HackBot |
<oerjan> addquote <Bike> elliott: atlas shrugged is basically about wacking galt repeatedly with a giant platonic solid
|
| Thu, 28 Mar 2013 20:11:19 +0000 |
HackBot |
<oerjan> addquote <boily> symbian still exists? <fizzie> boily: That is not dead which can eternal lie. <boily> fizzie: and with strange aeons symbian will have >50% market share on mobile devices.
|
| Thu, 28 Mar 2013 05:14:06 +0000 |
HackBot |
<elliott> addquote <kmc> i don\'t know what that is so i\'m going to assume it\'s a flavor of pocky
|
| Thu, 28 Mar 2013 04:44:49 +0000 |
HackBot |
<kmc> addquote <Bike> so speaking of something more interesting than whatever that is, [...]
|
| Wed, 27 Mar 2013 14:56:52 +0000 |
HackBot |
<boily> addquote <kmc> error: cuttlefish not synced to vblank <fiora> maybe it\'s a power phase issue <fiora> it\'s like, a european cuttlefish but it\'s using american water
|
| Mon, 25 Mar 2013 04:10:53 +0000 |
HackBot |
<kmc> addquote <zzo38> If you cannot type, then you should learn to type if you want to operate your computer
|
| Sun, 24 Mar 2013 22:41:37 +0000 |
HackBot |
<shachaf> addquote <zzo38> I don\'t think there are any pope with fractional numbers (except something I made up for the Dungeons&Dragons game)
|
| Sun, 24 Mar 2013 22:23:23 +0000 |
HackBot |
<coppro> addquote <zzo38> Papal infallibility means that the pope is allowed to be infallible by himself if he wants to, without requiring a council.
|
| Sat, 23 Mar 2013 23:48:17 +0000 |
HackBot |
<oerjan> addquote <Sgeo> I think pastaquote should just quote me
|
| Sat, 23 Mar 2013 20:39:15 +0000 |
HackBot |
<oerjan> addquote <kmc> living in the middle ages sounds a lot better once you realize that deep frying had already been invented
|
| Fri, 22 Mar 2013 00:30:03 +0000 |
HackBot |
<oerjan> addquote <Phantom_Hoover> http://www.independent.co.uk/news/uk/home-news/large-asbestoscontaminated-tarantula-on-the-loose-in-cardiff-8544532.html <Phantom_Hoover> finally, a solution to the problem of wales
|
| Tue, 19 Mar 2013 12:56:58 +0000 |
HackBot |
<oerjan> addquote <Phantom_Hoover> i don\'t think hitler made any bf derivatives
|
| Mon, 18 Mar 2013 02:35:59 +0000 |
HackBot |
<coppro> addquote <Sgeo> o.O OS/2 is what became NT? I didn\'t really know what OS/2 was
|
| Sun, 17 Mar 2013 10:42:50 +0000 |
HackBot |
<monqy> addquote <zzo38> Two eggs costs less than one egg, but if you buy two eggs, you must eat both. Does linear logic do this?
|
| Sun, 17 Mar 2013 00:07:15 +0000 |
HackBot |
<ais523> addquote <ais523> is it March 3? <olsner> on some dates, yes
|
| Sat, 16 Mar 2013 18:33:07 +0000 |
HackBot |
<oerjan> addquote <ais523> there\'s more evidence that scammers exist, than that, say, the average Nigerian exists
|
| Tue, 12 Mar 2013 23:37:37 +0000 |
HackBot |
<elliott> revert 2416
|
| Tue, 12 Mar 2013 23:37:01 +0000 |
HackBot |
<Sgeo> revert 2243
|
| Fri, 08 Mar 2013 20:41:39 +0000 |
HackBot |
<oerjan> sed -i \'981s/ / /\' quotes
|
| Fri, 08 Mar 2013 19:40:15 +0000 |
HackBot |
<Taneb> addquote <boily> it\'s raining in newcastle, therefore the elliotts are distinct. <tswett> boily\'s Newcastle Theorem.
|
| Fri, 08 Mar 2013 00:04:33 +0000 |
HackBot |
<oerjan> addquote <elliott> also did you learn Haskell yet <Bike> i think i\'ve got most of it now what are these "type" things
|
| Tue, 05 Mar 2013 21:14:21 +0000 |
HackBot |
<oerjan> addquote <Bike> When I imagine x86 I imagine a Swiss Family Robinson style treehouse, with parts continually bursting into flame underneath as they build higher and higher on the broken remnants of what they slapped together last week.
|
| Sun, 03 Mar 2013 21:03:00 +0000 |
HackBot |
<oerjan> addquote <Bike> kmc: ok i gotta admit i fully support the use of ultrafilters in social sciences
|
| Sat, 02 Mar 2013 23:03:17 +0000 |
HackBot |
<oerjan> addquote <Phantom_Hoover> As Brainfuck derivatives go, it\'s not all that bad, really.
|
| Thu, 28 Feb 2013 04:38:57 +0000 |
HackBot |
<shachaf> addquote <zzo38> I have no problem if you want to use these drugs and make yourself dead and whatever, but making them legal might ruin the economy.
|
| Wed, 27 Feb 2013 04:48:26 +0000 |
HackBot |
<Jafet> addquote <zzo38> I happen to have bash even on this computer
|
| Tue, 26 Feb 2013 23:01:45 +0000 |
HackBot |
<Fiora> addquote <Phantom_Hoover> Sgeo_, are you just trying to post kmcbait... * Fiora imagines a cardboard box propped up by a stick with a pile of monads inside. <elliott> Fiora: that is actually what Haskell is.
|
| Tue, 26 Feb 2013 23:01:35 +0000 |
HackBot |
<Fiora> delquote 974
|
| Tue, 26 Feb 2013 23:00:23 +0000 |
HackBot |
<Fiora> addquote <Phantom_Hoover> Sgeo_, are you just trying to post kmcbait... *Fiora imagines a cardboard box propped up by a stick with a pile of monads inside. <elliott> Fiora: that is actually what Haskell is.
|
| Tue, 26 Feb 2013 21:46:34 +0000 |
HackBot |
<kmc> addquote <Bike> i\'ve always wanted to xor swap transfinite ordinals
|
| Tue, 26 Feb 2013 18:43:02 +0000 |
HackBot |
<elliott> addquote * ais523 challenges the americans here to remember who lost in the most recent UK general election <Phantom_Hoover> ais523, the lib dems
|
| Tue, 26 Feb 2013 18:41:42 +0000 |
HackBot |
<elliott> addquote <ais523> Phantom_Hoover: my department teaches prolog, to second years I think <ais523> some people choose it because it isn\'t ocaml, and then are disappointed to find it has lists
|
| Tue, 26 Feb 2013 16:32:52 +0000 |
HackBot |
<elliott> addquote <tswett> Hey, what VPN software should I use? <boily> tswett: openvpn. the one, the only, the open, the other qualifiers that begin with "o".
|
| Mon, 25 Feb 2013 22:23:55 +0000 |
HackBot |
<oerjan> addquote <groily> I stand by the argument that fungot is the one making the most sense in this channel.
|
| Mon, 25 Feb 2013 22:07:46 +0000 |
HackBot |
<elliott> revert
|
| Mon, 25 Feb 2013 22:06:01 +0000 |
HackBot |
<shachaf> delquote 580
|
| Mon, 25 Feb 2013 21:20:52 +0000 |
HackBot |
<elliott> addquote * fungot has joined #esoteric <boily> woohoo! the one and only fungot is back! <fungot> boily: damn your mother! <boily> ok. never saw that one coming.
|
| Fri, 22 Feb 2013 20:53:14 +0000 |
HackBot |
<oerjan> addquote <kmc> it\'s almost like Haskell is a programming language and not some kind of mathematical rhetorical arguing device
|
| Fri, 22 Feb 2013 10:17:09 +0000 |
HackBot |
<Sgeo> addquote <doesthiswork> a comathmatician is a device for turning cotheorems into ffee
|
| Fri, 22 Feb 2013 07:35:24 +0000 |
HackBot |
<elliott> addquote <Sgeo> I was practically raised by Dilbert.
|
| Wed, 20 Feb 2013 21:11:51 +0000 |
HackBot |
<shachaf> revert
|
| Wed, 20 Feb 2013 21:11:44 +0000 |
HackBot |
<hagb4rd> addquote <shachaf>IN AN ALTERNATE UNIVERSITY: the same universes are better for the same people
|
| Tue, 19 Feb 2013 16:09:04 +0000 |
HackBot |
<elliott> delquote 225
|
| Tue, 19 Feb 2013 01:46:25 +0000 |
HackBot |
<coppro> addquote <Bike> Are you sure this isn\'t the Sims <kallisti> can you get married to your variables? <kallisti> this is a feature I find lacking in most languages
|
| Sun, 17 Feb 2013 14:33:19 +0000 |
HackBot |
<elliott> addquote <esomimic> fungot: begrudging pat
|
| Wed, 13 Feb 2013 22:17:30 +0000 |
HackBot |
<coppro> addquote <boily> oerjan: on those days, I\'m sure this channel becomes some kind of SCP.
|
| Wed, 13 Feb 2013 19:07:38 +0000 |
HackBot |
<Gregor> delquote 15
|
| Wed, 13 Feb 2013 00:17:51 +0000 |
HackBot |
<ais523> revert 87c64ef250a0
|
| Wed, 13 Feb 2013 00:16:35 +0000 |
HackBot |
<ais523> revert 3
|
| Tue, 12 Feb 2013 20:33:05 +0000 |
HackBot |
<oerjan> addquote <ais523> did you know that likes follow you around the internet and steal your browser? <Taneb> I thought that was Phantom_Hoover
|
| Mon, 11 Feb 2013 16:39:13 +0000 |
HackBot |
<elliott> delquote 29
|
| Mon, 11 Feb 2013 16:32:15 +0000 |
HackBot |
<ais523> addquote <Taneb> I\'m a story about the prohibition of chocolate
|
| Mon, 11 Feb 2013 06:10:15 +0000 |
HackBot |
<oerjan> addquote <oklopol> my university spam filter thinks it\'s okay for someone i have never met to discuss "usd 2,142,728.00 dollars" with me and "NEED MY HELP" etc. however, inviting me to a conference? such a nigerian thing to do.
|
| Mon, 11 Feb 2013 06:09:56 +0000 |
HackBot |
<oerjan> revert
|
| Mon, 11 Feb 2013 06:09:45 +0000 |
HackBot |
<oerjan> addquote <oklopol> my university spam filter thinks it\'s okay for someone i have never met to discuss "usd 2,142,728.00 dollars" with me and
|
| Fri, 08 Feb 2013 15:13:18 +0000 |
HackBot |
<elliott> addquote <fizzie> The other day (well, the other week) my wife was annoyed with me because she had a dream where I had gotten us plane tickets into a #esoteric meet somewhere in the middle of Greenland in the winter, without asking her first. Plus she wasn\'t really interested in a #esoteric meet at all, let alone one in Greenland, let alone one in Greenland in wintertime. (I think it\'s kind of cold there?)
|
| Fri, 08 Feb 2013 06:39:17 +0000 |
HackBot |
<elliott> addquote <lexande> sometimes i am confronted with a problem and i think "I know, I\'ll use Banach-Tarski"
|
| Thu, 07 Feb 2013 21:12:11 +0000 |
HackBot |
<elliott> addquote <boily> had a fit of a stroke of genius, and google mapped hexham. <boily> it\'s in the friggin middle of nowhere!
|
| Wed, 06 Feb 2013 23:05:06 +0000 |
HackBot |
<oerjan> addquote <Sgeo> This position is asking for "- Extensive experience with API" <Jafet> You\'re just not qualified, kid.
|
| Wed, 06 Feb 2013 21:44:44 +0000 |
HackBot |
<oerjan> addquote <boily> ais523: I\'m not sure my grasp of the English language is getting better by visiting this channel..
|
| Wed, 06 Feb 2013 20:36:14 +0000 |
HackBot |
<oerjan> addquote <Bike> if you say "java" three times to a dark mirror does steele come out and lecture you about operator overloading
|
| Wed, 06 Feb 2013 18:59:36 +0000 |
HackBot |
<ais523> addquote <fungot> \xc3\x81is523\xc3\x8ek\xc3\x8b\xc3\x87\xc3\x8f52\xc3\x8d\xc2\xbf\xc3\x89n\xc3\x90ffjliated/ais523: ever tried reading while confused?
|
| Wed, 06 Feb 2013 18:44:18 +0000 |
HackBot |
<elliott> addquote <boily> not only there is no God, but try to find an APL keyboard on Sunday.
|
| Tue, 05 Feb 2013 23:27:58 +0000 |
HackBot |
<olsner> addquote <fungot> but when she saw him fnord and fnord. and then there\'s the fnord, as well as fnord reading sauce with fish, or fnord, that alice quite fnord for it hadn\'t spoken before.
|
| Mon, 04 Feb 2013 18:36:05 +0000 |
HackBot |
<elliott> revert
|
| Mon, 04 Feb 2013 18:33:57 +0000 |
HackBot |
<shachaf> delquote 583
|
| Mon, 04 Feb 2013 18:01:05 +0000 |
HackBot |
<elliott> revert
|
| Mon, 04 Feb 2013 18:00:26 +0000 |
HackBot |
<shachaf> delquote 583
|
| Mon, 04 Feb 2013 18:00:06 +0000 |
HackBot |
<elliott> revert
|
| Mon, 04 Feb 2013 17:58:43 +0000 |
HackBot |
<shachaf> delquote 583
|
| Sun, 03 Feb 2013 22:10:52 +0000 |
HackBot |
<elliott> addquote <fungot> kmc: that is just a value of type " airbus is a big fan of avril....but this song " there
|
| Sun, 03 Feb 2013 22:10:16 +0000 |
HackBot |
<kmc> addquote <jconn> fungot: |open quote <jconn> fungot: | just to help an fnord archive)" [...] <fungot> jconn: i am just as confused. you know, that thing which you might want is broken
|
| Sat, 02 Feb 2013 16:05:54 +0000 |
HackBot |
<elliott> addquote <shachaf> oerjan: What\'s cosubtyping? <Phantom_Hoover> some sort of fusion of cosplay and type theory?
|
| Sat, 02 Feb 2013 16:05:50 +0000 |
HackBot |
<elliott> revert
|
| Sat, 02 Feb 2013 16:05:45 +0000 |
HackBot |
<elliott> addquote <shachaf> oerjan: What\'s cosubtyping <Phantom_Hoover> some sort of fusion of cosplay and type theory?
|
| Sat, 02 Feb 2013 02:40:50 +0000 |
HackBot |
<TwilightSpockle> addquote <oerjan> maybe i was violated by a pole once
|
| Fri, 01 Feb 2013 23:37:29 +0000 |
HackBot |
<oerjan> addquote <shachaf> what are some good concurrency primitives <ais523> shachaf: how primitive do you want?
|
| Fri, 01 Feb 2013 22:04:31 +0000 |
HackBot |
<kmc> addquote <augur> DIE <augur> oh hey elliott
|
| Fri, 01 Feb 2013 19:18:15 +0000 |
HackBot |
<oerjan> addquote <kmc> shachaf: LC_ALL=de_DE.utf-8 errno -l <kmc> Veraltete NFS-Dateizugriffsnummer <kmc> Eingabe-/Ausgabefehler <kmc> "Unterbrechung w\xc3\xa4hrend des Betriebssystemaufrufs" i think that was in the Ring Cycle
|
| Thu, 31 Jan 2013 21:59:17 +0000 |
HackBot |
<oerjan> addquote <elliott> ~eval 1+2 <cuttlefish> Error (127): <elliott> this is a great bot boily i love it
|
| Thu, 31 Jan 2013 20:46:38 +0000 |
HackBot |
<oerjan> addquote <olsner> boily: the man eating chicken is just a normal man, it\'s quite common to eat chicken in some parts of the world
|
| Thu, 31 Jan 2013 20:37:45 +0000 |
HackBot |
<oerjan> addquote <olsner> as long as you\'re in company where no-one knows both, you can always say either "that\'s just like welsh ll" or "that\'s just like klingon tlh"
|
| Thu, 31 Jan 2013 00:59:22 +0000 |
HackBot |
<Phantom_Hoover> delquote 940
|
| Wed, 30 Jan 2013 12:31:50 +0000 |
HackBot |
<oerjan> delquote 944
|
| Wed, 30 Jan 2013 12:31:41 +0000 |
HackBot |
<oerjan> addquote Testing this bitch
|
| Wed, 30 Jan 2013 05:44:04 +0000 |
HackBot |
<shachaf> sed -i \'s/< Sgeo>/<Sgeo>/\' quotes
|
| Wed, 30 Jan 2013 05:37:29 +0000 |
HackBot |
<Bike> addquote < Sgeo> I feel like (A.~[:i.[:!#) is verbose
|
| Wed, 30 Jan 2013 00:22:59 +0000 |
HackBot |
<oerjan> addquote <Sgeo> If that sexy_goats had some sort of namespace, so other things could add their own sexy_goats method to Object or whatever to do something different, I would have no complaint
|
| Wed, 30 Jan 2013 00:08:58 +0000 |
HackBot |
<kmc> addquote <RodgerTheGreat> an ieee-754 double does not have enough granular precision to express how little I care
|
| Sun, 27 Jan 2013 04:31:34 +0000 |
HackBot |
<monqy> delquote 499
|
| Sun, 27 Jan 2013 04:28:13 +0000 |
HackBot |
<monqy> delquote 942
|
| Sun, 27 Jan 2013 04:27:45 +0000 |
HackBot |
<coppro> addquote <Sgeo> You miss out on a lot of speculation, which is pretty essential to understanding what\'s going on
|
| Sun, 27 Jan 2013 04:27:38 +0000 |
HackBot |
<coppro> revert
|
| Sun, 27 Jan 2013 04:27:26 +0000 |
HackBot |
<coppro> addquote <Sgeo> Sgeo> You miss out on a lot of speculation, which is pretty essential to understanding what\'s going on
|
| Sun, 27 Jan 2013 00:04:07 +0000 |
HackBot |
<elliott> addquote <kmc> "it\'s like The Big Bang Theory but for black people instead of nerds"
|
| Sat, 26 Jan 2013 22:41:07 +0000 |
HackBot |
<oerjan> addquote <elliott> well what is time <elliott> imo: an illusion [...] <Taneb> elliott, I think it\'s more like a burrito <Taneb> If you have too much of time you get ill <Taneb> But damn it felt good <Taneb> You only get out what you put in, unless your time was made by someone else, which isn\'t as fun <ais523> burritos don\'t work like that!
|
| Sat, 26 Jan 2013 05:49:30 +0000 |
HackBot |
<kmc> addquote <fungot> Bike: the best acid? where is it?
|
| Fri, 25 Jan 2013 19:01:46 +0000 |
HackBot |
<kmc> addquote <Bike> well he could register the new tld for just a few thousand fucks
|
| Fri, 25 Jan 2013 04:00:30 +0000 |
HackBot |
<elliott> addquote <kmc> the pok\xc3\xa9mon theme is very similar to eye of the tiger and not as good
|
| Thu, 24 Jan 2013 23:18:27 +0000 |
HackBot |
<oerjan> addquote <Sgeo> Actually, just as a guess, J might be worse than APL because it\'s restricted to normal (ascii?) characters, I guess
|
| Thu, 24 Jan 2013 23:04:19 +0000 |
HackBot |
<Sgeo> addquote <Phantom_Hoover> why the fuc <oerjan> i was very annoyed. <Phantom_Hoover> k <Phantom_Hoover> are my socks <Phantom_Hoover> in the wastebin
|
| Thu, 24 Jan 2013 23:03:50 +0000 |
HackBot |
<Sgeo> revert
|
| Thu, 24 Jan 2013 23:02:36 +0000 |
HackBot |
<Sgeo> addquote <Phantom_Hoover> why the fuc <oerjan> i was very annoyed. <Phantom_Hoover> k <Phantom_Hoover> are my socks <Phantom_Hoover> in the wastebin
|
| Thu, 24 Jan 2013 09:43:00 +0000 |
HackBot |
<oerjan> addquote <Sgeo> I searched for newspeak sgeo <Sgeo> "Did you mean: newspeak good "
|
| Thu, 24 Jan 2013 05:52:05 +0000 |
HackBot |
<shachaf> addquote <zzo38> I do study philosophy of much.
|
| Wed, 23 Jan 2013 22:25:10 +0000 |
HackBot |
<shachaf> delquote 933
|
| Wed, 23 Jan 2013 22:24:25 +0000 |
HackBot |
<shachaf> addquote <Bike>why is the qdbformat even a thing
|
| Wed, 23 Jan 2013 22:22:51 +0000 |
HackBot |
<Fiora> addquote <kmc> a social network for household appliances <kmc> like, it\'s one thing to have a washing machine that tweets at you when your laundry is done <kmc> but another to have a washing machine that posts to its own wall and can become friends with the toaster <kmc> "Toaster and Bathtub are now: It\'s Complicated"
|
| Wed, 23 Jan 2013 22:22:32 +0000 |
HackBot |
<Fiora> delquote 932
|
| Wed, 23 Jan 2013 22:19:47 +0000 |
HackBot |
<Fiora> addquote <kmc> a social network for household appliances <kmc> like, it\'s one thing to have a washing machine that tweets at you when your laundry is done <kmc> but another to have a washing machine that posts to its own wall and can become friends with the toaster <kmc> "Toaster and Bathtub are now: It\'s Complicated"
|
| Wed, 23 Jan 2013 21:53:23 +0000 |
HackBot |
<oerjan> addquote <kmc> most things i hear about \'startup culture\' set off the poe\'s law detector
|
| Wed, 23 Jan 2013 19:41:53 +0000 |
HackBot |
<elliott> addquote <ais523> if you mentioned you\'d rewritten textutils (or is cat coreutils?), I might have guessed what was wrong with the program
|
| Wed, 23 Jan 2013 13:09:53 +0000 |
HackBot |
<oerjan> addquote <evincar> okay so like <evincar> do <fizzie> Or do not? <evincar> no no <evincar> do <evincar> There is no do not.
|
| Wed, 23 Jan 2013 11:57:16 +0000 |
HackBot |
<oerjan> addquote <ais523> oerjan: humans are very hard to anthropomorphise
|
| Wed, 23 Jan 2013 04:40:13 +0000 |
HackBot |
<shachaf> addquote <zzo38> Eat people who are in the "food jail".
|
| Mon, 21 Jan 2013 21:17:31 +0000 |
HackBot |
<oerjan> addquote <Bike> back in high school a guy printed out the entire script of portal 1 and was reading it out during a field trip. it\'s possible i\'m mentally scarred
|
| Mon, 21 Jan 2013 20:49:09 +0000 |
HackBot |
<elliott> delquote 925
|
| Mon, 21 Jan 2013 20:49:03 +0000 |
HackBot |
<elliott> addquote <olsner> Gregor: are you in the brony documentary?
|
| Mon, 21 Jan 2013 20:49:00 +0000 |
HackBot |
<elliott> addquote <olsner> Gregor: are you in the brony documentary
|
| Mon, 21 Jan 2013 08:22:36 +0000 |
HackBot |
<oerjan> addquote <ais523> you can define Feather as "Smalltalk done right" if you want to confuse people into wondering why that would involve time travel stuff and all that
|
| Mon, 21 Jan 2013 08:17:39 +0000 |
HackBot |
<oerjan> addquote <ais523> in Smalltalk, as in Feather, in order to do I/O, you must first create the universe <Sgeo> ais523, it seems quite capable of I/O... GUI is a form of I/O <ais523> Sgeo: yeah exactly <ais523> where does the GUI come from? <ais523> it\'s written in Smalltalk, clearly <ais523> and how does the GUI do its I/O? <ais523> if you think about the issue for too long, you end up inventing Feather
|
| Fri, 18 Jan 2013 01:41:27 +0000 |
HackBot |
<oerjan> sed -i \'922s/ / /g\' quotes
|
| Fri, 18 Jan 2013 01:40:45 +0000 |
HackBot |
<oerjan> addquote <shachaf> Taneb: STOP TRYING TO GET LENS INTO EVERYTHING <shachaf> Bike: You should use lens! <Taneb> NEVER <Bike> shachaf: i\'m getting mixed messages here
|
| Fri, 18 Jan 2013 01:33:10 +0000 |
HackBot |
<oerjan> addquote <elliott> okay so <elliott> i went to wikimapia per Bike <elliott> and found a tiny little nowhere that looked like it might be it <elliott> zoomed in <elliott> thought aw yeah this looks remote maybe it\'s it <elliott> turns out it\'s hawaii <elliott> i am not very good at this
|
| Fri, 18 Jan 2013 00:26:07 +0000 |
HackBot |
<oerjan> addquote <Bike> Usually I\'d use Rankine, but the fucking weather doesn\'t support it.
|
| Thu, 17 Jan 2013 23:02:52 +0000 |
HackBot |
<kmc> addquote <shachaf> FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE
|
| Wed, 16 Jan 2013 02:13:40 +0000 |
HackBot |
<oerjan> addquote <quintopia> is there a way to tag things on wikipedia as "wtf this makes no sense"? <elliott> quintopia: {{featured article}}
|
| Wed, 16 Jan 2013 02:13:30 +0000 |
HackBot |
<oerjan> revert
|
| Wed, 16 Jan 2013 02:13:19 +0000 |
HackBot |
<oerjan> addquote <quintopia> is there a way to tag things on wikipedia as "wtf this makes no sense"? <elliott> quintopia: {{featured article}}
|
| Tue, 15 Jan 2013 04:17:13 +0000 |
HackBot |
<elliott> addquote <oerjan> fungot knows all. <fungot> oerjan: you are correct. there\'s no freedom for free.
|
| Tue, 15 Jan 2013 01:27:44 +0000 |
HackBot |
<elliott> addquote <Bike> I\'ve heard the manga of Das Kapital is actually pretty good.
|
| Tue, 15 Jan 2013 01:26:44 +0000 |
HackBot |
<elliott> addquote <kmc> maybe i like pigeons too much
|
| Tue, 15 Jan 2013 00:33:59 +0000 |
HackBot |
<elliott> addquote <kmc> i fell in love with the first gimmick twitter account that i met who could appreciate georges bataille
|
| Sun, 13 Jan 2013 14:35:00 +0000 |
HackBot |
<Phantom_Hoover> addquote <fizzie> What I learned on the Prolog course is that it\'s a good language if you need a thing that can say "No" a lot.
|
| Sat, 12 Jan 2013 21:04:57 +0000 |
HackBot |
<oerjan> addquote <zzo38> What is your opinion on the Catholic doctrine and tradition and so on? <Bike> i give it 7/10.
|
| Sat, 12 Jan 2013 20:07:53 +0000 |
HackBot |
<elliott> revert 1492
|
| Sat, 12 Jan 2013 20:05:34 +0000 |
HackBot |
<FreeFull> revert 4
|
| Fri, 11 Jan 2013 22:48:13 +0000 |
HackBot |
<elliott> addquote <oerjan> `pastequotes django <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5404 <olsner> I\'m still in all of them :( <olsner> someone else get quoted saying django please
|
| Fri, 11 Jan 2013 22:40:09 +0000 |
HackBot |
<oerjan> sed -i \'70s/ *[[]/ [/\' quotes # i think this is the most logical
|
| Fri, 11 Jan 2013 22:30:20 +0000 |
HackBot |
<FireFly> delquote 911
|
| Fri, 11 Jan 2013 22:30:09 +0000 |
HackBot |
<FireFly> addquote *poof* *poof*
|
| Fri, 11 Jan 2013 22:29:36 +0000 |
HackBot |
<elliott> delquote 909
|
| Fri, 11 Jan 2013 22:27:16 +0000 |
HackBot |
<oerjan> sed -i \'911s/^ *//\' quotes
|
| Fri, 11 Jan 2013 22:26:57 +0000 |
HackBot |
<oerjan> revert
|
| Fri, 11 Jan 2013 22:26:48 +0000 |
HackBot |
<oerjan> sed -i \'911s/^ */$/\' quotes
|
| Fri, 11 Jan 2013 22:18:51 +0000 |
HackBot |
<oerjan> sed -i \'911s/>/> /g\' quotes
|
| Fri, 11 Jan 2013 22:18:42 +0000 |
HackBot |
<oerjan> revert
|
| Fri, 11 Jan 2013 22:18:15 +0000 |
HackBot |
<oerjan> sed -i \'911s/>/> /\' quotes
|
| Fri, 11 Jan 2013 20:33:16 +0000 |
HackBot |
<oerjan> sed -i \'910s/ [[]...] /[...]/g\' quotes
|
| Fri, 11 Jan 2013 16:31:47 +0000 |
HackBot |
<hagb4rd> addquote * GreyKnight puts some cookies inside a forcefield \xe2\x8c\x87\xe2\x8c\x87 o o o \xe2\x8c\x87\xe2\x8c\x87 <GreyKnight>what now c00kiemon5ter?!? * c00kiemon5ter omnomnomnomnomnomnomnom <GreyKnight>but how did he get through the forcefield?!? @u@ <c00kiemon5ter>I did not! the cookielicious force within me grew outside the forcefield absording the crumbles <GreyKnight>darn cookie physics
|
| Fri, 11 Jan 2013 12:02:23 +0000 |
HackBot |
<GreyKnight> addquote <Bike> the idea is that you can get the information you need from reading the other players, isn\'t it [...] <Bike> and of course, reading isn\'t limited to facial expressions [...] <fizzie> That\'s true, you can read e.g. books.
|
| Fri, 11 Jan 2013 01:15:08 +0000 |
HackBot |
<coppro> addquote this quote is formatted wrong to annoy quitopia also it\'s not a quote
|
| Fri, 11 Jan 2013 01:14:43 +0000 |
HackBot |
<coppro> addquote <coppro> GreyKnight: for instance, you can form a poset category from a bunch of tiles <GreyKnight> oh, that\'s why somebody was conflating category theory with bathroom interior design the other day :-D
|
| Thu, 10 Jan 2013 21:37:29 +0000 |
HackBot |
<oerjan> addquote <ais523> btw, I finally discovered what a burrito was, recently <ais523> they\'re kind of nice to eat <ais523> but don\'t really resemble monads
|
| Thu, 10 Jan 2013 21:37:13 +0000 |
HackBot |
<oerjan> revert
|
| Thu, 10 Jan 2013 21:36:00 +0000 |
HackBot |
<oerjan> addquote <ais523> btw, I finally discovered what a burrito was, recently <<ais523> they\'re kind of nice to eat <ais523> but don\'t really resemble monads
|
| Thu, 10 Jan 2013 21:35:54 +0000 |
HackBot |
<oerjan> revert
|
| Thu, 10 Jan 2013 21:35:48 +0000 |
HackBot |
<oerjan> addquote <ais523> btw, I finally discovered what a burrito was, recently <<ais523> they\'re kind of nice to eat <<ais523> but don\'t really resemble monads
|
| Thu, 10 Jan 2013 12:06:09 +0000 |
HackBot |
<fizzie> addquote <fungot> ais523: intercal-72 c-intercal clc-intercal j-intercal yes all versions all versions
|
| Thu, 10 Jan 2013 06:22:20 +0000 |
HackBot |
<oerjan> addquote <shachaf> When you\'re a logreader, everything is a quote.
|
| Wed, 09 Jan 2013 19:39:12 +0000 |
HackBot |
<GreyKnight> addquote <hagb4rd> what is this set? sounds like shakespear <fizzie> Yes, that\'s what people often say about Chrono Trigger.
|
| Wed, 09 Jan 2013 19:38:17 +0000 |
HackBot |
<GreyKnight> addquote <fizzie> GreyKnight: And Gregor itself is kind of a probability distribution spread all over the globe.
|
| Wed, 09 Jan 2013 19:12:44 +0000 |
HackBot |
<coppro> addquote <Taneb> That\'s the problem with Tumblr <Taneb> All the porn titles are taken by non-porn people
|
| Sun, 06 Jan 2013 20:56:30 +0000 |
HackBot |
<oerjan> mv quotes.1 quotes # Some more formatting errors
|
| Sun, 06 Jan 2013 20:46:16 +0000 |
HackBot |
<oerjan> mv quotes.1 quotes # Fix general formatting
|
| Sun, 06 Jan 2013 20:32:47 +0000 |
HackBot |
<elliott> hg diff -c 895 | patch -R
|
| Sun, 06 Jan 2013 20:27:21 +0000 |
HackBot |
<tswett> delquote 11
|
| Sun, 06 Jan 2013 20:02:42 +0000 |
HackBot |
<oerjan> sed -i \'871s/\\( *\\)< /\\1\\1</g\' quotes
|
| Sun, 06 Jan 2013 06:11:16 +0000 |
HackBot |
<coppro> addquote <Bike> so, i\'m readng chaitin\'s book on the diophantine thing, and he uses lisp with single-character variable names, in APL\'s character set. is there a reliable test to see if i\'m actually in some caricatured hell?
|
| Sun, 06 Jan 2013 05:30:19 +0000 |
HackBot |
<oerjan> addquote <GreyKnight> This might be the lack of sleep talking, but coproduct injections are pretty funny
|
| Sun, 06 Jan 2013 01:35:24 +0000 |
HackBot |
<ais523> addquote <kmc> what is the linux equivalent of the magical purple light which makes things glow if they have been involved in a crime <elliott> kmc: nmap??
|
| Sat, 05 Jan 2013 23:33:04 +0000 |
HackBot |
<oerjan> addquote <kmc> i can only hope that the 55 year old nuclear reactor 2 blocks away from my house is too old to have SCADA
|
| Sat, 05 Jan 2013 22:38:21 +0000 |
HackBot |
<oerjan> addquote <GreyKnight> Taneb: The other day on the channel I came up with BRAINLISPCODE, a LOLCODE-style LISP with an embedded bf derivative. I thought you should know. :-I
|
| Sat, 05 Jan 2013 20:18:05 +0000 |
HackBot |
<oerjan> addquote <elliott> Phantom_Hoover: I like how the Victorians hadn\'t quite figured out you were meant to name books something shorter than their contents.
|
| Fri, 04 Jan 2013 23:35:08 +0000 |
HackBot |
<olsner> addquote <fizzie> fungot: Are you the previous version of zzo38? <fungot> fizzie: i run some interactive tex programs
|
| Fri, 04 Jan 2013 19:54:12 +0000 |
HackBot |
<oerjan> addquote <olsner> shachaf: contrary to common belief, #esoteric is not really "a channel for crazy people", but has (ostensibly) a topic... is beaky from finland?
|
| Fri, 04 Jan 2013 14:22:50 +0000 |
HackBot |
<elliott> delquote 821
|
| Fri, 04 Jan 2013 07:38:34 +0000 |
HackBot |
<elliott> delquote 892
|
| Fri, 04 Jan 2013 00:00:04 +0000 |
HackBot |
<ais523> addquote <shachaf> oerjan: Comonads? <oerjan> shachaf: no, feather
|
| Thu, 03 Jan 2013 23:53:10 +0000 |
HackBot |
<elliott> addquote <Bike> i don\'t even know anything about feather and i\'m getting sick of the time travel jokes
|
| Thu, 03 Jan 2013 20:46:59 +0000 |
HackBot |
<oerjan> addquote -!- ais523 has parted #esoteric ("someone is going to mention Feather, I know it").
|
| Wed, 02 Jan 2013 20:12:06 +0000 |
HackBot |
<oerjan> sed -i \'892s/\\( *\\)< /\\1\\1</g\' quotes
|
| Wed, 02 Jan 2013 10:19:51 +0000 |
HackBot |
<coppro> addquote < monqy> continuations have a funny problem where something about spaghetti < shachaf> monqy: but wait, i read category theory will save you from spaghetti code because associativity
|
| Mon, 31 Dec 2012 22:54:20 +0000 |
HackBot |
<oerjan> addquote <kmc> obviously you just write a TRIVIAL raytracer as a bash script
|
| Fri, 28 Dec 2012 20:01:07 +0000 |
HackBot |
<oerjan> addquote <kmc> i\'m looking for a haskell-like programming language, meaning that it supports nesting multi-line comments
|
| Fri, 28 Dec 2012 09:55:41 +0000 |
HackBot |
<fizzie> sed -ie \'889 s/hard drive/hard drive /\' quotes
|
