00:20:49 -!- oerjan has joined.
00:29:03 -!- variable has joined.
00:32:32 -!- trout has quit (Ping timeout: 255 seconds).
00:40:48 -!- Remavas has joined.
00:43:26 -!- mrrmx has quit (Quit: Leaving).
01:02:58 -!- trout has joined.
01:05:46 -!- variable has quit (Ping timeout: 265 seconds).
01:17:27 -!- Remavas has quit (Quit: Leaving).
01:22:29 -!- Naergon has quit (Ping timeout: 255 seconds).
01:35:05 -!- variable has joined.
01:38:23 -!- trout has quit (Ping timeout: 276 seconds).
01:46:33 -!- aloril__ has quit (Ping timeout: 264 seconds).
02:00:09 -!- aloril__ has joined.
02:03:07 <shachaf> mniip: So I don't think the differential form sense of "dx" is compatible with the Leibniz notation sense.
02:03:20 <shachaf> I've been trying to figure out how the latter works for a while and I'm still not sure, but I'm pretty sure it's different.
02:03:47 <mniip> shachaf, well are you familiar with integrals of second kind
02:03:57 <mniip> \int ( \vec F, \vec dr )
02:04:10 <mniip> aka \int Fx dx + Fy dy + Fz dz ...
02:04:31 <mniip> that's kind of the stuff
02:04:55 <shachaf> Maybe?
02:05:01 <shachaf> Probably not too much.
02:07:14 <shachaf> What's the context?
02:08:26 -!- trout has joined.
02:10:40 -!- variable has quit (Ping timeout: 245 seconds).
02:23:59 -!- rand0macc3ss has joined.
02:25:00 <mniip> shachaf, smooth manifolds and analysis on them
02:25:50 <mniip> chapters 3 and 4 just covered tangent and cotangent bundles, and a differential of a function as a cotangent bundle section (covector field)
02:26:25 <mniip> hoping to understand integration on manifolds one day
02:27:57 <shachaf> me too hth
02:41:17 -!- variable has joined.
02:41:47 <mniip> shachaf, it's kind of interesting how there's like a triple contravariance at play when we're considering cotangent spaces
02:42:33 <shachaf> ?
02:42:43 <mniip> you have your manifold M and then there's smooth functions M -> R, and then there's derivations (M -> R) -> R that are tangent vectors
02:43:00 <mniip> then cotangent vectors are the dual of that, i.e linear functionals of type ((M -> R) -> R) -> R
02:43:56 -!- trout has quit (Ping timeout: 255 seconds).
02:44:35 <mniip> so 'dx' is the tangent covector (linear functional) that maps d/dx (a tangent vector) to 1, and all other basis vectors to 0
02:45:15 <mniip> and 'd/dx' is a vector that computes the derivative of a function across the local 'x' coordinate
02:53:14 -!- rand0macc3ss has quit (Remote host closed the connection).
02:54:42 -!- rand0macc3ss has joined.
02:54:51 -!- rand0macc3ss has quit (Changing host).
02:54:51 -!- rand0macc3ss has joined.
02:56:14 -!- rand0macc3ss has quit (Remote host closed the connection).
02:56:43 -!- rand0macc3ss has joined.
03:13:16 -!- trout has joined.
03:16:16 -!- variable has quit (Ping timeout: 265 seconds).
03:19:44 -!- rand0macc3ss has quit (Remote host closed the connection).
03:20:02 -!- rand0macc3ss has joined.
03:21:15 -!- rand0macc3ss has quit (Remote host closed the connection).
03:26:55 -!- Phantom_Hoover has joined.
03:34:03 -!- rand0macc3ss has joined.
03:34:44 -!- rand0macc3ss has quit (Changing host).
03:34:44 -!- rand0macc3ss has joined.
03:45:14 -!- rand0macc3ss has quit (Remote host closed the connection).
03:46:15 -!- normaluser has joined.
03:47:29 -!- variable has joined.
03:48:58 -!- normaluser has quit (Excess Flood).
03:49:31 <oerjan> . o O ( their network access seems a bit random )
03:50:05 -!- trout has quit (Ping timeout: 255 seconds).
03:53:46 -!- normaluser has joined.
03:54:30 <shachaf> d/dx is a tangent vector?
03:54:44 -!- normaluser has quit (Remote host closed the connection).
04:15:56 -!- doesthiswork has quit (Quit: Leaving.).
04:18:40 -!- trout has joined.
04:22:11 -!- variable has quit (Ping timeout: 276 seconds).
04:30:18 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
04:39:28 -!- doesthiswork has joined.
04:40:52 -!- doesthiswork has quit (Client Quit).
04:44:02 -!- trout has quit (Quit: /dev/null is full).
04:47:57 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56203&oldid=55729 * A * (+672) 
04:48:02 <esowiki> [[Talk:Number Factory]]  https://esolangs.org/w/index.php?diff=56204&oldid=54353 * Challenger5 * (+260) /* Another Python Interpreter */ new section
04:50:33 -!- variable has joined.
04:51:02 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56205&oldid=56203 * A * (+39) /* Stuck */
04:52:23 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56206&oldid=56205 * A * (+63) /* Stuck */
04:56:03 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56207&oldid=56206 * A * (+288) /* Aha! */
04:57:08 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56208&oldid=56207 * A * (+10) /* Step 1 (Overflow Control) */
04:57:20 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56209&oldid=56208 * A * (+9) /* Step 2 (Array I/O) */
04:57:36 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56210&oldid=56209 * A * (+0) /* Step 2 (Array I/O)(CMD = 6) */
04:57:52 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56211&oldid=56210 * A * (+9) /* Step 3 (Combine < and +) */
04:58:03 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56212&oldid=56211 * A * (+9) /* Step 4 (Jump command) */
04:58:20 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56213&oldid=56212 * A * (+9) /* Step 5 (Putting loop on array) */
05:03:16 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56214&oldid=56213 * A * (+299) /* Step 5 (Putting loop on array) (CMD = 2) */
05:03:49 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56215&oldid=56214 * A * (+0) /* Step 6 (Aha! Using current cell) (CMD = 1) */
05:04:43 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56216&oldid=56215 * A * (+71) /* Step 6 (Aha! Using current cell) (CMD = 1) */
05:05:18 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56217&oldid=56216 * A * (-38) /* Step 5 (Putting loop on array) (CMD = 2) */
05:05:39 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56218&oldid=56217 * A * (+38) /* Step 6 (Aha! Using current cell) (CMD = 1) */
05:05:55 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56219&oldid=56218 * A * (-67) /* Stuck */
05:10:08 <esowiki> [[BF instruction extension]] N https://esolangs.org/w/index.php?oldid=56220 * A * (+184) Created page with "Our goal is to extend the instructions of Brainf*ck as far as possible. Anything that you thought of could be one of the instructions. We'll atart with the standard commands:..."
05:10:47 <esowiki> [[Works in progress]]  https://esolangs.org/w/index.php?diff=56221&oldid=55852 * A * (+31) 
05:11:29 <esowiki> [[Works in progress]]  https://esolangs.org/w/index.php?diff=56222&oldid=56221 * A * (+0) 
05:11:45 <esowiki> [[BF instruction extension]]  https://esolangs.org/w/index.php?diff=56223&oldid=56220 * A * (+0) 
05:13:04 <esowiki> [[Brainfuck]]  https://esolangs.org/w/index.php?diff=56224&oldid=56194 * A * (+31) /* See also */
05:15:54 <esowiki> [[User talk:A]] N https://esolangs.org/w/index.php?oldid=56225 * Asdf * (+60) Created page with "I allow you to use my inplementation in C++. --[[User:Asdf]]"
05:22:23 -!- trout has joined.
05:22:51 -!- trout has quit (Client Quit).
05:23:56 <esowiki> [[User talk:A]]  https://esolangs.org/w/index.php?diff=56226&oldid=56225 * A * (+122) 
05:23:56 <oerjan> yeah, they're _so_ two different people.
05:25:19 -!- variable has quit (Ping timeout: 265 seconds).
05:27:27 <esowiki> [[Esolang:Help]]  https://esolangs.org/w/index.php?diff=56227&oldid=43623 * A * (+214) /* When to do stuff */
05:30:31 <esowiki> [[Esolang:Help]]  https://esolangs.org/w/index.php?diff=56228&oldid=56227 * Oerjan * (-214) Undo revision 56227 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]) (You know this wiki is small enough that all pages are highly visible, right?)
05:31:25 <oerjan> i seem to have failed at not being sarcastic, despite already closing one editing tab
05:34:56 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56229&oldid=56219 * Oerjan * (-31) Hierarch those sections
05:37:04 <esowiki> [[List of ideas]]  https://esolangs.org/w/index.php?diff=56230&oldid=55571 * A * (+63) /* Ideas for Names */
05:40:40 <esowiki> [[Pizza]] N https://esolangs.org/w/index.php?oldid=56231 * A * (+776) Created page with "==Overview== '''Pizza''' is a joke programming language created by Nicholas Smith as a glitch to the BBC question about false programming language on 1 July 2018. It contains..."
05:55:15 -!- Cale has quit (Remote host closed the connection).
06:27:57 -!- oerjan has quit (Quit: Nite).
06:28:26 <esowiki> [[Brainfuck]]  https://esolangs.org/w/index.php?diff=56232&oldid=56224 * A * (+40) /* See also */
06:29:40 <esowiki> [[Brainfuck Contest]] N https://esolangs.org/w/index.php?oldid=56233 * A * (+132) Created page with "Hi! This is a Brainfuck Contest page. If you want to have a contest here, then go for it! ==Contest 1== Link:[[Brainfuck Contest 1]]"
06:32:52 <esowiki> [[Brainfuck Contest 1]] N https://esolangs.org/w/index.php?oldid=56234 * A * (+314) Created page with "Welcome to my test contest! ==Rule== This is a golf contest. Anyone with the shortest code wins. ==Addition program== Indeed, we have to test it. If you have an answer, just g..."
06:33:38 <esowiki> [[Brainfuck Contest 1]]  https://esolangs.org/w/index.php?diff=56235&oldid=56234 * A * (+13) 
06:35:39 <esowiki> [[Brainfuck Contest]]  https://esolangs.org/w/index.php?diff=56236&oldid=56233 * A * (+43) /* Contest 1 */
06:38:53 <esowiki> [[Brainfuck Contest 2]] N https://esolangs.org/w/index.php?oldid=56237 * A * (+420) Created page with "Welcome to my test contest! ==Rule== This is a golf contest. Anyone with the shortest code wins. ==Addition program== Indeed, we have to test it. If you have an answer, just g..."
06:44:51 -!- tromp has quit (Ping timeout: 256 seconds).
07:48:30 -!- AnotherTest has joined.
08:16:03 -!- imode has joined.
08:23:58 -!- SopaXorzTaker has joined.
08:34:50 <esowiki> [[BackTurn]] N https://esolangs.org/w/index.php?oldid=56238 * Zzo38 * (+940) Created page with "[[Category:Languages]][[Category:Unimplemented]][[Category:2018]][[Category:Reversible computing]][[Category:Two-dimensional languages]][[Category:Self-modifying]] BackTurn is..."
08:35:31 <zzo38> Please look at the new [[BackTurn]] program language see if it is good or else what other comment/question/complaint.
08:39:56 <esowiki> [[Deadfish]]  https://esolangs.org/w/index.php?diff=56239&oldid=56197 * Zzo38 * (+44) Add a comment to the MIX implementation about modifications for binary computers
09:17:17 -!- imode has quit (Ping timeout: 256 seconds).
09:34:22 -!- Naergon has joined.
09:58:57 -!- Phantom_Hoover has joined.
10:11:39 <esowiki> [[Array Changer]] N https://esolangs.org/w/index.php?oldid=56240 * A * (+17234) Created page with "Array Changer is a very simple language. == State Table == {| class="wikitable" ! State || Next State On 0 || Next State On 1 |- | <code>0x00</code> || <code>0x2B</code> || <c..."
10:13:15 <esowiki> [[Array Changer]]  https://esolangs.org/w/index.php?diff=56241&oldid=56240 * A * (+0) 
10:13:38 <esowiki> [[Array Changer]]  https://esolangs.org/w/index.php?diff=56242&oldid=56241 * A * (+0) 
10:13:47 <esowiki> [[Array Changer]]  https://esolangs.org/w/index.php?diff=56243&oldid=56242 * A * (+0) 
10:13:48 <esowiki> [[Array Changer]]  https://esolangs.org/w/index.php?diff=56244&oldid=56243 * A * (+0) 
10:19:48 <esowiki> [[Brainfuck---]] N https://esolangs.org/w/index.php?oldid=56245 * A * (+1704) Created page with "'''Brainfuck---''' is a language made by [[User:A|User:A]] and is a downgraded version of [[brainfuck--]], that uses only four instructions.   == History ==  Brainfuck-- was c..."
10:21:24 <esowiki> [[Brainfuck---]]  https://esolangs.org/w/index.php?diff=56246&oldid=56245 * A * (-27) 
10:25:29 -!- mniip has quit (Ping timeout: 633 seconds).
10:36:03 -!- gurmble has joined.
10:38:56 <esowiki> [[Asd]] N https://esolangs.org/w/index.php?oldid=56247 * A * (+1144) Created page with "'''asd''' is an [[esoteric programming language]] created by [[User:A]] which makes [[123]]'s syntax simpler.   == Instructions == The pointer begins at location 0. The progra..."
10:43:32 -!- grumble has quit (Ping timeout: 600 seconds).
11:06:33 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56248&oldid=56247 * A * (-26) /* Instructions */
11:07:38 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56249&oldid=56248 * A * (-26) /* Instructions */
11:08:00 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56250&oldid=56249 * A * (+12) /* Instructions */
11:11:44 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56251&oldid=56250 * A * (+32) /* Instructions */
11:13:10 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56252&oldid=56251 * A * (-39) /* Instructions */
11:16:18 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56253&oldid=56252 * A * (-13) /* Instructions */
11:17:20 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56254&oldid=56253 * A * (-5) /* Instructions */
11:28:39 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56255&oldid=56254 * A * (-32) /* Instructions */
11:29:12 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56256&oldid=56255 * A * (+34) /* Instructions */
11:29:31 -!- mniip has joined.
11:33:49 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56257&oldid=56256 * A * (-274) /* Instructions */
11:35:25 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56258&oldid=56257 * A * (-49) /* Examples */
11:35:37 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56259&oldid=56258 * A * (+0) /* Instructions */
11:38:53 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56260&oldid=56259 * A * (+47) /* Instructions */
11:39:24 -!- gurmble has changed nick to grumble.
11:43:39 <esowiki> [[Asd]]  https://esolangs.org/w/index.php?diff=56261&oldid=56260 * A * (-175) 
11:48:23 <esowiki> [[Ja]] N https://esolangs.org/w/index.php?oldid=56262 * A * (+464) Created page with "'''ja''' is an [[esoteric programming language]] created by A.   == Instructions == {| class="wikitable" ! Instruction || Description |- | <code>j</code> || jump to cell numbe..."
11:48:51 <esowiki> [[Turing tarpit]]  https://esolangs.org/w/index.php?diff=56263&oldid=56044 * A * (+34) /* Survey */
11:50:19 <esowiki> [[Turing tarpit]]  https://esolangs.org/w/index.php?diff=56264&oldid=56263 * A * (+52) /* Survey */
11:50:29 <esowiki> [[Turing tarpit]]  https://esolangs.org/w/index.php?diff=56265&oldid=56264 * A * (+0) /* Survey */
12:01:45 <esowiki> [[Ja]]  https://esolangs.org/w/index.php?diff=56266&oldid=56262 * A * (+3) /* Instructions */
12:02:31 <esowiki> [[Ja]]  https://esolangs.org/w/index.php?diff=56267&oldid=56266 * A * (+34) /* Instructions */
12:09:18 <esowiki> [[Ja]]  https://esolangs.org/w/index.php?diff=56268&oldid=56267 * A * (+88) /* Example (Infinite Loop) */
12:10:07 <esowiki> [[Ja]]  https://esolangs.org/w/index.php?diff=56269&oldid=56268 * A * (+9) 
12:12:40 <esowiki> [[Ja]]  https://esolangs.org/w/index.php?diff=56270&oldid=56269 * A * (-2) /* Instructions */
12:13:55 <esowiki> [[Ja]]  https://esolangs.org/w/index.php?diff=56271&oldid=56270 * A * (+26) /* Example (Infinite Loop) */
12:14:22 -!- SopaXT has joined.
12:15:35 -!- SopaXorzTaker has quit (Disconnected by services).
12:15:39 -!- SopaXT has changed nick to SopaXorzTaker.
12:37:00 <esowiki> [[Talk:Ja]] N https://esolangs.org/w/index.php?oldid=56272 * BoutonIA * (+578) Create the page and add Interpreter
12:41:06 <esowiki> [[Talk:Ja]] M https://esolangs.org/w/index.php?diff=56273&oldid=56272 * BoutonIA * (+93) 
12:43:46 <esowiki> [[Talk:Ja]] M https://esolangs.org/w/index.php?diff=56274&oldid=56273 * BoutonIA * (-70) 
12:45:32 <esowiki> [[BF instruction minimalization]]  https://esolangs.org/w/index.php?diff=56275&oldid=56229 * A * (-8) /* Iamcalledbob's attempt */
13:00:32 -!- doesthiswork has joined.
14:02:58 -!- SopaXorzTaker has quit (Remote host closed the connection).
14:04:19 -!- SopaXorzTaker has joined.
14:06:16 <esowiki> [[Talk:Ja]]  https://esolangs.org/w/index.php?diff=56276&oldid=56274 * BoutonIA * (+11) 
14:31:13 -!- Remavas has joined.
14:49:40 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
14:59:44 <esowiki> [[FuckPack]] N https://esolangs.org/w/index.php?oldid=56277 * A * (+124) Created page with "FuckPack is Brainfuck, but with these other commands: ==Jump Commands==  J  Jump to the cell id numbered as the current bit."
15:00:10 <esowiki> [[Brainfuck extensions]]  https://esolangs.org/w/index.php?diff=56278&oldid=54927 * A * (+14) 
15:01:10 <esowiki> [[FuckPack]]  https://esolangs.org/w/index.php?diff=56279&oldid=56277 * A * (+73) /* Jump Commands */
15:01:28 <esowiki> [[Brainfuck extensions]]  https://esolangs.org/w/index.php?diff=56280&oldid=56278 * A * (+14) 
15:03:31 -!- Remavas has quit (Remote host closed the connection).
15:04:03 -!- Remavas has joined.
15:04:05 -!- Remavas has quit (Remote host closed the connection).
15:24:09 -!- SopaXorzTaker has quit (Remote host closed the connection).
15:54:16 -!- Phantom_Hoover has joined.
16:02:58 -!- mrrmx has joined.
16:14:06 -!- SopaXorzTaker has joined.
16:33:11 -!- Sgeo__ has quit (Read error: Connection reset by peer).
16:33:38 -!- Sgeo__ has joined.
16:36:06 -!- MDude has quit (Ping timeout: 268 seconds).
16:36:09 -!- Sgeo_ has joined.
16:38:57 -!- Sgeo__ has quit (Ping timeout: 248 seconds).
17:20:14 -!- aloril__ has quit (Ping timeout: 276 seconds).
17:29:40 -!- aloril__ has joined.
17:43:57 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
17:49:32 -!- Phantom_Hoover has joined.
17:49:51 -!- S_Gautam has joined.
18:15:59 -!- impomatic has joined.
18:40:29 -!- SopaXorzTaker has quit (Remote host closed the connection).
18:56:07 <esowiki> [[Brainfuck implementations]]  https://esolangs.org/w/index.php?diff=56281&oldid=56147 * Rdebath * (-9) Repair broken list (and exaggeration)
19:03:36 -!- tromp has joined.
19:03:57 -!- Naergon has quit (Ping timeout: 240 seconds).
19:36:55 -!- variable has joined.
20:09:55 -!- trout has joined.
20:12:51 -!- variable has quit (Ping timeout: 240 seconds).
20:21:21 -!- XorSwap has quit (Ping timeout: 264 seconds).
20:37:28 -!- Naergon has joined.
20:40:33 -!- impomatic has quit (Ping timeout: 264 seconds).
20:41:18 -!- variable has joined.
20:42:39 -!- variable has quit (Client Quit).
20:45:05 -!- trout has quit (Ping timeout: 276 seconds).
20:54:17 -!- XorSwap has joined.
21:35:05 -!- Naergon_ has joined.
21:35:57 -!- Naergon has quit (Ping timeout: 240 seconds).
22:06:47 -!- AnotherTest has quit (Ping timeout: 265 seconds).
22:12:34 <esowiki> [[Brainfuck Contest 1]] M https://esolangs.org/w/index.php?diff=56282&oldid=56235 * Plokmijnuhby * (+26) /* Output */
22:36:53 -!- Naergon_ has quit (Ping timeout: 255 seconds).
22:59:28 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
23:00:02 -!- danieljabailey has quit (Quit: ZNC 1.6.5+deb2build2 - http://znc.in).
23:00:19 -!- danieljabailey has joined.
23:14:00 -!- imode has joined.
23:16:58 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:36:07 -!- tromp has quit (Remote host closed the connection).
23:48:49 -!- GeekDude has quit (Ping timeout: 256 seconds).
23:51:44 -!- tromp has joined.
23:54:28 -!- GeekDude has joined.
23:56:30 -!- tromp has quit (Ping timeout: 265 seconds).
23:57:41 -!- Naergon has joined.