00:19:01 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
00:26:02 -!- hppavilion[1] has joined.
00:30:38 -!- spiette has quit (Quit: :qa!).
00:59:24 -!- tromp_ has quit (Remote host closed the connection).
01:05:46 -!- tromp_ has joined.
01:19:05 -!- jaboja has quit (Ping timeout: 276 seconds).
01:21:51 -!- mbrcknl has left.
01:21:51 -!- jaboja has joined.
01:32:57 -!- tromp_ has quit (Remote host closed the connection).
02:09:44 -!- jaboja has quit (Read error: Connection reset by peer).
02:09:49 -!- jaboja64 has joined.
02:16:11 -!- MDream has joined.
02:23:31 -!- Phantom_Hoover has quit (Remote host closed the connection).
02:28:16 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
02:33:54 -!- boily has joined.
02:34:49 * oerjan now wonders if he lost count
02:37:04 -!- aloril has quit (Ping timeout: 252 seconds).
02:37:07 <shachaf> don't think i should ahoi boily?
02:37:14 <oerjan> both o and p are on a day that my browser refuses to open inline :(
02:37:27 <boily> shachaf: oerjan is on an alphabeticrusade hth
02:37:51 <boily> ahoily is the canonical porthelloily.
02:44:17 -!- hppavilion[1] has joined.
02:45:51 -!- aloril has joined.
02:46:28 -!- boily has quit (Quit: KOBOLD CHICKEN).
02:48:27 -!- tromp_ has joined.
02:52:53 -!- xkapastel has joined.
02:53:01 -!- tromp_ has quit (Ping timeout: 252 seconds).
03:01:47 -!- ybden has quit (Quit: indeed).
03:10:43 -!- noloveinwaikiki has joined.
03:13:03 -!- mad has joined.
03:35:16 -!- FreeFull_ has changed nick to FreeFull.
03:35:37 <quintopia> hey oerjan: do you know if any progress has been made on efficiently simulating TMs with tag systems?
03:40:42 <oerjan> istr the best is quadratic overhead, by someone improving the tag part of the rule 110 proof.
03:41:04 <oerjan> well, unless that has been further improved.
03:41:48 <shachaf> if it's been further improved then ydstr that?
03:42:30 <oerjan> https://en.wikipedia.org/wiki/Rule_110#Turing_machine_simulation_overhead
03:42:31 <quintopia> quadratic overhead is still better than the exponential overhead it used to be, yes?
03:42:42 <Cale> quintopia: Did you hear about the recent results regarding BB(n)?
03:42:56 <Cale> http://www.scottaaronson.com/blog/?p=2725
03:43:28 <Cale> oh, and there are some newer announcements in a post next to that
03:43:35 <quintopia> haven't ever seen you in here before
03:43:43 <quintopia> suddenly develop a taste for esoterica?
03:44:08 <Cale> I was invited here when I was talking about my category-printf library
03:44:52 <Cale> which uses the co-Kleisli category for the comonad of functions out of a fixed monoid to implement a small typed Forth-like language and type safe printf format specifications.
03:45:18 <Cale> http://hackage.haskell.org/package/category-printf-0.1.1.0
03:45:27 <Cale> It's actually remarkably practical!
03:45:49 <oerjan> apparently sorear has got it down nearly to 1000 states.
03:47:06 <quintopia> Cale: sounds right up our alley. who doesn't like printf?
03:47:23 <Cale> I feel like I finally understand what printf is, mathematically
03:47:47 <oerjan> hm maybe just under 2000.
03:48:07 <shachaf> Cale: you should talk to mauke about it hth
03:48:19 <oerjan> it was the riemann hypothesis version that got under 1000.
04:04:31 -!- adu has joined.
04:17:06 -!- idris-bot has quit (Ping timeout: 250 seconds).
04:20:30 -!- J_Arcane has quit (Read error: Connection reset by peer).
04:21:12 -!- oerjan has quit (Quit: Nite).
04:23:33 -!- J_Arcane has joined.
04:33:34 -!- tromp_ has joined.
04:38:38 -!- tromp_ has quit (Ping timeout: 276 seconds).
04:40:18 -!- jaboja64 has quit (Remote host closed the connection).
04:42:28 -!- TellsTogo has quit (Ping timeout: 250 seconds).
04:45:26 -!- TellsTogo has joined.
05:00:37 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
05:10:09 -!- notfowl has changed nick to fouul.
05:29:05 -!- adu has quit (Ping timeout: 260 seconds).
05:29:41 -!- adu has joined.
05:34:46 -!- tromp_ has joined.
05:39:07 -!- tromp_ has quit (Ping timeout: 252 seconds).
05:43:05 -!- adu has quit (Ping timeout: 260 seconds).
06:01:36 -!- fouul has changed nick to unifowl.
06:21:02 -!- Melvar` has joined.
06:23:56 -!- Melvar has quit (Ping timeout: 276 seconds).
06:36:49 -!- jaboja has joined.
06:49:00 -!- TellsTogo has quit (Ping timeout: 250 seconds).
07:00:19 -!- PinealGlandOptic has joined.
07:22:31 -!- clog has quit (Ping timeout: 252 seconds).
07:22:32 -!- lambda-11235 has quit (Quit: Bye).
07:31:10 -!- Akaibu has quit (Quit: Connection closed for inactivity).
07:34:54 -!- PinealGlandOptic has quit (Quit: leaving).
07:40:06 -!- Kaynato has quit (Ping timeout: 246 seconds).
08:01:14 -!- Sprocklem has quit (Ping timeout: 260 seconds).
08:03:07 <HackEgo> lettuce//Lettuce is a vegetable with two dressings, join and meet.
08:04:09 <HackEgo> oerjan elliott Bike FreeFull ais523 ais523 elliott FreeFull oerjan FreeFull oerjan FreeFull oerjan oerjan
08:05:06 <shachaf> i suppose a semilettuce is either herbivorous or carnivorous
08:07:13 <shachaf> `learn JIT is just in time compilation.
08:07:18 <HackEgo> Learned 'jit': JIT is just in time compilation.
08:07:43 <myname> JIT compilation is just in time compilation
08:07:54 <HackEgo> wisdom/jit//JIT is just in time.
08:08:18 <shachaf> But a JIT is a just in time compiler.
08:08:33 <pikhq> Bah, clearly a JIT is a just in time decompiler.
08:08:54 <pikhq> Or is that a co-JIT?
08:09:15 <shachaf> That is not a cogent argument.
08:10:46 <shachaf> I'd be more interested in a JTL compiler.
08:11:08 <pikhq> What about a not-quite-in-time compiler?
08:11:11 <pikhq> I'm sure that has a use.
08:11:13 <myname> it compiles code after the instruction pointer left?
08:11:34 <shachaf> pikhq: I think that's the same as a just too late compiler.
08:12:09 <pikhq> Works out just fine if you then make the instruction pointer go in reverse.
08:12:23 <myname> not reverse, to the start
08:12:24 <pikhq> Good luck implementing the implicit COMEFROMS though.
08:12:44 <shachaf> pikhq: The Mill has two instruction pointers, one going forward and the other going backward.
08:12:44 <myname> you have to finish every code with a platform dependent jump instruction
08:13:08 <pikhq> How Millishly odd.
08:13:32 <Cale> I was thinking "always a bit late", but that might even be better :)
08:14:50 <shachaf> But with the Mill a jump instruction moves both instruction pointers to the same point. Then they start moving in opposite directions from there until they encounter another jump.
08:15:00 <shachaf> What if you jumped them to two different points, and they converged?
08:16:08 <pikhq> Hmm... Imagine a compiler that emits an asm sequence that looks innocuous, but ends up actually running at a one byte offset from each of the instructions and does something malicious.
08:16:18 <pikhq> Admittedly only really practical on x86.
08:16:59 <myname> no problem, every other architecture should just qemu
08:17:31 <pikhq> No, qemu, an IEEE double is not a valid implementation of x87 floats.
08:17:45 <pikhq> shachaf: Fairly okay. Not much news of note though.
08:18:23 -!- jaboja has quit (Ping timeout: 244 seconds).
08:18:30 <shachaf> x87 should use 87-bit floats
08:18:37 <pikhq> Somewhat irritated by a "I will definitely get back to you on Tuesday" that I still haven't heard back from.
08:28:55 -!- TellTogos has joined.
08:31:17 -!- jaboja has joined.
08:43:30 <lifthrasiir> shachaf: what's a difference with x86 then?
08:44:03 <lambdabot> Not in scope: ‘shachaf’Not in scope: ‘x87’Not in scope: ‘should’ Not in s...
08:44:03 <lambdabot> Perhaps you meant ‘float’ (imported from Text.PrettyPrint.HughesPJ)
08:44:19 <lifthrasiir> | probably I should use this kind of quotation then
09:15:37 -!- xkapastel has quit (Quit: Connection closed for inactivity).
09:22:23 -!- clog has joined.
09:28:21 -!- Melvar` has changed nick to Melvar.
09:32:06 <fungot> Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ .
09:37:27 -!- jaboja has quit (Remote host closed the connection).
09:41:37 <lifthrasiir> make a bot with prefix of `I`, and you will be kicked
09:45:26 -!- Cale has quit (Ping timeout: 276 seconds).
09:54:43 <b_jonas> "x87 should use 87-bit floats" eww
09:57:39 -!- Cale has joined.
09:59:27 <fizzie> Similarly to how x86 should have 86-bit GPRs.
10:17:00 <b_jonas> fizzie: and nintendo-64 should have a 64-bit cpu
10:27:59 <shachaf> fizzie: Did the 486 have ~486-bit cache lines?
10:32:29 -!- jaboja has joined.
10:32:31 <fizzie> Well... it's the 80486, and that's a lot of bits.
10:52:53 -!- AnotherTest has joined.
10:57:36 -!- [SkindoO] has joined.
11:05:26 -!- Melvar` has joined.
11:08:38 -!- Melvar has quit (Ping timeout: 276 seconds).
11:09:12 -!- [SkindoO] has quit (Quit: A friend is one who comes in when the whole world has gone out.).
11:18:42 -!- Melvar`` has joined.
11:19:47 -!- Melvar` has quit (Ping timeout: 260 seconds).
11:24:03 -!- AnotherTest has quit (Ping timeout: 276 seconds).
11:25:21 -!- Melvar`` has quit (Ping timeout: 276 seconds).
11:29:50 -!- Melvar`` has joined.
11:32:11 -!- boily has joined.
11:34:22 -!- Melvar`` has quit (Ping timeout: 260 seconds).
11:34:50 -!- jaboja has quit (Ping timeout: 260 seconds).
11:35:11 -!- Melvar`` has joined.
11:36:32 -!- Melvar has joined.
11:40:05 -!- Melvar`` has quit (Ping timeout: 260 seconds).
11:41:15 -!- Melvar has quit (Ping timeout: 260 seconds).
11:42:41 -!- Melvar has joined.
11:52:02 -!- augur has quit (Read error: Connection reset by peer).
11:52:37 -!- augur has joined.
12:00:04 -!- jaboja has joined.
12:25:17 -!- boily has quit (Quit: PERFORATED CHICKEN).
12:25:24 -!- Melvar` has joined.
12:27:33 -!- Melvar has quit (Ping timeout: 240 seconds).
12:29:21 -!- Akaibu has joined.
12:37:09 -!- Melvar`` has joined.
12:37:21 -!- Froox has joined.
12:37:35 -!- Froox has quit (Client Quit).
12:38:11 -!- Froox has joined.
12:38:54 -!- Melvar` has quit (Ping timeout: 250 seconds).
12:39:42 -!- Frooxius has quit (Ping timeout: 260 seconds).
12:52:02 -!- AnotherTest has joined.
13:07:03 -!- sebbu has quit (Ping timeout: 240 seconds).
13:08:45 -!- jaboja has quit (Ping timeout: 246 seconds).
13:15:06 -!- sebbu has joined.
13:16:58 -!- sebbu has quit (Remote host closed the connection).
13:19:03 -!- sebbu has joined.
13:29:09 -!- TellTogos has changed nick to TellsTogo.
13:35:12 -!- tromp_ has joined.
13:36:27 -!- tromp_ has quit (Remote host closed the connection).
13:36:57 -!- tromp_ has joined.
13:38:01 -!- jaboja has joined.
13:51:05 -!- noloveinwaikiki has quit (Quit: Connection closed for inactivity).
14:00:25 -!- Melvar`` has quit (Ping timeout: 244 seconds).
14:01:25 -!- xkapastel has joined.
14:05:57 -!- centrinia has joined.
14:07:23 -!- Melvar has joined.
14:09:26 -!- idris-bot has joined.
14:09:33 -!- Sgeo has quit (Ping timeout: 240 seconds).
14:14:25 -!- oerjan has joined.
14:39:24 -!- tromp_ has quit (Remote host closed the connection).
14:43:20 -!- ybden has joined.
14:52:38 -!- `^_^v has joined.
14:54:28 -!- spiette has joined.
14:56:52 <HackEgo> [wiki] [[Special:Log/newusers]] create * Bakman329 * New user account
14:57:26 -!- MDream has changed nick to MDude.
15:15:15 -!- Cale has quit (Quit: Leaving).
15:15:22 -!- Cale_ has joined.
15:17:16 <HackEgo> [wiki] [[ListLang]] N https://esolangs.org/w/index.php?oldid=47043 * Bakman329 * (+803) Created page with "{{infobox proglang |name=ListLang |paradigms=imperative |author=[https://github.com/bakman329 Bakman329] |year=[[:Category:2016|2016]] |memsys=stack-based |dimensions=one-dime..."
15:23:34 -!- AnotherTest has quit (Ping timeout: 250 seconds).
15:25:38 -!- jaboja has quit (Remote host closed the connection).
15:32:20 -!- spiette has quit (Quit: :qa!).
15:33:15 -!- spiette has joined.
15:53:29 -!- lambda-11235 has joined.
15:54:20 -!- AnotherTest has joined.
16:05:34 -!- TellsTogo has quit (Quit: Page closed).
16:14:28 -!- bender has joined.
16:14:54 <HackEgo> [wiki] [[Chance]] N https://esolangs.org/w/index.php?oldid=47044 * M654 * (+2683) Created page with "{{infobox proglang |name=Chance |paradigms=imperative |author=[[User:M654|m654]] |year=[[Category:2016|2016]] |typesys= |memsys=tape-based |refimpl=[https://github.com/m654z/C..."
16:16:18 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=47045&oldid=47040 * M654 * (+13)
16:16:37 <HackEgo> [wiki] [[User:M654]] https://esolangs.org/w/index.php?diff=47046&oldid=47039 * M654 * (+18)
16:25:10 -!- oerjan has quit (Quit: Later).
16:35:56 -!- bender__ has joined.
16:36:04 -!- tromp_ has joined.
16:40:08 -!- bender has quit (Ping timeout: 276 seconds).
16:40:30 -!- tromp_ has quit (Ping timeout: 260 seconds).
16:44:32 -!- bender__ has changed nick to bender.
16:48:28 -!- erdic has quit (Ping timeout: 252 seconds).
16:48:57 -!- xenthree3 has joined.
16:48:58 -!- xenthree3 has left.
16:51:15 -!- erdic has joined.
17:00:34 <fizzie> "Note: Wikipedia categories can be quite unintuitive and much broader than you expect. For example, every human is included in the category /applied ethics/ because humans are in /people/ which is in /personhood/ which is in /issues in ethics/ which is in /applied ethics/."
17:09:56 <nortti> for me it seems they should probably have "people" as in list of people in personhood
17:40:00 -!- bender has quit (Ping timeout: 260 seconds).
17:40:23 -!- tromp_ has joined.
17:44:33 -!- tromp_ has quit (Ping timeout: 240 seconds).
17:52:23 -!- Melvar` has joined.
17:52:56 -!- idris-bot has quit (Ping timeout: 276 seconds).
17:54:21 -!- Melvar has quit (Ping timeout: 246 seconds).
18:07:23 -!- spiette has quit (Ping timeout: 244 seconds).
18:32:33 -!- idris-bot has joined.
18:32:43 -!- Melvar` has changed nick to Melvar.
18:33:00 -!- Sprocklem has joined.
18:43:32 -!- Cale_ has changed nick to Cale.
18:56:54 -!- hppavilion[1] has joined.
19:08:12 -!- TellsTogo has joined.
19:16:50 -!- centrinia has quit (Ping timeout: 260 seconds).
19:26:30 -!- FireFly has quit (*.net *.split).
19:26:30 -!- APic has quit (*.net *.split).
19:26:44 -!- APic has joined.
19:27:25 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
19:28:39 -!- FireFly has joined.
19:31:05 -!- hppavilion[1] has joined.
19:31:06 -!- lynn has quit (Ping timeout: 276 seconds).
19:35:18 -!- lynn has joined.
19:35:41 -!- lynn has changed nick to Guest65370.
19:38:20 -!- hwpplayer1 has joined.
19:41:55 -!- tromp_ has joined.
19:46:03 -!- tromp_ has quit (Ping timeout: 240 seconds).
19:48:00 -!- Phantom_Hoover has joined.
20:02:48 -!- Kaynato has joined.
20:08:36 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
20:09:28 -!- hwpplayer1 has quit (Remote host closed the connection).
20:14:42 -!- Kaynato has quit (Ping timeout: 246 seconds).
20:16:28 -!- Guest65370 has changed nick to lynnnnn.
20:57:54 -!- TellsTogo has quit (Ping timeout: 250 seconds).
21:12:58 <b_jonas> I went shopping today and bought myself a new surge protector,
21:13:25 <b_jonas> and my grandmother a grandmaphone, at least I hope it is one, I'm going to charge its battery then test it live now to see if it is.
21:15:19 <shachaf> I don't think grandmaphones usually have batteries.
21:15:36 <b_jonas> shachaf: what? how would they work otherwise?
21:15:54 <shachaf> You wind them up, don't you?
21:16:14 <b_jonas> they need power for the mobile phone reception and for the light
21:16:34 <shachaf> Mobile phone reception? For playing records?
21:17:10 <b_jonas> what? it doesn't only play records, it works as a mobile phone but with a saner interface
21:18:13 <b_jonas> I installed the surge protector, and also tested what else is on the same fuse as the computer (the cable modem is, as well as two ceiling lamps).
21:18:16 <shachaf> It plays records and works as a mobile phone?
21:18:25 <shachaf> Doesn't seem like it'd be all that mobile.
21:18:28 <b_jonas> shachaf: it primarily works as a mobile phone
21:18:53 <b_jonas> I think it might play mp3 music from its sd card, but I'm not sure about that part and don't much care
21:19:51 <b_jonas> it doesn't play any sort of rotating disks
21:20:11 <shachaf> Then it's not much of a grammaphone, is it?
21:20:28 <b_jonas> shachaf: it's a grandmaphone (I hope), definitely not a grammophone
21:21:10 <shachaf> I mean "You mean not a gramophone?".
21:21:19 <izabera> yeah one of those huge cellphones with large keys
21:21:20 <shachaf> I assume a grandmaphone combines the best features of gramophones and grandmas.
21:21:27 <izabera> and an emergency button for when they're having a stroke
21:22:13 <b_jonas> izabera: I think this one doesn't have an emergency button (you just dial 112 and press the green button, that's the GOOD interface because it works on every phone there is)
21:23:26 <b_jonas> ah, it does have an emergency button apparently
21:24:26 <b_jonas> izabera: 112 is the all-purpose general emergency number, in most of Europe these days
21:24:44 <b_jonas> izabera: it's handled by the police because they're the best equipped to serve as a call center these days
21:24:57 <shachaf> b_jonas: Isn't that too easy to accidentally dial on rotary phones?
21:25:03 <shachaf> Which I assume a grandmaphone is.
21:25:30 <izabera> shachaf: iirc people used to lock up rotary phones so that you couldn't deal most numbers
21:25:35 <b_jonas> as in, if you need some other sort of emergency, they can call it, but if you can't communicate properly or doing prank calls, then it's best to get the police to know about it rather than the other emergency services
21:25:47 <b_jonas> shachaf: no, it's not a rotary phone. rotary phones are almost extinct these days.
21:25:51 <izabera> and that's why 112 113 and emergency numbers use low digits
21:26:02 <shachaf> Which is why only grandparents use them.
21:26:23 <b_jonas> shachaf: maybe, but in any case this isn't a rotary phone, it's a mobile phone
21:26:26 <izabera> don't have a landline anymore though
21:26:38 <b_jonas> and 112 is easy to dial, even on a mobile phone, but not TOO easy, and this is a feature
21:26:53 <b_jonas> you should be able to dial it quickly even without looking, or to dial it on an unfamiliar phone
21:28:21 <shachaf> whoa whoa whoa, apparently 112 even works in North America.
21:28:46 <b_jonas> shachaf: yes, and very likely 911 works here too. those are undocumented features that hopefully exist.
21:29:14 <b_jonas> shachaf: all the old emergency numbers _should_ work too, and I hope they do
21:29:46 <b_jonas> but 112 is the recommended one, and the one that definitely works
21:29:51 <izabera> what happens if i dial 911 for testing purposes?
21:30:05 <izabera> like do they arrest me for disrupting a public service?
21:30:09 <b_jonas> izabera: you should then talk to the operator and explain why you did it
21:30:23 <b_jonas> izabera: if you do it only once and do talk with them, they probably won't arrest you, they have some grace
21:30:25 <shachaf> In .il, you dial 100 for the police, 101 for an ambulance, and 102 for the fire department.
21:30:45 <b_jonas> shachaf: wait, are you asking about you in particular? they will arrest _you_
21:30:55 <shachaf> b_jonas: What? I wasn't even asking.
21:32:21 <shachaf> And why are you saying I'm not normal?
21:32:29 <shachaf> I mean, is that intended as some sort of insult?
21:33:32 -!- lynnnnn has changed nick to lynn.
21:33:43 -!- lynn has quit (Changing host).
21:33:43 -!- lynn has joined.
21:33:43 -!- lynn has quit (Changing host).
21:33:43 -!- lynn has joined.
21:33:54 <pikhq> shachaf: Yes, GSM networks in the US IIRC are required to accept pretty much any emergency number and map them to 911.
21:34:34 -!- gamemanj has joined.
21:34:43 <shachaf> doesn't have the same feel to it hth
21:35:15 <shachaf> pikhq: You should send that person an angry email about how it's Thursday and how dare they.
21:36:27 <pikhq> And relatedly, cell phone networks in the US are required to accept emergency calls no matter if it's from a paying subscriber or not...
21:36:31 <pikhq> Which is fairly nice.
21:37:42 <pikhq> (... also, phone companies aren't allowed to disconnect physical phone service, just change 'em to 911-only)
21:40:45 -!- Melvar` has joined.
21:42:04 -!- Melvar has quit (Disconnected by services).
21:42:07 -!- Melvar` has changed nick to Melvar.
21:42:12 -!- idris-bot has quit (Ping timeout: 276 seconds).
22:01:48 -!- gamemanj has quit (Ping timeout: 250 seconds).
22:06:42 -!- `^_^v has quit (Ping timeout: 260 seconds).
22:06:53 -!- `^_^ has joined.
22:13:49 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:16:33 -!- nycs has joined.
22:17:34 -!- `^_^ has quit (Ping timeout: 260 seconds).
22:30:36 <\oren\> i want a c++ compiler that emits c
22:31:53 <shachaf> I want a C++ compiler that omits C.
22:31:56 -!- Sgeo has joined.
22:32:22 <Taneb> shachaf, a ++ compiler?
22:32:29 <\oren\> shachaf: how about both
22:33:52 <shachaf> C isn't a good intermediate language.
22:34:03 <Taneb> It should emit C# instead
22:34:04 -!- hppavilion[1] has joined.
22:34:44 <\oren\> c is the most portable one
22:34:46 <pikhq> C is especially a bad intermediate language when you have ABI concerns around.
22:34:56 <shachaf> Taneb: How'd you do on Galois theory?
22:35:01 <Taneb> shachaf, well enough?
22:35:08 <pikhq> I'm pretty sure you can't meet typical C++ ABI with C output.
22:35:26 <Taneb> I couldn't figure out how to prove that pi/9 is an unconstructible angle
22:35:28 <shachaf> No, of course you'd need your own name mangling etc.
22:35:55 <pikhq> And global constructors wouldn't work well.
22:36:10 <\oren\> is there a standard for name mangling yet?
22:37:11 <shachaf> Taneb: Maybe Galois practice will be more successful.
22:38:40 <\oren\> hmm what about a c++ to GObject compiler
22:39:01 <\oren\> or is that a really evil idea
22:43:48 -!- tromp_ has joined.
22:48:10 -!- tromp_ has quit (Ping timeout: 250 seconds).
22:58:16 <HackEgo> [wiki] [[Unreadable]] https://esolangs.org/w/index.php?diff=47047&oldid=46971 * Timwi * (-6) update link to Esoteric IDE
22:59:01 -!- nycs has quit (Quit: This computer has gone to sleep).
23:02:10 -!- `^_^v has joined.
23:05:13 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
23:09:26 -!- poq has joined.
23:11:33 <poq> where elliot and ion?
23:11:51 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:12:05 <Taneb> poq, I haven't seen either of them in a long while
23:12:19 <poq> ;[ k ty Taneb
23:12:32 * poq :-* to the wind
23:12:36 <shachaf> Taneb: You're in several channels with ion, at least.
23:12:46 -!- poq has left.
23:12:48 <Taneb> shachaf, I don't pay attention
23:13:01 <Taneb> Strictly speaking, I've never actually *seen* either of them
23:13:25 <shachaf> I assume everyone in Hexham has seen everyone else in Hexham.
23:13:50 <Taneb> elliott was a hermit and I didn't go out much
23:14:26 <HackEgo> Hexham es la ciudad mas importante de programación esotérico
23:15:38 -!- xkapastel has quit (Quit: Connection closed for inactivity).
23:18:40 -!- boily has joined.
23:19:51 <HackEgo> "Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist.
23:20:33 <shachaf> boily is a renowned Capitalist?
23:20:41 <quintopia> amazing that this bio includes no mention of portmantelleau
23:21:48 <HackEgo> shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. The unit of fun punnery is named after him.
23:22:24 <quintopia> i think i'm the least quirky person
23:22:42 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quintopia: not found
23:22:46 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?quintopia: not found
23:22:54 <HackEgo> quintopia is our resident tl;dr generator. He is flooded by thundercats and thunderdogs. He is the temporal antipode of boily despite living on the same continent.
23:24:37 <shachaf> Oh, disliking bell peppers makes you quirky now?
23:24:44 <HackEgo> Your retired mysterious evil cackling overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who mildly dislikes Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker.
23:25:19 <shachaf> `` sed -i 's/l\./l with a passion./' wisdom/oerjan
23:25:21 -!- hppavilion[1] has joined.
23:25:39 <shachaf> Well, ask Fiora what that's about.
23:27:27 <boily> I wonder if she'll ever come back to the chännel...
23:27:56 <boily> bell peppers are delicious.
23:36:46 <shachaf> `` sed -i s/ante/anti/ wisdom/oerjan
23:37:27 <boily> hppavellon[1]. what about it?
23:37:40 <hppavilion[1]> boily: It looks like xkcd isn't the webcomic is should go in
23:37:53 <shachaf> :33 < bell peppers are the worst invention in culinary hisstory
23:38:34 <Taneb> shachaf, it's not the weekend yet
23:38:50 <Phantom_Hoover> hppavilion[1], i think randall's moving into totally batshit surreal humour
23:40:02 <Taneb> shachaf, by "it" I was using the impersonal pronoun, to state that the current day is neither Saturday nor Sunday
23:40:11 <shachaf> Taneb: Oh, I follow. The :33 thing.
23:40:23 <shachaf> Does that constitute a costume?
23:40:40 <boily> Taneb and shachaf are making as much sense as fungot...
23:40:40 <fungot> boily: in 5min that is, play stupid and violent games on a 3x3 array of lcd monitors
23:40:42 <Taneb> Seeing as I only see you online, I think so
23:41:02 <shachaf> Taneb: Well, I've invited you to California multiple times.
23:41:15 <shachaf> If nothing else, to take a big pile of Magic: The Gathering cards off my hands.
23:41:25 <Taneb> shachaf, alas, I cannot afford travel
23:41:36 <shachaf> Just interview at some company and have them fly you over.
23:41:45 <Taneb> And paying to travel to California specifically to take your Magic cards would violate my oath
23:41:46 <Phantom_Hoover> is the sale value of the mtg cards greater than the cost of the flights
23:42:14 <shachaf> It might be in a few decades.
23:42:27 <shachaf> But I can't guarantee to keep the offer open until then.
23:43:05 <Taneb> Also applying for a job interview in the US would violate my other oath
23:43:11 <Taneb> I have only two oaths
23:43:28 <Taneb> 1) not to spend money on Magic: the Gathering; 2) not to work in the US
23:43:57 <shachaf> Obviously you would travel for other reasons.
23:44:06 <shachaf> Why did you swear not to work in the US?
23:44:15 <boily> we're having another guild tournament this summer at the office. I got Gruul this year ^^
23:44:27 <fizzie> I'm pretty sure companies (at least usually) won't actually force you to become an employee even if you interview.
23:44:55 <fizzie> So you can have your all-expenses-paid interview trip, and then just cordially decline their offer.
23:45:14 <Taneb> boily, I'm just worried about living in a country that has no national healthcare and high firearms ownership
23:45:19 <Taneb> fizzie, hmm, that is a point
23:45:30 <shachaf> Yes, of course I didn't mean you'd accept the offer.
23:45:51 <fizzie> Just don't pick companies with too many international offices, like I did. I only got to visit London and Aachen.
23:46:07 <Taneb> Being forced to visit London
23:46:23 <shachaf> Taneb: Well, what if you live in a country with no national healthcare but you make a lot of money?
23:46:34 <boily> Taneb: you should canada. we have healthcare! and meese!
23:46:43 <Taneb> shachaf, it'd be ideologically wrong
23:46:47 <Taneb> boily, far more tempting
23:46:56 <Taneb> shachaf, working in Canada
23:48:05 <shachaf> You could go work in Vancouver and visit the US on weekends to cosplay Karkat Vantas.
23:48:31 <Taneb> That is one option
23:48:36 <boily> East Coast Best Coast.
23:49:03 <Taneb> Although I find you suggesting that I visit your country to cosplay a character Nepeta Leijon had a crushs on... suspect
23:49:21 <Taneb> I was born on the east coast!
23:49:30 <shachaf> Taneb: I had to check my Shipping Wall.
23:49:36 <shachaf> i,i shipping and handling wall
23:50:14 <boily> virtual, or corkboard with printed photos of every character, with coloured strings pinned between them?
23:50:53 <Taneb> boily, painted in blood on a cave wall, I believe
23:52:21 <Taneb> shachaf, the one in England
23:52:27 <shachaf> Maybe you should move to the US and start a revolution.
23:52:45 <fizzie> Finland doesn't even have an east coast.
23:53:34 <shachaf> fizzie: If I remember correctly Google does EMEA SRE interviews in ZRH?
23:53:36 <boily> fizzie: you lack ambition. conquer Russia!
23:53:46 <shachaf> They should let you do them wherever you want.
23:54:01 <shachaf> How else are you supposed to travel to the US?
23:54:20 <fizzie> shachaf: I think I've heard something like that as well. And, well, I think you're supposed to travel to the US by accepting the offer.
23:54:37 <shachaf> fizzie: Well, it's too late by that point.
23:54:51 <fizzie> I have a visit to Cambridge, MA and Chicago, IL in August, incidentally.
23:55:22 <fizzie> No, that'd have been a bit too much.
23:55:34 <shachaf> What! You can't not go to MTV.
23:56:12 <fizzie> I think I'm pretty capable of not going there, I've successfully not gone for a while now.
23:56:49 <shachaf> Which makes it all the harder to avoid this time.
23:57:50 <fizzie> Everyone else I have anything to do with will either be coming from MTV to Chicago (it's a summit kind of thing) or is in Cambridge.
23:58:05 <Taneb> ...it's concievable I've been to Mountain View
23:58:10 <shachaf> So you're all going to get drunk?
23:58:15 <Taneb> I've definitely been to CA when I was very small
23:58:26 <fizzie> I skipped last year's, but that sounds plausible.
23:58:41 <fizzie> Some people are coming from MTV by train.
23:58:56 <fizzie> Apparently there's a scenic way to come by train.
23:59:02 <shachaf> fizzie: Which people? You should mention that in #trains.
23:59:13 <shachaf> There's at least one person who works at the Cambridge office there.
23:59:58 <Taneb> ...looking at where I remember going in CA