00:01:00 -!- Herbalist has left ("WeeChat 1.2"). 00:03:56 -!- mihow has quit (Quit: mihow). 00:07:47 -!- MDude has joined. 00:08:44 -!- MDream has joined. 00:12:15 -!- MDude has quit (Ping timeout: 256 seconds). 00:14:03 -!- tromp__ has joined. 00:18:05 -!- MDream has changed nick to MDude. 00:23:59 -!- tromp__ has quit (Remote host closed the connection). 00:40:03 -!- variable has joined. 01:03:36 -!- hilquias has quit (Remote host closed the connection). 01:07:21 @metar CYUL 01:07:22 CYUL 230100Z 30008KT 15SM BKN075 BKN100 20/12 A2978 RMK AC6AC1 SLP083 DENSITY ALT 800FT 01:07:32 @metar ENVA 01:07:33 ENVA 230050Z 12005KT 9999 SCT019 BKN034 11/10 Q1007 RMK WIND 670FT 16005KT 01:07:38 11? 01:07:40 10?!?!? 01:07:53 * oerjan waves from the north 01:10:13 * boily prefers his own north 01:16:32 -!- codergeek42 has joined. 01:17:35 -!- Wallacoloo has joined. 01:21:29 bonne ørjanuit! try not to freeze off too much! 01:21:44 -!- boily has quit (Quit: HYPOGLYCEMIC CHICKEN). 01:27:27 @metar CYVR 01:27:27 CYVR 230100Z 21007KT 30SM FEW045TCU FEW075 OVC250 20/12 A2988 RMK TCU1AC1CS6 SLP117 DENSITY ALT 600FT 01:31:08 -!- hilquias has joined. 01:32:28 -!- GoToTell has joined. 01:39:21 On this computer I cannot access the CPU/power/disk/etc temperatures from Linux, only the CMOS setting menu can access it 01:53:39 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:00:00 Suppose you have C, but with a completely different standard library. 02:01:12 OK what kind of completely different standard library is it? 02:01:26 would that be a C variant or would it not qualify as C. 02:01:46 I don't know for sure? 02:02:13 does the C spec say that, for example, there must be a funcion called malloc with such and such semantics? 02:09:35 Apparently the C spec has provisions for a "freestanding environment", so it would still be C 02:11:48 OK 02:12:28 -!- tromp__ has joined. 02:16:50 -!- tromp__ has quit (Ping timeout: 240 seconds). 02:26:30 -!- oerjan has quit (Quit: leaving). 02:31:23 -!- codergeek42 has quit (Quit: Ex-Chat). 02:43:47 -!- copumpkin has joined. 03:13:09 -!- MDude has changed nick to MDream. 03:13:20 -!- nortti has changed nick to and. 03:13:26 -!- and has changed nick to nortti. 03:14:40 -!- tromp__ has joined. 03:19:01 -!- tromp__ has quit (Ping timeout: 246 seconds). 03:20:48 -!- newbie|2 has quit (Ping timeout: 264 seconds). 03:56:30 -!- tromp__ has joined. 04:16:43 -!- tromp__ has quit (Remote host closed the connection). 04:17:34 -!- GoToTell has left. 04:18:40 -!- GoToTell has joined. 04:25:36 -!- GoToTell has quit (Quit: HydraIRC -> http://www.hydrairc.com <- Now with extra fish!). 04:36:05 -!- password2 has joined. 04:36:48 -!- password2 has left. 04:38:10 [wiki] [[Special:Log/newusers]] create * 966 * New user account 04:38:59 -!- mauris has joined. 04:40:00 -!- Wright has quit (Ping timeout: 255 seconds). 04:47:20 I fixed utftovlq and made a man page too 04:48:35 http://sprunge.us/OcXA http://sprunge.us/bCYf 04:52:58 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 05:07:13 god damn it what are all these stupid forms 05:07:43 why do I have to fill out a million forms?!!? 05:12:51 No forms. 05:17:14 -!- tromp__ has joined. 05:19:30 also why does the bank kkep asking me about all this bullshit? I just want to keep my money, all in one damn bank account, end of! 05:21:19 -!- nam3 has joined. 05:21:50 -!- tromp__ has quit (Ping timeout: 240 seconds). 05:27:17 -!- nam3 has quit (Ping timeout: 240 seconds). 05:43:43 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 05:45:07 -!- copumpkin has joined. 05:47:16 Thought utftovlq was rot13 for a few seconds 05:49:43 -!- copumpkin has quit (Ping timeout: 244 seconds). 05:50:50 -!- Wallacoloo has quit (Ping timeout: 246 seconds). 05:51:08 I wonder if it is a viable option to put all my money in my dad's account and let him deal with all this crap 05:52:28 just put it in my account and i'll deal with it for you hth 05:55:09 lol. seriously how do I get them to stop sending me emails about their "mutual funds" 05:56:48 Click the unsubscribe link? 05:57:23 Or maybe put a bunch of money into their mutual funds. They're sure to stop bugging you if you do that. 06:01:02 I found it. the unsubscribe is not on the email itself but in yor settings after you log in 06:02:08 stupid online banking. I want a goblin to hand me my money. 06:03:48 oren: have you considered putting your money into my mutual funds? hth 06:15:52 Sgeo_: Well, it is not ROT13 (although, with a proper translation file you can make ROT13 with it) 06:18:49 -!- tromp__ has joined. 06:23:18 -!- tromp__ has quit (Ping timeout: 244 seconds). 06:28:59 -!- TodPunk has quit (Ping timeout: 246 seconds). 06:42:24 -!- variable has quit (Ping timeout: 255 seconds). 07:02:17 -!- J_A_Work has joined. 07:18:24 -!- heroux has quit (Ping timeout: 255 seconds). 07:19:02 -!- heroux has joined. 07:41:43 -!- Walpurgisnacht has joined. 07:42:27 The reason we blow up fireworks on the 4th of July isn't for celebration its to scare the founding fathers and stop them from rising from their grave to feed off the flesh of the free 07:42:54 True facts 07:50:39 Guy Fawkes night is similar in the UK 07:51:13 It does amuse me that we have a bonfire night and fireworks display every year to celebrate the foiling of a terrorist plot 07:51:21 What? 07:51:27 Guy Fawkes night 07:51:30 Is that truly a thing 07:51:35 Guy ferrari? 07:51:49 -!- TodPunk has joined. 07:51:50 Celebrates the foiling of the Gunpowder Plot of 1605 07:51:54 He's a food terrorist 07:51:59 Omfg 1605 07:52:02 Guy Fieri is a different guy altogether 07:52:12 Those gosh darn explosives 07:52:53 Basically, a bunch of catholic terrorists decided to blow the Houses of Parliament up, and King James I of England and VI of Scotland with it 07:54:15 And were foiled because one of them wrote a letter warning one of his friends to stay away that day 07:54:28 -!- TodPunk has quit (Read error: Connection reset by peer). 07:54:56 -!- TodPunk has joined. 07:56:15 -!- TodPunk has quit (Read error: Connection reset by peer). 07:56:49 -!- TodPunk has joined. 08:00:38 -!- white_bear has joined. 08:00:44 Taneb 08:00:48 please 08:00:53 This can't be 08:01:01 It's a well known thing in England 08:01:03 I need a source 08:01:11 https://en.wikipedia.org/wiki/Gunpowder_Plot 08:02:02 I have something to ask/tell you later taneb 08:02:05 So be ready 08:02:36 Walpurgisnacht, it's a good thing lambdabot has @ask and @tell commands, so if I'm not active you can send me a message into the future! 08:02:49 Ok 08:03:48 What do you expertise in computer wise/programming wise Taneb 08:04:19 Functional programming, I guess?? I'm really more on the path to becoming a mathematician 08:05:07 Good Good 08:05:34 So what fields of math or general math as it were 08:06:03 Because there are a lot of fields so I want to rework my Question so its based on that field 08:06:29 I don't know, just go with what you are most comfortable with 08:06:34 I'm reasonably adaptable 08:06:55 I'm gonna head to work now, see you later! 08:07:02 Ok 08:07:05 Good day 08:13:21 -!- APic has quit (Ping timeout: 256 seconds). 08:22:02 Taneb is a renaissance man 08:22:06 `? tanebventions 08:22:09 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, the universe, weetoflakes, persistence, the reals, and this sentence. He never invents anything involving sex. 08:22:52 `` fgrep -lr 'Taneb invented' wisdom 08:22:59 wisdom/stephen wolfram \ wisdom/chu space \ wisdom/automatic squirrel feeder \ wisdom/fundamental theorem of taneb \ wisdom/persistence \ wisdom/weetoflake \ wisdom/torus \ wisdom/d-module \ wisdom/this sentence 08:23:16 `? Go 08:23:16 Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia. 08:24:32 `? metro 08:24:33 metro? ¯\(°_o)/¯ 08:26:11 -!- white_bear has quit (Ping timeout: 240 seconds). 08:30:43 -!- AnotherTest has joined. 08:36:02 -!- TodPunk has quit (Read error: Connection reset by peer). 08:36:30 -!- TodPunk has joined. 08:37:58 -!- Patashu has joined. 08:50:48 -!- hjulle has joined. 08:51:39 -!- white_bear has joined. 09:00:34 -!- shikhin has quit (Read error: Connection reset by peer). 09:01:10 -!- shikhin has joined. 09:03:07 -!- zadock has joined. 09:06:33 -!- tromp__ has joined. 09:10:46 -!- tromp__ has quit (Ping timeout: 246 seconds). 09:12:43 `? fundamental theorem of taneb 09:12:44 The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent. 09:18:33 fnord. 09:32:05 -!- hjulle has quit (Quit: ZNC - http://znc.in). 09:40:04 -!- Walpurgisnacht has quit (Quit: Did Tennessee the heaven hurt when you fell from the it). 10:00:07 -!- J_A_Work has quit (Quit: J_A_Work). 10:02:37 -!- J_A_Work has joined. 10:16:10 -!- boily has joined. 10:26:55 . o O ( 'METRO' is a meteorological recording organization (see also: METAR) ) 10:27:58 -!- pseudomyne has joined. 10:31:24 `unicode 💬💭 10:31:26 U+1F4AC SPEECH BALLOON \ UTF-8: f0 9f 92 ac UTF-16BE: d83ddcac Decimal: 💬 \ 💬 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F4AD THOUGHT BALLOON \ UTF-8: f0 9f 92 ad UTF-16BE: d83ddcad Decimal: 💭 \ 💭 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) 10:32:42 But they're not combining 10:48:39 COMBINING ENCLOSING KEYCAP 10:50:39 Press ↲⃣. 10:51:26 (My terminal seriously mangles that, but in the browser it's not that bad. 10:51:31 ) 10:56:43 oooooh! a character I can see correctly! 11:04:44 -!- Phantom_Hoover has joined. 11:13:27 -!- zadock has quit (Quit: Leaving). 11:24:47 `unicode 💮➿💢 11:24:48 U+1F4AE WHITE FLOWER \ UTF-8: f0 9f 92 ae UTF-16BE: d83ddcae Decimal: 💮 \ 💮 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+27BF DOUBLE CURLY LOOP \ UTF-8: e2 9e bf UTF-16BE: 27bf Decimal: ➿ \ ➿ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F4A2 ANGER SYMBOL \ UTF-8: f0 9f 92 a2 UTF-16 11:26:15 -!- x10A94 has joined. 11:26:59 `relcome x10A94 11:27:00 x10A94: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 11:29:33 -!- boily has quit (Quit: RAMBUNCTIOUS CHICKEN). 11:47:04 -!- pseudomyne has left ("ERC Version 5.3 (IRC client for Emacs)"). 12:04:09 -!- comodvs has joined. 12:38:00 -!- oerjan has joined. 12:48:59 I am the fnord that spits in your cereal in the morning. 12:49:30 luckily i don't eat cereal *MWAHAHAHA* 12:51:37 who needs breakfast anyway 12:52:09 I had a croissant this morning 12:52:12 me hth 12:52:28 i had a croissant too 12:52:30 spooky 12:52:36 that's a lie i had two 12:52:48 -!- copumpkin has joined. 12:53:05 Are you trying to say you're better than me or something 12:53:21 Because I... had a *chocolate* croissant 12:53:28 don't worry, i had none. 12:53:40 although i have chocolate, so i can compensate. 12:54:15 * oerjan in medias breakfast 12:54:59 I ate a piece of carrot cake, but not for breakfast. 12:55:12 I ate a chocolate croissant. 12:55:31 and an M-Budget Energy Drink 12:55:49 #esoteric seems to be the channel of choice for chocolate croissant connoisseurs. 12:57:25 i just had a plain croissant 12:57:58 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 12:58:12 `rot13 utftovlq 12:58:13 hgsgbiyd 12:58:35 clearly some mercurial subprogram. 12:59:04 Does it convert utf to vlq 12:59:25 no, i think it brings us all doom through the singularity. 12:59:37 Oh, OK 12:59:47 -!- Patashu has quit (Ping timeout: 240 seconds). 13:04:50 -!- J_A_Work has quit (Quit: J_A_Work). 13:07:04 I really need to be less lazy 13:07:15 And also remember to read the question in exams 13:19:10 -!- SopaXT has joined. 13:19:44 I could have got 11 more percentage points if I had just read the question as "Recognizes the empty language" rather than "Recognizes a language which accepts the empty string" 13:23:11 -!- MDream has changed nick to MDude. 13:25:30 Did you have to define a something that does that thing? 13:31:24 -!- `^_^v has joined. 13:31:41 Taneb: Yes it can convert UTF to VLQ, that is one function it can be use 13:32:30 fizzie, I had to show that it was undecidable 13:59:53 -!- SopaXT has quit (Remote host closed the connection). 14:04:20 hm. E2EE is probably hard for group chats... 14:05:04 Is there a scheme like diffie hellman that involves multiple participants? 14:05:48 i still can't get over the proof i saw in a lecture that the word problem is decidable for hyperbolic groups 14:06:26 I don't know 14:06:39 was it an exaggerated proof 14:06:50 because it nonconstructively proves that some TM exists that recognises trivial elements, but there's no reason to believe that finding that TM is computable 14:17:20 fancy 14:17:55 mroman_: you don't want a primitive scheme for that, but instead build a composite one from the trusted primitives 14:18:25 primitive trust 14:57:13 http://codepad.org/cR6ropdk <- I'm a crazy or am I not. 14:59:01 but it's not generic enough yet! 15:05:36 -!- Wright has joined. 15:06:48 mroman_: That Java verbosity 15:07:52 http://codepad.org/7iW6XTy3 <- much better 15:08:13 You can even choose if it should join on the threads for the result list or not :) 15:10:19 hm. 15:10:24 it should probably do results.notify(); ? 15:10:36 so you can wait on the result list 15:10:55 -!- supay has quit. 15:12:05 -!- supay has joined. 15:12:17 -!- Wright has quit (Ping timeout: 252 seconds). 15:12:52 Yep. That way you can set join=false and then read the list with wait 15:13:19 I still maintain that centaurs are insects 15:13:47 The whole thing looks like something you should be using Futures (for getting results) and Executors (for specifying the threading policy etc.) for. 15:18:17 -!- supay has left. 15:19:06 Taneb: does that mean insectoid centaurs are spiders? 15:19:15 Not sure 15:19:49 The definition of insect I learnt in first school was "6 limbs, three distinct body segments" 15:21:08 fizzie: This is more of a "broadcasting"-thingy actually 15:21:49 mroman_: Yes, but collect should return a CompletableFuture> and take an Executor on which to run the tasks. 15:22:01 Also I think it needs more bounded wildcards, because that's modern. Maybe you could manage to have addCallback take a Callable if you really try. 15:22:02 and Executor isn't something you can repeatedly use for Callbacks? 15:22:23 hm yeah 15:22:30 collect could use Futures I guess 15:22:53 fizzie: what? 15:22:57 why would I want super/extends? 15:23:09 Because then you have more freedom with what kind of callbacks you can pass, of course. 15:23:17 oh. 15:23:25 You're right. 15:27:08 but ? super T looks suspicious 15:27:14 because then you can pass even Object? 15:27:36 No, it means you can pass in a Callable, which should be legal. 15:27:52 Because a callback that takes an Object should be okay to use everywhere. 15:28:43 true 15:29:09 it is legal. 15:29:12 And vice versa for the return type -- with ? extends E, you can have a Callable and you can put its return value into List. Anyway. 15:29:17 Yeah. 15:29:27 well 15:29:32 you would still get List back 15:30:12 but you can i.e. have a Callpool wich a Callable in it 15:30:20 and collect would return List