00:00:57 -!- APic has joined. 00:00:59 On the other hand, 16777216 feels very special. Maybe just because it's more things. 00:01:33 it's the number of colors many devices are marketed to support 00:02:10 -!- mihow has quit (Quit: mihow). 00:02:18 What about 1073741824? 00:02:48 I'd guess it's 2^30 but I don't really recognize it. 00:02:49 If you take out the middle six digits, you get 1024 00:02:54 It is 2^30 00:03:26 (I see it's about 10^9 and starts with approximately 1072, so that's plausible.) 00:03:58 > 2^31 00:04:00 2147483648 00:05:13 -!- mihow has joined. 00:05:45 ^pow2 00:05:45 1 2 4 8 16 32 64 128 256 512 1024 2048 4096 8192 16384 32768 65536 131072 262144 524288 1048576 2097152 4194304 8388608 16777216 33554432 67108864 134217728 268435456 536870912 1073741824 2147483648 42949672 ... 00:06:56 int-e: When it's not called just "millions of colors". 00:08:04 -!- ais523 has joined. 00:17:50 ais523! 00:18:17 ais523: long time no see 00:18:50 oerjan: I've been ill 00:19:04 did anything come up that I need to deal with? 00:21:37 sounds nasty 00:21:55 for two weeks, i mean 00:22:47 well there was a weird spammer who didn't really spam a link, so i wanted to ask you how long to ban them 00:23:03 (i think i chose a week just to be weird) 00:23:12 also, you're Agora Speaker hth 00:24:10 Oh hai. 00:24:49 i don't recall anything else you were too needed for 00:24:55 -!- mauris_ has quit (Ping timeout: 240 seconds). 00:26:30 -!- aretecode has quit (Quit: Toodaloo). 00:38:11 -!- hppavilion[1] has joined. 00:43:30 pikhelloq, hppavellon[1]. 00:48:29 -!- ais523 has quit (Read error: Connection reset by peer). 00:49:29 -!- ais523 has joined. 00:53:52 Right... if I have 4 vectors, I can construct a vector space of degree at most four with some subset of them as the basis 00:54:37 If in 4 dimensional space, I put a vertex at (1, 0, 0, 0), (0, 1, 0, 0), etc... 00:54:47 Can I form a tetrahedron from those vertices? 00:54:49 I guess I can 00:55:05 s/degree/dimension/ 00:55:09 Thanks 00:55:15 Those vertices are also linearly dependent 00:56:15 Actually, my question is, "how do I tell if two lines are coplanar in an arbitrarily high-dimensional euclidean space?" 00:57:05 x+y+z+w = 1 in 4-dimensional space is a representation of 3d projective space 00:58:32 hm i guess that doesn't give an isometry 00:58:46 I just need to know if the volume is zero or not 00:59:06 right... 01:01:51 if the lines are given by 4 points, then you take the vectors from one of them to the other and check if they span a 3d space 01:02:00 *to the others 01:02:43 you could use gram-schmidt for this. 01:05:27 I thought Gram-Schmidt took a set of vectors already known to be linearly independent 01:06:01 not necessarily. 01:06:10 it can also test them 01:06:32 (if you get 0 vector at any step, that vector was redundant with the previous) 01:07:02 Handly, here's a Gram-Schmidt I prepared earlier: http://lpaste.net/131499 01:07:06 Can I form a tetrahedron from those vertices? 01:07:23 that's how you define a tetrahedron, sometimes 01:07:38 Phantom_Hoover, it's one in the morning, cut me some slack 01:08:30 right, it's the simplex definition 01:08:38 hm i guess that doesn't give an isometry 01:08:50 projective space... doesn't have a metric, does it? 01:08:58 hm i guess 01:09:09 although the non-finite points do, naturally 01:09:17 obviously you can put a metric on it but the resulting geometry will be nonsense 01:09:26 but (0,0,0,1) becomes an infinite one 01:10:17 wait 01:10:18 x+y+z+w = 1 in 4-dimensional space is a representation of 3d projective space 01:10:39 Phantom_Hoover: homogeneous coordinates, no? 01:10:42 surely it isn't 01:10:44 (normalized to 1) 01:10:51 i mean it's homeomorphic to R^3 01:11:03 no it's not 01:11:20 w = 0 are infinite points 01:11:26 oerjan: ooh, I came up with a new esolang too while I was gone 01:11:33 I haven't documented it yet but I have an interp 01:11:36 give me a moment 01:11:39 oerjan, no, it is 01:11:43 it should be easy enough to document, seeing as it's a tarpit 01:11:46 also i was wrong about (0,0,0,1), it's the only one which is _finite_ 01:11:57 <\oren\> good eeng 01:12:05 f(x,y,z) = (x,y,z,-x-y-z) is a homeomorphism 01:12:43 here: http://nethack4.org/esolangs/threestar.c 01:13:36 Those are some deeply nested pointers 01:13:42 Phantom_Hoover: no, x=y=z=0 is not into the right set 01:14:04 er 01:14:08 1-x-y-z 01:14:40 i mean it's a hyperplane in R^4 01:14:42 Taneb: I know 01:14:45 oh hm 01:14:45 it's not even compact for christ's sake 01:14:52 you're right 01:15:04 I was originally using a void**** but it doesn't work, you do genuinely need the void***** if you're writing the program like that 01:16:04 it's x+y+z+w=0 that's the infinite subwhatever 01:16:48 that's still not homeomorphic to projective space for the same reasons 01:17:15 you're going to have to take a quotient at some point, i'll bet 01:19:28 anyway taneb was just trying to find if two lines were coplanar! 01:19:54 aren't two lines coplanar if and only if a) they intersect, or b) they're parallel? 01:20:05 yeah 01:20:22 so while i'm sure there's a nice general method it's easy to just check each case individually 01:20:46 ais523, I'm trying to find the intersection, or more precisely, when I can find the intersections 01:21:04 Taneb, that's even easier, you're just solving simultaneous equations 01:21:23 I GUESS 01:21:51 shit i need to sleep stop getting me into geometry arguments you bastards 01:22:25 Hey, I was just rambling about my overcomplicated beginning of a solution to a problem which I never actually stated 01:24:08 ais523: not in 4d space 01:24:24 or wait 01:24:36 * oerjan is cursed to be wrong today 01:25:04 cursed just today? or maybe for the rest of your life... 01:25:19 oerjan: I think it's true regardless of dimension count, but I'm not 100% certain, 4D visualisation is weird 01:26:07 ais523: no i realized that there's always a containing 3d space so 4d doesn't give anything extra 01:26:30 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 01:33:02 [wiki] [[User:Lemon enthusiast]] http://esolangs.org/w/index.php?diff=45296&oldid=45293 * Lemon enthusiast * (-258) 01:41:24 * boily reads a scroll of remove curse at oerjan 01:42:24 "You feel like someone is helping you"? 01:44:25 "You feel as if something is helping you". 01:45:04 yay! 01:48:08 -!- boily has quit (Quit: SHATTERED CHICKEN). 01:50:07 Well. One of my friends had his girlfriend break up with him and now he's depressed and contemplating suicide. 01:51:18 I would advise strongly that he doesn't. 01:51:27 I did too. 01:51:40 I spent 30 minutes trying to comfort him and got nowhere. 01:52:04 I give up. He's stressing me out. I'm going to go back to programming to distract myself now. 01:52:34 hppavilion[1], suggest he talk to a therapist/call a hotline? 01:52:52 hppavilion[1]: Tried that. 01:52:55 Wait, no 01:52:58 Sgeo: Tried that. 01:53:10 (how did THAT happen?) 01:53:45 He agreed that he needs a shrink. He looked like he was feeling better for a bit, then he dropped back down 01:53:52 I probably shouldn't have dumped this out here 01:55:14 -!- lleu has quit (Quit: That's what she said). 01:57:38 Is there any particular name for the operation 2^floor(log_2 x)? 01:58:12 oh, hmm, there might be 01:58:52 I have an incomplete list of names for that sort of thing here, just checking it now 01:59:59 that specific one isn't there, but it's "isolate highest set bit" by analogy with "isolate lowest set bit" 02:03:46 [wiki] [[Deque]] http://esolangs.org/w/index.php?diff=45297&oldid=45280 * Hppavilion1 * (+2081) /* Additional Operations */ Stack on the back, PAD and REVPAD 02:04:19 "round down to the nearest power of 2"? 02:04:28 I'm happy with my catalogue of deque operations 02:05:41 [wiki] [[Deque]] M http://esolangs.org/w/index.php?diff=45298&oldid=45297 * Hppavilion1 * (+8) /* Operations */ Formatting 02:07:08 is a deque basically a linked list? 02:07:42 A doubly-linked list is one way to implement a deque 02:09:32 Fueue is a cool language 02:10:02 izabera: It's a stack/queue hybrid, if that's what you're asking (though I have a feeling you already knew) 02:10:39 i read that page 02:10:43 izabera: doubly-linked lists are a common way to implement a deque, but not the only one 02:11:21 e.g. you can also use a ring buffer that is reconstructed larger when it becomes full, or two stacks where, if a stack is empty and you try to pop it, you reverse the other stack onto the empty stack 02:12:01 (the two stacks method is one that I find very useful for implementing queues in esolangs that only have stacks, and then to BCT, in order to prove turing-completeness; it actually gives you a full deque but I normally only care about the queue subset of the behaviour) 02:12:07 In some sense stack/queue/deque are abstract whereas a linked-list is concrete 02:12:36 hppavilion[1], thanks! It's the language I'm most proud of 02:12:48 Oh! You made that! Cool! 02:12:52 what is BCT ? 02:12:56 Or should I say... Queuel? 02:13:00 :P 02:13:03 No. I should not, because that would be stupid. 02:13:40 Taneb: Your middle-last name looks like "Von Doom" with proper kerning 02:13:46 hppavilion[1], yes 02:13:46 izabera, but that's so... unmathylike 02:13:53 hppavilion[1], that is true 02:14:16 (and it's just my last name, the "van" is part of the surname. For reference, my middle name is George) 02:14:29 <\oren\> the Deque has push, pop, shift and unshift. what if you had push pop and shift only? 02:15:01 izabera: BCT = bitwise cyclic tag 02:15:13 it's a specific concrete instance of cyclic tag, which is a mathematical language-class 02:15:30 \oren\: I believe they are push, pop, eject, and inject 02:15:37 and cyclic tag is, in my experience, the easiest TC language to implement in arbitrary esolangs 02:16:07 Not shift and unshift (which I assume are ROLLs, which can be implemented using Push, Pop, Eject, and Inject and a scalar accumulator (though you clobber the accumulator)) 02:16:17 hmm, is there a cyclic tag / bct compiler into BF yet? there should be, it's easy 02:16:22 <\oren\> hppavilion[1]: some languages call them different things, I'm using the names from Perl 02:16:28 \oren\: Ah 02:16:30 <\oren\> http://perldoc.perl.org/functions/shift.html 02:16:53 \oren\: you can do three out of the four operations with a singly linked list 02:17:09 I need to come up with a better name for DequeCLI... 02:17:31 ToD&IA&SA-CLI? xD 02:17:43 you have to discard either shift or pop but you can implement the three others with just single-linking pointers and separate pointers to /both/ ends 02:18:01 <\oren\> ah. 02:18:01 hppavilion[1], one of my friends once wrote a program that extracted data from .drs files (which are used in some video game... age of empires, maybe?) 02:18:11 He narrowly avoided calling it drsextractor 02:18:17 xD 02:18:33 That's amazing 02:19:06 I like DequeCLI (or whatever its final name is) because I can define operations like DUP 02:19:13 would be more amazing if he'd noticed and decided to use the name nayway 02:19:35 ais523, sadly he is not the kind of person who would do that 02:19:55 May I do math out loud here? 2048 = 2^11, 2^(11-23) = 2^-12; 02:19:55 DUP is SAVE POP PUSH PUSH RETRIEVE. SAVE and RETREIVE are optional, if you don't mind clobbering the accumulator 02:20:31 Sgeo, that seems correct so far 02:21:42 So if a thing needs to be going half that distance in a frame, minimum meters per frame = 2^-13. Times 45 frames per second ~= 0.0055 mps 02:21:56 Lower at smaller fps 02:22:35 Might be easier to keep looking at my mpf calculation and have my measurement tool print measured minimum mpf 02:23:14 Actually, that number looks really really wrong based on prior measurements, but those are indirect 02:24:19 -!- andrew has joined. 02:27:28 Measured attempted minimum velocity: -0.005553 02:30:45 -!- mihow has quit (Quit: mihow). 02:32:12 My measured meters per frame is slightly higher than expected, wonder if I'm not quite measuring right 02:42:53 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 02:46:31 [wiki] [[BotEngine]] http://esolangs.org/w/index.php?diff=45299&oldid=44894 * SuperJedi224 * (+166) 03:03:40 -!- hppavilion[1] has joined. 03:05:24 [wiki] [[BotEngine]] http://esolangs.org/w/index.php?diff=45300&oldid=45299 * SuperJedi224 * (-46) /* Instructions */ 03:07:56 [wiki] [[BotEngine]] http://esolangs.org/w/index.php?diff=45301&oldid=45300 * SuperJedi224 * (-68) 03:08:05 SHould I be happy that my math based on my theories sort of match up with what I measured, or upset that it's not more exact? 03:08:13 I don't know what sort of error these measurements have 03:11:03 [wiki] [[Microscript II]] http://esolangs.org/w/index.php?diff=45302&oldid=45238 * SuperJedi224 * (+130) 03:13:51 [wiki] [[BotEngine]] http://esolangs.org/w/index.php?diff=45303&oldid=45301 * SuperJedi224 * (+65) 03:14:23 [wiki] [[BotEngine]] http://esolangs.org/w/index.php?diff=45304&oldid=45303 * SuperJedi224 * (+0) 03:17:59 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 03:21:23 -!- Frooxius has joined. 03:24:29 -!- Froox has quit (Ping timeout: 276 seconds). 03:25:42 -!- bb010g has joined. 03:27:34 -!- Frooxius has quit (Read error: Connection reset by peer). 03:29:36 -!- Frooxius has joined. 03:29:49 -!- Frooxius has quit (Read error: Connection reset by peer). 03:30:13 -!- Frooxius has joined. 03:34:39 [wiki] [[Merucik]] N http://esolangs.org/w/index.php?oldid=45305 * Conor O'Brien * (+2128) Created page with "**Merucik** is a Brainf*** derivative that adds some minor functionality to aid the programmer in coding. Merucik programs operator on a right-open, theoretically-unbound tape..." 03:35:58 [wiki] [[Merucik]] http://esolangs.org/w/index.php?diff=45306&oldid=45305 * Conor O'Brien * (+2) 03:37:03 [wiki] [[User talk:Ais523]] http://esolangs.org/w/index.php?diff=45307&oldid=45149 * Ais523 * (+468) /* Page removal request */ for the record 03:37:23 [wiki] [[Merucik]] http://esolangs.org/w/index.php?diff=45308&oldid=45306 * Conor O'Brien * (+31) 03:37:42 [wiki] [[User:Conor O'Brien]] http://esolangs.org/w/index.php?diff=45309&oldid=44906 * Conor O'Brien * (+25) /* Languages I have made */ 03:37:57 [wiki] [[User:Ais523]] http://esolangs.org/w/index.php?diff=45310&oldid=44771 * Ais523 * (+27) and a new one (let's edit a link in that I can follow to create the article, the old-fashioned way) 03:42:49 [wiki] [[Merucik]] http://esolangs.org/w/index.php?diff=45311&oldid=45308 * Conor O'Brien * (+281) /* Instructions */ 03:45:04 [wiki] [[Brainfuck extensions]] http://esolangs.org/w/index.php?diff=45312&oldid=43357 * Conor O'Brien * (+65) 03:49:46 [wiki] [[Merucik]] http://esolangs.org/w/index.php?diff=45313&oldid=45311 * Conor O'Brien * (+95) 03:54:32 -!- hppavilion[1] has joined. 03:55:13 Here's an idea 03:55:18 A logical language 03:55:27 That recognizes logical fallacies 03:58:08 [wiki] [[Three Star Programmer]] N http://esolangs.org/w/index.php?oldid=45314 * Ais523 * (+4998) new language! 03:58:45 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=45315&oldid=45158 * Ais523 * (+28) /* T */ +[[Three Star Programmer]] 03:59:59 [wiki] [[OISC]] http://esolangs.org/w/index.php?diff=45316&oldid=34930 * Ais523 * (+28) /* See also */ +[[Three Star Programmer]] (maybe at this point this should be a category, instead of / in addition to a list?) 04:01:56 hmm, I hope Three Star Programmer is TC; it feels like it is but it's a total pain to accomplish anything in 04:02:14 if it is, it'd be the first OISC which has one-operand instructions and doesn't rely on memory mapping 04:03:07 [wiki] [[OISC]] M http://esolangs.org/w/index.php?diff=45317&oldid=45316 * Ais523 * (+0) /* See also */ this list is apparently alphabetical, not asciibetical 04:07:43 -!- Froox has joined. 04:07:55 I'd like some input on Getchl 04:08:18 (https://docs.google.com/document/d/1IVBYW2CSDgvspkCl0nYTy-FQPUwozYdkX2H-cZGwALo/edit?usp=sharing) 04:09:47 ais523: Prove it! 04:10:08 zzo38: it's a pain to program in though 04:10:14 like, I haven't managed to write /any/ nontrivial programs 04:10:32 and only have the vaguest idea of what one would look like 04:11:35 -!- Frooxius has quit (Ping timeout: 264 seconds). 04:12:39 -!- Froo has joined. 04:14:37 IRL, is 4km vertically a lot or not so much? 04:14:45 -!- Froox has quit (Ping timeout: 246 seconds). 04:14:55 Sgeo: What scale are we on? 04:15:04 Cosmically, no. 04:15:14 In terms of quarks, yes. 04:15:23 On the surface of Earth, would 4km above the surface be outer space ish? 04:16:11 https://en.wikipedia.org/wiki/K%C3%A1rm%C3%A1n_line very much no 04:16:31 -!- Wright has quit (Read error: Connection reset by peer). 04:16:56 Sgeo: I believe 100 km is space 04:17:08 According to the Wikipedia link, yes 04:17:08 So no 04:22:08 Um 04:23:57 ais523: an obfuscated 3SP interpreter sounds like it'd make a reasonable IOCCC submission 04:24:21 Although only if it turns out to actually be usable for programming, I suppose 04:24:21 FireFly: so long as you had an actual program to run it on 04:24:25 Right 04:24:26 yes 04:24:30 fwiw, I'm using the file extension .3* 04:24:35 to drive Windows programmers mad 04:24:48 (it's only mildly inconvenient on Linux, mostly having to add extra quotes, and making me do a double take when I see ls output) 04:24:53 it even tab completes correctly! 04:24:58 Haha 04:26:23 Most likely it'll be fine even without escaping 04:27:49 I thought the program does not require any specific extension? (Even though it does say to use .3* at the top) 04:28:01 Out of interest, why the second and fourth cells for the output extension? 04:29:39 ais523: Don't you have a color computer? 04:29:57 zzo38: it doesn't require a specific extension 04:30:03 also what do you mean by a color computer? 04:30:17 is it related to colorforth? 04:30:19 Color terminal, I suppose 04:30:29 3sp? is that an esolang? 04:30:31 FireFly: I had a feeling that it might be possible to use only the even-numbered cells 04:30:37 quintopia: http://esolangs.org/wiki/Three_Star_Programmer 04:30:41 Then you can use colors with ls 04:30:44 I just put it on the wiki today (designed it a few days ago when I was ill) 04:30:49 zzo38: oh yes, color terminal, and I use colors with ls 04:30:55 but it's still confusing seeing asterisks in ls' output 04:31:14 even if I put them there myself 04:31:19 I think I'd do even more of a double-take seeing (escaped) asterisks when tab-completing 04:31:29 and feel a bit uneasy pressing enter 04:31:59 Sgeo: 4km is a bit less than half the height of mount everest hth 04:32:28 neat 04:34:02 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 04:42:57 Well, I seem to be able to observe "quantum" effects in SL somewhat comfortably at 4km 05:37:59 -!- variable has joined. 05:40:33 WHEE https://gist.github.com/Sgeo/dc140b32c082ae38fd15 05:44:52 <\oren\> ais523: You should make one where the array extends downward using my stupid x86 stack trick. 05:45:14 \oren\: you could just change increments to decrements, the language spec doesn't require any particular memory layout 05:45:27 <\oren\> right that would work 05:47:17 -!- hppavilion[1] has joined. 05:47:21 My next experiment, the one that I and a coworker am eagerly anticipating: What happens when minimum velocity imposed by the nature of floating-point numbers is near the maximum velocity arbitrarily imposed by the Lindens? 05:49:12 Should I make esoteric letters for a font? 05:49:14 I think I should 05:49:21 Eso Sans 05:50:15 Are you going to use METAFONT to make up a font? 05:50:39 The fun part: In order to get to a point where this occurs, we will build a MASSIVE ROCKET 05:51:02 zzo38: I'm using WalText II 05:53:02 zzo38: Though I might make a METAFONT or something version so people can use it in reality 05:53:32 I'm going to have such constructs as the 1.5 story g and the 3-humped B 05:54:17 METAFONT is good for printer fonts. (It could be used for screen fonts too, although screen fonts are best made with a tile editor, in my opinion.) 05:54:33 How does WalText II work anyways? 05:59:13 What does 'tile editor' entail? 05:59:50 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 06:03:41 [wiki] [[Talk:3var]] http://esolangs.org/w/index.php?diff=45318&oldid=41115 * Nikoraito * (+965) /* Extensions */ new section 06:04:18 [wiki] [[Talk:3var]] http://esolangs.org/w/index.php?diff=45319&oldid=45318 * Nikoraito * (+89) /* Extensions */ 06:06:03 [wiki] [[Talk:3var]] http://esolangs.org/w/index.php?diff=45320&oldid=45319 * Nikoraito * (+52) /* Extensions */ 06:10:22 You can select sets of tiles and make each pixel of each tile on/off; some more advanced ones may have additional operations too. 06:12:04 (Tiles may also be created with a text editor and then compiled; some programs will do it this way.) 06:26:42 -!- hppavilion[1] has joined. 06:27:42 B (three story): Check 06:27:59 zzo38: WalText II is kind of like METAFONT I've been told 06:28:26 <\oren\> I agree fonts for computers are best designed with pixels, so there's no blurriness 06:28:43 Though in later versions, it's going to have a dynamic random number feature (allowing you to emulate human error in the font, making it look more realistic, less uncanny valley) 06:40:04 My "C" looks like pac-man 06:40:20 Should eso sans be monospace? 06:44:52 oerjan: What do you think? 06:45:08 i do not think about fonts hth 06:47:07 oerjan: Wait, was it you or \oren\ that's making the font? My recognition of names (and faces, though that doeesn't really come into play) is not very good 06:51:53 My "m" is a mangled mess 06:52:13 Like an h/m/~/() 06:53:48 If WalText II is like METAFONT then depending on other stuff how it works, may be possible to compile WalText II fonts into TFM/PK formats; such file formats are simple enough to do. 06:59:21 zzo38: It could very well be 06:59:36 zzo38: WalText II is actually saved as JSON xD 07:02:25 That isn't a problem. 07:06:09 zzo38: I know 07:06:59 -!- variable has quit (Ping timeout: 240 seconds). 07:11:34 -!- andrew has quit (Ping timeout: 260 seconds). 07:13:46 -!- augur has quit (Read error: Connection reset by peer). 07:14:25 -!- augur has joined. 07:15:29 -!- andrew has joined. 07:33:21 -!- lleu has joined. 07:33:34 -!- lleu has quit (Changing host). 07:33:34 -!- lleu has joined. 07:37:47 -!- Patashu has joined. 07:38:16 -!- Welo has joined. 07:45:10 -!- oerjan has quit (Quit: ARGH). 07:45:54 -!- Patashu has quit (Ping timeout: 272 seconds). 07:47:34 Someone should go write a language specification in ultra-limited time 07:47:46 NEW ESOLANG SPORT: UTLLD 07:48:01 (Ultra time-limited language design) 07:48:05 -!- Patashu has joined. 07:48:42 How much time limit? 07:48:52 hppavilion[1]: http://esolangs.org/wiki/2014 was pretty time-limited 07:51:44 zzo38: Depends on how hardcore the player is 08:02:26 -!- Welo has quit (Quit: Leaving). 08:05:55 Deos anybody want to see eso sans yet? 08:10:31 -!- sebbu3 has changed nick to sebbu. 08:13:22 -!- hppavilion[1] has quit (Quit: WALRUS MAAAAAAAAAAAAN). 08:20:54 [wiki] [[Three Star Programmer]] http://esolangs.org/w/index.php?diff=45321&oldid=45314 * Ais523 * (+85) /* External resources */ link to where the name comes from 09:13:24 -!- ais523 has quit (Quit: meetings). 09:45:30 -!- mauris has joined. 09:48:56 -!- ais523 has joined. 10:05:18 -!- mauris has quit (Ping timeout: 260 seconds). 10:05:52 ais523! hello 10:05:55 I haven't seen you for weeks 10:06:01 I've been ill 10:06:05 still am to some extent 10:09:45 I see 10:16:46 -!- mauris has joined. 10:25:30 -!- ais523 has quit. 10:26:54 -!- mauris_ has joined. 10:27:59 -!- mauris has quit (Ping timeout: 240 seconds). 10:34:01 -!- idris-bot has joined. 10:44:43 -!- andrew has quit (Remote host closed the connection). 10:53:17 -!- mauris has joined. 10:53:57 -!- mauris_ has quit (Ping timeout: 255 seconds). 11:10:06 -!- mauris has quit (Ping timeout: 240 seconds). 11:36:46 -!- boily has joined. 11:57:15 -!- Patashu has quit (Ping timeout: 250 seconds). 12:00:37 -!- AnotherTest has joined. 12:02:37 * boily is confused by Han Unification 12:13:18 * FireFly wonders what type boily is, and what type Han Unification is, and whether it has any other effects apart from causing confusion 12:16:41 Firellofly. I think I'm Canadian. 12:16:53 (is mayonnaise an instrument?) 12:19:50 -!- mroman has joined. 12:19:54 fnarxel 12:20:30 Fnord 12:21:55 chicken. 12:24:03 Is Han Unification supereffective against Canadian? 12:28:19 further research needs to be made for a conclusive conclusion. 12:28:41 -!- boily has quit (Quit: ZIGGURAT CHICKEN). 12:51:15 -!- andrew__ has joined. 12:54:12 -!- jaboja has joined. 12:55:41 -!- AnotherTest has quit (Ping timeout: 252 seconds). 12:58:38 * int-e wonders whether Han Unification is in any way similar to AC Unification... 13:10:32 -!- mauris has joined. 13:14:56 -!- AnotherTest has joined. 13:22:31 -!- tromp_ has quit (Read error: Connection reset by peer). 13:23:03 -!- tromp_ has joined. 13:31:10 full bridge rectifier 13:42:19 -!- jaboja has quit (Ping timeout: 240 seconds). 14:02:47 -!- mauris has quit (Ping timeout: 276 seconds). 14:18:49 -!- Froo has quit (Quit: *bubbles away*). 14:35:33 [wiki] [[Talk:Imapl]] http://esolangs.org/w/index.php?diff=45322&oldid=45290 * Lemon enthusiast * (+624) 14:38:00 [wiki] [[Talk:Imapl]] http://esolangs.org/w/index.php?diff=45323&oldid=45322 * Lemon enthusiast * (+172) 14:38:15 [wiki] [[Talk:Imapl]] http://esolangs.org/w/index.php?diff=45324&oldid=45323 * Lemon enthusiast * (+2) 14:39:00 [wiki] [[Talk:Imapl]] http://esolangs.org/w/index.php?diff=45325&oldid=45324 * Lemon enthusiast * (-61) 14:41:58 [wiki] [[Imapl]] http://esolangs.org/w/index.php?diff=45326&oldid=45292 * Lemon enthusiast * (+0) /* Operators (Ordered by precedence): */ 15:01:35 [wiki] [[Imapl]] http://esolangs.org/w/index.php?diff=45327&oldid=45326 * Lemon enthusiast * (+31) /* Execution: */ 15:01:37 [wiki] [[Imapl]] http://esolangs.org/w/index.php?diff=45328&oldid=45327 * Lemon enthusiast * (+431) /* Computational class */ 15:03:59 [wiki] [[Imapl]] M http://esolangs.org/w/index.php?diff=45329&oldid=45328 * Lemon enthusiast * (+15) /* Computational class */ 15:08:46 [wiki] [[Imapl]] M http://esolangs.org/w/index.php?diff=45330&oldid=45329 * Lemon enthusiast * (+0) /* Constants */ 15:17:34 [wiki] [[Imapl]] http://esolangs.org/w/index.php?diff=45331&oldid=45330 * Lemon enthusiast * (+51) /* Operators (Ordered by precedence): */ 15:18:34 [wiki] [[Imapl]] M http://esolangs.org/w/index.php?diff=45332&oldid=45331 * Lemon enthusiast * (-1) /* Operators (Ordered by precedence): */ 15:28:52 [wiki] [[User:Lemon enthusiast]] http://esolangs.org/w/index.php?diff=45333&oldid=45296 * Lemon enthusiast * (-98) 15:36:12 i have an important question 15:36:22 do you right align numbers and left align strings? 15:36:54 or do you use the same alignment for both? 15:39:05 Justify everything, even if it's a single word. 15:41:06 i'm writing code 15:41:46 i have an array, some keys are "strings in double quotes", some are integers 15:43:08 arr["very long string"] = x; arr[22] = x 15:43:10 arr["short string" ] = x; arr[ 2] = x 15:43:13 ^ does it look ok? 15:43:16 it's important 15:45:08 It is okay to me no Matter if Strings/Numbers are aligned to the Left or to the Right, or even unaligned, as long as You keep Your Style consistently. 15:45:40 if I run 7z a -mx=0 so that it adds files to a 7zip archive without compressing them, and the progress message says "Compressing", then is the progress message misleading, or have I given the parameters wrong? 15:47:59 b_jonas: Just test with a String of 10k zeroes and look at the Size, then You know whether it compresses B) 15:48:10 s/zer/Zer/ 15:48:39 HMM, POSSIBLE 15:48:44 sorry 15:48:46 hmm, possible 15:48:49 I'll try that 15:49:39 yep, doesn't compress. and still says "Compressing" 15:50:02 the compression part of 7z is nice, but the command-line UI needs severe reworking. 15:50:09 This isn't the only problem I have with the UI. 15:52:45 izabera: In a case like that, I normally wouldn't align, but if I did, I'd left-align both strings and numbers. But that's strictly personal preference. 15:52:45 Send Patches 15:53:38 left align strings, right align numbers 15:54:23 unless we're talking about tables 15:54:36 then left align left-most column, right align all the other columns. 15:55:14 How about point-aligning numbers? 15:55:41 floats should be right-aligned and point-aligned 15:55:42 true 15:56:10 but if you use a fixed amount of decimal points then right-aligning them is the same thing? 15:56:29 [wiki] [[Imapl]] http://esolangs.org/w/index.php?diff=45334&oldid=45332 * 179.185.170.155 * (-140) /* Constants */ 15:56:32 Maybe. Are there any fonts with variable-width digits? 15:57:00 I would assume so 15:57:36 „Are there“-Questions sorta suck in our infinite Multiverses ;) 15:58:01 If something does not exist, somebody has already created it in this or other Galaxies 15:58:09 So nothing does _not_ exist 15:58:16 Probably. 15:58:17 Paradox ♥ 15:58:25 but then I'd kill you for using those fonts. 15:58:46 I would not care because there exist an infinite Number of Clones of myself ;=P 15:59:00 But i still have a Fetish for fixed Fonts 15:59:09 So i am lucky even in _this_ current Multiverse ;) 15:59:16 I have a fetish for simple websites . 15:59:19 s/fixed/fixed-Size/ 15:59:30 My Website is quite simple 15:59:45 Does it have a lot of Words with Capital Letters, at least? 15:59:52 http://md.mroman.ch/ <- I started to switch all my sites to this exact same CSS 16:00:21 http://apic.name does not even use CSS 16:00:38 Ideally you wouldn't use CSS, yes 16:00:43 Yes 16:00:44 but browsers usually have a sucky default CSS imo 16:00:48 True 16:00:56 headings are way too large in my opinion 16:01:10 and having the page width 100% of the window per default 16:01:16 It looks stupid on wide screens 16:01:17 imo 16:01:25 it's better to not use the full width. 16:01:53 wait 16:01:56 Du bist Deutscher? 16:02:01 Ja 16:03:42 -!- andrew__ has quit (Ping timeout: 272 seconds). 16:27:13 Is Jace the only character who has six or more Planeswalker cards representing them? 16:27:55 izabera: that's how I would align it, FWIW 16:28:01 yay 16:29:33 (Chandra has five, Garruk has five) 16:33:12 I'm still struggling with the formal proof for the df constants 16:33:16 they intuitively make sense 16:33:22 but I don't know how to proof it formally :( 16:33:56 Generally I can show that numbers of the form n^{2m} can in fact be reached fastest 16:36:50 wait a minute. if you tell Firefox to always use my fonts, not allowing webpages to override them, then it still downloads font from the web and uses them for the page as a fallback for characters that aren't in the font I specificed but are in other fonts I have installed on my system? 16:36:57 Does this look crazy only to me? 16:38:42 [wiki] [[User talk:Ais523]] http://esolangs.org/w/index.php?diff=45335&oldid=45307 * -Dark-Phantom- * (+216) /* Page removal request */ 16:43:29 http://md.mroman.ch/blog/2015-11-12.html <- that's what I've got so far :( 16:45:04 The thing left is to prove that if n^2m < x < n^2(m-1) then the fastest way is to go to whichever is nearest and use i or d 16:45:34 -!- J_Arcane has quit (Ping timeout: 265 seconds). 16:46:39 -!- mauris has joined. 16:49:14 hm 16:49:32 I probably just need to show, that any number between those can not be reached in less than n+m steps 16:56:04 -!- Frooxius has joined. 17:05:38 -!- AnotherTest has quit (Ping timeout: 260 seconds). 17:06:23 -!- ski has quit (Ping timeout: 244 seconds). 17:09:53 Under what sort of conditions will n^2m < x < n^2(m-1)? 17:10:12 mroman: your math is wrong. repeated squaring gets you to n^(2^m). Also, you should simply aim for the closest square number, so one of n^2 < x < (n+1)^2. 17:10:17 -!- ski has joined. 17:11:22 (ignoring the nasty case of 256). 17:12:47 256 isn't even that nasty. For numbers 256^4 and up, it's still better to go to 256^2 and square it. 17:12:51 Jafet: when n is purely imaginary 17:12:52 A useful fact is that if df(x) is the smallest number of operations to reach x from 0 in deadfish, then |df(x) - df(x+1)| <= 1, still ignoring the 256 complication. 17:13:37 This is simply because you can get from x to x+1 by a single operation, and vice versa. 17:14:48 That doesn't give very useful bounds, though, since df(x) = Θ(√x). 17:14:57 Jafet: the thing is, repeated squaring is a very infrequent case. you're far more likely to end up with small adjustments after each squaring. 17:15:34 int-e: oh. right. 17:15:42 n^(2^m) 17:16:02 Jafet: it's a useful lemma because it bounds the different of the costs for reaching n or n+1 in n^2 < x < (n+1)^2, and also shows that except for very small x, aiming for a smaller or a larger square cannot possibly help. 17:16:12 the difference 17:17:24 (one of the < should be <= of course ...) 17:37:11 -!- AnotherTest has joined. 17:42:54 b_jonas: jace is the most promiscuous planeswalker hth 17:45:17 coppro: and he's a memory mage, he made sure he has good publicity by ensuring everyone always remembers him while they forget the other planeswalkers 17:46:02 I think he even made sure Teferi got such a ridiculously forgettable planeswalker card, because Jace saw him as a potential rival, being the same color. 17:48:19 And Teferi is delayed in revenging on him, because his ovinomancer powers extends only to creatures, and unlike some planeswalkers, Jace isn't so stupid as to turn to a creature planeswalker. 17:50:52 Jace even ensured everyone remembers him by getting into the flavor text of a lot of spells. 18:04:32 -!- mroman has quit (Quit: Lost terminal). 18:06:24 -!- Phantom_Hoover has joined. 18:41:03 -!- mauris has quit (Ping timeout: 255 seconds). 18:48:37 -!- hppavilion[1] has joined. 18:51:32 I do not dislike the default CSS of the browser. However, if the user does not like it then he should modify it. 18:52:51 If you put in your own CSS to not use the full width or for whatever, then I would have to override it per each site to force it to use the full width of the window. 19:20:56 -!- mihow has joined. 19:28:54 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 19:32:15 -!- hppavilion[1] has joined. 19:33:46 -!- mihow_ has joined. 19:35:17 -!- mihow has quit (Ping timeout: 250 seconds). 19:35:18 -!- mihow_ has changed nick to mihow. 19:37:47 Hellu 19:39:57 Heya 19:41:22 https://docs.google.com/document/d/1IVBYW2CSDgvspkCl0nYTy-FQPUwozYdkX2H-cZGwALo/edit?usp=sharing 19:41:37 I'm working on Getchl right now and am still looking for feedback 19:41:52 If anyone feels like clicking the link and telling me what they think... 20:00:42 where's the tldr version? 20:02:54 izabera: There isn't an abbieviated version, unless you don't care about the commands in which case the Wiki has that on the Getchl page 20:03:15 but it's *eight* pages -_- 20:03:30 of arbitrary associations between actions and keys 20:03:48 -!- mauris has joined. 20:05:42 -!- Patashu has joined. 20:05:53 izabera: Some of them are based on the traditional meanings (:=dup), some based loosely on meanings in other languages (;=halt), and some are just chosen because they look like they should mean that (@=loop) 20:06:21 The letter ones are either mneumonics (r=read), and 0-9 and A-F are Hex codes 20:10:45 But yes, it /is/ 8 pages. All printable ASCII characters, plus a number of variant commands, and a list of useful mneumonics 20:14:27 -!- hppavilion[2] has joined. 20:16:12 -!- hppavilion[1] has quit (Disconnected by services). 20:16:22 -!- hppavilion[2] has changed nick to hppavilion[1]. 20:34:05 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 20:44:39 -!- Patashu has quit (Ping timeout: 240 seconds). 20:53:10 -!- Lord_of_- has quit (Excess Flood). 20:54:16 whew, I was writing a completely stupid statement in my program. good thing the compiler caught it. 20:54:27 const++ 20:55:30 -!- Lord_of_- has joined. 20:58:36 more like, I was writing several stupid statements 21:08:39 -!- hppavilion[1] has joined. 21:18:43 -!- ^v has joined. 21:28:43 [wiki] [[User:Hppavilion1/Unicode/Potential Meanings]] N http://esolangs.org/w/index.php?oldid=45336 * Hppavilion1 * (+755) Created Page 21:29:58 -!- user has joined. 21:30:10 -!- bb010g has quit (Quit: Connection closed for inactivity). 21:30:21 -!- user has changed nick to Guest52752. 21:34:32 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 21:44:15 [wiki] [[Greentext]] N http://esolangs.org/w/index.php?oldid=45337 * 160.3.110.148 * (+2080) Created page with "{{infobox proglang |name=Greentext |author=[[Jfeng41]] |year=[[:Category:2015|2015]] |class=[[:Category:Turing complete|Turing complete]] |refimpl=[https://github.com/jfeng41/..." 21:55:36 [wiki] [[Greentext]] http://esolangs.org/w/index.php?diff=45338&oldid=45337 * 160.3.110.148 * (+206) 21:57:35 Hi 21:57:45 [wiki] [[Greentext]] http://esolangs.org/w/index.php?diff=45339&oldid=45338 * 160.3.110.148 * (+22) 21:58:07 [wiki] [[Greentext]] http://esolangs.org/w/index.php?diff=45340&oldid=45339 * 160.3.110.148 * (-2) 21:58:16 `welcome 21:58:17 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 21:59:55 thanks 22:00:21 I'm having trouble finding some ideas to name my esolang 22:00:39 name it Guest52752 22:00:52 a memorable name is important 22:00:55 ok 22:01:02 thanks, I'll do it 22:01:05 bye 22:01:28 come on 22:01:32 don't leave 22:01:34 -!- Guest52752 has changed nick to Mrlemons. 22:01:42 ok 22:01:56 just kidding!! 22:01:59 -!- aretecode has joined. 22:02:20 it's a turing tarpit with only two characters 22:02:38 another one? 22:03:07 kind of 22:03:29 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:03:30 [wiki] [[Greentext]] http://esolangs.org/w/index.php?diff=45341&oldid=45340 * 160.3.110.148 * (+9) 22:04:40 ttctc - turing tarpit containing two characters 22:05:22 tttc two characters turing tarpit 22:05:29 wait 22:05:32 hah 22:05:32 it's tctt 22:07:06 ttctt you mean? 22:07:13 assuming you intended it to be recursive 22:08:07 `? tar 22:08:07 tar? ¯\(°​_o)/¯ 22:08:09 `? tarpit 22:08:10 tarpit? ¯\(°​_o)/¯ 22:10:58 `which tar 22:10:59 ​/bin/tar 22:11:02 there 22:13:33 -!- Mrlemons has quit (Ping timeout: 246 seconds). 22:15:24 `learn The tapeworm is the bane of tape libraries. Its natural enemy is the tape archiver, tar. 22:15:27 Learned 'tapeworm': The tapeworm is the bane of tape libraries. Its natural enemy is the tape archiver, tar. 22:17:11 google cats scared by cucumbers 22:17:17 now 22:17:20 do it 22:17:23 i'll wait here 22:17:34 don't hold your breath 22:18:17 i don't breathe anyway 22:19:44 did you know that oxygen has a 100% killing rate 22:22:13 About 7% of people have not yet died despite being exposed to 21% O2 in the atmosphere almost all the time. 22:22:55 give 'em some time 22:23:28 I will, but you have no proof that that will work. 22:27:19 bet your $dayjob is lobbyst for a tobacco firm 22:29:03 ouch 22:29:47 Ok, I'll add this: I was speaking mathematically; scientifically you seem to be on the safe side. 22:34:20 -!- Mrlemons has joined. 22:39:45 -!- oerjan has joined. 22:42:29 oerjan is moving backward in time 22:43:10 i am? 22:44:07 -!- mauris has quit (Read error: Connection reset by peer). 22:44:11 well, last time I saw you join it was after midnight, and now it's before midnight (local time, here) 22:44:22 are you referring to me being constantly backlogged (approx. 2 months for the wiki and /r/haskell) 22:44:31 hm... 22:44:37 -!- mauris has joined. 22:46:24 int-e: today i shopped just before the shop closed at 11, so had to go home a bit early to reach it. 22:46:52 how early do you usually go home 22:46:57 home from where 22:47:16 11 (12 on weekends), because that's when the restaurant closes 22:47:46 except when my sleeping cycle is enough different that i'm asleep then 22:48:26 What are your opinion of some of my ideas about improvement to make for SQLite? 22:48:51 I don't remember the ideas. 22:50:23 It is http://zzo38computer.org/textfile/miscellaneous/sqlext 22:59:49 i don't know much of the sqlite internals but where is the button that produces chocolate chips 23:00:42 god someone tell me the truth behind design patterns already 23:01:22 mauris: I don't know! 23:01:35 -!- J_Arcane has joined. 23:01:49 izabera: I think SQLite does not have the button to produce chocolate chips. 23:02:11 i'm being forced to use ~the observer pattern~ and also ~MVC~, to make a space invaders clone in c++ 23:02:18 zzo38: WTF 23:02:22 HOW CAN THIS BE 23:03:25 izabera, maybe you can submit a patch 23:03:35 does the non lite version have them? 23:03:44 You would need some other equipment to produce chocolate chips, but if you would want to you might be able to make SQLite extension to drive such a machine. 23:04:12 mauris: the observer pattern is required to collapse the wave function hth 23:04:34 : D 23:05:05 izabera: There is no "non lite" version, although there is a paid version that adds support for encryption and compression (you can still do these things with the free version too although you would have to implement such a VFS yourself unless someone else has already made such a free VFS for such purpose); it doesn't add chocolate chips though 23:05:50 mauris: what happens if you apply the observer pattern to a heated kettle of water (or milk)? 23:06:40 ...who puts milk in the kettle? 23:06:42 Many things can be done with extensions, although some things should need to be applied to the core in order to work properly (except for json_aggregate which would be applied to an existing extension and not to the core) 23:06:52 Probably object-oriented programmers 23:07:49 An extension can implement a virtual table module, although there are some things that virtual tables currently do not do; I suggested what improvements could be made. 23:08:19 Much of what I wrote is only about the public API and not about the internals anyways (although the internals clearly would need to be modified in order to implement such things). 23:12:47 has oerjan come unstuck in time? 23:20:10 -!- boily has joined. 23:22:11 bongiornoily 23:25:11 buongiornoily* 23:26:10 Ach 23:26:15 I need to step up my Italian 23:26:25 By which I mean, I need to actually learn Italian 23:31:16 inglourious basterds is not enough? 23:33:19 Tanelle! 23:33:30 (safely addressing you in the vocative case.) 23:33:37 izabellora! 23:35:39 \helloren\, b_jellonas, chelloppro, ellodwardk, Firellofly, fizziello, fungellot, Greghellor, int-ello, J_Arcanello, Jafellot, lifthellorasiir, helleu, Hellymia, mhellauris, Mellolvar... 23:36:44 mynamello, nellortti, hellocharles__, hellørjan, hellolsner, Phantom_Helloover, pikhelloq, QUINTHELLOPIA, Sgello, hellochaf, shellokhin, trellomp, tswellott, hezzo38! 23:38:31 If I learnt Italian, I could ask my information theory teacher to tutor me in his native language, which he can't possibly be less eloquent in 23:39:18 but would you be able to do so in time? 23:39:55 italian is easy 23:40:08 just add o at the end of each word 23:40:13 italian -> italiano 23:40:44 next, wanna try spanish? add s at the end of each italianized word 23:40:48 italian -> italianos 23:43:28 what about Portuguese? 23:43:51 nji at the end 23:44:32 i'm not even exaggerating that much 23:46:17 nji? 23:46:38 and for Norwegian, you add in some ø I guess... 23:46:44 italianøsnji. 23:51:41 :D 23:52:12 -!- staffehn has quit (Quit: No Ping reply in 180 seconds.). 23:53:19 -!- staffehn has joined.