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:22 <lambdabot> CYUL 230100Z 30008KT 15SM BKN075 BKN100 20/12 A2978 RMK AC6AC1 SLP083 DENSITY ALT 800FT
01:07:33 <lambdabot> ENVA 230050Z 12005KT 9999 SCT019 BKN034 11/10 Q1007 RMK WIND 670FT 16005KT
01:10:13 * boily prefers his own north
01:16:32 -!- codergeek42 has joined.
01:17:35 -!- Wallacoloo has joined.
01:21:29 <boily> bonne ørjanuit! try not to freeze off too much!
01:21:44 -!- boily has quit (Quit: HYPOGLYCEMIC CHICKEN).
01:27:27 <lambdabot> 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 <zzo38> 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 <oren> Suppose you have C, but with a completely different standard library.
02:01:12 <zzo38> OK what kind of completely different standard library is it?
02:01:26 <oren> would that be a C variant or would it not qualify as C.
02:01:46 <zzo38> I don't know for sure?
02:02:13 <oren> does the C spec say that, for example, there must be a funcion called malloc with such and such semantics?
02:09:35 <oren> Apparently the C spec has provisions for a "freestanding environment", so it would still be C
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 <HackEgo> [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 <zzo38> I fixed utftovlq and made a man page too
04:48:35 <zzo38> http://sprunge.us/OcXA http://sprunge.us/bCYf
04:52:58 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
05:07:13 <oren> god damn it what are all these stupid forms
05:07:43 <oren> why do I have to fill out a million forms?!!?
05:17:14 -!- tromp__ has joined.
05:19:30 <oren> 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 <Sgeo_> 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 <oren> 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 <shachaf> just put it in my account and i'll deal with it for you hth
05:55:09 <oren> lol. seriously how do I get them to stop sending me emails about their "mutual funds"
05:56:48 <shachaf> Click the unsubscribe link?
05:57:23 <shachaf> 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 <oren> I found it. the unsubscribe is not on the email itself but in yor settings after you log in
06:02:08 <oren> stupid online banking. I want a goblin to hand me my money.
06:03:48 <shachaf> oren: have you considered putting your money into my mutual funds? hth
06:15:52 <zzo38> 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 <Walpurgisnacht> 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:50:39 <Taneb> Guy Fawkes night is similar in the UK
07:51:13 <Taneb> 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:49 -!- TodPunk has joined.
07:51:50 <Taneb> Celebrates the foiling of the Gunpowder Plot of 1605
07:52:02 <Taneb> Guy Fieri is a different guy altogether
07:52:53 <Taneb> 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 <Taneb> 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:01:01 <Taneb> It's a well known thing in England
08:01:11 <Taneb> https://en.wikipedia.org/wiki/Gunpowder_Plot
08:02:36 <Taneb> 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:03:48 <Walpurgisnacht> What do you expertise in computer wise/programming wise Taneb
08:04:19 <Taneb> Functional programming, I guess?? I'm really more on the path to becoming a mathematician
08:06:03 <Walpurgisnacht> Because there are a lot of fields so I want to rework my Question so its based on that field
08:06:29 <Taneb> I don't know, just go with what you are most comfortable with
08:06:34 <Taneb> I'm reasonably adaptable
08:06:55 <Taneb> I'm gonna head to work now, see you later!
08:13:21 -!- APic has quit (Ping timeout: 256 seconds).
08:22:02 <Jafet> Taneb is a renaissance man
08:22:09 <HackEgo> 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 <Jafet> `` fgrep -lr 'Taneb invented' wisdom
08:22:59 <HackEgo> 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 <HackEgo> Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia.
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 <Taneb> `? fundamental theorem of taneb
09:12:44 <HackEgo> 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: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 <int-e> . o O ( 'METRO' is a meteorological recording organization (see also: METAR) )
10:27:58 -!- pseudomyne has joined.
10:31:26 <HackEgo> 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 <Jafet> But they're not combining
10:48:39 <fizzie> COMBINING ENCLOSING KEYCAP
10:51:26 <fizzie> (My terminal seriously mangles that, but in the browser it's not that bad.
10:56:43 <boily> oooooh! a character I can see correctly!
11:04:44 -!- Phantom_Hoover has joined.
11:13:27 -!- zadock has quit (Quit: Leaving).
11:24:48 <HackEgo> 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:27:00 <HackEgo> x10A94: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (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 <mroman_> I am the fnord that spits in your cereal in the morning.
12:49:30 <oerjan> luckily i don't eat cereal *MWAHAHAHA*
12:51:37 <mroman_> who needs breakfast anyway
12:52:09 <Taneb> I had a croissant this morning
12:52:48 -!- copumpkin has joined.
12:53:05 <Taneb> Are you trying to say you're better than me or something
12:53:21 <Taneb> Because I... had a *chocolate* croissant
12:53:28 <oerjan> don't worry, i had none.
12:53:40 <oerjan> although i have chocolate, so i can compensate.
12:54:59 <fizzie> I ate a piece of carrot cake, but not for breakfast.
12:55:12 <mroman_> I ate a chocolate croissant.
12:55:31 <mroman_> and an M-Budget Energy Drink
12:55:49 <fizzie> #esoteric seems to be the channel of choice for chocolate croissant connoisseurs.
12:57:58 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
12:58:35 <oerjan> clearly some mercurial subprogram.
12:59:04 <Taneb> Does it convert utf to vlq
12:59:25 <oerjan> no, i think it brings us all doom through the singularity.
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 <Taneb> I really need to be less lazy
13:07:15 <Taneb> And also remember to read the question in exams
13:19:10 -!- SopaXT has joined.
13:19:44 <Taneb> 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 <fizzie> Did you have to define a something that does that thing?
13:31:24 -!- `^_^v has joined.
13:31:41 <zzo38> Taneb: Yes it can convert UTF to VLQ, that is one function it can be use
13:32:30 <Taneb> fizzie, I had to show that it was undecidable
13:59:53 -!- SopaXT has quit (Remote host closed the connection).
14:04:20 <mroman_> hm. E2EE is probably hard for group chats...
14:05:04 <mroman_> Is there a scheme like diffie hellman that involves multiple participants?
14:05:48 <Phantom_Hoover> i still can't get over the proof i saw in a lecture that the word problem is decidable for hyperbolic groups
14:06:39 <oerjan> was it an exaggerated proof
14:06:50 <Phantom_Hoover> 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:55 <b_jonas> mroman_: you don't want a primitive scheme for that, but instead build a composite one from the trusted primitives
14:57:13 <mroman_> http://codepad.org/cR6ropdk <- I'm a crazy or am I not.
14:59:01 <mroman_> but it's not generic enough yet!
15:05:36 -!- Wright has joined.
15:07:52 <mroman_> http://codepad.org/7iW6XTy3 <- much better
15:08:13 <mroman_> You can even choose if it should join on the threads for the result list or not :)
15:10:24 <mroman_> it should probably do results.notify(); ?
15:10:36 <mroman_> 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 <mroman_> Yep. That way you can set join=false and then read the list with wait
15:13:19 <Taneb> I still maintain that centaurs are insects
15:13:47 <fizzie> 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 <oerjan> Taneb: does that mean insectoid centaurs are spiders?
15:19:49 <Taneb> The definition of insect I learnt in first school was "6 limbs, three distinct body segments"
15:21:08 <mroman_> fizzie: This is more of a "broadcasting"-thingy actually
15:21:49 <fizzie> mroman_: Yes, but collect should return a CompletableFuture<List<E>> and take an Executor on which to run the tasks.
15:22:01 <fizzie> Also I think it needs more bounded wildcards, because that's modern. Maybe you could manage to have addCallback take a Callable<? super T, ? extends E> if you really try.
15:22:02 <mroman_> and Executor isn't something you can repeatedly use for Callbacks?
15:22:30 <mroman_> collect could use Futures I guess
15:22:57 <mroman_> why would I want super/extends?
15:23:09 <fizzie> Because then you have more freedom with what kind of callbacks you can pass, of course.
15:27:08 <mroman_> but ? super T looks suspicious
15:27:14 <mroman_> because then you can pass even Object?
15:27:36 <fizzie> No, it means you can pass in a Callable<Object, Whatever>, which should be legal.
15:27:52 <fizzie> Because a callback that takes an Object should be okay to use everywhere.
15:29:12 <fizzie> And vice versa for the return type -- with ? extends E, you can have a Callable<Object, VeryNarrowType> and you can put its return value into List<SlightlyLessNarrowType>. Anyway.
15:29:32 <mroman_> you would still get List<E> back
15:30:12 <mroman_> but you can i.e. have a Callpool<Object, Object> wich a Callable<Object, Integer> in it
15:30:20 <mroman_> and collect would return List<Object> in that case
15:31:01 <mroman_> http://codepad.org/7iW6XTy3 <- like that
15:32:06 <mroman_> http://codepad.org/bGxtvZbj <- that one
15:56:00 -!- white_bear has quit (Quit: leaving).
15:57:16 -!- Wright has joined.
15:58:00 -!- oerjan has quit (Quit: leaving).
16:06:23 -!- `^_^v has quit (Ping timeout: 260 seconds).
16:06:24 -!- nycs has joined.
16:12:00 -!- ocharles_ has quit.
16:12:23 -!- ocharles__ has joined.
16:25:56 -!- GeekDude has joined.
16:38:50 -!- SopaXT has joined.
16:43:09 -!- bb010g has quit.
16:50:08 -!- spiette has joined.
16:52:27 -!- phelpsiv has joined.
16:52:38 -!- SopaXT has quit (Read error: Connection reset by peer).
16:53:11 -!- bb010g has joined.
16:53:13 -!- phelpsiv has quit (Quit: ERC (IRC client for Emacs 24.5.1)).
17:01:35 -!- password2 has joined.
17:06:49 -!- _256Q has joined.
17:09:47 -!- password2 has left ("Leaving").
17:13:53 -!- hilquias has quit (Remote host closed the connection).
18:23:12 -!- mihow has joined.
19:08:46 -!- tromp__ has joined.
19:13:11 -!- tromp__ has quit (Ping timeout: 252 seconds).
19:33:23 -!- mauris_ has joined.
19:34:36 -!- mauris has quit (Ping timeout: 255 seconds).
19:36:16 -!- perrier has quit (Read error: Connection reset by peer).
19:39:33 -!- mihow has quit (Quit: mihow).
20:05:04 -!- `^_^v has joined.
20:05:12 -!- mauris has joined.
20:06:21 -!- mauris_ has quit (Ping timeout: 244 seconds).
20:06:52 -!- nycs has quit (Ping timeout: 244 seconds).
20:11:00 -!- mauris has quit (Read error: Connection reset by peer).
20:11:28 -!- mauris has joined.
20:13:45 -!- heroux has quit (Ping timeout: 255 seconds).
20:14:23 -!- heroux has joined.
20:15:09 <zzo38> How to install the section 3 man pages for X?
20:24:20 <zzo38> Actually maybe I found it now
20:24:41 -!- perrier has joined.
20:32:52 <HackEgo> [wiki] [[O]] http://esolangs.org/w/index.php?diff=43571&oldid=43567 * Phase * (+52) link to online interpreter
20:37:11 -!- mauris has quit (Read error: Connection reset by peer).
20:38:56 -!- mauris has joined.
20:43:11 -!- mauris_ has joined.
20:44:48 -!- mauris has quit (Ping timeout: 255 seconds).
20:54:53 -!- atrapado has joined.
20:55:01 -!- mauris_ has quit (Read error: Connection reset by peer).
20:58:08 -!- mihow has joined.
20:58:19 -!- tromp__ has joined.
21:02:48 -!- tromp__ has quit (Ping timeout: 255 seconds).
21:08:43 -!- Patashu has joined.
21:12:25 -!- spiette has quit (Ping timeout: 244 seconds).
21:14:45 -!- ais523 has joined.
21:15:16 -!- mauris has joined.
21:25:27 -!- oerjan has joined.
21:25:46 -!- AnotherTest has quit (Ping timeout: 246 seconds).
21:28:46 -!- mauris_ has joined.
21:29:59 -!- mauris has quit (Ping timeout: 244 seconds).
21:33:49 -!- TodPunk has quit (Read error: Connection reset by peer).
21:34:16 -!- TodPunk has joined.
21:39:44 -!- Melvar has quit (Quit: WeeChat 1.2).
21:39:59 -!- Melvar has joined.
21:40:36 -!- idris-bot has quit (Ping timeout: 264 seconds).
21:41:52 -!- idris-bot has joined.
21:41:58 -!- `^_^v has quit (Ping timeout: 250 seconds).
21:42:54 -!- Patashu has quit (Ping timeout: 244 seconds).
21:50:26 -!- mauris_ has quit (Ping timeout: 265 seconds).
21:50:37 -!- shikhin has quit (Ping timeout: 246 seconds).
21:54:11 -!- shikhin has joined.
21:59:18 -!- TodPunk has quit (Read error: Connection reset by peer).
21:59:49 -!- TodPunk has joined.
22:07:26 -!- mihow has quit (Ping timeout: 246 seconds).
22:12:03 -!- mihow has joined.
22:16:49 -!- x10A94 has quit (Read error: Connection reset by peer).
22:26:41 -!- MDude has quit (Ping timeout: 246 seconds).
22:46:53 -!- tromp__ has joined.
22:51:15 -!- tromp__ has quit (Ping timeout: 255 seconds).
22:51:17 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
22:55:11 -!- Phantom_Hoover has joined.
23:15:58 -!- Slereah__ has joined.
23:16:00 -!- Slereah has quit (Ping timeout: 250 seconds).
23:32:56 -!- qlkzy has quit (Ping timeout: 256 seconds).
23:32:56 -!- mroman_ has quit (Ping timeout: 256 seconds).
23:33:11 -!- mroman has joined.
23:37:24 -!- qlkzy has joined.
23:50:46 -!- atrapado has quit (Quit: Leaving).