00:13:24 -!- variable has joined. 00:23:28 -!- oerjan has quit (Quit: Nite). 00:26:19 -!- mihow_ has joined. 00:29:29 -!- mihow has quit (Read error: Connection reset by peer). 00:29:29 -!- mihow_ has changed nick to mihow. 00:45:51 -!- mihow has quit (Quit: mihow). 00:47:29 -!- mihow has joined. 00:47:53 You aren't totally sure if "EQUIP" is a verb copasetic with the abstract behavioral medium in which you dwell, but you give it a try anyway. 00:52:10 -!- mihow has quit (Client Quit). 01:09:47 -!- Phantom_Hoover has joined. 01:16:38 -!- hilquias has joined. 01:23:09 [wiki] [[Special:Log/newusers]] create * Kirbyfan64sos * New user account 01:33:45 [wiki] [[Unc]] N http://esolangs.org/w/index.php?oldid=43292 * Kirbyfan64sos * (+761) Created page with "'''unc''' is an estoric version of C with various keywords and characters swapped around to make programs difficult to write and read. For instance, this is a [[Hello, world!]..." 01:34:32 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=43293&oldid=43243 * Kirbyfan64sos * (+10) /* U */ 01:49:10 oren_: business cards tell people what you do and how to contact you. 02:09:52 -!- vanila has quit (Quit: Leaving). 02:17:12 -!- Froox has joined. 02:19:50 -!- Frooxius has quit (Ping timeout: 265 seconds). 02:36:55 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:41:19 `wisdom 02:41:20 webcarting/webcarting is not dissimilar to Mario Kart, but uses real, remote-controlled go-karts. Participants describe it as "the outlandish spectacle of real go-karting combined with the thrill and immersion of Mario Kart". 02:47:39 tswett: I know that, but when should I offer one? 02:50:01 Is there such a thing as a FireWire->RF converter? 02:51:11 uh... what sort of signal is being converted? 02:51:25 FireWire video signal 02:51:33 With IEEE-1394 02:51:51 And to convert into analog RF TV cable signal 02:53:26 http://www.amazon.com/Canopus-ADVC-110-adapter-FireWire/dp/B001LOO4O2 02:56:14 Also I should want to output any VHF TV channel 2-13, so that a VCR can be programmed to record from any channel 03:03:29 -!- variable has quit (Quit: 1 found in /dev/zero). 03:12:58 zzo38: A D-VHS recorder would suffice. 03:41:08 -!- nys has quit (Quit: quit). 03:45:49 oren_: whenever you want someone to be able to contact you, I guess? 03:46:31 I don't think it could be seen as inappropriate to offer a business card. If they're not interested, they can just discard it later. 03:47:12 Or, they should tell you they don't want it, if they don't want it, and then you can save it to give to someone else instead possibly 03:47:49 That would be kind of ungracious, though. 03:51:05 I wouldn't refuse a business card unless I were completely sure that the other person wouldn't be upset or offended at all. 03:52:05 I wouldn't care; I would just refuse it if I didn't need it (unless they have far more than they need anyways). But if I gave someone business card I would try to ensure that they can give it back if they don't need it. OK 03:54:47 Originally my plan was to make RULECARD out of S-expressions, but now my idea is to make it out of RDF instead. I intended to have that the extensions in the program (the program consists of a set of extensions) are commutative and idempotent, and that any extension can be further extended, and namespaces and private/public and a few other things. RDF already does this automatically though, therefore I can use RDF instead. 04:01:30 I think I'd say that refusing a business card is tantamount to outright stating you're not actually interested in contacting the person. 04:01:37 Which I guess may or may not be a bad thing. 04:02:40 -!- variable has joined. 04:03:04 tswett: Yes, it may or may not be a bad thing; it can depend on many thing. Or maybe, you just don't contact them for business, and you already know their home telephone number (because they told you before). There can be more than one way. 04:03:16 Right. 04:17:00 I see... that helps. 04:20:09 -!- MDude has changed nick to MDream. 04:34:39 -!- hilquias has quit (Remote host closed the connection). 04:40:36 Man. So I've been thinking about how to create the Ultimate Computer Language. 04:41:04 Do you know any idea how to do? 04:41:33 What I've come up with so far is a language that lets you define "sketches" (which are more or less varieties of algebraic structures) and morphisms between them (essentially functors). 04:42:16 This already includes all the basic non-recursive parts of Haskell. 04:42:59 I think you should need macros as well; programming language generally better by having macros, in my opinion . 04:43:28 I'm hoping to completely obviate the need for macros. 04:43:33 Although what you have seem good, but you should make example so that I can understand them more better 04:43:50 I haven't fully figured it out myself. 04:45:00 Then you must learn. 04:46:01 A lot of stuff can be seen as morphisms between sketches. There's a sketch which just means "a type", so defining a type is the same as defining a morphism from the empty sketch to the "a type" sketch. 04:48:14 It looks like defining a polymorphic function is essentially defining a sketch morphism which has certain properties. 04:49:01 Sketches attempt to define categories, but sketches seem to have some pretty interesting categorical structure themselves. 04:50:34 Whelp, I had better go to bed. I need to get up early tomorrow morning and I'm already up late. 04:50:36 Night, everyone. 05:12:59 -!- variable has changed nick to constant. 05:28:45 -!- quietello has quit (Ping timeout: 256 seconds). 05:29:39 -!- constant has quit (Ping timeout: 246 seconds). 05:31:32 -!- Wallacoloo has joined. 06:36:52 -!- Wallacoloo has quit (Quit: Leaving.). 07:05:44 -!- AnotherTest has joined. 07:23:50 -!- Lorenzo64 has joined. 08:01:37 -!- aloril_ has joined. 08:02:05 -!- aloril has quit (Ping timeout: 276 seconds). 08:15:07 -!- Lorenzo64 has quit (Remote host closed the connection). 08:24:06 -!- Patashu has joined. 09:07:22 -!- husanu1 has joined. 09:15:59 -!- husanu1 has quit (Remote host closed the connection). 09:21:03 -!- husanu3 has joined. 09:26:26 -!- husanu3 has quit (Killed (marienz (Drones are not welcome on freenode.))). 10:29:02 -!- boily has joined. 10:37:17 -!- oerjan has joined. 10:58:33 hellørjan. the drought continues? 10:59:04 a very wet drought 10:59:24 @metar ENVA 10:59:25 ENVA 261050Z 28015KT 9999 SCT013 BKN024 11/08 Q1017 NOSIG RMK WIND 670FT 29016KT 11:00:06 I was refering to the fungotlack hth 11:00:07 actually by the weather forecast it's supposed to be dry now, but no one seems to have told the pavement. 11:00:10 oh. 11:00:33 btw, this looks like reasonable Norweather. 11:00:38 hard to fix with fizzie AWOL 11:00:57 @metar CYUL 11:00:57 CYUL 261000Z 01005KT 30SM FEW100 FEW240 13/09 A3003 RMK AC1CI1 SLP170 11:02:22 -!- Patashu has quit (Ping timeout: 256 seconds). 11:02:40 boily: for april, maybe. 11:03:12 -!- Patashu has joined. 11:03:17 maybe it's still April over at your place. who knows, timezones are complicated. 11:03:26 there were 3-4 hot days last week, then it went back down again. 11:04:17 before that, the newspaper wrote articles about "we've had only one registered june colder than this, and that was in the 1920s" 11:06:16 (of course records start some time in the 1800s) 11:17:17 the lowest we've hit here was 7,2 °C in 1970, highest 33,4 °C in 2003. 11:17:29 (records from 1942-2015) 11:18:22 oh and i think the record was average daily maximum 11:18:46 not actual point time extremes 11:19:16 Ō_Ō... 11:19:54 I mean, this winter we broke all kinds of records (damn you February and March!), but that happening in June... 11:20:24 oh it was of course record _for_ june 11:20:32 sheesh 11:21:47 now last year's january, _that_ was a freaky month. 11:22:01 when you get wildfires spreading, in january, in norway... 11:22:46 (drought, not temperature. they were actually _sub-zero_ wildfires.) 11:23:10 LA LA LA CAN'T HEAR YOU AIN'T NO SUCH THING AS SUB-ZERO WILDFIRES LA LA LA 11:23:45 seriously, the firefighters had trouble with the water freezing. 11:24:31 boily: celsius not fahrenheit hth 11:25:12 -!- f|`-`|f has quit (Ping timeout: 246 seconds). 11:26:27 i'm quite sure i told you all about it at the time. 11:26:52 I may have had the same reflex at that moment hth 11:26:58 (well maybe not about the water freezing.) 11:27:43 -!- f|`-`|f has joined. 11:28:00 meanwhile, I'm going to take a shower. a hot shower, with unmistakeably hot water. the liquid kind that warms you. waaaaaaaaarm. 11:28:08 mmm 11:28:14 * oerjan will do so later. 11:28:28 -!- boily has quit (Quit: DUPLICATE CHICKEN). 11:45:24 fnord 11:48:24 Gesundheit. 11:51:25 -!- Phantom_Hoover has joined. 12:54:19 timezones are complicated. 13:11:33 -!- Patashu has quit (Ping timeout: 256 seconds). 13:25:15 -!- variable has joined. 14:20:46 I need to write a bot to search for esolangs that don't involve numbers 14:21:07 then it will help me to create "numeric $language" :) 14:22:00 Numeric Whitespace. Replace \s with 0, \t with 1 and linefeeds with 2 14:22:27 Hppavilion1 sounds a lot like this one virus 14:22:56 it's an actual laptop brand hth 14:23:17 Human papillomavirus 14:29:21 Has anybody tried nuking the sun yet? 14:31:14 there's a quora question about that o_O 14:31:20 but all the answers are just "nope sun is too huge" 14:31:49 maybe it'll trigger a CME of doom or something 14:31:55 without really destroying the sun 14:32:11 -!- oerjan has quit (Quit: Argh!). 14:32:26 @tell oerjan You can't escape my nukes. 14:32:26 Consider it noted. 14:32:34 fungot can 14:33:00 `? can 14:33:16 can? ¯\(°​_o)/¯ 14:34:06 -!- drdanmaku has joined. 14:38:12 `learn Can cans can cans? 14:38:14 Learned 'can': Can cans can cans? 14:39:44 Some Czechs check cheque checksums. 14:40:01 -!- gamemanj has joined. 14:40:05 It's gonna be a tough weekend 14:40:15 I might develop some esolang as a distraction 14:40:55 Fungot is STILL gone? I thought I saw... hmm... 14:41:23 Nope, still hold prisoner 14:41:38 Prisoner? 14:42:06 fizzie is evil. 14:42:11 he takes prisoners 14:42:14 or she 14:42:15 or it 14:42:16 I don't know 14:44:12 For 4-or-so (When did fnord begin? I don't keep track of time.) MONTHS, or was there a bit of time in the middle? 14:45:01 -!- variable has quit (Ping timeout: 272 seconds). 14:45:08 what? 14:46:06 -!- idris-bot has quit (Ping timeout: 246 seconds). 14:46:45 -!- Melvar has quit (Ping timeout: 256 seconds). 14:46:54 * gamemanj doesn't know when this started, but Fungot was trapped in a house for a few weeks a long time ago - is that still the case? 14:47:18 No, this time it's different. 14:47:21 More politics involved. 14:47:31 Politics? 14:48:00 -!- Melvar has joined. 14:50:09 Yeah, politics. 14:50:21 You know... people that get elected or elect themselves 14:50:29 they talk, they have a lot of differences 14:50:40 everyone pretends to like each other but secretely they all hate each other 14:50:44 That needs more context to make sense... 14:51:13 IK what politics is - how does it apply? 14:51:19 estonia doesn't want to admit they hate foreigners 14:51:22 but 14:51:26 whathever 14:52:07 gamemanj: You know that I'm crazy and just make this stuff up right? 14:52:44 No... 14:52:54 well now you know. 14:52:54 We'd better set mroman to use something other than europarl. 14:53:01 Oh oh! 14:53:08 Do you want me to use "ghangsta"? 14:53:17 The Estonia bit I figured was a joke, but... 14:53:18 Jafet: Please select a style 14:53:22 (using \style