00:01:32 I've possibly forwarded you the most recent confirmation email, and it may be that later emails would be accepted now that I've switched the mailname. 00:03:53 nothing's arrived yet, but email can be slow anyway 00:03:55 I'll wait a while 00:04:06 -!- tromp has joined. 00:05:31 According to *my* mail server, it was "250 2.0.0 Ok: queued as ADD20E25B" by nethack4.org. It'll be from me. Might look spammy for all I know. 00:06:59 fizzie: ah, got it now 00:07:07 your forward 00:07:09 at least 00:07:53 not counting the spam dated next tuesday, though, I haven't had any email go to the spam folder for half an hour 00:09:08 -!- tromp has quit (Ping timeout: 272 seconds). 00:38:41 -!- oerjan has joined. 00:45:22 dr_ais523: So where can i download Your Dissertation? ☺ 00:45:41 APic: http://etheses.bham.ac.uk/6120/1/Smith15PhD.pdf 00:45:59 Thanks Mate! 00:49:39 -!- dr_ais523 has quit. 00:50:12 -!- dr_ais523 has joined. 01:05:49 -!- tromp has joined. 01:08:04 -!- hppavilion1 has joined. 01:09:10 IMHO, HTML is reaching the point of being outdated. I think I'll make a new-and-improved advanced markup language designed for browsers. It'll never be used, but it'll be fun to make. 01:09:39 -!- dr_ais523 has quit. 01:09:46 -!- tromp has quit (Ping timeout: 240 seconds). 01:09:56 -!- dr_ais523 has joined. 01:14:32 -!- Lord_of_Life has quit (Excess Flood). 01:15:39 -!- dr_ais523 has quit. 01:16:11 -!- dr_ais523 has joined. 01:17:06 -!- Lord_of_Life has joined. 01:17:39 𐐝 01:18:23 <\oren\_> oh its god damn tmux fucking up unicide <-- no problems with that character with tmux + irssi here 01:18:48 it looks like a square to me 01:18:54 but not an "I don't understand this" square 01:18:57 @tell \oren\_ <\oren\_> oh its god damn tmux fucking up unicide <-- no problems with that character with tmux + irssi here 01:18:57 Consider it noted. 01:19:01 `unidecode 𐐝 01:19:03 ​[U+1041D DESERET CAPITAL LETTER ES] 01:19:10 oh, presumably it's just not in my font 01:19:31 i suppose technically it's a little cut off on the right. 01:20:07 dr_ais523: i guess i should say congrats! 01:20:23 thanks 01:20:57 oerjan: are you dr_oerjan? 01:21:06 in theory. 01:21:34 when i look for information about oerjan i find information about his pal instead 01:21:52 "I treated myself with MDMA and psychedelics (Pål’s story)" 01:25:14 . o O ( "dr" is short for "dabbling researcher" ) 01:27:07 all those ligatures in the topic don't show up to me, though :( 01:28:01 surprisingly they do work in my combination (xterm with "fixed" font; ssh; screen; irssi) 01:29:24 oh wait some of them work 01:29:27 Here's what they render as for me, by the way: http://xen.firefly.nu/up/2015-12-13_022910.png 01:29:36 that st ligature looks ridiculous in this font 01:29:39 fl and fi 01:29:45 because the s is ligaturing onto the top of the t 01:29:53 it'd fit better connecting to the left of the crossbar 01:30:19 Yeah, I think that is how the st ligature usually works 01:30:30 or with a fancy swirl to latch onto the top 01:30:34 why even ligate it if you're going to do that? 01:30:42 it doesn't make it more condensed, just stupider 01:31:07 I'm not sure.. style? 01:31:22 But it does seem rather pointless 01:31:29 http://int-e.eu/~bf3/tmp/effi.png 01:31:53 I guess it's a ligature because it's a common digraph, maybe. A bit like how & stems from an 'et' ligature 01:32:20 then why isn't there a th ligature? 01:32:28 quite legible given a 6 pixel width... 01:32:29 I was testing out azip again recently in another channel 01:32:43 and noticed that it had compressed "github" as "[g][i][th][u][b]" 01:32:44 Good question, th would be a good candidate I guess 01:32:57 What is azip? 01:33:46 a compression algo I was working on ages ago 01:33:59 by the end it was beating bz2 for my test programs, but losing to lzma 01:34:07 but it "grew up" in #esoteric 01:34:20 I see 01:34:24 -rw-r--r-- 1 ais523 ais523 38107 Oct 23 2010 azip.c 01:34:31 what is the overall design like? 01:34:37 also, I had the harrowing experience of looking at my own five-year-old code, and discovering that it was actually quite readable 01:34:41 which isn't supposed to happen 01:34:45 Haha 01:34:57 but basically it recursively defines new "letters" in terms of pairs of other letters 01:35:08 then eventually once it's got a large enough dictionary of letters, uses them to write out the output 01:35:21 in that example, it was using "th" as a definition and the other five letters raw 01:35:55 I came across a compression algorithm that worked like that last summer 01:36:06 I think, unless I misunderstood something. I'll find it 01:37:52 https://en.wikipedia.org/wiki/Byte_pair_encoding Like this? 01:38:38 FireFly: the differences are that a) I do it recursively (so some of the "letters" can end up really long); b) I can go well over 255 letters used 01:38:55 ah, it mentions the recursive use too 01:39:04 so it's basically that principle except that I don't have to waste a whole 8 bits per letter 01:39:22 I reversed a compression format using that encoding... it was.. interesting 01:39:33 -!- ent0nces has joined. 01:39:36 Pretty hard to follow what was going on since not much at all was legible 01:39:46 (I was studying compressed plaintext) 01:39:47 it uses a kind of "pre-calculated" huffman encoding where the frequency of each letter's assumed to be proportional to the cube root of the order in which it appears in the input 01:39:55 compressed English text, that is 01:40:14 but yes, I'd say azip's an evolved version of that algo 01:40:38 there are various improvements that you can make withotu changing the decompressor, in general it's quite amenable to the use of "better" compressors 01:40:59 That's always a nice property 01:41:02 it figured out how to write a modulus even without me telling it that the modulus operation existed <-- so you're saying it's ssapient? 01:41:21 oerjan: no, it was just an accumulation of small optimization rules 01:41:23 the way I like it 01:41:44 admittedly "x - ((x / y) * y)" doesn't really roll of the tongue 01:41:52 oerjan: is boily's mapole sapient? 01:42:47 shachaf: of course, that's why every mapole comes with a syrup bucket 01:43:11 that seems a bit problematic 01:43:47 is the mapole made of maple? 01:43:53 `? mapole 01:43:54 A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. A regulatory mapole measures 6' by 12 kg, ±0.5 inHg. 01:44:04 only if you forget to collect it for too long 01:44:12 fair enough 01:44:16 it's a sweet deal 01:47:41 I see 01:48:02 a man, a plan, a mapole 01:48:15 hmm, that isn't a palindrome 01:48:16 a man with a plan and a mapole. 01:49:38 I'm not sure how to complete it to a palindrome, either. 02:00:19 -!- ent0nces has quit (Read error: Connection reset by peer). 02:00:56 -!- ent0nces has joined. 02:01:29 [wiki] [[GOTO++]] http://esolangs.org/w/index.php?diff=45862&oldid=43954 * Tuzepoito * (+3167) Update and cleanup 02:04:45 -!- tromp has joined. 02:07:39 -!- dr_ais523 has quit. 02:08:55 -!- tromp has quit (Ping timeout: 240 seconds). 02:11:40 -!- ent0nces has quit (Read error: Connection reset by peer). 02:12:23 -!- ent0nces has joined. 02:13:25 Now they say they will add the colorless mana symbol {C} which can be paid only by colorless mana, and the corresponding basic land which has no subtype and does not count as a "traditional" basic land. Maybe they would tought of it when changing the chaos symbol to {CHAOS} instead of just {C}? 02:13:44 -!- jaboja has quit (Ping timeout: 250 seconds). 02:13:59 zzo38: Where do they say that? 02:14:37 That is what I read recently today 02:17:44 -!- dr_ais523 has joined. 02:19:42 Sounds rather confusing to me 02:25:45 It's interesting how DataBASEs follow ACID 02:26:16 (Or is it BASE? I know that both ACID and BASE are used, one as a replacement for the other, but I'm not sure which is which) 02:27:59 zzo38: Where did you read it? 02:30:39 "Eventually consistent services are often classified as providing BASE (Basically Available, Soft state, Eventual consistency) semantics, in contrast to traditional ACID (Atomicity, Consistency, Isolation, Durability) guarantees." - thanks, hadn't heard of BASE before. 02:32:38 I often have problems trying to remember what ACID stands for 02:32:46 SQLite's docs strongly imply that the I is for Integrity, fwiw 02:32:49 without outright stating that 02:34:24 I also have trouble remembering it, and I think it even was an exam question on the exam in our databases course 02:34:39 Though I think it was multiple-choice, so it wasn't too bad to figure out which one was correct 02:35:24 the ones that started with letters other than A, C, I, and D were presumably wrong? 02:36:01 apparently, integrity is part of consistency... 02:36:21 They all did :P, but I think they changed all of the words between each choice 02:38:13 even the sqlite docs... "The pager module is responsible for making SQLite "ACID" (Atomic, Consistent, Isolated, and Durable)." 02:38:13 -!- ent0nces has quit (Read error: Connection reset by peer). 02:38:43 So everyone agrees! 02:38:50 -!- ent0nces has joined. 02:41:37 -!- ent0nces has quit (Read error: Connection reset by peer). 02:42:29 -!- ent0nces has joined. 02:42:42 -!- mauris_ has quit (Read error: Connection reset by peer). 02:46:06 -!- andrew_ has joined. 02:47:39 -!- dr_ais523 has quit. 02:47:46 -!- hppavilion1 has quit (Ping timeout: 240 seconds). 02:48:38 -!- dr_ais523 has joined. 02:52:25 -!- andrew_ has quit (Remote host closed the connection). 02:54:22 -!- andrew_ has joined. 02:59:24 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:03:35 -!- dr_ais523 has quit. 03:05:44 -!- dr_ais523 has joined. 03:28:04 -!- ent0nces has quit (Read error: Connection reset by peer). 03:29:05 -!- ent0nces has joined. 03:29:41 <\oren\_> I'm home! 03:29:57 -!- FireFly has quit (Remote host closed the connection). 03:30:02 <\oren\_> oh, ais523 is a doctor now! 03:30:08 yes 03:31:17 <\oren\_> congratulations! 03:31:43 -!- FireFly has joined. 03:31:51 -!- FireFly has quit (Changing host). 03:31:51 -!- FireFly has joined. 03:37:35 <\oren\_> dr_ais523: your nethack 4 website needs to be updated to Dr. PhD 03:37:56 not so much "needs" I think 03:38:06 I'm not sure if I'm going to officially change my name in all the places that already have it 03:38:10 most likely I'll just use it on new things 03:38:43 Being a doctor is pretty fancy 03:38:45 Congratulations 03:41:42 this has probably not in of itself made me better at esolangs 03:41:51 but I have revived my interest in esolangs at much the same time 03:42:04 and even persuaded other people to talk about Three Star Programmer (even if I fear it's "too easy") 03:53:50 -!- ent0nces has quit (Read error: Connection reset by peer). 03:54:29 -!- ent0nces has joined. 04:00:27 -!- ent0nces has quit (Read error: Connection reset by peer). 04:01:01 -!- ent0nces has joined. 04:02:50 -!- hppavilion1 has joined. 04:05:39 -!- dr_ais523 has quit. 04:09:51 -!- ent0nces has quit (Read error: Connection reset by peer). 04:10:41 -!- ent0nces has joined. 04:15:45 -!- dr_ais523 has joined. 04:22:59 -!- ^v has joined. 04:25:34 -!- dr_ais523 has quit. 04:29:44 -!- dr_ais523 has joined. 04:32:31 -!- ent0nces has quit (Read error: Connection reset by peer). 04:33:12 -!- ent0nces has joined. 04:36:22 -!- tromp has joined. 04:40:35 -!- tromp has quit (Ping timeout: 240 seconds). 04:43:39 -!- dr_ais523 has quit. 04:51:45 -!- dr_ais523 has joined. 05:17:09 Yay! 05:17:18 I have a lexer working for PyDB! 05:17:25 For the DB software I'm developing! 05:18:41 I have a website up usually where you can test it out. Unfortunately, I'm not at a place where I can properly forward the ports. 05:19:48 I think there might be a horrible bug that allows people to view any file on my computer (the ".." bug) 05:19:59 Unfortunately, I think firefox prevents you from testing it. 05:20:29 Then use netcat to test it 05:23:57 OK, probably fixed it 05:24:03 zzo38: Yeah. Windows. Remember? 05:24:15 You can use netcat on Windows too. 05:24:33 (Although, it is not built-in, so you have to install it separately if you are on Windows) 05:25:00 zzo38: I prefer to just fix it in case it works. 05:25:08 PyDB is stack based :) 05:25:15 "John" "first_name" COLUMN = ALL "users" DB SELECT 05:25:52 That finds users with first name "John" in your "users" DB and returns them 05:26:57 <\oren\_> hppavilion1: NICE 05:27:03 If you post the codes then we can download and execute this program and see its working 05:27:22 zzo38: What part of the program? 05:27:26 The server or the DB? 05:27:35 The DB is just a lexer so far. 05:27:51 The DB, once you make it enough (not quite yet) 05:28:16 If you mean the DB, I have something better (except right now, when I can't port forward): In-browser interaction 05:28:46 After every new version of the 'terp, there's a form where you can enter code and it will executed it and output it to a box on the bottom right of the screen 05:28:59 Of course, I suppose I already said that 05:29:19 And it's possible you meant post the code because there's no other way for you to see it 05:29:20 No I would prefer to run it outside of the browser, it is a better way 05:29:25 Ah 05:29:25 OK 05:29:42 Although, you don't have to post it yet; first make work more on it so that it is working better. 05:30:01 zzo38: Do you mean you'd prefer to download it and run it yourself, or would you prefer some API docs to connect to my computer? 05:30:54 The API is simple: Just send a multipart/formdata post request to the server with the "commands" entry equivalent to the command you wish to send. 05:31:05 Now that I think about it, that might be a shit way to do it 05:31:15 But it integrates well with the setup I have right now 05:31:22 It returns the output as plain text 05:31:34 To run it by myself would work best, although API would be suitable when wanting to access the data remotely. 05:31:35 -!- dr_ais523 has quit. 05:31:45 (If there is any suitable data to access remotely!) 05:32:26 (oh, you have to send it to the path terps/ for it to work. version number is like 0.01 (that's the current version), though you use underscores instead of full stops for the subversions) 05:32:53 I'll upload it to github. No personal website (yet!), so that's my best hosting location. 05:33:42 zzo38: Well, I could just pastebin the code when I'm ready. Would you prefer access to the devlog? 05:33:44 -!- dr_ais523 has joined. 05:34:15 If you want the devlog, you need to be running python 3.4 or 3.5 with aiohttp installed, as well as pygments. 05:34:21 dr_ais523: Did you get a doctorate? 05:34:31 yes 05:34:32 * Sgeo is going to be AFK from the 14th to the 25th 05:34:37 * hppavilion1 claps 05:34:38 Yay! 05:34:50 (Not a slow clap, either. Genuine applause) 05:34:53 Sgeo: thanks for letting us know, saves us worrying about you 05:35:27 hppavilion1: there must be some sort of rule about IRC that no matter how hard you try to indicate you aren't being sarcastic, pretty much anything anyone says can be perceived as such 05:35:41 zzo38: So devlog or no devlog? 05:36:24 dr_ais523: I believe that that was Mdr. Hedwig Notta's first discovered theorem; the thing that got him into Chathematics. 05:36:34 dr_ais523, Congratulations! 05:37:11 http://etheses.bham.ac.uk/6120/1/Smith15PhD.pdf for anyone who wants to read the thesis itself (apologies for my university's formatting guidelines) 05:37:12 ( zzo38: the devlog also serves as the docs, for now, so you probably want that. It's just a simple site.) 05:37:30 I concluded that fighting to get the information and structure in there was more important than arguing over the formatting 05:39:14 A wiser man than me 05:39:41 actually the font size is a few fractions of a pixel below what I was supposed to use, but matching it exactly was too hard 05:39:51 I had to get permission from my supervisor, which was mostly getting him to say that he didn't care 05:40:31 (the "you must get permission from your supervisor" rule was apparently written with no backing or means to enforce it, but I'm the sort of person who tends to obey ridiculous rules that aren't actively harmful in the hope that it helps people realise how ridiculous they are) 05:40:35 -!- Welo has joined. 05:43:46 What's not genuine about slow clapping? 05:43:51 I don't need a devlog 05:44:21 I have Python 2.7.3 though, not 3.4, sorry 05:44:55 zzo38: Ah. That would be problematic if you needed it; however, it should be fine. 05:45:14 Though there are no docs besides the devlog. 05:45:24 YET 05:45:54 That's OK; I don't need anything yet. Although once it is much closer to being complete, I would like to see the program 05:46:01 OK 05:46:33 zzo38: I don't think it will run on python 2.7, as it uses a library made for 3.5 that is just barely working on 3.4 05:47:05 It does some async stuff. 05:48:12 I may not even want to execute it, but just to see it. If I do need to execute it I would need to upgrade the package because this package manager says it has only version 3.2 05:49:19 You'll be able to read the HTML file (though not use the interactive updates) without 3.4, but the server itself will need to be run on 3.4 or 3.5. Or, I suppose the backend might run on 2.7 (like, the part that actually does the databasing) and you could use the default behavior (a REPL) to play with it 05:49:36 If you decide to run it, that is. 05:53:39 -!- dr_ais523 has quit. 05:53:41 -!- skarn has quit (Quit: ZNC - http://znc.in). 05:55:24 -!- tromp has joined. 05:55:36 -!- dr_ais523 has joined. 05:59:11 Do you like my proposals for changes of SQLite? 05:59:41 zzo38: I think the SQLite docs link to them 05:59:47 as something that people might want to take into consideration 06:00:32 dr_ais523: How is that? 06:01:11 maybe I'm confusing it with something else 06:01:28 hmm, perhaps yes 06:01:36 can't find it grepping the docs 06:09:05 One of the features I wanted was to allow virtual tables to consume LIMIT and OFFSET clauses in some cases (I wrote a documentation that mentions some of the considerations needed to do this); it seem to me it would be helpful for use with remote data 06:10:23 -!- adu has joined. 06:12:13 There are also some other things that currently only are supported for real tables, and I wrote about some of the considerations for doing with virtual tables, and also a few other things that may be useful for virtual tables, such as batch update support. 06:12:20 -!- mapless has joined. 06:15:39 -!- dr_ais523 has quit. 06:17:43 -!- dr_ais523 has joined. 06:17:44 -!- mapless has changed nick to mapless_away. 06:17:56 -!- mapless_away has changed nick to mapless. 06:21:38 -!- tromp has quit (Remote host closed the connection). 06:27:19 What is your opinion of these kind of idea? 06:28:41 zzo38: it seems like a good idea if you're using virtual tables 06:28:49 so far I haven't needed to though 06:32:39 -!- mapless has changed nick to mapless_away. 06:33:14 -!- mapless_away has changed nick to mapless. 06:39:17 I have written a virtual table module to read RDF data and also one to read JSON data (based on PDJSON); SQLite now includes its own JSON implementation though, which is probably better than mine. But if you want to add virtual tables to access remote data or to manipulate pictures or whatever, then some such new feature might also be useful. 06:39:39 -!- dr_ais523 has quit. 06:40:38 Virtual table can already support consuming MATCH constraints, which can be useful for remote data if the remote service uses its own query syntax for matching strings or text or whatever. 06:43:44 -!- dr_ais523 has joined. 06:52:48 -!- hppavilion1 has quit (Ping timeout: 250 seconds). 06:57:35 -!- dr_ais523 has quit. 06:57:50 -!- dr_ais523 has joined. 06:59:18 -!- hppavilion1 has joined. 07:01:48 -!- MDude has quit (Ping timeout: 256 seconds). 07:05:06 -!- ent0nces has quit (Read error: Connection reset by peer). 07:05:42 -!- hppavilion1 has changed nick to hppavilion[1]. 07:05:50 -!- ent0nces has joined. 07:07:39 -!- dr_ais523 has quit. 07:07:53 -!- mapless has left. 07:07:56 -!- dr_ais523 has joined. 07:22:19 -!- tromp has joined. 07:25:34 -!- dr_ais523 has quit. 07:25:49 -!- dr_ais523 has joined. 07:26:35 -!- tromp has quit (Ping timeout: 240 seconds). 07:38:31 -!- ^v has quit (Quit: Leaving). 07:49:26 -!- andrew_ has quit (Ping timeout: 240 seconds). 07:50:50 -!- dr_ais523 has quit (Read error: Connection reset by peer). 07:52:42 -!- andrew_ has joined. 07:58:00 -!- ais523 has joined. 07:58:47 -!- ent0nces has quit (Read error: Connection reset by peer). 07:59:25 -!- ent0nces has joined. 08:09:39 -!- ais523 has quit. 08:13:41 -!- ais523 has joined. 08:14:04 -!- ais523 has changed nick to dr_ais523. 08:22:13 -!- ent0nces has quit (Read error: Connection reset by peer). 08:22:58 -!- ent0nces has joined. 08:30:37 -!- variable has joined. 08:42:19 -!- variable has quit (Quit: 1 found in /dev/zero). 08:45:46 -!- ent0nces has quit (Read error: Connection reset by peer). 08:46:29 -!- ent0nces has joined. 08:50:23 -!- ent0nces has quit (Read error: Connection reset by peer). 08:50:57 -!- ent0nces has joined. 08:59:53 -!- ent0nces has quit (Read error: Connection reset by peer). 09:00:32 -!- ent0nces has joined. 09:00:56 We shoudl found the Unnecessary Standardization Society 09:02:07 -!- oerjan has quit (Quit: Only if we must). 09:02:56 ... 09:03:05 Was that aimed at me or just an epic coincidence? 09:04:21 -!- ent0nces has quit (Read error: Connection reset by peer). 09:04:34 hppavilion[1]: oerjan often does aim at people in quit messages 09:04:42 Ah 09:04:47 also, we tried forming an esolang standardisation organisation before now 09:04:51 Haven't noticed that thus far 09:04:52 but it never accomplished anything 09:05:00 -!- ent0nces has joined. 09:05:14 dr_ais523: "Unnecessary Standardization Society" wouldn't be for esolangs, strictly 09:05:26 I know 09:05:30 It'd be for standardizing things that should not be standardized. 09:05:38 you could, say, standardize toilet paper orientation 09:05:45 Yes. Exactly. 09:06:04 Like how you torture people (which is something which shouldn't be done, let alone done in a standard way) 09:06:19 No idea why that idea came to mind 09:06:26 It would be to some degree a parody of actual standardization 09:06:37 "All corpuses must use this pattern of writing" 09:06:45 "You may draw in one of these 12 styles" 09:06:47 Etc. 09:06:57 Things which become worse after standardization 09:07:05 I formed something vaguely like that (although it wasn't strictly restricted to only things that shouldn't be standardised) with a friend years ago, but it didn't really go anywhere. 09:08:19 fizzie: Was that the thing dr_ais523 was talking about? 09:08:31 No. 09:08:33 I don't think so 09:08:35 Ah 09:08:54 If I decide to form an EsoStandard Society, I'll probably incoroprate ESON as a standard. 09:09:06 It was more about standardising just random things in general, both useless and maybe (accidentally) useful. 09:09:17 Ah 09:09:31 Another standard: Imperial measurements of data 09:09:36 There was a punny acronym and a number of files that have probably now been lost, that's all. 09:09:48 "One bill is equivalent to 24 bits" 09:09:56 And so forth. 09:10:10 Because data can really only be measured in binarized metric 09:10:25 HThere are extensions of the eating-based nomenclature. 09:11:06 fizzie: Such as? 09:11:10 (bit?) 09:11:33 Like two bits are allegedly a crumb, but there are all kinds of suggestions for going upwards from nybble/byte too. Not really widespread enough to be standard. 09:11:57 I remember hearing "meal" at least. 09:12:08 Not sure how many bits it was. 09:12:49 It was also probably a useful unit, which wouldn't be that "imperial" 09:12:52 Perhaps 8? 09:13:02 That's byte. 09:13:11 fizzie: Oh, I meant 8 bytes 09:13:36 fizzie: Exactly. Imperial Units for data would be completely arbitrary and pointless and generally bad. 09:13:37 Oh. Well, maybe. Not sure if 8 bites is much of a meal. 09:13:53 fizzie: TELL THAT TO THE CHILDREN STARVING IN AFRICA 09:13:54 xD 09:13:56 That's maybe more of a snack. 09:14:06 fizzie: snyck. 09:14:10 Yes. 09:14:30 myle 09:15:23 16 bytes is a paragraph, which provides a different theme of extensions. I think this one was used in an esolang. Maybe even something by the doctor. 09:15:23 -!- adu has quit (Quit: adu). 09:15:53 fizzie: Is there such thing as a pizza? Equivalent to ~4 meals assuming each person eats 2 slices and it's a standard pizza. 09:16:02 pyzza? 09:16:06 Haven't heard that. 09:16:12 I haven't either 09:16:16 I just made it upp 09:17:20 fizzie: Does something count as having been made by a doctor if they earned their doctorate after they made it? 09:17:31 In other words, do doctorates backpropogate? 09:17:44 If so, how can we abuse this knowledge? 09:19:00 fizzie: it's probably a type from Infinite Vector, which was made by me 09:19:05 and is mostly admired for the type names 09:19:25 A yes-or-no question followed by "If so, how can we abuse this knowledge?" is now my favourite thing to say 09:19:47 you could change "if so," to "if not," depending in the question 09:19:55 dr_ais523: Yes, of course 09:19:57 and almost double the number of circumstances it works in 09:20:23 Pretty much 09:20:30 Or maybe more than double 09:21:10 I think there are more questions to which the answer is "no" than there are to which it is "yes", assuming a finitely-large universe, or that our frame-of-reference is limited to the observable universe 09:21:59 Unless, of course, you count negated questions as unique questions. Which we don't here. 09:23:02 If you do, then there are an equal number of both "yes"-answerable questions and "no"-answerable questions, and that number is infinity because you can negate repeatedly to produce new questions. 09:23:28 Unless you're sane and don't count n-negated questions where n>1 as unique questions 09:23:53 what if I'm insane but nonetheless don't count n-negated questions where n>1 as unique questions? 09:24:19 dr_ais523: I never said you can't be insane and do that. I think. Did I? 09:24:28 You know, maybe we should formulate Question Theory to formalize the things which we can abuse the knowledge of. 09:24:42 Unless there's an existing field of mathematics that does that already 09:24:49 If there is, it's most likely formal logic 09:25:06 Though question theory could be created with a Curry-Howard-like correspondence to Formal Logic 09:25:15 hppavilion[1]: it depends on what "unless" means 09:25:21 True 09:25:22 Ture 09:25:30 s/ur/ru/ 09:25:57 -!- ent0nces has quit. 09:26:45 Now I need to figure out Question Theory 09:26:52 And what it's about, strictly 09:27:03 What is the mathematical object that we call a "Question"? 09:28:00 And which probably resides in the set Ε (from the greek word "Ερώτηση") 09:29:18 (With this, we will make mathematics require even more rigor! You will have to formulate a formal question to even consider anything! Mwahahahaha!) 09:31:32 dr_ais523: Have any ideas? Can't think of what to make a formal question xD 09:31:46 I wrote a really niche application (as one does), and usually I've put them to github to be ignored by everyone (ditto), but now I'm technically supposed to ask for permission from my employer first. :/ 09:31:54 hppavilion[1]: not really 09:32:05 I'm the sort of person for whom a good idea normally takes days to work out the implication of 09:32:11 Ah 09:32:29 fizzie: Why? 09:32:40 Why would you need to ask permission for something you make? 09:32:55 Unless you're using a company account. 09:33:45 I suppose a Question probably is a constraint and a set of possible answers 09:34:05 The constraints have to match some formal definition of question constraints 09:34:14 And I'll work from there. 09:34:17 But now 09:34:19 I must sleep. 09:34:20 Because our standard contract has a (not so unusual) clause on it that makes them own everything by default if it is "relevant to the business", and given the amount of pies Google has their fingers in, with sufficiently far-fetched logic even very silly things could technically fall in that bucket. 09:34:39 Ah 09:35:03 I mean, they could take my niche application and sell it, in theory. I might even pay, say, a dollar for it, if someone else had written it. 09:35:16 But nobody would have, because I don't think it really has much of an audience. 09:35:35 what does it do anyway? 09:36:02 dr_ais523: It's yet another variation of the port knocking scheme that people use to hide open services from casual observers. 09:36:11 ah right, yes 09:36:31 Google would probably be potentially interested in that field generally, but quite possibly have a decent impl already and don't need another 09:37:17 dr_ais523: I wanted something that (a) does the knocking with a TCP SYN packet into the same port it will eventually connect (for robustness -- that's something that should succeed if the connection itself will) and (b) can be performed from a stock Android device. 09:37:43 hmm, (b) is probably less of a problem for Google 09:38:08 For (a) above, there's http://www.thoughtcrime.org/software/knockknock/ (well, that's dead now; but it's got like 27 forks in Github, I'm sure at least one of them is still going), but it puts the data into fields of the TCP packet you can't modify from an unprivileged application. 09:38:39 I went with an app that puts a special magic value into the advertised TCP MSS field, which is something you can setsockopt from a regular process. 09:39:05 It misses all the fancy crypto for indistinguishability and replay-proofness, but OTOH it's not *worse* than regular "hit this port" knocking. 09:39:15 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 09:39:39 (And the Android app needs no special magic to perform the knock.) 09:41:39 -!- dr_ais523 has quit. 09:41:51 -!- dr_ais523 has joined. 09:42:25 Oh, there's one other alternative which I came up with while tinkering with this that satisfies (a) + (b) and allows for large(r) amounts of data, but it's IPv4 only and so not terribly future-proof. 09:43:18 setsockopt(..., IPPROTO_IP, IP_OPTIONS, ...) can be set on a socket (even a stream one) to adjust the IPv4 option headers for all packets going out of that socket. 09:43:39 -!- dr_ais523 has quit (Client Quit). 09:43:52 -!- dr_ais523 has joined. 09:44:08 The problem there is that the corresponding Linux API for IPv6 is not a socket option -- you pass control messages to sendmsg, and it only works for SOCK_DGRAM (and SOCK_RAW) sockets, so it can't be used to affect the TCP SYN. 09:45:30 Anyway, using a fixed magic TCP MSS has the advantage that the server side doesn't need a program to do the crypto, it can be a simple iptables rule with "-m tcpmss --mss X". 09:56:21 -!- adu has joined. 10:07:15 -!- hppavilion[1] has joined. 10:13:03 -!- AnotherTest has joined. 10:16:36 Is superelliptic geometry possible? 10:16:45 And thus, by extension, Square Geometry? 10:19:39 -!- dr_ais523 has quit. 10:21:44 -!- dr_ais523 has joined. 10:23:04 -!- tromp has joined. 10:25:10 -!- sewilton has quit (Ping timeout: 260 seconds). 10:25:39 -!- mbrcknl has quit (Ping timeout: 250 seconds). 10:26:29 -!- trn has quit (Quit: quit). 10:26:57 -!- ocharles__ has quit (Ping timeout: 250 seconds). 10:27:18 -!- tromp has quit (Ping timeout: 250 seconds). 10:27:27 -!- trn has joined. 10:34:53 `? hyperbolic geometry 10:35:04 hyperbolic geometry? ¯\(°​_o)/¯ 10:35:47 `le/rn Hyperbolic Geometry/Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity 10:35:50 Learned «hyperbolic geometry» 10:35:55 `? hyperbolic geometry 10:35:58 Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity 10:39:46 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 10:45:04 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 10:48:06 -!- ocharles__ has joined. 10:49:06 -!- Lord_of_Life has joined. 10:49:40 -!- sewilton has joined. 10:50:28 -!- mbrcknl has joined. 11:07:39 -!- dr_ais523 has quit. 11:14:32 -!- adu has quit (Quit: adu). 11:17:45 -!- dr_ais523 has joined. 11:28:41 -!- zadock has joined. 11:31:39 -!- dr_ais523 has quit. 11:33:44 -!- dr_ais523 has joined. 11:46:15 -!- Patashu has quit (Ping timeout: 240 seconds). 11:55:34 Hmm. As I specified the Aspis of Horatio Cocles, it would allow a crazy expensive strategy where you get it, wish for the Eye of Misspelling, go to a quest nemesis (or really any strong monster except the Wizard), branchport to the castle, controlled teleport to the bridge, and defeat it there. 11:55:54 That's not overpowered though, because it needs controlled teleport, the EotA, and a random artifact. 11:56:26 Although the nemesis could still try to heal at the stairs if you don't block it. 11:57:49 Luckiliy it's trickier against the Wizard of Yendor: he'd curse the Aspis and your weapon to your hands, at which point you're screwed unless you're very prepared. 12:07:14 -!- J_Arcane has quit (Ping timeout: 256 seconds). 12:15:39 -!- dr_ais523 has quit. 12:17:44 -!- dr_ais523 has joined. 12:23:09 In both scenarios, they were not separated before Atlas. 12:23:14 um, wrong paste 12:23:17 In both scenarios, they were not separated before Atlas. 12:23:20 argh 12:24:28 -!- tromp has joined. 12:24:39 According to http://mythology.stackexchange.com/a/1224/197 , after Zeus and his fellow Olympian gods overthrew the Titans (Kronos etc), he punished the Titan Atlas by giving him the task that he has to hold the celestial sphere Oranos separate from the earth Gaia, because “If they united together once more, Gaia might start birthing titans again and the Olympian Gods see that as bad thing.” 12:24:51 \ giving him the task that he has to hold the celestial sphere Oranos separate from the earth Gaia, because “If they united together once more, Gaia might start birthing titans again and the Olympian Gods see that as bad thing.” 12:25:38 So Zeus tasks a defeated Titan to ensure that no more Titans can be born and so the Titans can't get to power again. 12:25:49 That sounds to me like such a stupid idea that only Zeus could come up with it. 12:26:04 In fact, it could explain why the Olympian gods are no longer in power. 12:26:59 The titans just needed a hero who isn't on the Olympian's side to explain the situation to Atlas and convince him to drop the sky, 12:27:43 and then new gods could be born again, they can release the old Titans from Tartarus and overthrow Zeus's rule. 12:28:35 -!- tromp has quit (Ping timeout: 240 seconds). 12:29:39 -!- dr_ais523 has quit. 12:30:24 -!- dr_ais523 has joined. 12:31:52 Zeus isn't entirely stupid, mind you. He was good in getting other gods as allies. He gained Hades and Hephaistos as allies by donating them beautiful women to marry, then gained other gods as allies by using the technology created by Hephaistos. 12:33:11 -!- fungot has quit (Remote host closed the connection). 12:37:39 -!- dr_ais523 has quit. 12:37:51 -!- dr_ais523 has joined. 12:41:34 -!- dr_ais523 has quit (Client Quit). 12:42:35 -!- dr_ais523 has joined. 12:53:00 -!- Phantom_Hoover has joined. 13:15:15 -!- Lord_of_Life has quit (Excess Flood). 13:17:39 -!- dr_ais523 has quit. 13:17:52 -!- dr_ais523 has joined. 13:19:06 -!- Lord_of_Life has joined. 13:26:00 -!- MoALTz has quit (Ping timeout: 256 seconds). 13:27:39 -!- dr_ais523 has quit. 13:28:43 -!- dr_ais523 has joined. 13:39:46 -!- andrew_ has quit (Ping timeout: 240 seconds). 13:40:13 -!- andrew_ has joined. 13:44:07 @uptime 13:44:08 uptime: 20h 1m 51s, longest uptime: 1m 10d 23h 44m 29s 13:47:22 -!- dr_ais523 has quit. 13:49:34 -!- MoALTz has joined. 13:52:50 -!- MoALTz_ has joined. 13:55:35 -!- MoALTz has quit (Ping timeout: 240 seconds). 14:08:10 -!- jaboja has joined. 14:20:12 -!- J_Arcane has joined. 14:21:33 -!- boily has joined. 14:22:17 @metar CYUL 14:22:18 CYUL 131400Z 04008KT 30SM BKN240 01/M03 A3031 RMK CI7 SLP266 14:22:33 only 1. back to normaler temperatures. 14:30:15 -!- jaboja has quit (Ping timeout: 240 seconds). 14:34:30 I return from Italy! 14:34:32 -!- zadock has quit (Quit: Leaving). 14:34:44 Sort of 14:40:51 -!- tromp has joined. 14:42:21 you overwrote the vacation stack, so now you return to an unknown adress? 14:42:35 (also, Tanelle!) 14:45:40 -!- tromp has quit (Ping timeout: 272 seconds). 14:55:45 @metar EGLL 14:55:45 EGLL 131450Z AUTO 15001KT 6000 OVC003 09/08 Q1018 BECMG BKN005 14:55:57 At least it's less than ten. 14:56:20 BECMG BKN looks like the kind of thing people write in their textual messages. 14:57:27 -!- fungot has joined. 14:57:32 fungot: Speak SMS to me, please. 14:57:32 fizzie: am i that much bad, ur bd me kisike side nai:-d... aur 1 bar mein gassey ( in out) maare ,to us larki: kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi n 14:57:49 fungot: That's a bit too much. 14:57:49 fizzie: finish my presentation le three hours standing exhausted. just want to cuddle up and take. :-d 14:58:11 fungot: Oh, you're giving a presentation? What about? 14:58:12 fizzie: wat i cnt i said i ' l talk later 14:58:59 i mapole lop ami ... a dictionary word mapole palindrome... but making a meaningful one seems hard 15:00:36 (here's a tempting but probably useless start: develop a mapole ved...) 15:05:17 int-ello! 15:05:28 mapole mapole mapole ♪ 15:05:43 fizziello. kbi na kbi na kbi na kbi na. 15:12:41 -!- mauris has joined. 15:20:19 -!- Froox has quit (Ping timeout: 250 seconds). 15:44:00 This is a long wait at heathrow... 15:49:37 -!- tromp has joined. 15:52:14 -!- mauris has quit (Read error: Connection reset by peer). 15:56:56 -!- mauris has joined. 16:19:24 -!- MoALTz_ has quit (Read error: Connection reset by peer). 16:20:49 -!- MoALTz_ has joined. 16:26:04 -!- MoALTz_ has changed nick to MoALTz. 16:39:44 -!- andrew_ has quit (Remote host closed the connection). 16:40:54 -!- lleu has joined. 16:40:54 -!- lleu has quit (Changing host). 16:40:54 -!- lleu has joined. 17:02:54 -!- boily has quit (Quit: TEMPER CHICKEN). 17:09:44 -!- tromp has quit (Remote host closed the connection). 17:41:33 "This is to officially inform you that it has come to our notice and we have thoroughly Investigated with the help of our Intelligence Monitoring Network System that you are having an illegal Transaction with Impostors Claiming to be the Secretary General of the United Nation, Ban Ki-Moon, the CEO HSBC Bank UK, formal FIFA President, none officials of Barclays UK, China Construction Bank , China, Agricultural Bank of China , China, Wells 17:41:33 Fargo, US, JPMorgan Chase, US, Wells Fargo, US,HSBC Holdings UK,Royal Bank of Canada , Canada, Commonwealth Bank Australia,ICBC China, Bank of China are Impostors. During our Investigation, we noticed that the reason why you have not received your Payment is because you have not fulfilled your Financial Obligation given to you in respect of your Contract/Inheritance Payment." 17:41:42 ^^ spam email claiming to be from FBI 17:42:07 What's the thought here, that the FBI wants to assist with your illegal transaction with imposters? 17:46:39 meta spam, beautiful 17:47:18 but I'm afraid that this goes beyond logic 17:49:17 Sgeo: I think that the reason it's illegal is that you aren't giving them your details 17:53:06 seems to be old... http://www.snopes.com/CRIME/fraud/atmcard.asp 17:55:05 (that specimen is neat because it mentions people imposting FBI agents) 17:57:30 hello 17:58:41 anyway, the usual logic applies; "oh wow, that's a lot of money" "I'll risk $500 for that" "also it's from the FBI" "the text was too long I didn't read all of that" 18:01:43 * int-e is reminded of https://xkcd.com/570/ 18:03:12 though now that I look at it again, I think the guy in the car just wanted a new car without paying for it 18:06:35 -!- adu has joined. 18:07:48 -!- mauris_ has joined. 18:10:01 -!- Phantom__Hoover has joined. 18:10:24 -!- tromp has joined. 18:13:22 -!- Weloxux has joined. 18:13:26 -!- lambdabot has quit (Ping timeout: 240 seconds). 18:13:28 -!- mauris has quit (Ping timeout: 240 seconds). 18:13:28 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 18:13:28 -!- Welo has quit (Ping timeout: 240 seconds). 18:14:46 int-e, same joke: https://www.youtube.com/watch?v=sdi6E-qzS1c 18:15:00 -!- tromp has quit (Ping timeout: 256 seconds). 18:18:02 -!- Frooxius has joined. 18:20:58 -!- lambdabot has joined. 18:33:34 nice, thanks 18:41:56 With my "relative location bar" extension to Firefox, I find it sometimes useful to use the ALT+ENTER to open a relative URL in a new tab. It is also sometimes useful in order to open the current URL in a new tab. 18:45:25 -!- aretecode has joined. 18:46:40 -!- Weloxux has quit (Quit: Leaving). 18:51:39 The best interpretation of quantum mechanics is: Mathematics is the real reality. 18:52:27 what are the alternatives? 18:53:22 There are a lot (more than I know)! It can be look up in Wikipedia too 18:56:46 Some people say it is embarassing for everyone to have a different opinion, but that is stupid because the correct way is that nobody know if/how such thing is supposed to be matter of opinion, religion, scientific, philosophy, or an experiment; therefore how can you know what/if a correct answer can be? Nobody can know. 19:12:01 -!- tromp has joined. 19:16:15 -!- tromp has quit (Ping timeout: 240 seconds). 19:30:31 -!- mauris_ has quit (Read error: Connection reset by peer). 19:33:53 -!- TieSoul has quit (*.net *.split). 19:33:54 -!- SirCmpwn has quit (*.net *.split). 19:33:54 -!- puckipedia has quit (*.net *.split). 19:33:54 -!- paul2520 has quit (*.net *.split). 19:33:54 -!- quintopia has quit (*.net *.split). 19:33:54 -!- deltab has quit (*.net *.split). 19:33:54 -!- b_jonas has quit (*.net *.split). 19:33:54 -!- ski has quit (*.net *.split). 19:33:55 -!- nitrix has quit (*.net *.split). 19:33:55 -!- staffehn_ has quit (*.net *.split). 19:33:55 -!- fractal has quit (*.net *.split). 19:33:55 -!- cnr has quit (*.net *.split). 19:33:55 -!- coppro has quit (*.net *.split). 19:33:56 -!- APic has quit (*.net *.split). 19:34:20 -!- TieSoul has joined. 19:34:20 -!- staffehn_ has joined. 19:34:20 -!- SirCmpwn has joined. 19:34:20 -!- nitrix has joined. 19:34:20 -!- ski has joined. 19:34:20 -!- b_jonas has joined. 19:34:20 -!- deltab has joined. 19:34:20 -!- quintopia has joined. 19:34:20 -!- paul2520 has joined. 19:34:20 -!- puckipedia has joined. 19:34:20 -!- cnr has joined. 19:34:20 -!- coppro has joined. 19:34:20 -!- APic has joined. 19:37:30 -!- EgoBot has quit (Remote host closed the connection). 19:38:06 -!- EgoBot has joined. 19:47:09 -!- evalj has joined. 19:47:54 -!- jaboja has joined. 19:52:27 -!- mauris has joined. 20:03:26 -!- Patashu has joined. 20:12:59 -!- hppavilion[1] has joined. 20:14:32 -!- fractal has joined. 20:14:33 -!- ^v has joined. 20:37:26 -!- jaboja has quit (Ping timeout: 240 seconds). 20:39:02 -!- boily has joined. 20:41:55 -!- Patashu has quit (Ping timeout: 240 seconds). 20:43:52 [wiki] [[Special:Log/newusers]] create * Wms0-1p * New user account 20:48:38 -!- zgrep has quit (Ping timeout: 260 seconds). 20:50:58 -!- zgrep has joined. 20:58:58 -!- EgoBot has quit (Remote host closed the connection). 21:02:02 -!- FireFly has quit (Ping timeout: 250 seconds). 21:04:05 -!- Gregor has quit (Ping timeout: 244 seconds). 21:09:51 -!- esowiki has joined. 21:09:55 -!- esowiki has joined. 21:09:56 -!- esowiki has joined. 21:12:01 -!- glogbot has joined. 21:12:09 hppavilioodbye[1]! 21:12:09 -!- boily has quit (Quit: CARDBOARD CHICKEN). 21:12:09 -!- tromp has joined. 21:15:52 -!- esowiki has joined. 21:15:56 -!- esowiki has joined. 21:15:56 -!- esowiki has joined. 21:16:32 -!- esowiki has joined. 21:16:36 -!- esowiki has joined. 21:16:37 -!- esowiki has joined. 21:17:05 -!- glogbot has joined. 21:18:15 -!- FireFly has joined. 21:19:08 -!- Guest79570 has quit (Ping timeout: 240 seconds). 21:21:33 -!- esowiki has joined. 21:21:37 -!- esowiki has joined. 21:21:37 -!- esowiki has joined. 21:21:44 -!- glogbot has joined. 21:23:58 -!- FireFly has quit (Excess Flood). 21:32:33 -!- FireFly has joined. 22:04:44 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:07:44 -!- aloril has quit (Ping timeout: 272 seconds). 22:13:16 -!- aloril has joined. 22:15:06 -!- mauris_ has joined. 22:17:26 -!- mauris has quit (Ping timeout: 240 seconds). 22:42:04 -!- ^v has quit (Read error: Connection reset by peer). 22:52:20 -!- bb010g has joined. 23:01:32 -!- boily has joined. 23:04:08 hppavellon[1]. 23:14:44 Ahoily 23:30:48 ( boily ) 23:30:56 -!- oerjan has joined. 23:32:47 ( boily )? 23:32:53 hellørjan. 23:34:04 bood evenily 23:35:23 boily: That was me alerting you to my presence. The problem with esellos is that it doesn't beep the other user. 23:36:24 -!- aretecode has quit (Quit: Toodaloo). 23:38:44 makes sense. but some of us get pinged on part of their nicks, and others just reflexively alt-tab alt-tab (as I do). 23:39:05 and then we have the All Seeing Oerjan, the Backlogger. 23:39:40 you could, say, standardize toilet paper orientation <-- i'm sorry that is already completely standard, even if some INFIDELS get it WRONG WRONG WRONG 23:39:45 hth 23:40:17 oh, ais523 is now a Dr.? 23:40:19 -!- evalj has quit (Remote host closed the connection). 23:41:19 you'd know if you read the logs hth 23:41:32 point. 23:41:33 (also if you had been here yesterday for any length of time...) 23:42:01 yesterday I was Christmas shopping, and we had our Christmas office party. 23:42:21 fancy 23:44:17 There was a punny acronym and a number of files that have probably now been lost, that's all. <-- i have this hunch this is not a very identifying description. 23:45:05 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 23:55:52 -!- hppavilion[1] has joined.