00:00:26 Right. 00:00:39 -!- LKoen has joined. 00:01:16 perhaps another way that could be used (sometimes ?) is to imagine a common parameterization (of both `x' and `y'), say `t'. then you're just surpressing a `/ d t' in the middle formula there 00:01:43 i haven't thought these ideas out that far 00:01:51 Yes, that's the best way I know to make sense of these things. 00:02:13 But given that the choice of parameterization doesn't really matter, I feel like there ought to be a direct way to think about it. 00:02:35 (line and surface integrals is still something i'm pondering how to make sense of (perhaps adapting/repairing it somewhat) the notation for) 00:02:42 One thing you can do is look at the zero set of f(x,y) = x^2 + y^2 - 1 00:03:02 i'd be nice to have a way to connect this with SDG 00:03:17 And then look at the zero set of its derivative, say f(x,y)(dx,dy) = 2 x dx + 2 y dy, at some point f(x,y) 00:03:29 * ski is also reminded of some papers that computed derivatives of programs (operating on bags, in many of the examples) 00:03:54 yea, linearity 00:04:16 f : |R^2 -> |R 00:04:29 f' : |R^2 -> (|R^2 -o |R) 00:04:35 -!- augur has quit (Remote host closed the connection). 00:04:38 Yes, exactly. 00:05:08 Anyway people do many strange tricks. Like dy/dx = ky -> dy = dy/y = k dx -> \int{dy/y} = \int{k dx} . I don't really know how to make sense of dy and dx in that sort of context. 00:05:57 -!- LKoen has quit (Ping timeout: 260 seconds). 00:05:58 (in SDG, `|R^D' is iso to `|R^2', where `D = {d : |R | d^2 = 0}'. from `f' where `f(d) = a + b*d' for every `d' in `D', we get `(a,b)', intercept and slope) 00:07:13 A connection to regular DG would be good too. :-) I don't think this is the same kind of "d". 00:27:17 [[User:Noner Kao/TaiDoKu]] M https://esolangs.org/w/index.php?diff=53963&oldid=53955 * Noner Kao * (+0) Fix the capital in the info box 00:43:29 -!- augur has joined. 00:51:16 -!- erkin has joined. 01:20:41 -!- MDude has joined. 01:21:27 -!- oerjan has joined. 01:23:07 -!- MDead has joined. 01:26:32 -!- MDude has quit (Ping timeout: 276 seconds). 01:26:42 -!- MDead has changed nick to MDude. 01:40:03 * ski sighs 01:41:03 sii(sii) 01:41:29 try that one on for sighs 01:45:21 btdt 02:02:58 -!- sprocklem has joined. 02:03:20 [[User:Noner Kao/TaiDoKu]] https://esolangs.org/w/index.php?diff=53964&oldid=53963 * Noner Kao * (+2650) /* Refinement */ finish the description 02:05:23 [[User:Noner Kao/TaiDoKu]] M https://esolangs.org/w/index.php?diff=53965&oldid=53964 * Noner Kao * (-2) /* Refinement */ fix the link 02:09:30 -!- doesthiswork has joined. 02:09:40 -!- sprocklem has quit (Ping timeout: 256 seconds). 02:12:11 [[Functoid]] M https://esolangs.org/w/index.php?diff=53966&oldid=53962 * Oerjan * (+17) /* Commands */ Use wikitable 02:12:51 * oerjan swats shachaf -----### 02:15:06 * moony combines oerjan's flyswatter with an anti-flyswatter. ###----- 02:16:20 -!- sprocklem has joined. 02:28:05 [[User:Noner Kao/TaiDoKu]] https://esolangs.org/w/index.php?diff=53967&oldid=53965 * Noner Kao * (+669) /* Terms */ add explanation of new terms and some fixes 02:30:35 [[User:Noner Kao/TaiDoKu]] M https://esolangs.org/w/index.php?diff=53968&oldid=53967 * Noner Kao * (-3) /* Refinement */ minor fixes 02:33:33 -!- xkapastel has quit (Quit: Connection closed for inactivity). 02:36:22 -!- variable has joined. 03:04:47 [[User:Noner Kao/TaiDoKu]] https://esolangs.org/w/index.php?diff=53969&oldid=53968 * Noner Kao * (+422) /* Execution */ more explanation 03:19:06 -!- variable has quit (Quit: /dev/null is full). 03:56:48 -!- sleffy has quit (Ping timeout: 240 seconds). 04:25:41 [[User:Noner Kao/TaiDoKu]] https://esolangs.org/w/index.php?diff=53970&oldid=53969 * Noner Kao * (+416) more specific description about the refinement 04:31:51 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 05:07:31 [[User:Noner Kao/TaiDoKu]] https://esolangs.org/w/index.php?diff=53971&oldid=53970 * Noner Kao * (+1953) /* Meta Operations */ define meta operations 05:13:24 -!- sleffy has joined. 05:17:08 [[User:Noner Kao/TaiDoKu]] https://esolangs.org/w/index.php?diff=53972&oldid=53971 * Noner Kao * (+411) Dialects and some fix 05:17:53 [[Special:Log/move]] move * Noner Kao * moved [[User:Noner Kao/TaiDoKu]] to [[TaiDoKu]]: The basic specification is done 05:37:16 -!- variable has joined. 05:57:17 -!- oerjan has quit (Quit: Nite). 06:14:02 -!- augur has quit (Remote host closed the connection). 06:41:51 [[TaiDoKu]] https://esolangs.org/w/index.php?diff=53975&oldid=53973 * Noner Kao * (+92) /* Meta Operations */ add meta.sync 06:53:27 -!- doesthiswork has quit (Quit: Leaving.). 07:00:00 [[Language list]] https://esolangs.org/w/index.php?diff=53976&oldid=53864 * Noner Kao * (+14) /* T */ add TaiDoKu 07:04:40 -!- augur has joined. 07:05:35 [[User:Noner Kao]] https://esolangs.org/w/index.php?diff=53977&oldid=53925 * Noner Kao * (+137) /* Projects */ update the status 07:10:41 -!- Magickal has joined. 07:10:56 -!- Asus has joined. 07:12:19 -!- Asus has quit (Client Quit). 07:27:27 -!- sprocklem has quit (Ping timeout: 240 seconds). 07:29:46 -!- sprocklem has joined. 08:21:46 [[TaiDoKu]] https://esolangs.org/w/index.php?diff=53978&oldid=53975 * Noner Kao * (+895) Add program format spec 08:46:57 -!- sleffy has quit (Ping timeout: 240 seconds). 09:03:13 -!- variable has quit (Quit: /dev/null is full). 09:03:56 -!- variable has joined. 09:03:59 -!- variable has quit (Client Quit). 09:05:19 -!- variable has joined. 09:05:31 -!- variable has quit (Client Quit). 09:23:39 -!- augur has quit (Remote host closed the connection). 09:49:29 -!- AnotherTest has joined. 10:37:41 -!- Asus has joined. 10:41:38 -!- Magickal has quit (Ping timeout: 276 seconds). 11:28:29 -!- AnotherTest has quit (Ping timeout: 255 seconds). 11:33:08 -!- AnotherTest has joined. 11:34:20 -!- boily has joined. 11:36:32 `5 w 11:36:39 1/3:tas//TAS is a tool-assisted speedrun: a race in which participants must use quality tools such as the PHP hammer, Autoconf, and the Arkenpliers to assist them in running. \ ehlist//ehlist is update notification for the Everyday Heroes webcomic. http://eheroes.smackjeeves.com/ \ arothmorphise//arothmorphise ... antormo... antrohm... ant... 11:36:39 `n 11:36:40 2/3: oh bugger. This should go in the `misspellings of antrhrop... atnhro...' entry. \ welcome.es//¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: `n 11:36:42 3/3:s.org/>. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.) \ cat introduction//cat introduction is the process of piping one or more extra `cat` commands into your pipeline; occasionally this is even actually useful. 11:38:10 cats require no introduction 12:13:12 -!- LKoen has joined. 12:13:57 -!- LKoen has quit (Client Quit). 12:21:39 -!- boily has quit (Quit: AMAZON CHICKEN). 12:37:39 -!- mroman has joined. 12:37:41 'elloh 13:01:49 -!- Duxz has joined. 13:06:24 -!- Duxz has quit (Ping timeout: 260 seconds). 13:10:30 -!- mroman has quit (Ping timeout: 260 seconds). 13:32:22 -!- jaboja has joined. 13:34:07 -!- zseri has joined. 14:00:36 -!- doesthiswork has joined. 14:08:59 -!- AnotherTest has quit (Ping timeout: 276 seconds). 14:12:55 -!- AnotherTest has joined. 14:20:32 -!- jaboja has quit (Ping timeout: 260 seconds). 14:48:52 -!- `^_^v has joined. 15:04:56 -!- doesthiswork has quit (Quit: Leaving.). 15:57:10 -!- AnotherTest has quit (Ping timeout: 240 seconds). 15:59:06 -!- AnotherTest has joined. 16:07:22 -!- sleffy has joined. 16:48:48 -!- Cale has quit (Ping timeout: 240 seconds). 17:02:21 -!- Cale has joined. 17:30:07 -!- doesthiswork has joined. 17:47:27 https://github.com/blizzard4591/cmake-portable-endian/pull/2 17:49:08 -!- `^_^v has quit (Quit: This computer has gone to sleep). 17:52:09 yay. 64 bytes from ...: icmp_seq=8230 ttl=54 time=37742 ms 17:54:25 wow 17:55:21 * int-e is on a crappy mobile plan 17:55:39 but it's kind of amazing just how crappy it is sometimes :) 17:56:16 64 bytes from ...: icmp_seq=7 ttl=64 time=67.1 ms; through Cisco VPN and ZPRD 18:01:00 basically it gewts slow when I'm downloading something (you know, like a 100kb picture for a website)... it starets queuing packets like crazy. But it's doing that to a ridiculous degree. (let's see how many typos I have in this...) 18:07:41 oh and it's not always this bad. depends on the time of day, so I guess the neighbourhood is just crowded in terms of mobile contracts. 18:16:36 -!- Phantom_Hoover has joined. 18:19:42 and sometimes resetting the usb modem helps 18:20:29 But heh, I'm getting some amusement out of this, so why switch to something else... 18:22:59 -!- augur has joined. 18:46:46 -!- laerling has joined. 19:12:12 -!- LKoen has joined. 19:54:08 -!- zseri has quit (Quit: Leaving). 20:20:38 -!- jaboja has joined. 20:39:06 [[Grawlix]] N https://esolangs.org/w/index.php?oldid=53979 * DMC * (+3616) Created page with "'''Grawlix''' This is the horrible Grawlix Programming Language - [[Brainfuck]] with some enhancements. ==Description== *8 bit memory cells (or other bit amounts) *Everythin..." 20:39:27 [[Grawlix]] https://esolangs.org/w/index.php?diff=53980&oldid=53979 * DMC * (-14) 20:40:49 [[Language list]] https://esolangs.org/w/index.php?diff=53981&oldid=53976 * DMC * (+14) 20:41:18 -!- Soni has quit (Ping timeout: 240 seconds). 20:42:12 -!- zseri has joined. 20:42:17 [[Grawlix]] https://esolangs.org/w/index.php?diff=53982&oldid=53980 * DMC * (-9) /* Some code constructs that are possible */ 20:46:43 -!- Soni has joined. 20:49:12 [[User:DMC]] https://esolangs.org/w/index.php?diff=53983&oldid=53933 * DMC * (+4) 20:58:05 -!- sprocklem has quit (Ping timeout: 240 seconds). 21:18:09 -!- idris-bot has quit (Quit: Terminated). 21:22:12 -!- Melvar has quit (Quit: rebooting). 21:23:00 -!- augur has quit (Remote host closed the connection). 21:23:05 -!- laerling has quit (Quit: Leaving). 21:29:00 -!- Melvar has joined. 21:38:40 -!- LKoen_ has joined. 21:41:32 -!- LKoen has quit (Ping timeout: 256 seconds). 21:57:34 -!- zseri has quit (Quit: Leaving). 22:03:11 -!- idris-bot has joined. 22:29:25 [[Language list]] https://esolangs.org/w/index.php?diff=53984&oldid=53981 * HactarCE * (+15) Added [[Metatape]] 22:40:35 -!- sprocklem has joined. 22:41:20 -!- jaboja has quit (Quit: Leaving). 22:43:18 -!- AnotherTest has quit (Ping timeout: 256 seconds). 22:51:15 int-e: Heh, and I complained (well, mentioned as an aside in an unrelated complaint) to my ISP because the native IPv6 to my VPS got a round-trip of 21 ms, compared to 8 ms for IPv4. 22:55:16 -!- augur_ has joined. 22:58:38 -!- augur_ has quit (Remote host closed the connection). 22:59:07 -!- augur has joined. 22:59:52 -!- boily has joined. 23:04:12 `5 w 23:04:17 1/2:if//If you can make one heap of all your winnings / And risk it on one turn of pitch-and-toss, / And lose, and start again at your beginnings / And never breathe a word about your loss: \ pspace//PSPACE is the complexity class of Problem SPACEs. It is the same as P, by an herbal reduction. \ mdude//MDude is just a dude, with an M's courag 23:04:18 `n 23:04:19 2/2:e. \ manager//Manager FAQ (by seebs) at http://www.seebs.net/faqs/manager.html \ hacker//Jim Hacker is a former British prime minister. 23:24:14 -!- moei has quit (Quit: Leaving...). 23:25:43 -!- LKoen has joined. 23:27:01 -!- LKoen_ has quit (Read error: Connection reset by peer). 23:29:20 -!- wob_jonas has joined. 23:29:34 yeah, two of those wisdoms are mine 23:29:47 `dowg pspace 23:29:55 9284:2016-10-14 learn PSPACE is the complexity class of Problem SPACEs. It is the same as P, by an herbal reduction. 23:29:56 `? peace 23:29:57 peace? ¯\(°​_o)/¯ 23:29:59 `? peace moon 23:30:00 peace moon? ¯\(°​_o)/¯ 23:30:01 `? peace witch 23:30:03 peace witch? ¯\(°​_o)/¯ 23:34:57 -!- Joker_ has joined. 23:36:24 -!- Joker_ has quit (Quit: Page closed). 23:37:27 -!- LKoen has quit (Read error: No route to host). 23:39:08 `slashlearn peace witch//Peace witches do alchemy: they turn mundane building material to gold. They're in the same universe where Bowser turned peaceful citizens of the Mushroom Kingdom to building material. 23:39:11 Learned 'peace witch': Peace witches do alchemy: they turn mundane building material to gold. They're in the same universe where Bowser turned peaceful citizens of the Mushroom Kingdom to building material. 23:43:06 I can't seem to find if there's h-dropping in Canadian English. Is it “an herbal“ or “a herbal”? 23:44:08 -!- LKoen has joined. 23:44:10 boily: aren't there words where the "h" is silent in pretty much every dialect of English? 23:44:20 like "hour" 23:44:26 I don't know how this works 23:47:14 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 23:49:25 -!- wob_jonas has joined. 23:49:35 Wikipédia says: “The word "herb" is pronounced /hɜːrb/ in the Commonwealth,[1] but /ɜːrb/ is common among North American speakers and those from other regions where h-dropping occurs.” 23:50:42 -!- wob_jonas has quit (Client Quit). 23:51:19 -!- wob_jonas has joined. 23:51:21 how about hour, honest, honor, heritage? 23:51:32 I was going to write my second submission to https://codegolf.stackexchange.com/questions/155018/the-programming-language-quiz-mark-ii-cops in Assembly for the Apollo Guidance Computer. But the emulator says otherwise. That sucks. 23:51:49 wob_jonas: h, h, h, h? at least in my mangled English pronounciation. 23:51:59 mhelloony. 23:52:03 helloily 23:53:07 boily: I always pronounce "hour" without an h, and I thought most people did, but apparently no. I think "honest" and "honor" vary by accent, and I usually drop the "h" in them, and I'm totally unsure about "heritage" 23:53:49 [[TaiDoKu]] https://esolangs.org/w/index.php?diff=53985&oldid=53978 * Noner Kao * (+55) Add reference implementation 23:58:02 -!- sprocklem has quit (Ping timeout: 260 seconds). 23:59:46 "heir" and "homage" are the next ones suspicious for me, but of course I'm really bad at English pronunciation so I've no idea which words are actually supposed to have the "h" dropped. I think there are accents that drop "h" much more often.