00:01:45 -!- brade has joined. 00:01:57 f(moo)^pi 00:02:02 -!- brade has changed nick to moony. 00:02:07 -!- moony has quit (Changing host). 00:02:07 -!- moony has joined. 00:02:33 uh 00:03:18 rdococ, ?? 00:03:39 moo 00:21:37 hppavilion[0], bored 00:22:14 moony 00:22:27 ? 00:22:31 bored 00:23:01 try Dwarf Fortress :D there is a help channel for it on Freenode too, its #dwarffortress 00:23:21 nah 00:23:41 there also is a book from oreilly 00:23:56 oh reilly? 00:24:03 yarly 00:25:06 mhm 00:25:08 there is 00:25:15 imagine an alien timeline where we use ratios (3:3) instead of dividing (3/6) 00:25:20 i own a copy, it helped me get started, its really well written :P 00:25:38 i started with some youtube tutorial 00:25:55 the tutorials on the wiki and the ones on Youtube are also usually really good 00:25:55 it has a point after 30 minutes of cut video where the player said 00:26:10 rdococ: i'd say that's unrealistic, but then i think of egyptian fractions. 00:26:11 "finally, we are in the game. this is, where most of the players quit, too" 00:26:33 wew 00:26:43 somewhere on the wiki even is a tutorial with a downloadable save game to tell you exactly what to do. i fail to find it again, though 00:26:49 * moony throws a pregnned world 00:26:54 :p 00:27:11 oerjan: People already use that for odds. 00:27:20 ik 00:27:25 but what if we used it in math too? 00:27:44 odds are maths 00:27:47 -!- doesthiswork has quit (Quit: Leaving.). 00:27:54 ik but I meant other regions of math 00:28:09 i don't even 00:28:11 shachaf: i'm pretty sure this : doesn't mean the same thing hth 00:28:11 * moony builds a robotic arm to deny ALL bard petitions, because bards are useless 00:28:26 wait 00:28:28 nono, it does 00:28:31 ooh 00:28:33 50:50 is 50 of one, and 50 of the other 00:28:36 aka 1/2 00:28:57 shocking 00:29:01 but are ratios not built atop dividing? hth 00:29:06 and 1:1 is the same, in fact x:x will always be 1/2 by virtue of being x/2x 00:29:36 Anyway, gambling people are silly. 00:29:41 They use words like "vigorish". 00:30:05 rdococ: that means 0/0 = .5? 00:30:21 myname: yes 00:30:28 well, for this culture anyway. 00:30:34 also 0/0 is any number so there's that. 00:30:47 any number is exactly what 0/0 isn't hth 00:31:17 x/y = z means that x = z*y, yes? 00:31:34 thus, 0/0 = z means that 0 = z*0... and that is true for all numbers 00:31:56 No, it menas that x*y^-1 = z 00:32:25 uh, how does that prove my point wrong? 00:32:46 it does so for not having 0^-1 defined per definition of a field 00:33:26 this isn't what we were discussing... 00:33:29 > 0/0 00:33:32 NaN 00:33:39 Not any Number hth 00:33:47 lol 00:33:58 NaN is a programming construct 00:35:53 > let x = 0/0 in x == x 00:35:56 False 00:36:00 my favorite 00:36:04 lol 00:36:09 > ? === 00:36:12 :1:1: error: parse error on input ‘?’ 00:36:20 do we have type comparison? (i.e. ===) 00:36:28 > let x = 0/0 in x === x 00:36:31 error: 00:36:31 • No instance for (Show Test.QuickCheck.Safe.SProperty) 00:36:31 arising from a use of ‘show_M868981330148735378818045’ 00:36:37 == is type comparison by definition 00:36:47 you cannot compare different types in haskell 00:37:07 ik, i ment precision, i.e. NaN === NaN = true 00:37:22 dohwell 00:37:25 NaN is per definition false for every co parison 00:37:46 what a (not a) number 00:37:51 > toRational (0/0 :: Float) 00:37:57 (-510423550381407695195061911147652317184) % 1 00:38:13 #weee-data-derping 00:38:27 One of the darker corners of Haskell. 00:39:38 I like the naming choices for that class. 00:39:39 @src Real 00:39:39 class (Num a, Ord a) => Real a where 00:39:39 toRational :: a -> Rational 00:39:57 > realToFrac (1/0 :: Float) :: Double 00:40:01 3.402823669209385e38 00:40:27 that one becomes Infinity with sufficient optimization. 00:40:46 huh 00:40:56 who knew 3.402823669209385e38 = infinity? 00:40:58 @src realToFrac 00:40:59 realToFrac = fromRational . toRational 00:41:21 lol 00:41:24 that's the official story, but with optimization that conversion will be done by the FPU. 00:41:40 As I said, it's a dark corner. 00:42:19 then put a light 00:42:45 good idea... fetch me some gasoline and fabric and a matchbox 00:43:49 what about a programming language that treats cardinals and ordinals differently? 00:44:52 -!- TellsTogo has joined. 00:45:09 like, you couldn't do array[len(array)-1]? 00:45:18 cardinals are just ordinals that have no smaller ordinals that have a bijection to them 00:45:54 (so no, even in mathematics I prefer not to distinguish between the two) 00:46:09 k 00:46:35 if you want to be cute, why not have n have a container view, where it's [0..n-1]? 00:46:46 s/have/let/ 00:46:53 container view? 00:47:08 for i in 3: print i --> prints 0,1,2. 00:47:08 A language where everything is C-style Undefined Behaviour 00:47:23 (python-like syntax) 00:47:30 But this isn't immediately obvious from the specification 00:47:51 so... basically... C. :-P 00:47:57 lol 00:48:05 0.upto(2) |i| p i 00:48:15 > ["taneb"..] 00:48:18 error: 00:48:18 • No instance for (Enum [Char]) 00:48:18 arising from the arithmetic sequence ‘"taneb" .. ’ 00:48:22 *tests ftl 00:48:56 what about a language where the only type is a boolean (along with arrays eg boolean[]) and you have to construct classes such as integer? 00:49:30 sounds intresting 00:49:30 that reminds me that I should learn a bit more about VHDL 00:49:47 (its capabilities) 00:49:58 i thpught about something similar, but instead of bits you'd have half of a bit. you could either get its value or have an endless loop on access 00:50:00 you can construct anything binary out of booleans. (i once made a 64bit integer out of bools in C++ ftl, lost the file due to new laptop) 00:50:13 (Actually no arrays - they require numbers) 00:50:23 half of a bit :p 00:50:27 like the idea 00:50:33 rdococ, 2 bits per array? :P 00:50:41 https://esolangs.org/wiki/Kayak sort of fits the bill... even though those are stacks of booleans 00:50:44 moony, that's possible 00:50:59 boolfuck is a thing, too 00:51:03 (The main point of kayak is different, of course) 00:51:11 k 00:59:00 REST IN PIECES FORT. 00:59:22 i dont have a military. *smelts some silver bars for weapons* SUDDENLY WEREBEAT 00:59:31 maybe start with a two bit adder and multiplier 00:59:44 then use them like logic circuits 01:00:07 rdococ, how about basic NOT gates instead? they are basic gates and can make ALL the things 01:00:24 they can? 01:00:43 how can a unary gate make any binary function? 01:00:49 exactly 01:01:11 no, inversion of the a bit is the notgate im describing 01:01:19 1 -> 0 0 -> 1 01:01:19 oh? 01:01:33 the a bit? 01:02:05 how do you make an and out of that 01:02:32 what does the a bit mean, moony? 01:02:34 AND = 'C = NOT A; D = NOT B; NOT (A OR B)' 01:02:39 technically you need a OR gate as well 01:02:46 wait 01:02:47 err 01:02:48 derp 01:02:58 replace the second A and B's with D and C 01:03:14 you could instead just use NOR 01:03:28 where you would not need another gate 01:03:30 yes, NOR works too 01:03:47 NOR can function as a NOT and a OR at the same time. 01:03:51 just have a NOR or NAND gate 01:03:53 simple 01:03:58 works. instead of just not 01:04:13 the "NOT gate" works alone... NOT 01:05:09 i haz been corrected. 01:05:16 u haz. 01:05:43 "tea or coffee?" "yes." 01:06:02 "tea or coffee" "true" 01:07:02 * moony suddenly accidentally squirts lemon juice in his eye. FU 01:07:13 "I need you to go to the shop. get me some bread, and if there are eggs get me a dozen." he returns with a dozen loaves. 01:08:16 k 01:08:21 k 01:08:27 the way my language will work is that you only get access to NAND 01:08:35 good luck 01:08:51 * moony constructs a binary Adder 01:08:51 easy 01:09:02 peasy lemon 01:09:04 have a look at funciton 01:09:41 ik it's easy 01:09:42 my response to funciton when i first saw it: U CAN NO QUINE. AAA U CAN NO QUINE! 01:09:45 squeezy 01:09:50 lemon 01:10:06 sre you sure you cannot? 01:10:31 myname, i discovered its possible after reading the article a little, but its absur- wait wrong planguage 01:10:47 wait 01:10:55 not wrong language at all 01:13:01 * moony connects ALL the wires to themselves 01:13:29 no, PLANGUAGE 01:14:36 * oerjan points rdococ at NANDYPANTS 01:14:36 rdococ, your going to turn my typo into something else arn't you lol 01:14:54 planguage 01:15:02 its the language of planguage 01:15:17 * moony steals nandypants' pants. nandy is left alone :( 01:15:35 rdococ, how about cocodr 01:15:44 no. 01:15:45 or drcoco 01:15:50 101010. 01:15:53 lol 01:16:53 hm i don't think this is the language i wanted 01:17:05 _even_ though Taneb invented it. 01:17:46 http://esolangs.org/wiki/Funciton/Quine < rdococ 01:18:29 ferNANDo it was. 01:19:55 I still think we should all use When 01:20:07 nono 01:20:14 not the kind of When that... already... exists -.- 01:21:54 i will use it When it doesnt exist 01:24:21 does tc imply possibility of quine? 01:26:19 dont think so 01:32:32 kay so Planguage will be some form of super turing complete language 01:33:02 wew, a turing complete superset isnt easy to make (i dont know if its possible) 01:33:49 we are not TC machines are we? 01:33:56 have a look at twoducks 01:33:57 we only have a limited capacity for information. 01:34:17 yet we can tell whether a piece of code will halt or not. 01:34:28 we cannot 01:34:34 test me. 01:35:26 i can write something like a 200 indirect recursion where each step may or may not terminate based on its input 01:35:54 you would need a hell of a lot of time to tell me if this will halt or not 01:36:00 still not infinite. 01:36:05 myname, then we can make a chart that shows what input makes each one halt, and make a set of definitive halting paths and not halting paths 01:36:24 see? 01:36:36 if non-TC machines can solve it, there's no excuse for TC machines. 01:36:49 yeah, good luck of testing a arbitrary deep arbitrary wide tree for not halting paths 01:37:09 Time requirement != uncomputable 01:37:10 depends. 01:37:16 that's true too... 01:37:21 I believe what we need here is a different approach to basic logic. 01:37:41 -!- hppavilion[0] has quit (Ping timeout: 248 seconds). 01:38:01 moony: i know, but humans have very very limited ressources 01:38:03 say we have a program p that halts if it does not halt. So doesHalt(p) or a similar function would return !doesHalt(p). 01:38:16 myname: imagine an ideal superhuman then. 01:38:22 "we can tell" is simply not true 01:38:33 an ideal superhuman would be able to tell. 01:38:39 and all ypu mentioned can be done by a tm too 01:39:06 just formulate some kind of halting problem for humans 01:39:20 test me. 01:39:42 ^ 01:39:44 this sentence is false. 01:39:51 determine the truthness of that 01:39:55 that sentence is false if it's not false. 01:40:02 seriously? its called a 'paradocx' for a reason, but yes, ^ 01:40:14 the truthness of that is its inverse. 01:40:25 it's not an incorrect answer. 01:40:27 that is not a truth value 01:40:33 well make it one. 01:40:40 it is. valid answers are true and false 01:40:57 if the truthness is not a truth value, the truthness is not a truth value. 01:41:13 myname, we all know NOTHING can compute the truthness of a logic paradox :P 01:41:33 moony: welcome to the halting problem 01:41:34 too bad we can't make our own logic system up that can give paradoxes one simple answer---OH WAIT WE CAN 01:41:47 rdococ, dont take this too far >_> 01:41:55 let's compact this sentence into one program f = !f. 01:42:09 but hey, i welcome a esoteric logic system ^_^ 01:42:13 but to repeat: have a look at twoducks 01:42:15 if f was true then it would be false, and if it was false it would be true 01:42:28 rdococ, look at twoducks, as myname said 01:42:31 the conclusion I could come to is that f is both truthful and false 01:44:04 ?? 01:44:43 in common boolean logic, this cannot be 01:44:46 if f is true then f is false and if f is false then f is true 01:45:22 thus, all we would need is to remove the mutually exclusivity of true and false. 01:45:31 depending on your basic ruleset you can even prove that a and not a has to be false 01:45:46 this would break almost anything 01:46:06 every* 01:46:13 true... 01:46:18 so that's not what I'm gonna go for. 01:46:50 Actually, why would it break everything? 01:47:10 being both true and false is an undesirable condition but forced when f = !f. 01:47:27 Actually no, I have an idea. 01:47:37 how would you know in any given formula if it is forced or not 01:47:52 a new truth value - I will call it parth - is equal to its inverse. 01:48:00 also, it would make NP trivial to solve 01:48:00 !parth = parth. 01:48:22 since now every formula is satisfiable 01:48:39 myname: would this problem occur with parth too? 01:48:41 rdococ, sounds.... fuzzy 01:48:50 ikr was just about to say that 01:49:00 anyway, f = !f = parth. 01:49:10 myname, would that allow me to get rdococ's mom's phonenumber? 01:49:12 rdococ: what is true and parth? 01:49:34 myname: parth. imagine multiplication: 1 * 0.5 = 0.5 01:49:40 moony: if it's somewhere in the cloud 01:49:45 this is fuzzy logic 01:49:48 nothing esoteric about it 01:50:07 just not boolean anymore 01:50:15 -!- doesthiswork has joined. 01:50:17 see... parth can't be !parth because x&!x should always be false 01:50:35 also, fuzzy logic is not that well defined 01:50:36 but x&x is always x... so is parth&!parth parth, !parth, or false? 01:50:50 Okay, how about this. 01:50:57 what is true or parth? what is parth or parth? 01:51:36 100% or 50% -> 100%. 50% or 50% -> different values depending on the context? 01:51:47 imagine a quantum variable, yet to collapse, named q. 01:51:57 actually, let's make it a capital Q to show its worth. 01:52:27 rdococ: E = MQ^2 (jk) 01:52:36 logic that depends on context is not a logic i would want to use 01:52:59 now, Q and !Q are different, but they both have 50% probability - that's the issue with representing probabilities as mere percentages. 01:53:14 Q & !Q = false, but 50% * 50% = 25%. 01:53:49 each unrelated quantum influence will be notated with a capital letter. 01:54:05 so Q & W is 25% probable. 01:54:17 makes sense? 01:54:40 half-parth? (just a example of me not understanding due to my tiny brain) 01:55:09 parth and parth? 01:55:16 rdococ, using ur ne logic i derived ur mom's phone number. 01:55:25 really? what is it? 01:55:34 123-456-XKCD 01:55:42 XKCD? 01:55:45 nope 01:55:52 look, 4 quantum effects 01:56:00 oh 01:56:06 just wait until they collapse tocthe right number 01:56:13 rdococ, 25% * 25% = more issues 01:56:17 they don't collapse while you're logicing 01:56:32 1/4 * 1/4 = 1/16 01:57:18 you see, myname, letters on a screen will not collapse into the answer. 01:57:32 `loudly Merry Christmas! 01:57:45 honestly, why I brought up the word "quantum" I don't know. 01:57:47 it could go on forever rdococ 01:57:49 ​Merry Christmas! 01:58:26 1/2,???,??? iminent 01:58:28 the point is, have multiple unrelated probabilistic variables which interact differently with themselves and their inverses than eachother. 01:59:05 e.g. if Q and W are 1/2 probable, Q & Q = Q, but Q & W = a 1/4 probable value. 01:59:08 -!- LKoen has joined. 01:59:21 `loudly 4EVER 01:59:28 ​2 45E6V7E8R 01:59:29 makes sense? 01:59:46 rdococ++ 02:00:00 oh yay karma 02:00:07 or am I being succeeded? 02:00:23 it makes sense rdococ 02:00:35 thank you. 02:01:21 that is, for someone who is stil learning math and doesnt know too much lol 02:01:37 this is boolean logic, not maths 02:01:42 well, "boolean" logic 02:02:10 though I realize it was NOTHING to do with quantum mechanics. 02:02:38 rdococ, the 'derived your mom's phone number' thing was a XKCD joke >_> 02:02:49 I could tell -.- 02:03:08 ik what XKCD is >.< 02:03:35 it's 4 probability values multiplied together. also known as 0.5^4. 02:04:13 what you just described is independency of random variables 02:04:28 well, this already had to be done hadn't it 02:05:00 -!- doesthiswork has quit (Quit: Leaving.). 02:05:40 at the end of the day, if f = !f and f & !f = 0, then f & f = 0. but f =/= 0, it's a different value that fits the requirement f&f=0. 02:07:53 -!- hppavilion[0] has joined. 02:14:20 so the idea is that true is a 100% probability T and !T=F. 02:24:50 <\oren\> Helblinde - The Story of Mob 02:26:01 At its highest, x&y can be min(x,y) - as is the case with x&x. At its lowest, the two can cancel out - x&!x. 02:26:23 <\oren\> http://i.imgur.com/INBZ1VG.gifv 02:27:02 Mario = a douche, scientifically confirmed 02:27:50 how so 02:28:02 click the link 02:28:03 <\oren\> gif 02:29:17 there is a mario maker level where yoshi gets his revenge 02:29:32 from within a clown car 02:41:10 So here's a puzzle. 02:41:18 Write a computer program that determines whether or not Queen Elizabeth II has died. 02:42:57 <\oren\> simple, scan wikipedia every 10 minutes 02:43:33 Yeah, there are probably a ton of places you can parse it out of Wikipedia. 02:44:38 <\oren\> and maybe you can from historical data predict which would be updated first 02:46:03 Bring up the Queen's Wikipedia page. That information will be in a dozen places. 02:46:46 There's a bit that says "born 21 April 1926". See if that gets updated to include a second date. 02:47:01 Look at any of the templates that have a parameter for date of death or end of reign. 02:49:39 Another idea I had was to look for a spike in the Twitter hashtag #kingcharles. 02:50:04 check for the {{recent death}} template 02:51:28 connect a nanomachine to her 02:52:32 <\oren\> Max Coveri - Running In The Nieties (Vaporwave Edit) 02:54:39 \/oren\/ 02:54:57 <\oren\> why are so many of the youtubers I subscribe to german for some reason 02:55:26 \oren\: Assassinate her and just set queen_is_dead = True 02:55:35 Wait 02:55:37 tswett: ^ 02:55:57 hoh 02:56:01 Shush, I don't want the coppers coming after me. 02:56:31 <\oren\> yeah it's certainly more germans than any other nation 02:57:29 tswett: But what if we change the monarchial terms at the last minute and there's a spike in #czarles? 02:57:41 Hmm, good point. 02:58:47 im trying to play Dwarf Fortress pacifistly. (defense only). its failing miserably 02:58:48 <\oren\> #charles_zi_Britannia 02:58:58 *sillyness ensues* 02:59:51 tswett: You could instead check if Australia has become a republic 02:59:52 :P 02:59:56 <\oren\> moony: just flood the entire world with magma 03:00:16 And how do you check if Australia has become a republic? 03:04:41 <\oren\> Ooh! Norwegian has a word "romjul" for the period between Khrisumas and nyu years 03:04:45 <\oren\> shit 03:05:46 <\oren\> why does english have so many words but lack useful ones 03:06:36 I know 03:06:40 it's ridiculous 03:06:47 we need to make a better english 03:07:32 Christnyu 03:07:56 Boxing period 03:08:48 <\oren\> nah let's jsut steal it from norwegian: roomyule. 03:11:33 <\oren\> I'm going to start referring to it as roomyule and hope it cates on 03:13:03 -!- HackEgo has quit (Remote host closed the connection). 03:13:16 -!- HackEgo has joined. 03:13:16 we call it "mellandagar", lit. "betweendays" 03:13:16 because it's the days between christmas and new years', you see 03:13:17 <\oren\> that sounds more englishy 03:14:21 -!- ineiros_ has quit (Write error: Broken pipe). 03:14:59 -!- ineiros has joined. 03:15:46 ♫ en skulle vøri fire år i romjul'n ... ♫ 03:15:51 and the mellandagar are known for the mellandagsrea 03:15:56 or betweendays sale 03:23:17 -!- hppavilion[0] has quit (Ping timeout: 248 seconds). 03:32:51 \oren\, im making a were/underworldfort 03:32:55 :) 03:33:45 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 03:39:56 -!- oerjan has quit (Quit: Nite). 03:48:49 -!- moony has quit (Ping timeout: 265 seconds). 04:42:34 -!- moonheart08 has joined. 04:43:55 -!- moonheart08 has changed nick to oldpc-moony. 05:27:17 -!- hppavilion[0] has joined. 06:13:40 -!- oldpc-moony has quit (Ping timeout: 258 seconds). 06:52:05 -!- erdic_ has joined. 06:53:13 -!- Ir0nY has joined. 06:53:16 -!- int-e_ has joined. 06:53:20 -!- Warrigal has joined. 06:53:20 -!- espes_ has joined. 06:53:24 -!- shikhin has quit (Ping timeout: 252 seconds). 06:53:24 -!- fractal has quit (Ping timeout: 252 seconds). 06:53:25 -!- espes has quit (Ping timeout: 252 seconds). 06:53:25 -!- iaglium has quit (Ping timeout: 252 seconds). 06:53:25 -!- IronY has quit (Ping timeout: 252 seconds). 06:53:27 -!- mtve has quit (Ping timeout: 250 seconds). 06:53:27 -!- ffj-bot has quit (Ping timeout: 250 seconds). 06:53:27 -!- zzo38 has quit (Ping timeout: 250 seconds). 06:53:27 -!- pdxleif has quit (Ping timeout: 250 seconds). 06:53:29 -!- erdic has quit (Ping timeout: 250 seconds). 06:53:29 -!- int-e has quit (Ping timeout: 250 seconds). 06:53:30 -!- tswett has quit (Ping timeout: 250 seconds). 06:53:30 -!- Ir0nY has changed nick to IronY. 06:53:48 -!- pdxleif has joined. 06:54:02 -!- iaglium has joined. 06:54:05 -!- shikhin has joined. 07:01:01 -!- erdic_ has quit (Changing host). 07:01:01 -!- erdic_ has joined. 07:01:38 -!- erdic_ has changed nick to erdic. 07:02:05 -!- fractal has joined. 07:08:16 -!- augur has quit (Remote host closed the connection). 07:09:31 -!- augur has joined. 07:14:00 -!- augur has quit (Ping timeout: 256 seconds). 07:20:21 -!- zzo38 has joined. 07:47:10 Yesterday I played the Dungeons&Dragons game. I was trying to steal someone's amulet (I was impersonating my clone and managed to convince someone to tell me about it), and tried to secretly open my pocket containing marbles so that they would all fall off, but he managed to notice it. 07:48:18 I think that what I should do is to attach a string to back of my cloak that way the pocket can be undone from the back to make it more difficult to notice. How well you think it should help? 08:17:25 -!- augur has joined. 08:46:58 -!- mtve has joined. 08:49:22 zzo38: Why am I not surprised you have clones? 08:50:40 -!- TellsTogo has quit (Ping timeout: 260 seconds). 08:54:08 -!- TunaVaruna has joined. 08:57:52 because you sold your soul and nothing surprises you anymore 08:59:18 I assume it's not zzo38 but e.g. Iuckqlwviv Kjugobe who has a clone. 09:11:17 [wiki] [[Talk:Tiny]] M https://esolangs.org/w/index.php?diff=50601&oldid=20014 * Ron.hudson * (-36) Cleanup spelling some and change my email address. 09:46:57 Actually it is the other character 09:47:19 But yes you have a right idea 09:48:22 `? Iuckqlwviv Kjugobe 09:48:32 Iuckqlwviv Kjugobe? ¯\(°​_o)/¯ 09:59:39 <\oren\> Ooh, I think I like this mod. 10:03:29 <\oren\> now you can have the girls from Girls Und Panzer instead of boring old hitler stalin and chuchill 10:13:42 shachaf: I do not know what to write either 10:23:56 <\oren\> http://ctrlv.in/912870 10:27:53 r5k1/1bqp2pp/1p2p1r1/3P1p2/2P5/1Q1N3n/P4PPP/R1R2B1K Black to move. 10:32:30 This was from a Soviet Championship, but what would you think of this? I thought of Qc5 but I am not very good at it so I don't know. 10:55:43 -!- augur_ has joined. 10:58:06 -!- augur has quit (Ping timeout: 250 seconds). 11:00:53 -!- TellsTogo has joined. 11:15:12 -!- TellTogos has joined. 11:18:03 -!- TellsTogo has quit (Ping timeout: 258 seconds). 11:20:26 -!- TellTogos has quit (Ping timeout: 264 seconds). 11:22:34 -!- int-e_ has changed nick to int-e. 11:26:27 -!- augur_ has quit (Remote host closed the connection). 11:27:01 -!- augur has joined. 11:31:27 -!- augur has quit (Ping timeout: 258 seconds). 11:39:27 -!- Jafet has joined. 11:45:33 -!- LKoen has joined. 12:24:28 [wiki] [[Tiny]] https://esolangs.org/w/index.php?diff=50602&oldid=50486 * Ron.hudson * (+33) /* Notes */ 12:33:24 -!- TellsTogo has joined. 12:44:36 -!- TellTogos has joined. 12:46:06 I'm watching 12:47:33 -!- TellsTogo has quit (Ping timeout: 252 seconds). 12:49:26 hppavilion[0], how're you finding it? 12:49:52 Taneb: I'm about 2 minutes into the first video because I keep getting other links, but I'm trying to watch :P 12:50:07 (I've started before, but it was a while ago and I'm taking a running start with my physics in mind) 12:51:10 Leonard Susskind kind of sounds like Bernie Sanders 12:51:12 Vaguely 13:12:37 -!- hppavilion[0] has quit (Ping timeout: 248 seconds). 13:24:36 -!- LKoen has quit (Remote host closed the connection). 13:50:03 -!- GotoTells has joined. 13:53:30 -!- TellTogos has quit (Ping timeout: 256 seconds). 14:32:59 -!- Guest30717 has joined. 14:36:17 sup 14:40:50 -!- Guest30717 has quit (Ping timeout: 264 seconds). 14:48:19 Soup. 14:59:52 -!- LKoen has joined. 15:20:43 Hmm, food. 15:35:09 -!- boily has joined. 15:46:47 And GG has a shadow mystery lady... looks a bit two-dimensional though. 15:47:23 `grwp chick 15:47:45 adjective:Adjectives are words frequently found attached to chickens. \ chicken:chicken is boily af \ dinosaur:Dinosaurs are a diverse group of pre-historic chickens with feathers. \ glass:I can eat glass and it doesn't hurt me. -- http://www.savagechickens.com/2016/05/new-diet.html \ Binary file reflection matches \ things boily likes:Fire is good 15:49:39 I seem to have imprinted a few chickens here and there upon the Wisdom... 15:53:09 comment this http://ideone.com/SaeMMS 15:53:17 a friend of mine wrote it 15:54:16 plz 15:54:51 izabellora! 15:55:27 merry hoilydays! 15:55:39 that's C++ with templates. I never learned that, so I can't comment. I commen't. 15:55:45 nice 15:56:34 Joyeux Noël et Bonne Aberannée! 16:16:19 ho++ible. 16:17:23 so, apparently, C++ has grown compile-time evaluation (constexpr) and postfix operators. 16:18:36 but seriously, T operator ""_foo(T...)? 16:19:46 In any case I think I'd rather use HLists. 16:23:58 -!- Zarutian has joined. 16:31:08 `wisdom 16:31:15 banach-tarski//"Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski". 16:46:33 -!- LKoen has quit (Ping timeout: 260 seconds). 16:46:41 izabera, 16:46:43 Taneb> LordAro, how does http://ideone.com/SaeMMS make you feel 16:46:43 Taneb: aroused 16:46:43 wait what 16:47:47 (I showed it to my C++ friend) 16:48:02 C++ developers are a weird bunch. 16:50:37 -!- TellTogos has joined. 16:53:42 -!- GotoTells has quit (Ping timeout: 256 seconds). 16:54:35 -!- Christmasinator has changed nick to BowserNotBowserR. 16:54:50 -!- BowserNotBowserR has changed nick to Christmasinator. 16:54:57 -!- ChristmasJS has changed nick to iovoid. 16:55:19 -!- Christmasinator has changed nick to Bowserinator. 17:23:03 -!- contrapumpkin has joined. 17:25:25 -!- propumpkin has joined. 17:26:26 -!- copumpkin has quit (Ping timeout: 258 seconds). 17:27:33 -!- contrapumpkin has quit (Ping timeout: 248 seconds). 17:36:39 C++++ 17:37:37 A+ 17:44:17 rdhellococ. careful with the plusplusing, this may invoke Lambdabotic Karma. 17:44:22 rdococ-- 17:44:28 @karma rdococ 17:44:28 rdococ has a karma of 0 17:44:32 rdococ++ 17:44:34 @karma rdococ 17:44:34 rdococ has a karma of 1 17:44:56 boily >> 2 17:45:01 @karma boily 17:45:01 boily has a karma of 108 17:45:24 no bit-shifting? 17:45:33 @karma C 17:45:33 C has a karma of 2 17:45:36 int-e: what's a HList? 17:45:36 LOL 17:46:12 D++++++++ 17:46:24 ? 17:46:27 nvm 17:52:19 -!- brade has joined. 17:52:44 f(moo)^pi 17:52:52 -!- brade has changed nick to moony. 17:52:59 -!- moony has quit (Changing host). 17:52:59 -!- moony has joined. 17:53:40 -!- TellsTogo has joined. 17:56:36 -!- TellTogos has quit (Ping timeout: 256 seconds). 17:58:52 again ... 17:59:47 -!- ffj-bot has joined. 18:02:56 e^(i*moony) / 42 18:07:36 -!- TellTogos has joined. 18:10:10 -!- GotoTells has joined. 18:10:28 -!- TellsTogo has quit (Ping timeout: 245 seconds). 18:10:57 goto tells; 18:12:47 -!- TellTogos has quit (Ping timeout: 246 seconds). 18:30:45 -!- LKoen has joined. 18:36:31 what about a game scripting language which treats its programs as a mathematical game? (in mathematical game theory, not the ducky kind) 18:39:03 why did I pick "octagonfly" in the past as my username here? it sounds ridiculous 18:39:06 oh well 18:41:33 you aren't embracing the Spirit of the Chicken. your soul isn't in Harmony. take a deep breathe, relax, put a Holy Chicken on your Head. Reflect the Universe with your Own Mind. 18:46:36 ping 18:48:35 * boily echoes an æthereal pong across the Galaxy 18:52:53 * rdococ takes in a deep breath 18:52:58 * rdococ relaxes 18:53:02 * rdococ takes the holy chicken 18:53:36 * rdococ eats the holy chicken 18:53:51 I will now create an esoteric religion 18:54:06 everyone believes in the Holy Soil of the planet of Solesioanwwoejfei. 19:16:21 -!- Lord_of_Life has quit (Excess Flood). 19:19:22 -!- Lord_of_Life has joined. 19:37:17 -!- christmas1s1 has changed nick to wlp1s1. 20:07:41 -!- TunaVaruna has quit (Remote host closed the connection). 20:15:49 -!- TunaVaruna has joined. 20:18:01 -!- TellTogos has joined. 20:18:44 -!- moony has quit (Remote host closed the connection). 20:19:11 -!- moony has joined. 20:19:35 -!- moony has changed nick to Guest5023. 20:21:12 I think that one of the problems with HTTP is lack of a standard directory listing format. So I can suggested to use a list of key/value pairs for each directory entry, with blank lines in between each entry. I can then to also add a SET method and HISTORY method; I would expect these are then sufficient. 20:21:57 -!- GotoTells has quit (Ping timeout: 248 seconds). 20:22:09 Do you think it is good? 20:34:12 -!- Guest5023 has quit (Ping timeout: 268 seconds). 20:34:54 hezzo38. it is good. 20:43:33 Also a few new kind of headers, such as File-Mode and Name and Description. 20:43:47 (Name and Description headers are probably to be used only in directory entries.) 20:49:20 -!- Guest5023 has joined. 20:53:13 -!- Guest5023 has changed nick to moonythedwarf. 20:53:14 -!- moonythedwarf has quit (Changing host). 20:53:14 -!- moonythedwarf has joined. 20:55:43 O, and I missed one, which can be Last-Change which corresponds to the last status change time in UNIX fstat. Also, there are some other HTTP headers which may be useful in directory listings too such as: Accept-Ranges, Allow, Content-Language, Content-Length, Content-Location, Content-MD5, Content-Type, Last-Modified, Link, Location (for when the directory entry is a link), Vary. 20:57:37 And also WWW-Authenticate 21:01:21 Also would need to define a new MIME type for directory listings. This means that the client can request such a directory listing format by sending a suitable Accept header. 21:03:33 EHTTP incoming 21:22:18 In this Dungeons&Dragons game we can be gaining the element of surprise over someone who were trying to gain the element of surprise over us. What is that called when such thing is happening? 21:23:26 -!- oerjan has joined. 21:24:55 r.i.p. alexandrov ensemble 21:26:11 i only really learned about them this year, when learning two russian songs. their youtube versions were the best i found. 21:26:17 -!- LKoen has quit (Remote host closed the connection). 21:30:57 -!- GotoTells has joined. 21:34:28 -!- TellTogos has quit (Ping timeout: 258 seconds). 21:36:49 zzo38: a surprising oneupmanship? 21:37:18 Zarutian: Maybe it is 21:42:12 reverse variable assignment 21:42:48 x*2+1 = 3 would make x = 1 for example 21:43:09 unification 21:43:09 METAFONT can do that. 21:43:34 (Although in METAFONT, if you write that when x is already set to a different value, it is an error.) 21:43:37 x^2 = 2 would make x = sqrt(2) or x = -sqrt(2) 21:44:20 but you can't do it the other way eg. x = y^2 is not allowed, but sqrt(x) = y is 21:45:09 why that restriction 21:45:18 that's arbitrary 21:45:25 In METAFONT you can for example write x=y+1 and then whichever of x or y isn't set will be set so that x=y+1. 21:45:30 why not imply i 0 everywhere 21:45:44 so x*2-2 would be an assignment 21:45:55 *imply = 0 21:46:02 That is also the kind of ideas yes 21:46:45 in your example, sqrt(x) - y would be the same assignment as x - y^2 21:46:53 Making zero means true, nonzero meaning false, and then the program that is executed is to be made true, and then if it isn't true it is error or may be backtracked or caught by the exception or something 21:53:03 -!- LKoen has joined. 21:56:16 To write x/y-1 to specify being equal and nonzero. 21:58:27 -!- moonythedwarf has changed nick to moony-2017editio. 22:03:20 moony-2017editio: we aren't twothousandseventeening yet hth 22:03:49 boily, say that to 2017 edition :P 22:04:48 -!- moony-2017editio has quit (Read error: Connection reset by peer). 22:04:56 <\oren\> Ooh, I want a mod that adds anime decals to all me kerbal rockets 22:05:55 what would you pay for a mod where all the kerbals, not in flight, wore StarTrek Next Generation uniforms? 22:10:44 `quote very soul 22:10:54 No output. 22:10:59 hm 22:11:04 `quote soul 22:11:05 447) the classic "souls have mass" hypothesis \ 853) i bet a blog post complaining about ");});});" syntax in JavaScript and comparing it unfavorably to Lisp would get approximately one billion comments on hacker news but at what cost? your very soul, kmc! 22:13:16 souls have ass 22:14:39 what about a standalone else operator 22:14:43 s/operator/conditional 22:16:48 @tell int-e And GG has a shadow mystery lady... looks a bit two-dimensional though. <-- given what gil's said about her, my obvious guess is that it's zola. but we'll see. 22:16:48 Consider it noted. 22:18:21 @tell int-e with the ability to copy minds, it could be any_body_, of course. 22:18:21 Consider it noted. 22:19:35 rdococ: well perl has unless and maybe haskell too. 22:19:38 :t unless 22:19:40 Applicative f => Bool -> f () -> f () 22:19:59 ruby has unless, too 22:20:23 unless (bool) {code} = if (not bool) {code} 22:20:24 return unless foo 22:20:26 You can also define unless in Forth easily enough 22:21:00 I also had the idea of an "either" function eg. "x == either a or b" would be true if x == a or x == b 22:21:05 Some implementations may accept the following code: : UNLESS` 0=` IF` ; Others may use a bit more complicated way 22:21:33 this "either" class would be equal to something if any of its values were equal to it 22:21:50 rdococ: AAAAAA 22:22:13 Aaaa? 22:22:22 would it break anything? 22:22:33 not if it's in its own syntax, eg "either 2 3"... 22:22:38 I don't think, anyway 22:22:44 * oerjan uses leibniz rotating in his grave to power the swatting of rdococ -----### 22:22:58 ? 22:23:07 @google leibniz equality 22:23:09 https://en.wikipedia.org/wiki/Equality_(mathematics) 22:23:46 well 22:23:49 think of it like this 22:24:13 "x in {a, b}" 22:24:22 that is, if x is contained in the set {a, b} 22:24:48 why not use it like that? 22:24:52 we can simply check if set[x] = true if you implement it well, and not like a list 22:25:31 sure, but don't call it == 22:25:45 call it in 22:26:22 or, you know, x `elem` [a, b] 22:28:39 <\oren\> I have #define unless(x) if(!(x)) 22:28:56 elem 22:28:57 yeah 22:29:20 what about: #define regardless(x) if(true) 22:29:22 no? 22:29:25 but the either construct is LITERALLY equal to both a and b 22:29:35 sets, nuh uh 22:29:46 regardless? 22:30:36 regardless sounds like if you wanted to fit a snippet of code inside an if conditional that would be executed regardless of the value of the if 22:30:38 Zarutian: that's wrong 22:30:41 ha, regardless 22:30:46 should be if ((x),1) 22:31:10 * Zarutian sits corrected. 22:31:46 -!- GotoTells has quit (Read error: Connection reset by peer). 22:32:01 otherwise stuff with visible effects wouldn't be executed, like regardless(puts("hello world")) 22:32:22 -!- Lord_of_Life has quit (Excess Flood). 22:32:39 -!- Frooxius has joined. 22:32:52 -!- Lord_of_Life has joined. 22:35:23 regardless, it sounds ridiculous 22:35:32 you might as well just do puts("hello world") 22:38:38 -!- moony has joined. 22:40:37 -!- pikhq_ has quit (Ping timeout: 268 seconds). 22:45:10 <\oren\> interestng piece of history I'm wathcing on the tv right now 22:45:49 <\oren\> apparently there used to be restaurants you drove your car into and had waitressed on roller skates serve you food 22:48:39 <\oren\> the 1950's were a very different world 22:53:41 -!- pikhq has joined. 23:04:55 wow 23:05:56 Drive-ins still exist in some places. 23:09:17 drive-INs? 23:09:28 hi Gregor 23:12:37 A kind of drive-in is still possible at White Spot 23:12:41 What \oren\ just described is a drive-in. 23:12:47 As opposed to a drive-through. 23:29:58 -!- hppavilion[0] has joined. 23:31:22 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 23:43:05 what's cool is that it's easy to use Haskell to create my "either" construct 23:43:14 tbh though I think it should just be an easy shorthand 23:43:36 I also had the idea of an "or" function that would ask the user 23:43:59 rdococ: like, using elem? 23:44:12 sql,has this as IN 23:44:39 or = ask the user. or = logical OR. or = my EITHER construct. 23:47:40 I thought to make Magic: the Gathering cards that is two instants that can meld into an Aura. The text for the unmelded side might be something like this: Choose one-- ;; - [doing something] ;; - Meld ~ with target spell you own named [name] 23:52:30 -!- augur has joined.